Oberwolfach Preprints
|
|
- Edgar Newman
- 5 years ago
- Views:
Transcription
1 Oberwolfach Preprints OWP HERY RANDRIAMARO A Deformed Quon Algebra Mathematisches Forschungsinstitut Oberwolfach ggmbh Oberwolfach Preprints (OWP ISSN
2 Oberwolfach Preprints (OWP Starting in 2007, the MFO publishes a preprint series which mainly contains research results related to a longer stay in Oberwolfach In particular, this concerns the Research in Pairs- Programme (RiP and the Oberwolfach-Leibniz-Fellows (OWLF, but this can also include an Oberwolfach Lecture, for example A preprint can have a size from pages, and the MFO will publish it on its website as well as by hard copy Every RiP group or Oberwolfach-Leibniz-Fellow may receive on request 30 free hard copies (DIN A4, black and white copy by surface mail Of course, the full copy right is left to the authors The MFO only needs the right to publish it on its website wwwmfode as a documentation of the research work done at the MFO, which you are accepting by sending us your file In case of interest, please send a pdf file of your preprint by to rip@mfode or owlf@mfode, respectively The file should be sent to the MFO within 12 months after your stay as RiP or OWLF at the MFO There are no requirements for the format of the preprint, except that the introduction should contain a short appreciation and that the paper size (respectively format should be DIN A4, "letter" or "article" On the front page of the hard copies, which contains the logo of the MFO, title and authors, we shall add a running number (20XX - XX We cordially invite the researchers within the RiP or OWLF programme to make use of this offer and would like to thank you in advance for your cooperation Imprint: Mathematisches Forschungsinstitut Oberwolfach ggmbh (MFO Schwarzwaldstrasse Oberwolfach-Walke Germany Tel Fax URL admin@mfode wwwmfode The Oberwolfach Preprints (OWP, ISSN are published by the MFO Copyright of the content is held by the authors DOI /OWP
3 A Deformed Quon Algebra Hery Randriamaro June 20, 2018 Abstract The quon algebra is an approach to particle statistics in order to provide a theory in which the Pauli exclusion principle and Bose statistics are violated by a small amount The quons are particles whose annihilation and creation operators obey the quon algebra which interpolates between fermions and bosons In this paper we generalize these models by introducing a deformation of the quon algebra generated by a collection of operators a i,k, (i, k N [m], on an infinite dimensional vector space satisfying the deformed q-mutator relations a j,l a i,k qa i,k a j,l + q β k,l δ i,j We prove the realizability of our model by showing that, for suitable values of q, the vector space generated by the particle states obtained by applying combinations of a i,k s and a i,k s to a vacuum state 0 is a Hilbert space The proof particularly needs the investigation of the new statistic cinv and representations of the colored permutation group Keywords: Quon Algebra, Infinite Statistics, Hilbert Space, Colored Permutation Group MSC Number: 05E15, 81R10, 15A15 1 Introduction Let R(q be the fraction field of the real polynomials with variable q By a deformed quon algebra A, we mean the free algebra R(q [ a i,k (i, k N [m] ] subject to the anti-involution exchanging a i,k with a i,k, and to the commutation relation where δ i,j is the Kronecker delta and a j,l a i,k qa i,k a j,l + q β k,l δ i,j, { 0 if l k m mod m β k,l 1 otherwise This algebra is a generalization of the quon algebra introduced by Greenberg [2], subject to the commutation relation a j a i qa i a j + δ i,j obeyed by the annihilation and creation Mathematisches Forschungsinstitut Oberwolfach Schwarzwaldstraße 9-11, Oberwolfach, Germany heryrandriamaro@outlookcom This research was supported through the programme Oberwolfach Leibniz Fellows by the Mathematisches Forschungsinstitut Oberwolfach in
4 operators of the quon particles, and generating a model of infinite statistics Moreover, the quon algebra is a generalization of the classical Bose and Fermi algebras corresponding to the restrictions q 1 and q 1 respectively, as well as of the intermediate case q 0 suggested by Hegstrom and investigated by Greenberg [1] In a Fock-like representation, the generators of A are the linear operators a i,k, a i,k : V V on an infinite dimensional real vector space V satisfying the commutation relations a j,l a i,k qa i,k a j,l q β k,l δ i,j, and the relations a i,k 0 0, where a i,k is the adjoint of a i,k, and 0 is a nonzero distinguished vector of V The a i,k s are the annihilation operators and the a i,k s the creation operators Let H be the vector subspace of V generated by the particle states obtained by applying combinations of a i,k s and a i,k s to 0, or H : { a 0 a A The aim of this article is to prove the realizability of this model through the following theorem Theorem 11 H is a Hilbert space for the bilinear form (, : H H R(q defined by ( a 0, b 0 : 0 a b 0 with 0 0 1, and for 1 < q < 1 if m 1 and 1 < q < 1 if m > 1 1 m Theorem 11 is a generalization of the realizability of the quon algebra model in infinite statistics proved by Zagier [3, Theorem 1] To prove Theorem 11, we begin by showing in Section 3 that B : { a i n,k n 0 (i u, k u N [m], n N is a basis of H, so that we can assume that { n H λ i b i n N, λ i R(q, b i B i1 Denote by U m the group of all m th roots of unity, and S n the permutation group on [n] We represent an element π of the colored permutation group of m colors U m S n by ( 1 2 n π ( ( (, σ(1, k1 σ(2, k2 σ(n, kn where k 1,, k n [m], and σ is a permutation of [n] But we also adopt the notation π (σ, α meaning that σ S n and α : [n] [m] such that i [n], π(i ( σ(i, α(i 2
5 More generally, let I be a multiset of n elements in N, and S I its permutation set An element θ of the colored permutation set U m S I is defined by θ : (ϕ, ɛ meaning that ϕ S I and ɛ : [n] [m] such that i [n], θ(i ( ϕ(i, ɛ(i Denote the infinite matrix associated to the bilinear form in Theorem 11 by M : ( (f, g f,g B [ ] N Let be the set of multisets of n elements in N n We also prove in Section 3 that M M I with M I ( 0 a ϑ(n a ϑ(1 a θ(1 a θ(n 0 n N I N n ϑ,θ U m S I For m 3 for example, we have 1 q q q q 2 q 2 q q 2 q 2 q q 2 q 2 q 2 q 3 q 3 q 2 q 3 q 3 q 1 q q 2 q q 2 q 2 q q 2 q 2 q q 2 q 3 q 2 q 3 q 3 q 2 q 3 q q 1 q 2 q 2 q q 2 q 2 q q 2 q 2 q q 3 q 3 q 2 q 3 q 3 q 2 q q 2 q 2 1 q q q q 2 q 2 q 2 q 3 q 3 q q 2 q 2 q 2 q 3 q 3 q 2 q q 2 q 1 q q 2 q q 2 q 3 q 2 q 3 q 2 q q 2 q 3 q 2 q 3 q 2 q 2 q q q 1 q 2 q 2 q q 3 q 3 q 2 q 2 q 2 q q 3 q 3 q 2 q q 2 q 2 q q 2 q 2 1 q q q 2 q 3 q 3 q 2 q 3 q 3 q q 2 q 2 q 2 q q 2 q 2 q q 2 q 1 q q 3 q 2 q 3 q 3 q 2 q 3 q 2 q q 2 q M [2] 2 q 2 q q 2 q 2 q q q 1 q 3 q 3 q 2 q 3 q 3 q 2 q 2 q 2 q q q 2 q 2 q 2 q 3 q 3 q 2 q 3 q 3 1 q q q q 2 q 2 q q 2 q 2 q 2 q q 2 q 3 q 2 q 3 q 3 q 2 q 3 q 1 q q 2 q q 2 q 2 q q 2 q 2 q 2 q q 3 q 3 q 2 q 3 q 3 q 2 q q 1 q 2 q 2 q q 2 q 2 q q 2 q 3 q 3 q q 2 q 2 q 2 q 3 q 3 q q 2 q 2 1 q q q q 2 q 2 q 3 q 2 q 3 q 2 q q 2 q 3 q 2 q 3 q 2 q q 2 q 1 q q 2 q q 2 q 3 q 3 q 2 q 2 q 2 q q 3 q 3 q 2 q 2 q 2 q q q 1 q 2 q 2 q q 2 q 3 q 3 q 2 q 3 q 3 q q 2 q 2 q q 2 q 2 q q 2 q 2 1 q q q 3 q 2 q 3 q 3 q 2 q 3 q 2 q q 2 q 2 q q 2 q 2 q q 2 q 1 q q 3 q 3 q 2 q 3 q 3 q 2 q 2 q 2 q q 2 q 2 q q 2 q 2 q q q 1 We need to introduce the statistic cinv : U m S n N defined by cinv (σ, α : #{(i, j [n] 2 i < j, σ(i > σ(j + #{i [n] α(i m Still in Section 3, we prove that M I is the representation of π U m S n q cinv π π on the U m S n module R[U m S I ] Hence if the regular representation of π U m S n q cinv π π, which is M [n], is positive definite, then M I is positive definite We prove in Section 4 that ( (1 n 1 det M [n] + (m 1q (1 q m 1 (1 q i2 +i (n i m n n! (i 2 +i 3 i1
6 We particularly can infer that M [n] is nonsingular for 1 < q < 1 if m 1 and 1 < q < 1 if m > 1 1 m Since M [n] is the identity matrix of order m n n! if q 0, we deduce by continuity that M [n] is positive definite for the values of q mentioned above For these suitable values of q, M is then a symmetric positive definite matrix or, in other terms, the bilinear form of Theorem 11 is an inner product on H But before investigating the deformed quon algebra, it is necessary to recall some notions in representation theory and do some computations in Section 2 We would like to thank Patrick Rabarison for the discussions on quantum statistics 2 Representation Theory We recall the useful notions on representation theory of group and do some calculations for the cyclic groups Take a group G and a finite-dimensional vector space V over a field K Let g, h G, a, b K, and u, v V Then V is a G-module if there is a multiplication of elements of V by elements of G such that u g V (au + bv g a(u g + b(v g, u (gh (u g h, u 1 u where 1 is the neutral element of G Take an element x in the group algebra K[G] Suppose that {v 1,, v n is a basis of V, and that v j x i [n] µ i,jv i Then the representation of x on the G-module V is the matrix R V (x : (µ i,j i,j [n] In particular if x g G λ gg K[G] with λ g R, then the regular representation of x is R K[G] (x : ( λ h 1 g g,h G Lemma 21 Let G be a finite group, H G, and x K[H] Then, det R K[G] (x ( det R K[H] (x G:H Proof Let H {h 1,, h r, and {g 1,, g k be a left coset representative set of H On the ordered basis (g 1 h 1,, g 1 h r, g 2 h 1,, g 2 h r,, g k h 1,, g k h r of K[G], we have where I G:H is the unit matrix of size G : H R K[G] (x R K[H] (x I G:H, Now consider the cyclic group Z m of order m generated by γ, and take a variable z We need the following equalities on the group algebra R(z[Z m ] 4
7 Lemma 22 We have ( det R R(z[Zm] 1 + z γ k ( 1 + (m 1z (1 z m 1 Proof The regular representation of 1 + z γk is the m m circulant matrix with associated polynomial f(x 1 + z j [m 1] xj The determinant of this circulant matrix is i [m] f(ζi If i [m 1], then j [m 1] ζ ij 1 ζi 1 ζ i j [m 1] ζ ij ζi 1 1 ζ i 1 Thus f(1 1 + (m 1z, and f(ζ i 1 z for i [m 1] Lemma 23 We have ( 1 + z γ k 1 1 ( (1 + (m 2z z 1 + (m 1z (1 z Proof The form of 1 + z γk gives us the intuition that its inverse has the form x + y γk The calculation ( 1 + z γ k ( x + y γ k γ k ( x + (m 1zy + zx + ( 1 + (m 2z y confirms the intuition since it leads us to solve the equation system { x + (m 1zy 1 zx + ( 1 + (m 2z y 0 to get the inverse of 1 + z γk We obtain γ k x 1 + (m 2z z ( and y ( 1 + (m 1z (1 z 1 + (m 1z (1 z Lemma 24 We have (1 zγ 1 m z m z i γ i i0 Proof It comes from (1 zγ(1 + zγ + + z m 1 γ m 1 1 z m 5
8 3 The Bilinear Form (, We first show that H is linearly generated by the particle states obtained by applying combinations of a i,k s to 0 Then we prove that M n N M I, where M I is a representation of π U m S n q cinv π π Lemma 31 The vector space generated by our particle states is i1 Proof Let (j, l N [m] We have, I N { n H λ i b i n N, λ i R(q, b i B n a j,l q r a j,l + u [r] i uj q u 1 q β ku,l â i u,k u, where the hat over the u th term of the product indicates that this term is omitted So a j,l 0 u [r] i uj q u 1 q β ku,l â i u,k u 0 Thus one can recursively remove every annihilation operator a j,l of an element a 0 of H Lemma 32 Let ( (j 1, l 1,, (j s, l s (N [m] s and ( (i 1, k 1,, (i r, k r (N [m] r If, as multisets, {j 1,, j s {i 1,, i s, then 0 a js,l s 0 0 Proof Suppose that v is the smallest integer in [s] such that j v / {i 1,, i r \ {j 1,, j v 1 Then a js,l s P a jv,l v + Q a jv,l v with P, Q A We deduce that a js,l s 0 P a jv,l v 0 + Q a jv,l v 0 0 In the same way, suppose that u is the smallest integer in [r] such that i u does not belong to the multiset {j 1,, j s \ {i 1,, i u 1 Then a js,l s a i u,k u P + a i u,k u Q with P, Q A And 0 a js,l s 0 a i u,k u P + 0 a i u,k u Q 0 We just then need to investigate the product 0 a jn,l n a i n,k n 0, where (j 1,, j n is a permutation of (i 1,, i n Consider a multiset I of n elements in N Lemma 33 Let θ, ϑ U m S I Then, 0 a ϑ(n a ϑ(1 a θ(1 a θ(n 0 6 π U m S n ϑθπ q cinv π
9 Proof Let (j 1,, j n be a permutation of (i 1,, i n Then, a jn,l n a i n,k n 0 (u 1,,u n [n] n s [n] i u1 j 1,, i un j n (u 1,,u n [n] n s [n] i u1 j 1,, i un j n (u 1,,u n [n] n i u1 j 1,, i un j n # q σ S n s [n], j si σ(s q us 1 # { r [s 1] u r<u s q β kus, ls 0 q # { r [s 1] u r>u s q β kus, ls 0 q # { (r,s [n] 2 r<s, u r>u s + s [n] β kus, ls 0 { (r,s [n] 2 r<s, σ(r>σ(s + s [n] β k σ(s, ls 0 q cinv π 0 π(σ,α U m S n s [n], j si σ(s, l s k σ(s +α(s mod m We obtain the result by remplacing a jn,l n and a i n,k n by a ϑ(n a ϑ(1 and a θ(1 a θ(n respectively For example, take m 4, ϑ Then ( (2, 4 (5, 1 (2, 4 and θ cinv a 2,4 a 5,1 a 2,4 a 5,2 a 2,3 a 2,1 0 q (2, 1 (1, 3 (3, 3 q 4 + q 5 + q ( (5, 2 (2, 3 (2, 1 cinv (3, 3 (1, 3 (2, 1 Define the multiplication of an element θ (ϕ, ɛ of U m S I by an element π (σ, α of U m S n by θ π (ψ, η U m S I with i [n], ψ(i ϕσ(i, η(i ɛσ(i + α(i mod m Consider the vector space of linear combinations of colored permutations R(q[U m S I ] : { z θ θ z θ R(q θ U m S I One can easily check that, relatively to the multiplication, R(q[U m S I ] is a U m S n module Proposition 34 We have M I R R(q[Um S I ] ( π U m S n q cinv π 7
10 Proof Using Lemma 33, we obtain for θ U m S I θ q cinv π ( π U m S n ϑ U m S I π U m S n ϑθπ q cinv π ϑ 0 a ϑ(n a ϑ(1 a θ(1 a θ(n 0 ϑ ϑ U m S I 4 The Determinant of M [n] We compute the determinant and the inverse of the regular representation of π U m S n q cinv π π Consider the subgroup C n of U m S n defined by C n : { π (σ, α U m S n i [n], σ(i i ( 1 2 i n For i [n], let ξ i be the colored permutation in (1, m (2, m (i, 1 (n, m C n We need the following lemma Lemma 41 We have ( ( (1 det R R(q[Um Sn] q cinv ξ ( m 1 m n n! ξ + (m 1q 1 q ξ C n Proof Remark that ξ C n q cinv ξ ξ ( 1 + q i [n] Then, using Lemma 21 and Lemma 22, we obtain ( det R R(q[Um Sn] 1 + q ξ k ( (1 ( m 1 m n 1 n! i + (m 1q 1 q k [m] ξ k i Now we can compute the determinant of π U m S n q cinv π π Theorem 42 We have ( ( (1 n 1 det R R(q[Um Sn] q cinv π π + (m 1q (1 q m 1 (1 q i2 +i (n i m n n! (i 2 +i π U m S n i1 Proof Every π U m S n has a decomposition π σξ such that σ S n, ξ C n, and cinv π cinv σ + cinv ξ Then, ( ( q cinv π π q cinv σ σ q cinv ξ ξ π U m S n σ S n ξ C n 8
11 It is known that [3, Theorem 2] ( n 1 det R R(q[Sn] q cinv σ σ (1 q i2 +i (n in! σ S n i1 We finally obtain the result by using Lemma 21 and Lemma 41 (i 2 +i For k [n], denote by t k,n the permutation (n n 1 k in cycle notation Let γ n k [n 1] 1 q n k t k,n and ε n k [n] n k i0 q(n k+2i t i k,n 1 q (n k+1(n k+2 Furthermore, let ρ k 1 + (m 2q q i [m 1] ξi k ( 1 + (m 1q (1 q We finish with the inverse of π U m S n q cinv π π Proposition 43 We have Proof We obtain ( 1 q cinv π π ρ i π U m S n i [n] i [n 1] γ i+1 ε i ( ξ Cn qcinv ξ ξ 1 i [n] ρ i by means of Lemma 23 Then [3, Proposition 2] and Lemma 24 permit us to write ( σ S n qcinv σ σ 1 i [n 1] γ i+1ε i References [1] O Greenberg, Example of Infinite Statistics, Physical Review Letters 64 (1990 [2] O Greenberg, Particles with small Violations of Fermi or Bose Statistics, Physical Review D 43 (1991 [3] D Zagier, Realizability of a Model in Infinite Statistics, Communications in Mathematical Physics 147 (
Oberwolfach Preprints
Oberwolfach Preprints OWP 202-07 LÁSZLÓ GYÖFI, HAO WALK Strongly Consistent Density Estimation of egression esidual Mathematisches Forschungsinstitut Oberwolfach ggmbh Oberwolfach Preprints (OWP) ISSN
More informationOberwolfach Preprints
Oberwolfach Preprints OWP 2013-23 CLEONICE F. BRACCIALI AND JUAN JOSÉ MORENO- BALCÁZAR Mehler-Heine Asymptotics of a Class of Generalized Hypergeometric Polynomials Mathematisches Forschungsinstitut Oberwolfach
More informationOberwolfach Preprints
Oberwolfach Preprints OWP 2009-17 ALEXANDER OLEVSKII AND ALEXANDER ULANOVSKII Approximation of Discrete Functions and Size of Spectrum Mathematisches Forschungsinstitut Oberwolfach ggmbh Oberwolfach Preprints
More informationOberwolfach Preprints
Oberwolfach Preprints OWP 2011-36 PAWEL GLADKI AND MURRAY MARSHALL Quotients of Index Two and General Quotients in a Space of Orderings Mathematisches Forschungsinstitut Oberwolfach ggmbh Oberwolfach Preprints
More informationOberwolfach Preprints
Oberwolfach Preprints OWP 008-04 ALEXANDER OLEVSKII AND ALEXANDER ULANOVSKII Interpolation in Bernstein and Paley-Wiener Spaces Mathematisches Forschungsinstitut Oberwolfach ggmbh Oberwolfach Preprints
More informationarxiv:math/ v1 [math.qa] 29 Dec 2003
THE ENERGY OPERATOR FOR INFINITE STATISTICS SONIA STANCIU arxiv:math/0312488v1 [math.qa] 29 Dec 2003 Abstract. We construct the energy operator for particles obeying infinite statistics defined by a q-deformation
More information1 Quantum field theory and Green s function
1 Quantum field theory and Green s function Condensed matter physics studies systems with large numbers of identical particles (e.g. electrons, phonons, photons) at finite temperature. Quantum field theory
More informationFermionic coherent states in infinite dimensions
Fermionic coherent states in infinite dimensions Robert Oeckl Centro de Ciencias Matemáticas Universidad Nacional Autónoma de México Morelia, Mexico Coherent States and their Applications CIRM, Marseille,
More informationQuantum field theory and Green s function
1 Quantum field theory and Green s function Condensed matter physics studies systems with large numbers of identical particles (e.g. electrons, phonons, photons) at finite temperature. Quantum field theory
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationOberwolfach Preprints
Oberwolfach Preprints OWP 2017-08 MAREN HANTKE AND SIEGFRIED MÜLLER Analysis and Simulation of a New Multi-Component Two-Phase Flow Model with Phase Transitions and Chemical Reactions Mathematisches Forschungsinstitut
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationExtensions of representations of the CAR algebra to the Cuntz algebra O 2 the Fock and the infinite wedge
Extensions of representations of the CAR algebra to the Cuntz algebra O 2 the Fock and the infinite wedge Katsunori Kawamura Research Institute for Mathematical Sciences Kyoto University, Kyoto 606-8502,
More informationSOME FACTORIZATIONS IN THE TWISTED GROUP ALGEBRA OF SYMMETRIC GROUPS. University of Rijeka, Croatia
GLASNIK MATEMATIČKI Vol. 5171)2016), 1 15 SOME FACTORIZATIONS IN THE TWISTED GROUP ALGEBRA OF SYMMETRIC GROUPS Milena Sošić University of Rijeka, Croatia Abstract. In this paper we will give a similar
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationMaximal perpendicularity in certain Abelian groups
Acta Univ. Sapientiae, Mathematica, 9, 1 (2017) 235 247 DOI: 10.1515/ausm-2017-0016 Maximal perpendicularity in certain Abelian groups Mika Mattila Department of Mathematics, Tampere University of Technology,
More informationUniversity of Maryland Physics Paper quant-ph/ Abstract
QUON STATISTICS FOR COMPOSITE SYSTEMS AND A LIMIT ON THE VIOLATION OF THE PAULI PRINCIPLE FOR NUCLEONS AND QUARKS O.W. Greenberg 1 Center for Theoretical Physics Department of Physics University of Maryland
More informationOberwolfach Preprints
Oberwolfach Preprints OWP 2009-27 PAVLE V. M. BLAGOJEVIC, BENJAMIN MATSCHKE AND GÜNTER M. ZIEGLER Optimal Bounds for the Colored Tverberg Problem Mathematisches Forschungsinstitut Oberwolfach ggmbh Oberwolfach
More informationTutorial 5 Clifford Algebra and so(n)
Tutorial 5 Clifford Algebra and so(n) 1 Definition of Clifford Algebra A set of N Hermitian matrices γ 1, γ,..., γ N obeying the anti-commutator γ i, γ j } = δ ij I (1) is the basis for an algebra called
More informationTHE NONCOMMUTATIVE TORUS
THE NONCOMMUTATIVE TORUS The noncommutative torus as a twisted convolution An ordinary two-torus T 2 with coordinate functions given by where x 1, x 2 [0, 1]. U 1 = e 2πix 1, U 2 = e 2πix 2, (1) By Fourier
More informationLinear algebra. 1.1 Numbers. d n x = 10 n (1.1) n=m x
1 Linear algebra 1.1 Numbers The natural numbers are the positive integers and zero. Rational numbers are ratios of integers. Irrational numbers have decimal digits d n d n x = 10 n (1.1 n=m x that do
More informationSECOND QUANTIZATION. notes by Luca G. Molinari. (oct revised oct 2016)
SECOND QUANTIZATION notes by Luca G. Molinari (oct 2001- revised oct 2016) The appropriate formalism for the quantum description of identical particles is second quantisation. There are various equivalent
More informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More informationFrame Diagonalization of Matrices
Frame Diagonalization of Matrices Fumiko Futamura Mathematics and Computer Science Department Southwestern University 00 E University Ave Georgetown, Texas 78626 U.S.A. Phone: + (52) 863-98 Fax: + (52)
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationREPRESENTATIONS OF S n AND GL(n, C)
REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationVector spaces. EE 387, Notes 8, Handout #12
Vector spaces EE 387, Notes 8, Handout #12 A vector space V of vectors over a field F of scalars is a set with a binary operator + on V and a scalar-vector product satisfying these axioms: 1. (V, +) is
More informationModuli spaces of sheaves and the boson-fermion correspondence
Moduli spaces of sheaves and the boson-fermion correspondence Alistair Savage (alistair.savage@uottawa.ca) Department of Mathematics and Statistics University of Ottawa Joint work with Anthony Licata (Stanford/MPI)
More informationFoundations of Matrix Analysis
1 Foundations of Matrix Analysis In this chapter we recall the basic elements of linear algebra which will be employed in the remainder of the text For most of the proofs as well as for the details, the
More informationTriality of Two-dimensional (0,2) Theories
J.Guo,B.Jia,E.Sharpe,arXiv:1501.00987 April 11, 2015 Outline 1 2d N = (0,2) Gauge Theories 2 Triality Proposal Checks Low Energy Description 3 Chiral Rings Chiral Rings in (0,2) Theories Bott-Borel-Weil
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/54851 holds various files of this Leiden University dissertation Author: Stanojkovski, M. Title: Intense automorphisms of finite groups Issue Date: 2017-09-05
More informationIntroduction to Groups
Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)
More informationLecture 5. Hartree-Fock Theory. WS2010/11: Introduction to Nuclear and Particle Physics
Lecture 5 Hartree-Fock Theory WS2010/11: Introduction to Nuclear and Particle Physics Particle-number representation: General formalism The simplest starting point for a many-body state is a system of
More informationMath 121 Homework 2 Solutions
Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More information(1.1) In particular, ψ( q 1, m 1 ; ; q N, m N ) 2 is the probability to find the first particle
Chapter 1 Identical particles 1.1 Distinguishable particles The Hilbert space of N has to be a subspace H = N n=1h n. Observables Ân of the n-th particle are self-adjoint operators of the form 1 1 1 1
More informationOberwolfach Preprints
Oberwolfach Preprints OWP 215-6 IGOR BURBAN AND YURIY DROZD Maximal Cohen-Macaulay Modules over Non-Isolated Surface Singularities and Matrix Problems Mathematisches Forschungsinstitut Oberwolfach ggmbh
More informationW if p = 0; ; W ) if p 1. p times
Alternating and symmetric multilinear functions. Suppose and W are normed vector spaces. For each integer p we set {0} if p < 0; W if p = 0; ( ; W = L( }... {{... } ; W if p 1. p times We say µ p ( ; W
More informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/20310 holds various files of this Leiden University dissertation. Author: Jansen, Bas Title: Mersenne primes and class field theory Date: 2012-12-18 Chapter
More informationFactorial Designs and Harmonic Analysis on Finite Abelian Groups
Factorial Designs and Harmonic Analysis on Finite Abelian Groups P.M. van de Ven EURANDOM P.O. Box 513, 5600 MB, Eindhoven The Netherlands email: vandeven@eurandom.tue.nl A. Di Bucchianico EURANDOM and
More informationSecond Quantization: Quantum Fields
Second Quantization: Quantum Fields Bosons and Fermions Let X j stand for the coordinate and spin subscript (if any) of the j-th particle, so that the vector of state Ψ of N particles has the form Ψ Ψ(X
More informationPh.D. Qualifying Exam: Algebra I
Ph.D. Qualifying Exam: Algebra I 1. Let F q be the finite field of order q. Let G = GL n (F q ), which is the group of n n invertible matrices with the entries in F q. Compute the order of the group G
More informationk times l times n times
1. Tensors on vector spaces Let V be a finite dimensional vector space over R. Definition 1.1. A tensor of type (k, l) on V is a map T : V V R k times l times which is linear in every variable. Example
More informationAlgebra Ph.D. Entrance Exam Fall 2009 September 3, 2009
Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded
More informationChap. 3. Controlled Systems, Controllability
Chap. 3. Controlled Systems, Controllability 1. Controllability of Linear Systems 1.1. Kalman s Criterion Consider the linear system ẋ = Ax + Bu where x R n : state vector and u R m : input vector. A :
More informationA complete criterion for convex-gaussian states detection
A complete criterion for convex-gaussian states detection Anna Vershynina Institute for Quantum Information, RWTH Aachen, Germany joint work with B. Terhal NSF/CBMS conference Quantum Spin Systems The
More informationA New Shuffle Convolution for Multiple Zeta Values
January 19, 2004 A New Shuffle Convolution for Multiple Zeta Values Ae Ja Yee 1 yee@math.psu.edu The Pennsylvania State University, Department of Mathematics, University Park, PA 16802 1 Introduction As
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationProbability and combinatorics
Texas A&M University May 1, 2012 Probability spaces. (Λ, M, P ) = measure space. Probability space: P a probability measure, P (Λ) = 1. Probability spaces. (Λ, M, P ) = measure space. Probability space:
More informationHomework 4 Solutions
Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite
More informationThe number of simple modules of a cellular algebra
Science in China Ser. A Mathematics 2005 Vol.?? No. X: XXX XXX 1 The number of simple modules of a cellular algebra LI Weixia ( ) & XI Changchang ( ) School of Mathematical Sciences, Beijing Normal University,
More informationAlgebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001
Algebra Review Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor June 15, 2001 1 Groups Definition 1.1 A semigroup (G, ) is a set G with a binary operation such that: Axiom 1 ( a,
More informationRENEWAL THEORY STEVEN P. LALLEY UNIVERSITY OF CHICAGO. X i
RENEWAL THEORY STEVEN P. LALLEY UNIVERSITY OF CHICAGO 1. RENEWAL PROCESSES A renewal process is the increasing sequence of random nonnegative numbers S 0,S 1,S 2,... gotten by adding i.i.d. positive random
More informationOberwolfach Preprints
Oberwolfach Preprints OWP 2012-09 ROBERT BOLTJE; SUSANNE DANZ Ghost Algebras of Double Burnside Algebras via Schur Functors Mathematisches Forschungsinstitut Oberwolfach ggmbh Oberwolfach Preprints (OWP)
More informationContradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.
1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore
More informationQuantum Information & Quantum Computing
Math 478, Phys 478, CS4803, February 9, 006 1 Georgia Tech Math, Physics & Computing Math 478, Phys 478, CS4803 Quantum Information & Quantum Computing Problems Set 1 Due February 9, 006 Part I : 1. Read
More informationarxiv: v1 [math.rt] 4 Jan 2016
IRREDUCIBLE REPRESENTATIONS OF THE CHINESE MONOID LUKASZ KUBAT AND JAN OKNIŃSKI Abstract. All irreducible representations of the Chinese monoid C n, of any rank n, over a nondenumerable algebraically closed
More informationBose Description of Pauli Spin Operators and Related Coherent States
Commun. Theor. Phys. (Beijing, China) 43 (5) pp. 7 c International Academic Publishers Vol. 43, No., January 5, 5 Bose Description of Pauli Spin Operators and Related Coherent States JIANG Nian-Quan,,
More information1 Finite abelian groups
Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room
More informationwhere P a is a projector to the eigenspace of A corresponding to a. 4. Time evolution of states is governed by the Schrödinger equation
1 Content of the course Quantum Field Theory by M. Srednicki, Part 1. Combining QM and relativity We are going to keep all axioms of QM: 1. states are vectors (or rather rays) in Hilbert space.. observables
More informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More informationAN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE
AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationB Sc MATHEMATICS ABSTRACT ALGEBRA
UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z
More informationLinearization coefficients for orthogonal polynomials. Michael Anshelevich
Linearization coefficients for orthogonal polynomials Michael Anshelevich February 26, 2003 P n = monic polynomials of degree n = 0, 1,.... {P n } = basis for the polynomials in 1 variable. Linearization
More informationDesign and Analysis of Algorithms
Design and Analysis of Algorithms CSE 5311 Lecture 5 Divide and Conquer: Fast Fourier Transform Junzhou Huang, Ph.D. Department of Computer Science and Engineering CSE5311 Design and Analysis of Algorithms
More informationLecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]
Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j
More informationarxiv: v1 [math.co] 19 Aug 2016
THE EXCHANGE GRAPHS OF WEAKLY SEPARATED COLLECTIONS MEENA JAGADEESAN arxiv:1608.05723v1 [math.co] 19 Aug 2016 Abstract. Weakly separated collections arise in the cluster algebra derived from the Plücker
More informationMath 52H: Multilinear algebra, differential forms and Stokes theorem. Yakov Eliashberg
Math 52H: Multilinear algebra, differential forms and Stokes theorem Yakov Eliashberg March 202 2 Contents I Multilinear Algebra 7 Linear and multilinear functions 9. Dual space.........................................
More informationALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION
ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION PAVEL RŮŽIČKA 9.1. Congruence modulo n. Let us have a closer look at a particular example of a congruence relation on
More informationModern Computer Algebra
Modern Computer Algebra Exercises to Chapter 25: Fundamental concepts 11 May 1999 JOACHIM VON ZUR GATHEN and JÜRGEN GERHARD Universität Paderborn 25.1 Show that any subgroup of a group G contains the neutral
More informationDEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.
DEFINITIONS: OPERADS, ALGEBRAS AND MODULES J. P. MAY Let S be a symmetric monoidal category with product and unit object κ. Definition 1. An operad C in S consists of objects C (j), j 0, a unit map η :
More informationNOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS
NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS MARK WILDON Contents 1. Definition of polynomial representations 1 2. Weight spaces 3 3. Definition of the Schur functor 7 4. Appendix: some
More informationComputing the rank of configurations on Complete Graphs
Computing the rank of configurations on Complete Graphs Robert Cori November 2016 The paper by M. Baker and S. Norine [1] in 2007 introduced a new parameter in Graph Theory it was called the rank of configurations
More informationGroup rings of finite strongly monomial groups: central units and primitive idempotents
Group rings of finite strongly monomial groups: central units and primitive idempotents joint work with E. Jespers, G. Olteanu and Á. del Río Inneke Van Gelder Vrije Universiteit Brussel Recend Trends
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationMATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11
MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of
More informationMathematics 331 Solutions to Some Review Problems for Exam a = c = 3 2 1
Mathematics 331 Solutions to Some Review Problems for Exam 2 1. Write out all the even permutations in S 3. Solution. The six elements of S 3 are a =, b = 1 3 2 2 1 3 c =, d = 3 2 1 2 3 1 e =, f = 3 1
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationFaculty of Engineering, Mathematics and Science School of Mathematics
Faculty of Engineering, Mathematics and Science School of Mathematics JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Module MA3429: Differential Geometry I Trinity Term 2018???, May??? SPORTS
More informationThe AKLT Model. Lecture 5. Amanda Young. Mathematics, UC Davis. MAT290-25, CRN 30216, Winter 2011, 01/31/11
1 The AKLT Model Lecture 5 Amanda Young Mathematics, UC Davis MAT290-25, CRN 30216, Winter 2011, 01/31/11 This talk will follow pg. 26-29 of Lieb-Robinson Bounds in Quantum Many-Body Physics by B. Nachtergaele
More informationLIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS
LIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS DIETRICH BURDE Abstract. We study Lie algebra prederivations. A Lie algebra admitting a non-singular prederivation is nilpotent. We classify
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationFoundations of Cryptography
Foundations of Cryptography Ville Junnila viljun@utu.fi Department of Mathematics and Statistics University of Turku 2015 Ville Junnila viljun@utu.fi Lecture 7 1 of 18 Cosets Definition 2.12 Let G be a
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationMatrix Calculus and Kronecker Product
Matrix Calculus and Kronecker Product A Practical Approach to Linear and Multilinear Algebra Second Edition This page intentionally left blank Matrix Calculus and Kronecker Product A Practical Approach
More informationTENSOR PRODUCTS, RESTRICTION AND INDUCTION.
TENSOR PRODUCTS, RESTRICTION AND INDUCTION. ANDREI YAFAEV Our first aim in this chapter is to give meaning to the notion of product of characters. Let V and W be two finite dimensional vector spaces over
More informationINFINITE RINGS WITH PLANAR ZERO-DIVISOR GRAPHS
INFINITE RINGS WITH PLANAR ZERO-DIVISOR GRAPHS YONGWEI YAO Abstract. For any commutative ring R that is not a domain, there is a zerodivisor graph, denoted Γ(R), in which the vertices are the nonzero zero-divisors
More informationOn the Grassmann modules for the symplectic groups
On the Grassmann modules for the symplectic groups Bart De Bruyn Ghent University, Department of Pure Mathematics and Computer Algebra, Krijgslaan 81 (S), B-9000 Gent, Belgium, E-mail: bdb@cage.ugent.be
More informationON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS
1 ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS D. I. Moldavanskii arxiv:math/0701498v1 [math.gr] 18 Jan 2007 A criterion for the HNN-extension of a finite p-group to be residually a finite p-group
More informationConstruction of quasi-cyclic self-dual codes
Construction of quasi-cyclic self-dual codes Sunghyu Han, Jon-Lark Kim, Heisook Lee, and Yoonjin Lee December 17, 2011 Abstract There is a one-to-one correspondence between l-quasi-cyclic codes over a
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationWeak Separation, Pure Domains and Cluster Distance
Discrete Mathematics and Theoretical Computer Science DMTCS vol (subm, by the authors, 1 1 Weak Separation, Pure Domains and Cluster Distance Miriam Farber 1 and Pavel Galashin 1 1 Department of Mathematics,
More informationVectors in Function Spaces
Jim Lambers MAT 66 Spring Semester 15-16 Lecture 18 Notes These notes correspond to Section 6.3 in the text. Vectors in Function Spaces We begin with some necessary terminology. A vector space V, also
More information