Czech Technical University in Prague. Symmetries of finite quantum kinematics and quantum computation
|
|
- Phoebe Dixon
- 5 years ago
- Views:
Transcription
1 Czech Technical University in Prague Faculty of Nuclear Sciences and Physical Engineering Břehová 7, CZ Prague, Czech Republic J. Tolar Symmetries of finite quantum kinematics and quantum computation Student Colloquium and School on Mathematical Physics 2015 Based on joint work with M. Korbelář
2 Outline 1. Introduction 2. Linear canonical transformations in classical mechanics 3. Linear canonical transformations in quantum mechanics 4. Shale s metaplectic representation 5. Simple finite-dimensional quantum kinematics 6. Classification of composite quantum kinematics 7. Symmetries of quantum kinematics Synopsis Appendix A. Symmetries of simple quantum kinematics Appendix B. Symmetries of composite quantum kinematics Appendix C. Complementarity structures
3 1. Introduction Non-relativistic quantum mechanics of particle systems can be divided into quantum kinematics and quantum dynamics. First the Hilbert space and the non-commuting operators of complementary observables, position and momentum, are constructed. Their algebraic properties constitute quantum kinematics, while quantum dynamics of the system is determined by the unitary group generated by the Hamiltonian expressed as a function of the position and momentum operators. This kinematical structure then remains the same for all possible quantum dynamics which are determined by the respective system Hamiltonians.
4 2. Linear canonical transformations in classical mechanics Symmetries in classical mechanics are the canonical transformations which leave the Hamiltonian invariant. Linear canonical transformations in the phase space R 2n form the symplectic group Sp(2n, R). For n = 1 degree of freedom it reduces to Sp(2, R) = SL(2, R) with the action on the canonical variables q, p ( ) (q, p a b ) = (q, p)a = (q, p), ad bc = 1. c d Infinitesimal linear canonical transformations are generated by quadratic polynomials in the canonical variables. Examples are the Hamiltonians of a free particle and of the harmonic oscillator. The corresponding phase trajectories in R 2 are straight lines with constant linear momentum and ellipses centered at the origin, respectively.
5 3. Linear canonical transformations in quantum mechanics Symmetries in quantum mechanics are represented, according to Wigner s theorem, by unitary or anti-unitary operators in the Hilbert space of a quantum system. According to the Stone von Neumann theorem, the canonical observables satisfying the canonical commutation relations [ ˆQ i, ˆP j ] = i Iδ ij are represented by essentially self-adjoint operators unitarily equivalent to the well-known operators in the Hilbert space L 2 (R n, d n q) of the Schrödinger representation. In the simplest case of the Hilbert space L 2 (R, dq) (n = 1) ˆQψ(q) = qψ(q), ˆP ψ(q) = i ψ(q) q. If any group element can be expressed as a square of another group element, as for Lie groups, then the symmetry transformations are represented by unitary operators.
6 4. Shale s metaplectic representation is the unitary representation of linear canonical transformations in the same Hilbert space L 2 (R n, d n q). It is a unitary irreducible representation X(A) of the double covering of Sp(2n, R) (called the metaplectic group) which for n = 1 reduces to the double covering of SL(2, R), ( ˆQ, ˆP ) = ( ˆQ, ˆP )A, det A = 1. The transformed commutators [ ˆQ, ˆP ] = i I obviously lead, via the Stone - von Neumann theorem, to unitary equivalence ˆQ = X(A) ˆQX(A) 1, ˆP = X(A) ˆP X(A) 1, or, for the exponential Weyl operators X(A)W (s, t)x(a) 1 = W ((s, t)a T ).
7 5. Simple finite-dimensional quantum kinematics The N-dimensional Hilbert space of an N-level system an orthonormal basis B = { 0, 1,... N 1 } and unitary operators Q N, P N are defined by the relations (Weyl, Schwinger) Q N j = ω j N j, P N j = j 1 (mod N ), where j = 0, 1,..., N 1, ω N = exp(2πi/n). B is taken as the canonical or computational basis of H N = C N and the operators P N and Q N are represented by the generalized Pauli matrices Q N = diag ( 1, ω N, ωn 2,, ) ωn 1 N
8 and P N = Their commutation relation P N Q N = ω N Q N P N (1) is an expression of their complementarity. Further, P N N = QN N = I, ωn N = 1.
9 The finite Heisenberg group of order N 3 (the Pauli group) is generated by ω N, Q N and P N Π N = { ω l N Qi N P j N l, i, j = 0, 1, 2,..., N 1}. Geometric interpretation: The cyclic group Z N = {0, 1,... N 1} is a configuration space for an N-level quantum system, the finite phase space is Z N Z N. Elements of Z N label the vectors of the basis B = { 0, 1,... N 1 } with the physical interpretation that j is the (normalized) eigenvector of position at j Z N.
10 The action of Z N on Z N via addition modulo N is represented by unitary operators U(k) = PN k. Their action on vectors j from basis B is given by U(k) j = PN k j = j k (mod N ) Quantum kinematics of a simple N-level system can then be expressed in the form U(j)V (ρ) = ω jρ N V (ρ)u(j) or P j N Qρ N = ωjρ N Qρ N P j N, where the unitary operators V (ρ) = Q ρ N, ρ = 0, 1,..., N 1. The finite Weyl system consists of finite Weyl unitary operators W (ρ, j) = ω jρ/2 V (ρ)u(j) = ω jρ/2u(j)v (ρ). N N If N is odd, the factors ω jρ/2 N are well-defined on Z N Z N.
11 The finite Weyl operators satisfy the composition law for a projective representation of the Abelian group Z N Z N of translations on the finite phase space Z N Z N, W (ρ, j)w (ρ, j ) = ω (ρ j ρj )/2 N W (ρ + ρ, j + j ). According to Schwinger, the finite Weyl system consisting of N 2 operators W (ρ, j) provides an orthogonal operator basis in the space of all linear operators in C N. The operators W (ρ, j)/ N are orthogonal with respect to the Hilbert-Schmidt inner product Tr(W (ρ, j)w (ρ, j ) ) = Nδ ρρ δ jj and satisfy the completeness relation ρ,j W (ρ, j)w (ρ, j ) = N 2 1.
12 6. Classification of composite quantum kinematics The cyclic group Z N = {0, 1,... N 1} is a configuration space for N-dimensional quantum kinematics of a single N-level system. According to the well-known rules of quantum mechanics, finite-dimensional quantum mechanics on Z N can be extended in a straightforward way to arbitrary finite direct products Z n1 Z nk as configuration spaces. The Hilbert space of the corresponding composite system consisting of k n i -level component subsystems is the tensor product H n1 H nk of dimension N = n 1... n k, where n 1,..., n k N. If such an bottom up composition starts with component single systems, one would immediately ask: When are the composite quantum kinematics equivalent?
13 Clearly, the composite Hilbert spaces are isomorphic if and only if they have equal dimensions. However, composite quantum kinematics in dimension N are in general not equivalent! Thus a criterion of equivalence is needed. It follows from a theorem describing inequivalent decompositions of the configuration space for given N: Structure theorem for finite Abelian groups Let G be a finite Abelian group. Then G is isomorphic with the direct product Z N1 Z Nf of a finite number of cyclic groups for integers N 1,..., N f greater than 1, each of which is a power of a prime, i.e. N k = p r k k, where the primes p k need not be mutually different.
14 In the Structure theorem, the integers N k = p r k k elementary divisors of G. are called the Two finite Abelian groups are isomorphic if and only if they have the same elementary divisor decomposition. If G is the finite Abelian group G = Z N, the Chinese Remainder Theorem gives the isomorphism with the unique decomposition where N = p r p r f f G = Z N = ZN1 Z Nf, N k = p r k k, and the primes p k > 1are distinct.
15 The cyclic groups involved in the Structure theorem are the configuration spaces of the smallest components. They describe Schwinger s independent quantum degrees of freedom, because the Hilbert space of the corresponding quantum system is decomposed into the tensor product of N j -level Hilbert spaces H = H 1 H f, with dim H j = N j = p r j j, dim H = N 1... N f. Also the finite Weyl system is the tensor product of unitary groups W 1 W f. In this way a classification of all quantum kinematics in dimension N is obtained: the factors of the above tensor product can be called the elementary building blocks forming a finite quantum system, each endowed with its simple quantum kinematics. Note that these factors belong to the types G = Z p, Z p 2,..., Z p r,..., where p runs through the set of all prime numbers > 1.
16 Our results are summarized in the Classification Theorem For a given finite Abelian group G as configuration space there is a unique class of unitarily equivalent finite Weyl systems W in a finite dimensional Hilbert space H, W = W 1 W f. Given a composite dimension N, then, according to the above theorems, it is sufficient to take all inequivalent choices of N k = p r k k with not necessarily distinct primes p k > 1 to obtain all inequivalent quantum kinematics in the Hilbert space of given dimension N.
17 Mathematicians often prefer an equivalent invariant factor decomposition. In that approach a finite Abelian group G is uniquely determined by an ordered finite list of integers n 1 n 2 n s greater than 1 determining the invariant factors Z ni of G such that n i+1 divides n i and N = n 1 n 2... n s. For instance, if N = 180, the full list of non-isomorphic Abelian groups of order 180 consists of four groups Z 180, Z 90 Z 2, Z 60 Z 3, Z 30 Z 6. In these examples the corresponding elementary divisor decompositions are , , , and the corresponding configuration spaces decompose into elementary configuration spaces Z 2 2 Z 3 2 Z 5, Z 2 Z 2 Z 3 2 Z 5, Z 2 2 Z 3 Z 3 Z 5, Z 2 Z 2 Z 3 Z 3 Z 5.
18 All elementary divisor decompositions for given N can be enumerated starting with the factorization of N = p r p r f f with mutually distinct primes p 1,..., p f. First one finds all permissible lists for groups of orders p r i i for each i. For a prime power p r i i the problem of determining all permissible lists is equivalent to finding all partitions of the exponent r i, and does not depend on p i. Recall that the number of partitions of a natural number r is called Bell s number B(r). Then the total number of groups of order N is equal to the product of Bell s numbers B(r 1 )B(r 2 )... B(r f ).
19 In physics, the dimensions of the constituent Hilbert spaces are already fixed by the list of k physical subsystems and numbers n i of their levels. Then the configuration space G is isomorphic to the direct product of cyclic groups of the respective orders. In order to determine the isomorphism class of the corresponding quantum kinematics, the elementary divisor decomposition is indispensable. For example, the elementary divisor decompositions of two composite systems with the same N = 180 are clearly inequivalent: (1) H = H 20 H 9 with G = Z 2 2 Z 3 2 Z 5, (2) H = H 30 H 6 with G = Z 2 Z 2 Z 3 Z 3 Z 5. At first sight it would seem that the quantum degrees of freedom do not play any significant role in finite quantum mechanics. However, as shown below, the study of the symmetries of quantum kinematics forces us to take them seriously.
20 7. Symmetries of quantum kinematics Our main recent contribution concerned detailed description of symmetries of finite Weyl-Heisenberg groups for composite quantum systems with arbitrary dimensions of subsystems. The symmetry groups are called there Sp [n1,...,n k ], where the indices denote (arbitrary) dimensions of the constituent Hilbert spaces. In quantum computation these groups are related to so-called Clifford groups. [1] Korbelář M and Tolar J 2012 Symmetries of finite Heisenberg groups for multipartite systems J. Phys. A: Math. Theor (18pp); arxiv: [quant-ph] [2] Korbelář M and Tolar J 2010 Symmetries of the finite Heisenberg group for composite systems J. Phys. A: Math. Theor (15pp); arxiv: [quant-ph]
21 For simplicity let a bipartite system be created by coupling two single multi-level subsystems with arbitrary dimensions n, m, i.e. G = Z n Z m and H = H n H m. The corresponding finite Weyl-Heisenberg group is embedded in GL(N, C), N = nm. Via inner automorphisms it induces an Abelian subgroup in Int(GL(N, C)). The normalizer of this Abelian subgroup in the group of inner automorphisms of GL(N, C) contains all inner automorphisms transforming the phase space into itself, hence necessarily contains P (n,m) as an Abelian semidirect factor. The true symmetry group is then given by the quotient group of the normalizer with respect to this Abelian subgroup. We shall see that in special cases the symmetry groups are reducible to standard types SL and Sp, but in general these standard types do not exhaust the obtained class of symmetry groups.
22 The special case of n = m, N = n 2, corresponds to the symmetry group Sp [n,n] = Sp(4, Zn ). If N = nm, n, m coprime, the symmetry group is Sp [n,m] = SL(2, Zn ) SL(2, Z m ) = SL(2, Z nm ). Further, if d = gcd(n, m), n = ad, m = bd, the finite configuration space can be further decomposed under the condition that a, b are both coprime to d, G = Z n Z m = Z ad Z bd = (Za Z d ) (Z b Z d ). Thus the symmetry group is reduced to the direct product Sp [n,m] = Sp[a,b] Sp(4, Z d ) For instance, if n = 15, m = 12, then d = 3 is coprime to both a = 5 and b = 4, and also a and b are coprime, hence the symmetry group is reduced to the standard types SL and Sp, Sp [n,m] = SL(2, Za ) SL(2, Z b ) Sp(4, Z d ).
23 However, the general situation is more complicated. For instance, let n = 180 and m = 150. Then d = 30, a = 180/30 = 6 and b = 150/30 = 5, hence a divides d and also b divides d. In this case reduction to standard groups Sp and SL is not possible. One has to break down the composite system consisting of two single systems into its elementary building blocks. We decompose each of the finite configuration spaces Z 180 Z 150 = (Z 2 2 Z 3 2 Z 5 ) (Z 2 Z 3 Z 5 2), and take notice of coprime factors 2.2 2, and leading to the factorization of the symmetry group in agreement with the elementary divisor decomposition Sp [180,150] = Sp[2,2 2 ] Sp [3,3 2 ] Sp [5,5 2 ]. One sees that the symmetry groups like Sp [p k,p l ] with indices given by different powers of the same prime p deserve to be added to the standard types Sp and SL.
24 Final remarks Mathematical physics yields general classifications and the physicist elaborates which of the offered possibilities is realized for a concrete physical system. For instance, in non-relativistic quantum mechanics in infinitedimensional Hilbert space, the Stone-von Neumannn theorem is of prime importance. Similarly, in the finite-dimensional Hilbert spaces this theorem holds for single systems For composite systems the obtained classification of finite quantum kinematics should be considered as very important for distinguishing inequivalent finite quantum systems. However, try to consult some textbooks I bet that you will not find any reference to it.
25 For given N, all inequivalent quantum kinematics generate the same matrix algebra M N (C). The general algebraic approach thus seemingly does not support our classification. However, it turns out that our classification is obtained if fine gradings are considered, and these gradings embody the complementarity required in quantum kinematics.
26 Synopsis Quantum kinematics in Hilbert spaces of finite dimension N is studied from the point of view of number theory. The fundamental theorem describing all finite discrete abelian groups of order N as direct products of cyclic groups, whose orders are powers of not necessarily distinct primes contained in the prime decomposition of N, leads to a classification of inequivalent finite Weyl systems and finite Weyl-Heisenberg groups. The relation between the mathematical formalism and physical realizations of finite quantum systems is discussed from this perspective. The corresponding symmetries normalizers of the Weyl-Heisenberg groups in unitary groups have been fully described. They are related to so called Clifford groups in quantum information. Special attention is paid to the elementary building blocks of finite quantum systems - quantal degrees of freedom. It is shown that the symmetries can be reduced in accordance with the elementary divisor decomposition to direct products of finite groups of the types SL(2, Z n ), Sp(2k, Z n ), and Sp [p k,p l,... ].
27 Acknowledgement Partial support by the Ministry of Education of Czech Republic (from the research plan RVO: ) is gratefully acknowledged. Thank you for your attention
28 Appendix A. Symmetries of simple quantum kinematics Consider those inner automorphisms acting on elements of Π N which induce permutations of cosets in Π N /Z(Π N ): Ad X (ω l N Qi N P j N ) = Xωl N Qi N P j N X 1, where X are unitary matrices from GL(N, C). These inner automorphisms are equivalent if, for all (i, j) Z N Z N, they define the same transformation of cosets in Π N /Z(Π N ): Ad Y Ad X Y Q i P j Y 1 = XQ i P j X 1. The group P N = Π N /Z(Π N ) has two generators, the cosets Q and P (or Ad QN and Ad PN, respectively). Hence if Ad Y induces a permutation of cosets in Π N /Z(Π N ), then there must exist elements a, b, c, d Z N such that Y QY 1 = Q a P b and Y P Y 1 = Q c P d.
29 It follows that to each equivalence class of inner automorphisms Ad Y a quadruple (a, b, c, d) of elements in Z N is assigned. Theorem (HPPT 2002) For integer N 2 there is an isomorphism Φ between the set of equivalence classes of inner automorphisms Ad Y which induce permutations of cosets and the group SL(2, Z N ) of 2 2 matrices with determinant equal to 1 (mod N), ( ) a b Φ(Ad Y ) =, a, b, c, d Z c d N ; the action of these automorphisms on Π N /Z(Π N ) is given by the right action of SL(2, Z N ) on elements (i, j) of the phase space P N = Z N Z N, ( ) (i, j a b ) = (i, j). c d
30 Appendix B. Symmetries of composite quantum kinematics Let the Hilbert space of a composite system be the tensor product H n1 H nk of dimension N = n 1... n k, where n 1,..., n k N. For the composite system, quantum phase space is an Abelian subgroup of Int(GL(N, C)) defined by P (n1,...,n k ) = {Ad M 1 M k M i Π ni }. Its generating elements are the inner automorphisms where (for i = 1,..., k) e j := Ad Aj for j = 1,..., 2k, A 2i 1 := I n1 n i 1 P ni I ni+1 n k, A 2i := I n1 n i 1 Q ni I ni+1 n k.
31 The normalizer of P (n1,...,n k ) in Int(GL(n 1 n k, C)) will be denoted N (P (n1,...,n k ) ) := N Int(GL(n 1 n k,c)) (P (n 1,...,n k ) ), We need also the normalizer of P n in Int(GL(n, C)), and N (P n ) := N Int(GL(n,C)) (P n ), N (P n1 ) N (P nk ) := {Ad M1 M k M i N (P ni )} Int(GL(N, C)). Further,. N (P n1 ) N (P nk ) N (P (n1,...,n k ) )
32 Now the symmetry group Sp [n1,...,n k ] is defined in several steps. First let S [n1,...,n k ] blocks be a set consisting of k k matrices H of 2 2 H ij = n i gcd(n i, n j ) A ij where A ij M 2 (Z ni ) for i, j = 1,..., k. Then S [n1,...,n k ] is (with the usual matrix multiplication) a monoid.
33 Next, for a matrix H S [n1,...,n k ], we define its adjoint H S [n1,...,n k ] by (H ) ij = n i gcd(n i, n j ) AT ji. Further, we need a skew-symmetric matrix J = diag(j 2,..., J 2 ) S [n1,...,n k ] where J 2 = ( ). Then the symmetry group is defined as Sp [n1,...,n k ] := {H S [n 1,...,n k ] H JH = J} and is a finite subgroup of the monoid S [n1,...,n k ].
34 Our first theorem states the group isomorphism: Theorem 1 (KT 2012) N (P (n1,...,n k ) )/P (n 1,...,n k ) = Sp [n1,...,n k ].
35 Our second theorem describes the generating elements of the normalizer: Theorem 2 (KT 2012) The normalizer N (P (n1,...,n k )) is generated by where (for 1 i < j k) N (P n1 ) N (P nk ) and {Ad Rij }, and R ij = I n1 n i 1 diag(i ni+1 n j, T ij,..., T n i 1 ij ) I nj+1 n k T ij = I ni+1 n j 1 Q n j gcd(n i,n j ) n j.
36 Corollary (KT 2012) If n 1 = = n k = n, i.e. Sp [n,...,n] = Sp2k (Z n ). N = n k, the symmetry group is These cases are of particular interest, since they uncover symplectic symmetry of k-partite systems composed of subsystems with the same dimensions. This circumstance was found, to our knowledge, first by PST 2006 for k = 2 under additional assumption that n = p is prime, leading to Sp(4, F p ) over the field F p. We have generalized this result (KT 2010) to bipartite systems with arbitrary n (non-prime) leading to Sp(4, Z n ) over the modular ring, and also to multipartite systems (KT 2012). The corresponding result has independently been obtained by G. Han who studied symmetries of the tensored Pauli grading of sl(n k, C).
37 References Korbelář M and Tolar J 2012 Symmetries of finite Heisenberg groups for multipartite systems J. Phys. A: Math. Theor (18pp); arxiv: [quant-ph] Korbelář M and Tolar J 2010 Symmetries of the finite Heisenberg group for composite systems J. Phys. A: Math. Theor (15pp); arxiv: [quant-ph] Han G 2010 The symmetries of the fine gradings of sl(n k, C) associated with direct product of Pauli groups J. Math. Phys (15 pages) Pelantová E, Svobodová M and Tremblay J 2006 Fine grading of sl(p 2, C) generated by tensor product of generalized Pauli matrices and its symmetries J. Math. Phys
38 Appendix C. Complementarity structures The quantal notion of complementarity concerns very specific relation among quantum observables. Consider two almost identical definitions. Definition 1. Two observables A and B of a quantum system with Hilbert space of finite dimension N are called complementary, if their eigenvalues are non-degenerate and any two normalized eigenvectors u i of A and v j of B satisfy u i v j = 1 N. Then in an eigenstate u i of A all eigenvalues b 1,..., b N of B are measured with equal probabilities, and vice versa. This means that exact knowledge of the measured value of A implies maximal uncertainty to any measured value of B. For the next definition note that the (non-degenerate) eigenvalues a i of A and b j of B are in fact irrelevant, since only the corresponding orthonormal bases u i and v j are involved.
39 Definition 2. Two orthonormal bases in an N-dimensional complex Hilbert space { u i i = 1, 2,..., N} and { v j j = 1, 2,..., N } are called mutually unbiased if inner products between all possible pairs of vectors taken from distinct bases have the same magnitude 1/ N, u i v j = 1 N for all i, j {1, 2,..., N}. In the sense of these definitions one may call two measurements to be mutually unbiased, if the bases composed of the eigenstates of their observables (with non-degenerate spectra) are mutually unbiased. If the system is prepared in any eigenstate of A, then the transition probabilities to all eigenstates of the complementary observable B are the same (equal to 1/N). Our basic unitary operators Q N and P N exactly satisfy this criterion of complementarity. Further, the system of N 2 unitary Weyl- Schwinger operators formed a complete orthonormal basis in the linear space M N (C) of N N complex matrices with respect to the Hilbert-Schmidt inner product.
40 From the algebraic point of view, finite quantum systems in quantum information theory are given by full matrix algebras M N (C). In this part M N (C) is equipped with two additional structures: 1. the Hilbert-Schmidt inner product defined by the standard trace (defining also the Hilbert-Schmidt norm), 2. fine gradings defined by MAD-groups of commuting inner automorphisms of M N (C). We shall see that, as a result, so-called Pauli gradings emerge and they deserve to be called complementarity structures in M N (C). Definition 3. A grading of an associative algebra A is a direct sum decomposition of A as a vector space Γ : A = α A α satisfying the property x A α, y A β xy A γ.
41 Note that if Γ is a grading of the matrix algebra M n (C), then Γ is also a grading of the matrix Lie algebra gl(n, C). Similarly, as is well known for Lie algebras, linear subspaces A α can be defined as eigen-spaces of automorphisms of A. For an automorphism g of A, g(xy) = g(x)g(y) holds for all x, y A. Now if g(x) = λ α x defines the subspace A α and g(y) = λ β y defines the subspace A β, then g(xy) = g(x)g(y) = λ α λ β xy defines the subspace A γ with λ γ = λ α λ β. In this way g defines the grading decomposition A = α Ker(g λ α ). Further commuting automorphisms may refine the grading. Definition 4. For M GL(N, C), Ad M Int(M N (C)) denotes the inner automorphism of M N (C) induced by the operator M GL(N, C), i.e. Ad M (X) = MXM 1 for X M N (C). Fine gradings are those gradings which cannot be further refined. Since the commuting inner automorphisms form an Abelian subgroup of Int(M N (C)), fine gradings of M N (C) are obtained using the maximal Abelian groups of diagonalizable automorphisms
42 as subgroups of Int(M N (C)) to be shortly called the MADgroups. Definition 5. We define P N as the group P N = {Ad Q i N P j N (i, j) Z N Z N }. It is an Abelian subgroup of Int(M N (C)) and is generated by two commuting automorphisms Ad QN, Ad PN, each of order N, P N =< Ad QN, Ad PN >. A geometric view is sometimes useful that P N is isomorphic to the quantum phase space identified with the Abelian group Z N Z N.
43 All MAD-groups for M N (C) are given in the following Theorem Any MAD-group contained in Int(M N (C)) is conjugated to one and only one of the groups of the form P N1 P N2... P Nf D(m), where N i = p r i i are powers of primes, N = mn 1 N 2... N f and D(m) is the image in Int(M N (C)) of the group of m m complex diagonal matrices under the adjoint action. If m = 1, the corresponding fine grading is the Pauli grading and it decomposes M N (C) into N 2 one-dimensional subspaces spanned by the Weyl-Schwinger operators! For illustration, we give the list of MAD-groups in low dimensions: n = 2: P 2 D(1), D(2)
44 n = 3: P 3 D(1), D(3) n = 4: P 4 D(1), P 2 P 2 D(1), P 2 D(2), D(4) n = 5: P 5 D(1), D(5) n = 6: P 3 P 2 D(1), P 3 D(2), P 2 D(3), D(6) n = 7: P 7 D(1), D(7) n = 8: P 8 D(1), P 4 P 2 D(1), P 2 P 2 P 2 D(1), P 4 D(2), P 2 P 2 D(2), P 2 D(4), D(4)
45 A part of the obtained MAD-groups containing the trivial diagonal subgroup D(1) induce exactly all our Weyl-Schwinger decompositions. However, there are still fine gradings induced by D(m), m = 2, They include partial or complete decompositions which have the form of the Cartan root decompositions of Lie algebras sl(m, C) extended by the unit matrix. They contain the Abelian Cartan subalgebra of dimension m 1, the unit matrix and one-dimensional root subspaces spanned by nilpotent matrices. Concerning physical interpretation of these Cartan parts of the decompositions, one can speculate that they may reflect extra degrees of freedom corresponding to some internal symmetries. Leaving these decompositions aside, we are left with the Pauli gradings which decompose M N (C) in direct sums of N 2 one-dimensional subspaces. For these Pauli decompositions with given N one should realize that M N (C) encompasses all operators of any quantum system with N-dimensional Hilbert space.
46 In this way we have got a new view on the relation between the general mathematical formalism and physical realizations of finite quantum systems. The apparent contradiction that M N (C) represents any N-dimensional quantum system and at the same time there is a multitude of inequivalent quantum kinematics for given N, is simply resolved: from the physical point of view the same algebra M N (C) is the operator algebra not only for a single N-level system, but also for all other members of the set of inequivalent quantum kinematics for this N. They just correspond to different physical realizations of composite quantum systems. Of course, each such system has its preferred quantum operators. Note that from the mathematical point of view M N1 (C) M Nf (C) is isomorphic with M N (C).
FINITE QUANTUM SYSTEMS: CLASSIFICATION AND SYMMETRIES
FINITE QUANTUM SYSTEMS: CLASSIFICATION AND SYMMETRIES STARÁ LESNÁ 2013 J TOLAR Abstract. Quantum mechanics in Hilbert spaces of finite dimension N is reviewed from the number theoretic point of view. For
More informationA classification of finite quantum kinematics
Journal of Physics: Conference Series OPEN ACCESS A classification of finite quantum kinematics To cite this article: J Tolar 2014 J. Phys.: Conf. Ser. 538 012020 View the article online for updates and
More informationQuantum Mechanics for Mathematicians: The Heisenberg group and the Schrödinger Representation
Quantum Mechanics for Mathematicians: The Heisenberg group and the Schrödinger Representation Peter Woit Department of Mathematics, Columbia University woit@math.columbia.edu November 30, 2012 In our discussion
More informationBRST and Dirac Cohomology
BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
More informationQuantum Theory and Group Representations
Quantum Theory and Group Representations Peter Woit Columbia University LaGuardia Community College, November 1, 2017 Queensborough Community College, November 15, 2017 Peter Woit (Columbia University)
More informationHighest-weight Theory: Verma Modules
Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,
More information1.4 Solvable Lie algebras
1.4. SOLVABLE LIE ALGEBRAS 17 1.4 Solvable Lie algebras 1.4.1 Derived series and solvable Lie algebras The derived series of a Lie algebra L is given by: L (0) = L, L (1) = [L, L],, L (2) = [L (1), L (1)
More informationSymmetries and particle physics Exercises
Symmetries and particle physics Exercises Stefan Flörchinger SS 017 1 Lecture From the lecture we know that the dihedral group of order has the presentation D = a, b a = e, b = e, bab 1 = a 1. Moreover
More informationTopics in Representation Theory: Cultural Background
Topics in Representation Theory: Cultural Background This semester we will be covering various topics in representation theory, see the separate syllabus for a detailed list of topics, including some that
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 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 informationABSTRACT ALGEBRA WITH APPLICATIONS
ABSTRACT ALGEBRA WITH APPLICATIONS IN TWO VOLUMES VOLUME I VECTOR SPACES AND GROUPS KARLHEINZ SPINDLER Darmstadt, Germany Marcel Dekker, Inc. New York Basel Hong Kong Contents f Volume I Preface v VECTOR
More informationTHE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS
Trudy Moskov. Matem. Obw. Trans. Moscow Math. Soc. Tom 67 (2006) 2006, Pages 225 259 S 0077-1554(06)00156-7 Article electronically published on December 27, 2006 THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL
More informationmsqm 2011/8/14 21:35 page 189 #197
msqm 2011/8/14 21:35 page 189 #197 Bibliography Dirac, P. A. M., The Principles of Quantum Mechanics, 4th Edition, (Oxford University Press, London, 1958). Feynman, R. P. and A. P. Hibbs, Quantum Mechanics
More informationBasic Concepts of Group Theory
Chapter 1 Basic Concepts of Group Theory The theory of groups and vector spaces has many important applications in a number of branches of modern theoretical physics. These include the formal theory of
More informationSymmetries, Groups, and Conservation Laws
Chapter Symmetries, Groups, and Conservation Laws The dynamical properties and interactions of a system of particles and fields are derived from the principle of least action, where the action is a 4-dimensional
More informationMATHEMATICS COMPREHENSIVE EXAM: IN-CLASS COMPONENT
MATHEMATICS COMPREHENSIVE EXAM: IN-CLASS COMPONENT The following is the list of questions for the oral exam. At the same time, these questions represent all topics for the written exam. The procedure for
More informationTHEORY OF GROUP REPRESENTATIONS AND APPLICATIONS
THEORY OF GROUP REPRESENTATIONS AND APPLICATIONS ASIM 0. BARUT Institute for Theoretical Physics, University of Colorado, Boulder, Colo., U.S.A. RYSZARD RATJZKA Institute for Nuclear Research, Warszawa,
More informationExistence of Antiparticles as an Indication of Finiteness of Nature. Felix M. Lev
Existence of Antiparticles as an Indication of Finiteness of Nature Felix M. Lev Artwork Conversion Software Inc., 1201 Morningside Drive, Manhattan Beach, CA 90266, USA (Email: felixlev314@gmail.com)
More informationAbstract Algebra Study Sheet
Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,
More informationGROUP THEORY PRIMER. New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule
GROUP THEORY PRIMER New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule 1. Tensor methods for su(n) To study some aspects of representations of a
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 10.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. 10. Jordan decomposition: theme with variations 10.1. Recall that f End(V ) is semisimple if f is diagonalizable (over the algebraic closure of the base field).
More informationGroup representation theory and quantum physics
Group representation theory and quantum physics Olivier Pfister April 29, 2003 Abstract This is a basic tutorial on the use of group representation theory in quantum physics, in particular for such systems
More informationAlgebra Exam Syllabus
Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate
More informationSolutions to Example Sheet 1
Solutions to Example Sheet 1 1 The symmetric group S 3 acts on R 2, by permuting the vertices of an equilateral triangle centered at 0 Choose a basis of R 2, and for each g S 3, write the matrix of g in
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationDensity Matrices. Chapter Introduction
Chapter 15 Density Matrices 15.1 Introduction Density matrices are employed in quantum mechanics to give a partial description of a quantum system, one from which certain details have been omitted. For
More information2. Introduction to quantum mechanics
2. Introduction to quantum mechanics 2.1 Linear algebra Dirac notation Complex conjugate Vector/ket Dual vector/bra Inner product/bracket Tensor product Complex conj. matrix Transpose of matrix Hermitian
More informationCHAPTER 6. Representations of compact groups
CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group. 6.1. Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationSPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS
SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the
More informationRepresentation theory and quantum mechanics tutorial Spin and the hydrogen atom
Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition
More informationPart III Symmetries, Fields and Particles
Part III Symmetries, Fields and Particles Theorems Based on lectures by N. Dorey Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often
More informationSymplectic Structures in Quantum Information
Symplectic Structures in Quantum Information Vlad Gheorghiu epartment of Physics Carnegie Mellon University Pittsburgh, PA 15213, U.S.A. June 3, 2010 Vlad Gheorghiu (CMU) Symplectic struct. in Quantum
More informationPermutation representations and rational irreducibility
Permutation representations and rational irreducibility John D. Dixon School of Mathematics and Statistics Carleton University, Ottawa, Canada March 30, 2005 Abstract The natural character π of a finite
More informationIRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents
IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS NEEL PATEL Abstract. The goal of this paper is to study the irreducible representations of semisimple Lie algebras. We will begin by considering two
More informationA method for construction of Lie group invariants
arxiv:1206.4395v1 [math.rt] 20 Jun 2012 A method for construction of Lie group invariants Yu. Palii Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna, Russia and Institute
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationBackground on Chevalley Groups Constructed from a Root System
Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described
More informationResolvent Algebras. An alternative approach to canonical quantum systems. Detlev Buchholz
Resolvent Algebras An alternative approach to canonical quantum systems Detlev Buchholz Analytical Aspects of Mathematical Physics ETH Zürich May 29, 2013 1 / 19 2 / 19 Motivation Kinematics of quantum
More informationSymmetries for fun and profit
Symmetries for fun and profit Sourendu Gupta TIFR Graduate School Quantum Mechanics 1 August 28, 2008 Sourendu Gupta (TIFR Graduate School) Symmetries for fun and profit QM I 1 / 20 Outline 1 The isotropic
More informationQuantum Symmetries and Cartan Decompositions in Arbitrary Dimensions
Quantum Symmetries and Cartan Decompositions in Arbitrary Dimensions Domenico D Alessandro 1 and Francesca Albertini Abstract We investigate the relation between Cartan decompositions of the unitary group
More informationSymmetries, Fields and Particles. Examples 1.
Symmetries, Fields and Particles. Examples 1. 1. O(n) consists of n n real matrices M satisfying M T M = I. Check that O(n) is a group. U(n) consists of n n complex matrices U satisfying U U = I. Check
More informationRepresentation theory & the Hubbard model
Representation theory & the Hubbard model Simon Mayer March 17, 2015 Outline 1. The Hubbard model 2. Representation theory of the symmetric group S n 3. Representation theory of the special unitary group
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 informationLecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)
Lecture 0: A (Brief) Introduction to Group heory (See Chapter 3.3 in Boas, 3rd Edition) Having gained some new experience with matrices, which provide us with representations of groups, and because symmetries
More informationSimple Lie algebras. Classification and representations. Roots and weights
Chapter 3 Simple Lie algebras. Classification and representations. Roots and weights 3.1 Cartan subalgebra. Roots. Canonical form of the algebra We consider a semi-simple (i.e. with no abelian ideal) Lie
More information1 Introduction: the notion of elementary particle in quantum theory
Dirac Singletons in a Quantum Theory over a Galois Field Felix M. Lev Artwork Conversion Software Inc., 1201 Morningside Drive, Manhattan Beach, CA 90266, USA (Email: felixlev314@gmail.com) Abstract Dirac
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 2.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined
More informationGalois fields in quantum mechanics A. Vourdas University of Bradford
Galois fields in quantum mechanics A. Vourdas University of Bradford Phase space methods: position and momentum in the ring Z(d) and the field GF(p l ) Finite quantum systems (eg spin) phase space: toroidal
More information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
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 informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationIntroduction to Group Theory
Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
More informationGroup Theory - QMII 2017
Group Theory - QMII 017 Reminder Last time we said that a group element of a matrix lie group can be written as an exponent: U = e iαaxa, a = 1,..., N. We called X a the generators, we have N of them,
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
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 information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationLecture 11: Clifford algebras
Lecture 11: Clifford algebras In this lecture we introduce Clifford algebras, which will play an important role in the rest of the class. The link with K-theory is the Atiyah-Bott-Shapiro construction
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
More information1 Mathematical preliminaries
1 Mathematical preliminaries The mathematical language of quantum mechanics is that of vector spaces and linear algebra. In this preliminary section, we will collect the various definitions and mathematical
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationMic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003
Handout V for the course GROUP THEORY IN PHYSICS Mic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003 GENERALIZING THE HIGHEST WEIGHT PROCEDURE FROM su(2)
More informationClassification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO
UTMS 2011 8 April 22, 2011 Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs by Toshiyuki Kobayashi and Yoshiki Oshima T UNIVERSITY OF TOKYO GRADUATE SCHOOL OF
More informationover a field F with char F 2: we define
Chapter 3 Involutions In this chapter, we define the standard involution (also called conjugation) on a quaternion algebra. In this way, we characterize division quaternion algebras as noncommutative division
More informationIntroduction to Group Theory
Introduction to Group Theory Ling-Fong Li (Institute) Group 1 / 6 INTRODUCTION Group theory : framework for studying symmetry. The representation theory of the group simpli es the physical solutions. For
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 informationBranching rules of unitary representations: Examples and applications to automorphic forms.
Branching rules of unitary representations: Examples and applications to automorphic forms. Basic Notions: Jerusalem, March 2010 Birgit Speh Cornell University 1 Let G be a group and V a vector space.
More informationQuantum systems with finite Hilbert space A. Vourdas University of Bradford
Quantum systems with finite Hilbert space A. Vourdas University of Bradford Phase space methods: position and momentum in the ring Z(d) and the field GF(p l ) Finite quantum systems (eg spin) phase space:
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationMATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM
MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is
More informationLecture Notes 2: Review of Quantum Mechanics
Quantum Field Theory for Leg Spinners 18/10/10 Lecture Notes 2: Review of Quantum Mechanics Lecturer: Prakash Panangaden Scribe: Jakub Závodný This lecture will briefly review some of the basic concepts
More informationAugust 2015 Qualifying Examination Solutions
August 2015 Qualifying Examination Solutions If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems,
More informationTopics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem
Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret
More informationIncompatibility Paradoxes
Chapter 22 Incompatibility Paradoxes 22.1 Simultaneous Values There is never any difficulty in supposing that a classical mechanical system possesses, at a particular instant of time, precise values of
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 information6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.
6 Orthogonal groups We now turn to the orthogonal groups. These are more difficult, for two related reasons. First, it is not always true that the group of isometries with determinant 1 is equal to its
More informationWeyl Group Representations and Unitarity of Spherical Representations.
Weyl Group Representations and Unitarity of Spherical Representations. Alessandra Pantano, University of California, Irvine Windsor, October 23, 2008 β ν 1 = ν 2 S α S β ν S β ν S α ν S α S β S α S β ν
More informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More informationTOPICS IN HARMONIC ANALYSIS WITH APPLICATIONS TO RADAR AND SONAR. Willard Miller
TOPICS IN HARMONIC ANALYSIS WITH APPLICATIONS TO RADAR AND SONAR Willard Miller October 23 2002 These notes are an introduction to basic concepts and tools in group representation theory both commutative
More informationNoncommutative invariant theory and Auslander s Theorem
Noncommutative invariant theory and Auslander s Theorem Miami University Algebra Seminar Robert Won Wake Forest University Joint with Jason Gaddis, Ellen Kirkman, and Frank Moore arxiv:1707.02822 November
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More information1 Hermitian symmetric spaces: examples and basic properties
Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationSymplectic representation theory and the Weyl algebra in positive characteristic
Symplectic representation theory and the Weyl algebra in positive characteristic SPUR Final Paper, Summer 2016 Joseph Zurier Mentor: Augustus Lonergan Project Suggested by Roman Bezrukavnikov 3 August
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationLECTURES MATH370-08C
LECTURES MATH370-08C A.A.KIRILLOV 1. Groups 1.1. Abstract groups versus transformation groups. An abstract group is a collection G of elements with a multiplication rule for them, i.e. a map: G G G : (g
More informationReview problems for MA 54, Fall 2004.
Review problems for MA 54, Fall 2004. Below are the review problems for the final. They are mostly homework problems, or very similar. If you are comfortable doing these problems, you should be fine on
More informationA PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS. Thomas J. Enright, Markus Hunziker and Nolan R. Wallach
A PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS Thomas J. Enright, Markus Hunziker and Nolan R. Wallach Abstract. Let (G, K) be a Hermitian symmetric pair and let g and k denote the corresponding complexified
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
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 information