GROUPS & THEIR REPRESENTATIONS: a card shuffling approach Wayne Lawton Department of Mathematics National University of Singapore S14-04-04,

Slides:



Advertisements
Similar presentations
Vector Spaces A set V is called a vector space over a set K denoted V(K) if is an Abelian group, is a field, and For every element vV and K there exists.
Advertisements

10.4 Complex Vector Spaces.
Matrix Representation
5.4 Basis And Dimension.
CHRISTOPHER M. P. TOMASZEWSKI 30 JULY MMIX A Spectral Analysis of Cyclic and Elementary Abelian Subgroup Lattices.
Section 11 Direct Products and Finitely Generated Abelian Groups One purpose of this section is to show a way to use known groups as building blocks to.
Math 3121 Abstract Algebra I
Matrices & Systems of Linear Equations
Symmetric Matrices and Quadratic Forms
Chapter 5 Orthogonality
2.III. Basis and Dimension 1.Basis 2.Dimension 3.Vector Spaces and Linear Systems 4.Combining Subspaces.
Matrices. Special Matrices Matrix Addition and Subtraction Example.
Chapter 3 Determinants and Matrices
Elementary Linear Algebra Anton & Rorres, 9 th Edition Lecture Set – 08 Chapter 8: Linear Transformations.
5.1 Orthogonality.
Some Groups of Mathematical Crystallography Part Deux.
M. Khalily Dermany Islamic Azad University.  finite number of element  important in number theory, algebraic geometry, Galois theory, cryptography,
1 February 24 Matrices 3.2 Matrices; Row reduction Standard form of a set of linear equations: Chapter 3 Linear Algebra Matrix of coefficients: Augmented.
 Row and Reduced Row Echelon  Elementary Matrices.
MA2213 Lecture 5 Linear Equations (Direct Solvers)
Systems of Linear Equation and Matrices
Matrix Algebra. Quick Review Quick Review Solutions.
Chap. 2 Matrices 2.1 Operations with Matrices
Slide Chapter 7 Systems and Matrices 7.1 Solving Systems of Two Equations.
Diophantine Approximation and Basis Reduction
CHAPTER FIVE Orthogonality Why orthogonal? Least square problem Accuracy of Numerical computation.
Gram-Schmidt Orthogonalization
Digital Image Processing, 3rd ed. © 1992–2008 R. C. Gonzalez & R. E. Woods Gonzalez & Woods Matrices and Vectors Objective.
1 C ollege A lgebra Systems and Matrices (Chapter5) 1.
Matrices CHAPTER 8.1 ~ 8.8. Ch _2 Contents  8.1 Matrix Algebra 8.1 Matrix Algebra  8.2 Systems of Linear Algebra Equations 8.2 Systems of Linear.
Quantum One: Lecture Representation Independent Properties of Linear Operators 3.
HERMITE INTERPOLATION in LOOP GROUPS and CONJUGATE QUADRATURE FILTER APPROXIMATION Wayne Lawton Department of Mathematics National University of Singapore.
Three different ways There are three different ways to show that ρ(A) is a simple eigenvalue of an irreducible nonnegative matrix A:
17. Group Theory 1.Introduction to Group Theory 2.Representation of Groups 3.Symmetry & Physics 4.Discrete Groups 5.Direct Products 6.Symmetric Groups.
Chapter 5 Eigenvalues and Eigenvectors 大葉大學 資訊工程系 黃鈴玲 Linear Algebra.
Signal Processing and Representation Theory Lecture 2.
Elementary Linear Algebra Anton & Rorres, 9th Edition
Elementary Linear Algebra Anton & Rorres, 9 th Edition Lecture Set – 02 Chapter 2: Determinants.
Elementary Linear Algebra Anton & Rorres, 9 th Edition Lecture Set – 07 Chapter 7: Eigenvalues, Eigenvectors.
Network and Computer Security (CS 475) Modular Arithmetic
Math 3121 Abstract Algebra I Lecture 7: Finish Section 7 Sections 8.
Greatest Common Divisors & Least Common Multiples  Definition 4 Let a and b be integers, not both zero. The largest integer d such that d|a and d|b is.
CS Lecture 14 Powerful Tools     !. Build your toolbox of abstract structures and concepts. Know the capacities and limits of each tool.
SECTION 9 Orbits, Cycles, and the Alternating Groups Given a set A, a relation in A is defined by : For a, b  A, let a  b if and only if b =  n (a)
4.8 Rank Rank enables one to relate matrices to vectors, and vice versa. Definition Let A be an m  n matrix. The rows of A may be viewed as row vectors.
Mathematical Physics Seminar Notes Lecture 4 Global Analysis and Lie Theory Wayne M. Lawton Department of Mathematics National University of Singapore.
MA5233 Lecture 6 Krylov Subspaces and Conjugate Gradients Wayne M. Lawton Department of Mathematics National University of Singapore 2 Science Drive 2.
1 Objective To provide background material in support of topics in Digital Image Processing that are based on matrices and/or vectors. Review Matrices.
Matrices, Vectors, Determinants.
Lecture XXVI.  The material for this lecture is found in James R. Schott Matrix Analysis for Statistics (New York: John Wiley & Sons, Inc. 1997).  A.
Lecture from Quantum Mechanics. Marek Zrałek Field Theory and Particle Physics Department. Silesian University Lecture 6.
Lecture XXVII. Orthonormal Bases and Projections Suppose that a set of vectors {x 1,…,x r } for a basis for some space S in R m space such that r  m.
Tutorial 6. Eigenvalues & Eigenvectors Reminder: Eigenvectors A vector x invariant up to a scaling by λ to a multiplication by matrix A is called.
Math 3121 Abstract Algebra I
7.3 Linear Systems of Equations. Gauss Elimination
7.7 Determinants. Cramer’s Rule
Unit-III Algebraic Structures
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach
Basis and Dimension Basis Dimension Vector Spaces and Linear Systems
Chapter 3 Linear Algebra
2.III. Basis and Dimension
Symmetric Matrices and Quadratic Forms
Quantum Two.
3. Group Representations
MA5242 Wavelets Lecture 1 Numbers and Vector Spaces
DETERMINANT MATH 80 - Linear Algebra.
Eigenvalues and Eigenvectors
Linear Vector Space and Matrix Mechanics
3. Group Representations
Symmetric Matrices and Quadratic Forms
Presentation transcript:

GROUPS & THEIR REPRESENTATIONS: a card shuffling approach Wayne Lawton Department of Mathematics National University of Singapore S ,

CRYSTALLOGRAPHY as well as the theories of numbers and equations motivated the study of groups. Consider a lattice group, it is isomorphic (equal structure, denoted by ) with the group of d-dimensional column vectors with integer entries under addition The set standard basis for the module is the over the ring just like it is a basis for the vector space over the field thus For integers is a subgroup ofisomorphic to

ROW AND COLUMN OPERATIONS Here are three examples of elementary row and column operations on integral matrices using integer coefficients.

SMITH FORM FOR INTEGRAL MATRICES Theorem 1. (Smith Form) Every integral matrix M with d-rows, can be reduced, using elementary row and column operations with integer coefficients, to the unique diagonal form whereand whereand for Remark The three examples on the preceding page are examples of reduction to Smith Form of integral matrices

ELEMENTARY INTEGRAL MATRICES Examples Left multiplication of a matrix with d-rows by Integral row / column operations can be described by left / right multiplication by elementary integral matrices subtracts 3 times the third row from the second row interchanges the second and third row the third

IMPLICATIONS OF THE SMITH FORM Corollary 1. Every unimodular integral d x d matrix (det ) is the product of elementary integral matrices. Proof. Let U be an unimodular d x d matrix. Clearly its Smith Form, obtained by left / right multiplication by elementary matrices, is the identity matrix since the product of its diagonal entries equals 1. The result follow since inverses of elementary matrices are elementary matrices and Corollary 2. For every subgroupthere exists an automorphismwith the amazing property: and Proof. Apply the Smith reduction to the integral matrix M whose columns are the elements of K and note that column operations do not change the group generated by the columns.

IMPLICATIONS OF THE SMITH FORM Remark. and Corollary 3. Let F be a finitely generated abelian group. Then Proof. Choose generators where and is a cyclic group (generated by one element) and define by by a standard result in group theory be the kernel of Chooseandas in Corollary 2, and then observe that,

IMPLICATIONS OF THE SMITH FORM Proof. Clearly it since it suffices to prove this result when d = 2, let are relatively prime positive integers. and let Smith Form, hence by Corollary Since Assume Corollary 4. (Chinese Remainder Theorem) If integers are pairwise relatively prime then be its

PROOF OF SMITH FORM Proof of Theorem 1. Since the result is obvious for d = 1, we use induction on d. Let M be an integral matrix with d rows. We can assume M has at least one nonzero entry and perform R&C Ops until the upper left element a is the smallest positive integer obtainable by R&C Ops. Hence a divides all the elements in the first row and first column (else it can be replaced by a smaller positive number through R & C Ops) and we can use R & C Ops to make all the other elements in the first row and the first column equal to 0. We can transform the matrix to the form using R & C Ops on the last d-1 rows and columns. If a does not divide some diagonal entry then for some integers j, b, c To replace a by A : add b times 1-st column to j-column, add c times j-th row to 1-st row, then interchange 1 and j columns.

EXAMPLES OF ABELIAN GROUPS Useful Fact: Rivest, Shamir, Adelman Public Key Cryptography Amazing Fact: If N is prime then Example 1.For each positive integer, the multiplicative group

EXAMPLES OF ABELIAN GROUPS by Define the homomorphismExample 2. The circle group is defined by therefore, since it follows that

GROUP REPRESENTATIONS group of F-linear isomorphisms from V onto V Definition mn dimensional F-vector space F-linear maps from V into W Let V, W be vector space over a field of dimension m, n. A representation of a group G is a homomorphism This means therefore

UNITARY REPRESENTATION Definition Let V be a Euclidean, Hermitian space over R, C. A representation of G over V is orthogonal, unitary if If G is finite and F = R, C and is a representation then there exists a Euclidean, Hermitian structure ( -, - ) : V x V  F such that is orthogonal, unitary. Lemma ProofChoose a basis B for V over F and construct a Euclidean, Hermitian structure : V x V  F so that B is an - orthonormal basis. Then define ( -, _ ) by RemarkHolds for compact groups – integrate wrt Haar Measure

MASCHKE’S THEOREM DefinitionA subspace W of V is invariant wrt a representation if is irreducible if {0}, V are the only invariant subspaces. Proof Theorem 2 (Maschke)Every representation over R, C of a finite group is semisimple (or completely reducible) – that is V can be expressed as a direct sum of subspaces such that the restriction of the representation to each subspace is irreducible. Construct an invariant Euclidean, Hermitian structure ( -, - ) :  F on V. Then V is irreducible or it has an invariant subspace W other than {0} and V. Then the complement of W is clearly invariant and satisfies and the result follows by induction on the dimension of V. RemarkMaschke’s theorem holds for every finite field F whose characteristic does not divide the order of G.

ABELIAN GROUPS Theorem 3Every representation of a abelian group over C can be decomposed into one dimensional representations. The converse is true for faithful representations. ProofWe can to consider an irreducible representation on V. Let The eigenspace is clearly invariant hence it equals V. We can introduce the natural Hermitian structure on C and then every irreducible representation of a finite group over C Corollary is described by whereis a homomorphism or character of G. Remark(Gauss 1801) Ifthen char. is

EXAMPLES ExampleThe representation is not semisimple. defined by Example(Persi Diaconis) Forletdenote the permutation (or symmetric) group on n letters. Then using cycle notation the permutation group on 3 letters has 6 elements and the following representation onis irreducible

EXAMPLES ExampleThe permutation representation is not irreducible. It is isomorphic to the sum of the trivial representation on C and the 2-dimensional irreducible representation on the previous page.

To Be Continued (Added in Future) Card shuffling and transition matrices constructed from the permutation representation Generation of all permutations from a single transposition and a single cyclic permutation Convergence to the uniform distribution of the location of a single card as the number of shuffles increases Regular representation and convolution Convergence to the uniform distribution of the permutation of the entire deck as the number of shuffles increases Fourier transform on the permutation group and the general theory of group representations Estimates for the rate of convergence based on eigenvalues of irreducible representations