Outline. The Distance Spectra of Cayley Graphs of Coxeter Groups. Finite Reflection Group. Root Systems. Reflection/Coxeter Groups.
|
|
- Irma Maxwell
- 5 years ago
- Views:
Transcription
1 The Distance Spectra of of Coxeter Groups Paul Renteln 1 Department of Physics California State University San Bernardino 2 Department of Mathematics California Institute of Technology ECNU, Shanghai June 7, 2010 Outline Open Problems Root Systems Finite Reflection Group V an n dimensional inner product space over R Given α V, reflection t α : V V fixes hyperplane H α := {v V : (α, v) = 0} (pointwise) and sends α to α. Let Φ V satisfy tα Φ = Φ for all α Φ Φ Rα = { α, α} for all α Φ Φ is called a root system. Let Φ be an irreducible finite root system Let W be the group generated by reflections t α, α Φ W called a finite reflection group or finite Coxeter group Four infinite families: A n, B n, D n, I 2 (m), and six exceptional types: E 6, E 7, E 8, F 4, H 3, H 4
2 Reflection Groups Arising in Nature Simple Systems S 4 = W (A 3 ) W (B 3 ) W (H 3 ) Φ is a set of simple roots if: is a basis for V Every root α Φ can be written α = α i c iα i where all c i 0 or all c i 0 The simple reflections are S := {s α : α } Source: polytope Ex: S 3 = W (A 2 ) Symmetries of a triangle Length and Absolute Length hyperplanes simple roots roots Let T := {set of all reflections} Let S := {set of simple reflections} Every element w W is a word in the reflections in T or S The minimum length l T (w) of w W written as a word in T is called the absolute length of w. The minimum length l S (w) of w W written as a word in S is called the length of w. Note: l T (w) is constant on conjugacy classes, while l S (w) is not
3 Coxeter Transformations The Coxeter element of W is c = s S s (unique up to conjugacy) The order of c is h, the Coxeter number The eigenvalues of c (in the reflection representation) are of the form ζ m i for some primitive h th root of unity ζ. The numbers m 1, m 2,... m n are the exponents of W The Exponents of the Reflection Groups Type m 1, m 2,..., m n A n 1, 2,..., n B n 1, 3, 5,..., 2n 1 D n 1, 3, 5,..., 2n 1, n 1 E 6 1, 4, 5, 7, 8, 11 E 7 1, 5, 7, 9, 11, 13, 17 E 8 1, 7, 11, 13, 17, 19, 23, 29 F 4 1, 5, 7, 11 G 2 1, 5 H 3 1, 5, 9 H 4 1, 11, 19, 29 I 2 (m) 1, m 1 Poincaré Polynomials Theorem (Chevalley 55, Solomon 66, Steinberg 68) w W q l S(w) = n i=1 1 q m i+1 1 q Theorem (Shephard & Todd 54, Solomon 63) w W q l T (w) = n (1 + m i q) i=1 W a finite group R W a symmetric subset of generators without identity: Γ(W, R) a Cayley graph: {r W : r R r 1 R, r 1} V (Γ) = W E(Γ) = {{w, wr} : r R} A Cayley graph Γ(W, R) is normal if R is closed under conjugation
4 Adjacency Spectrum Distance Spectrum Let u, v V (Γ). The adjacency matrix: A(u, v) = 1 if {u, v} E(Γ) and 0 otherwise. The adjacency spectrum is the set of eigenvalues of A Some known adjacency spectra: Γ(S n, all transpositions) (= Γ(S n, T )) Diaconis & Shahshahani, 81 Γ(S n, star transpositions) Flatto, Odlyzko, and Wales, 85 Γ(S n, adjacent transpositions) (= Γ(S n, S)) Bacher, 94 (part) Γ(S n, derangements), 07 Let u, v V (Γ). The distance d(u, v) = the length of a shortest path from u to v The distance polynomial is the characteristic polynomial of d considered as a matrix The distance spectrum is the set of eigenvalues of d, i.e., roots of the distance polynomial Absolute Order Graph Absolute Order Graph on W : Γ(W, T ) where T = {all reflections}. Normal Example: (123) (12) (13) 1 (132) (23) 1 (12) (123) (13) (132) (23) (12) (123) (13) (132) (23) Weak Order Graph (123) (12) Weak Order Graph on W : Γ(W, S) where S = {simple reflections}. Not normal Example: (13) 1 (132) (23) 1 (12) (123) (13) (132) (23) (12) (123) (13) (132) (23) Absolute Order Graph Γ(S 3, T ) Distance Matrix d Weak Order Graph Γ(S 3, S) Distance Matrix d
5 Distance Polynomials of Some Absolute Order Graphs Type Distance Polynomial A 2 (z 7)(z 1)(z + 2) 4 A 3 (z 46)(z 2) 9 (z + 2) 5 (z + 6) 9 A 4 (z 326)(z 6) 37 (z 2) 25 (z + 4) 16 (z + 6) 25 (z + 24) 16 B 3 z 9 (z 100)(z 4) 14 (z + 4) 9 (z + 8) 15 H 3 (z 268)(z 8) 18 (z 4) 25 (z +2) 32 (z +8) 25 (z +12) 18 (z +32) D 4 z 27 (z 544)(z 16)(z 8) 36 (z 4) 64 (z + 8) 20 (z + 16) 27 (z + 32) 16 F 4 z 160 (z 3600)(z 240)(z 48) 2 (z 32) 36 (z 24) 16 (z 16) 162 (z 12) 256 (z 8) 144 (z + 16) 117 (z + 24) 128 (z + 48) 105 (z + 96) 24 I 2 (5) (z 13)(z 3)(z + 2) 8 I 2 (6) (z 16)(z 4)(z + 2) 10 I 2 (7) (z 19)(z 5)(z + 2) 12 Generalized Poincaré Polynomials and the Distance Spectrum For each χ Irr(W ) introduce generalized Poincaré polynomial: P χ (q) := 1 χ(1) w W χ(w)q l T (w) Theorem The eigenvalues of the absolute order graphs Γ(W, T ) are given by η χ = dp χ(q) dq, q=1 with multiplicity χ(1) 2 for each χ Irr(W ). Moreover, η χ Z. Proof Sketch Proof Sketch cont. Consider L := w W l T (w)w CW. l T is a conjugacy class invariant, so L T = l T (w K ) w = K w K K l T (w K )I K, Let ρ be left regular representation of W extended to CW. Then L is represented by distance matrix: ρ(l T )v = w = u l T (w)ρ(w)v = w l T (uv 1 )u = u (Last equality follows from bi-invariance of d.) l T (w)wv d(u, v)u. where I K is (up to constant) the trivial idempotent on class K, and hence constant on irreducible modules, by Schur s lemma. The irreducible modules appear with multiplicity equal to their dimensions, so taking traces yields the eigenvalues η χ = 1 χ(1) K K l T (w K )χ(w K ) = dp χ(q) dq, q=1 each with multiplicity χ(1) 2. Integrality follows by a theorem of Isaacs.
6 Leading (?) Eigenvalue of Absolute Order Graphs P 1 (q) = ordinary Poincaré polynomial = i (1 + m iq) Corollary η 1 = W i m i 1 + m i. Conjecture η 1 is the largest eigenvalue of the distance matrix of the absolute order graphs. Generalized Poincaré Polynomial in Type A n 1 Can obtain remaining eigenvalues without knowing characters explicitly Theorem (Molchanov 82, Stanley EC2) The generalized Poincaré polynomial for the symmetric group S n = W (A n 1 ) is P λ (q) = u λ(1 + qc(u)), where λ n is a partition of n, and c(u) is the content of box u (namely j i if box u is at (i, j) in Ferrers diagram of partition). Multiplicity of η λ is f 2 λ, where f λ = n!/h λ and H λ is the product of all the hook lengths of λ. Generalized Poincaré Polynomials in Other Types Theorem (Molchanov 82) The generalized Poincaré polynomial for the hyperoctachedral group W (B n ) is Γ(S 4, S): The Permutahedron in R 3 P (λ,µ) = u λ [1 + q(c(u) + 1)] v µ[1 + q(c(v) 1)], where λ k, µ m, and n = k + m. Multiplicity of η (λ,µ) is f 2 λµ, where f λµ = n! k!m! f λf µ. Molchanov also computed generalized Poincaré polynomials in types D n and I 2 (n) Source: 4.gif
7 Distance Polynomials of Some Weak Order Graphs Type Distance Polynomial A 2 z 2 (z 9)(z + 1)(z + 4) 2 A 3 z 17 (z 72)(z + 4) 3 (z + 20) 3 A 4 z 109 (z 600)(z + 20) 6 (z + 120) 4 B 3 z 38 (z 216)(z + 8) 3 (z z + 384) 3 D 4 z 179 (z 1152)(z + 224) 4 (z + 32) 8 D 5 z 1899 (z 19200)(z ) 5 (z + 320) 15 H 3 z 104 (z 900)(z z ) 3 (z + 24) 4 (z + 12) 5 F 4 z 1127 (z 13824)(z + 192) 16 (z z ) 4 E 6 z (z )(z ) 6 (z ) 30 I 2 (5) z 4 (z 25)(z + 1)(z z + 16) 2 I 2 (6) z 5 (z 36)(z + 2) 2 (z z + 16) 2 I 2 (7) z 6 (z 49)(z + 1)(z z z + 64) 2 Distance Polynomials of Some Weak Order Graphs Type Distance Polynomial A 2 z 2 (z 9)(z + 1)(z + 4) 2 A 3 z 17 (z 72)(z + 4) 3 (z + 20) 3 A 4 z 109 (z 600)(z + 20) 6 (z + 120) 4 B 3 z 38 (z 216)(z + 8) 3 (z z + 384) 3 D 4 z 179 (z 1152)(z + 224) 4 (z + 32) 8 D 5 z 1899 (z 19200)(z ) 5 (z + 320) 15 H 3 z 104 (z 900)(z z ) 3 (z + 24) 4 (z + 12) 5 F 4 z 1127 (z 13824)(z + 192) 16 (z z ) 4 E 6 z (z )(z ) 6 (z ) 30 I 2 (5) z 4 (z 25)(z + 1)(z z + 16) 2 I 2 (6) z 5 (z 36)(z + 2) 2 (z z + 16) 2 I 2 (7) z 6 (z 49)(z + 1)(z z z + 64) 2 Observations A Variant of the Distance Matrix Γ(W, S) not normal, so no simple formula involving characters Lots of zeros (huge degeneracy) and very few distinct eigenvalues! Spectrum not integral in general, but... Conjecture The distance spectra of the weak order graphs of types A, D, and E each contain only four distinct integral eigenvalues. Have partial proof of conjecture and explanations for some of these observations Difficulty is that distance matrix is too large: size W W Instead of working with group elements, can work with roots Use Coxeter combinatorics to find a smaller matrix with size Φ Φ and related spectrum
8 The Angle Operator Proof Idea Let Ψ = { α : α Φ} be the permutation representation of W Define angle operator Θ by Let Π be set of positive roots (all c i 0). Well known that l S (w) = wπ ( Π), Θ β = α θ αβ α, so d S (u, v) = l S (u 1 v) = vπ u( Π). where θ αβ is the angle between α and β. Theorem The distance spectrum of the weak order graphs can be recovered from the spectrum of Θ. Now define d S (u, v) = uπ vπ. Can show Spec d S = {λ 1, λ 2,..., λ W } Spec d S = {λ 1, λ 2,..., λ W }. Proof Idea cont. Proof Idea cont. Define ψ w := α>0 wα. It follows that d S (u, v) = ψ u ψ v. This has same spectrum as D = ψ w ψ w. w Can show that Show for dihedral groups that D = W (π Θ), 2π then show it holds for all other reflection groups by considering cosets of dihedral subgroups. D αβ = {w W : wα > 0 and wβ > 0}.
9 Cyclic Eigenvectors in Types A, D, and E A Combinatorial Problem Theorem Let (α, β, γ) Φ be distinct, coplanar roots with α + β + γ = 0. Define cyclic subspace Ψ c Ψ to be space spanned by vectors of form ( ) ( ) ψ αβγ := α + β + γ α + β + γ. Let W be of type A, D, or E. Then Θ ψ αβγ = 2π 3 ψ αβγ. Problem What is the dimension of Ψ c? In type A n 1 roots are of form e i e j for 1 i < j n. Can map roots to directed edges in complete graph K n. Ψ c can be identified with cycle space of K n, which has dimension ( ) n 1 2. In type D can show dim Ψ c = n(n 2). (Proof by representation theory.) Combinatorial argument desired. Open Problems Distance Polynomial of Weak Order Graph in Type A Things To Do Theorem The distance polynomial of Γ(S n, S) is ( q n! (1/2)(n2 n+2) q n! ( )) n 2 2 ( q + n! 6 ) (n 1)(n 2)/2 ( q + ) (n + 1)! n 1. 6 Distance polynomial in type D obtained similarly. (Type I also known.) What about the other types? Applications? Chemistry? Can similar methods help to determine the adjacency spectrum of weak order graphs? Proof. By constructing remaining eigenvectors.
Outline. Some Reflection Group Numerology. Root Systems and Reflection Groups. Example: Symmetries of a triangle. Paul Renteln
Outline 1 California State University San Bernardino and Caltech 2 Queen Mary University of London June 13, 2014 3 Root Systems and Reflection Groups Example: Symmetries of a triangle V an n dimensional
More informationarxiv:math/ v1 [math.co] 7 Jan 2005
GENERALIZED DESCENT ALGEBRAS arxiv:math/0501099v1 [math.co] 7 Jan 2005 CÉDRIC BONNAFÉ AND CHRISTOPHE HOHLWEG1 Abstract. If A is a subset of the set of reflections of a finite Coxeter group W, we define
More informationCatalan numbers, parking functions, and invariant theory
Catalan numbers, parking functions, and invariant theory Vic Reiner Univ. of Minnesota CanaDAM Memorial University, Newfoundland June 10, 2013 Outline 1 Catalan numbers and objects 2 Parking functions
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More informationSetwise intersecting families of permutations
Setwise intersecting families of permutations David Ellis June 2011 Abstract A family of permutations A S n is said to be t-set-intersecting if for any two permutations σ, π A, there exists a t-set x whose
More informationThe Waring rank of the Vandermonde determinant
The Waring rank of the Vandermonde determinant Alexander Woo (U. Idaho) joint work with Zach Teitler(Boise State) SIAM Conference on Applied Algebraic Geometry, August 3, 2014 Waring rank Given a polynomial
More informationCharacter Polynomials
Character Polynomials Problem From Stanley s Positivity Problems in Algebraic Combinatorics Problem : Give a combinatorial interpretation of the row sums of the character table for S n (combinatorial proof
More informationarxiv: v1 [math.co] 2 Aug 2013
The Erdős-Ko-Rado property for some 2-transitive groups arxiv:1308.0621v1 [math.co] 2 Aug 2013 Abstract Bahman Ahmadi, Karen Meagher 1, Department of Mathematics and Statistics, University of Regina, 3737
More informationYoung s Natural Representations of S 4
Young s Natural Representations of S Quinton Westrich arxiv:111.0687v1 [math.rt] Dec 011 December 008 Abstract We calculate all inequivalent irreducible representations of S by specifying the matrices
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationLongest element of a finite Coxeter group
Longest element of a finite Coxeter group September 10, 2015 Here we draw together some well-known properties of the (unique) longest element w in a finite Coxeter group W, with reference to theorems and
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 informationarxiv: v1 [math.co] 26 May 2014
Cayley Graph on Symmetric Group Generated by Elements Fixing k Points Cheng Yeaw Ku Terry Lau Kok Bin Wong arxiv:1405.6462v1 [math.co] 26 May 2014 August 15, 2018 Abstract Let S n be the symmetric group
More informationAppendix to: Generalized Stability of Kronecker Coefficients. John R. Stembridge. 14 August 2014
Appendix to: Generalized Stability of Kronecker Coefficients John R. Stembridge 14 August 2014 Contents A. Line reduction B. Complementation C. On rectangles D. Kronecker coefficients and Gaussian coefficients
More informationFinite Subgroups of Gl 2 (C) and Universal Deformation Rings
Finite Subgroups of Gl 2 (C) and Universal Deformation Rings University of Missouri Conference on Geometric Methods in Representation Theory November 21, 2016 Goal Goal : Find connections between fusion
More informationINTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS
INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS HANMING ZHANG Abstract. In this paper, we will first build up a background for representation theory. We will then discuss some interesting topics in
More informationNOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS
NOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS VICTOR REINER Abstract. There are two famous formulae relating the Poincaré series of a finite/affine Weyl group to the degrees of fundamental
More informationSIMPLE ROOT SYSTEMS AND PRESENTATIONS FOR CERTAIN COMPLEX REFLECTION GROUPS. Jian-yi Shi
SIMPLE ROOT SYSTEMS AND PRESENTATIONS FOR CERTAIN COMPLEX REFLECTION GROUPS Jian-yi Shi Department of Mathematics, East China Normal University, Shanghai, 200062, China and Center for Combinatorics, Nankai
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 informationDegree Graphs of Simple Orthogonal and Symplectic Groups
Degree Graphs of Simple Orthogonal and Symplectic Groups Donald L. White Department of Mathematical Sciences Kent State University Kent, Ohio 44242 E-mail: white@math.kent.edu Version: July 12, 2005 In
More informationOn some combinatorial aspects of Representation Theory
On some combinatorial aspects of Representation Theory Doctoral Defense Waldeck Schützer schutzer@math.rutgers.edu Rutgers University March 24, 2004 Representation Theory and Combinatorics p.1/46 Overview
More informationON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS
ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS JOHN R. BRITNELL AND MARK WILDON Abstract. It is known that that the centralizer of a matrix over a finite field depends, up to conjugacy,
More informationNAVARRO VERTICES AND NORMAL SUBGROUPS IN GROUPS OF ODD ORDER
NAVARRO VERTICES AND NORMAL SUBGROUPS IN GROUPS OF ODD ORDER JAMES P. COSSEY Abstract. Let p be a prime and suppose G is a finite solvable group and χ is an ordinary irreducible character of G. Navarro
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 informationComputation of the Dimensions of Symmetry Classes of Tensors Associated with the Finite two Dimensional Projective Special Linear Group
Computation of the Dimensions of Symmetry Classes of Tensors Associated with the Finite two Dimensional Projective Special Linear Group M. R. Darafsheh, M. R. Pournaki Abstract The dimensions of the symmetry
More informationRoot systems. S. Viswanath
Root systems S. Viswanath 1. (05/07/011) 1.1. Root systems. Let V be a finite dimensional R-vector space. A reflection is a linear map s α,h on V satisfying s α,h (x) = x for all x H and s α,h (α) = α,
More informationMa/CS 6b Class 23: Eigenvalues in Regular Graphs
Ma/CS 6b Class 3: Eigenvalues in Regular Graphs By Adam Sheffer Recall: The Spectrum of a Graph Consider a graph G = V, E and let A be the adjacency matrix of G. The eigenvalues of G are the eigenvalues
More informationFactorisations of the Garside element in the dual braid monoids
Factorisations of the Garside element in the dual braid monoids Vivien Ripoll École Normale Supérieure Département de Mathématiques et Applications 30 June 2010 Journées Garside Caen 1 Dual braid monoids
More informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More informationAn algebraic proof of the Erdős-Ko-Rado theorem for intersecting families of perfect matchings
Also available at http://amc-journal.eu ISSN 855-3966 (printed edn.), ISSN 855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 2 (207) 205 27 An algebraic proof of the Erdős-Ko-Rado theorem for intersecting
More informationTHE BRAUER HOMOMORPHISM AND THE MINIMAL BASIS FOR CENTRES OF IWAHORI-HECKE ALGEBRAS OF TYPE A. Andrew Francis
THE BRAUER HOMOMORPHISM AND THE MINIMAL BASIS FOR CENTRES OF IWAHORI-HECKE ALGEBRAS OF TYPE A Andrew Francis University of Western Sydney - Hawkesbury, Locked Bag No. 1, Richmond NSW 2753, Australia a.francis@uws.edu.au
More informationON REGULARITY OF FINITE REFLECTION GROUPS. School of Mathematics and Statistics, University of Sydney, NSW 2006, Australia
ON REGULARITY OF FINITE REFLECTION GROUPS R. B. Howlett and Jian-yi Shi School of Mathematics and Statistics, University of Sydney, NSW 2006, Australia Department of Mathematics, East China Normal University,
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 informationThe Cartan Decomposition of a Complex Semisimple Lie Algebra
The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with
More informationRepresentation Theory. Ricky Roy Math 434 University of Puget Sound
Representation Theory Ricky Roy Math 434 University of Puget Sound May 2, 2010 Introduction In our study of group theory, we set out to classify all distinct groups of a given order up to isomorphism.
More informationRadon Transforms and the Finite General Linear Groups
Claremont Colleges Scholarship @ Claremont All HMC Faculty Publications and Research HMC Faculty Scholarship 1-1-2004 Radon Transforms and the Finite General Linear Groups Michael E. Orrison Harvey Mudd
More informationORTHOGONAL BASES OF BRAUER SYMMETRY CLASSES OF TENSORS FOR THE DIHEDRAL GROUP
ORTHOGONAL BASES OF BRAUER SYMMETRY CLASSES OF TENSORS FOR THE DIHEDRAL GROUP RANDALL R. HOLMES AVANTHA KODITHUWAKKU Abstract. Necessary and sufficient conditions are given for the existence of an orthogonal
More informationCUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK
CUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK JONATHAN NOVAK AND ARIEL SCHVARTZMAN Abstract. In this note, we give a complete proof of the cutoff phenomenon for the star transposition random walk on the
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 informationCUT-OFF FOR QUANTUM RANDOM WALKS. 1. Convergence of quantum random walks
CUT-OFF FOR QUANTUM RANDOM WALKS AMAURY FRESLON Abstract. We give an introduction to the cut-off phenomenon for random walks on classical and quantum compact groups. We give an example involving random
More informationClassification of root systems
Classification of root systems September 8, 2017 1 Introduction These notes are an approximate outline of some of the material to be covered on Thursday, April 9; Tuesday, April 14; and Thursday, April
More informationAdjoint Representations of the Symmetric Group
Adjoint Representations of the Symmetric Group Mahir Bilen Can 1 and Miles Jones 2 1 mahirbilencan@gmail.com 2 mej016@ucsd.edu Abstract We study the restriction to the symmetric group, S n of the adjoint
More informationPresentations of Finite Simple Groups
Presentations of Finite Simple Groups Berlin, September 2009 1 / 18 Overview 2 / 18 Presentations Easy Bounds Interesting Questions Main result Comments Cyclic groups Holt s Conjecture 3 / 18 Presentations
More informationGroup Theory pt 2. PHYS Southern Illinois University. November 16, 2016
Group Theory pt 2 PHYS 500 - Southern Illinois University November 16, 2016 PHYS 500 - Southern Illinois University Group Theory pt 2 November 16, 2016 1 / 6 SO(3) Fact: Every R SO(3) has at least one
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 information(Ref: Schensted Part II) If we have an arbitrary tensor with k indices W i 1,,i k. we can act on it 1 2 k with a permutation P = = w ia,i b,,i l
Chapter S k and Tensor Representations Ref: Schensted art II) If we have an arbitrary tensor with k indices W i,,i k ) we can act on it k with a permutation = so a b l w) i,i,,i k = w ia,i b,,i l. Consider
More informationMath Subject GRE Questions
Math Subject GRE Questions Calculus and Differential Equations 1. If f() = e e, then [f ()] 2 [f()] 2 equals (a) 4 (b) 4e 2 (c) 2e (d) 2 (e) 2e 2. An integrating factor for the ordinary differential equation
More informationPermutation Groups. John Bamberg, Michael Giudici and Cheryl Praeger. Centre for the Mathematics of Symmetry and Computation
Notation Basics of permutation group theory Arc-transitive graphs Primitivity Normal subgroups of primitive groups Permutation Groups John Bamberg, Michael Giudici and Cheryl Praeger Centre for the Mathematics
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 informationPhilip Puente. Statement of Research and Scholarly Interests 1 Areas of Interest
Philip Puente Statement of Research and Scholarly Interests 1 Areas of Interest I work on questions on reflection groups at the intersection of algebra, geometry, and topology. My current research uses
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 informationCounting chains in noncrossing partition lattices
Counting chains in noncrossing partition lattices Nathan Reading NC State University NCSU Algebra Seminar, November 16, 2007 1 Counting chains in noncrossing partition lattices Classical noncrossing partitions
More informationPresenting and Extending Hecke Endomorphism Algebras
Presenting and Extending Hecke Endomorphism Algebras Jie Du University of New South Wales Shanghai Conference on Representation Theory 7-11 December 2015 1 / 27 The Hecke Endomorphism Algebra The (equal
More informationQuotients of Poincaré Polynomials Evaluated at 1
Journal of Algebraic Combinatorics 13 (2001), 29 40 c 2001 Kluwer Academic Publishers. Manufactured in The Netherlands. Quotients of Poincaré Polynomials Evaluated at 1 OLIVER D. ENG Epic Systems Corporation,
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 informationSymmetry in quantum walks on graphs
NSF Workshop on Quantum Information Processing and Nanoscale Systems, September 2007 Symmetry in quantum walks on graphs Hari Krovi and Todd Brun Communication Sciences Institute Ming Hsieh Department
More informationInvariant Theory of AS-Regular Algebras: A Survey
Invariant Theory of AS-Regular Algebras: A Survey Ellen Kirkman Maurice Auslander Distinguished Lectures and International Conference April 20, 2013 Collaborators Jacque Alev Kenneth Chan James Kuzmanovich
More informationCharacter tables for some small groups
Character tables for some small groups P R Hewitt U of Toledo 12 Feb 07 References: 1. P Neumann, On a lemma which is not Burnside s, Mathematical Scientist 4 (1979), 133-141. 2. JH Conway et al., Atlas
More informationWeil Representations of Finite Fields
Weil Representations of Finite Fields Tim Tzaneteas December, 005 1 Introduction These notes present some of the results of a paper by Paul Gérardin [1] concerning the representations of matrix groups
More informationREPRESENTATION THEORY FOR FINITE GROUPS
REPRESENTATION THEORY FOR FINITE GROUPS SHAUN TAN Abstract. We cover some of the foundational results of representation theory including Maschke s Theorem, Schur s Lemma, and the Schur Orthogonality Relations.
More informationStandard Young Tableaux Old and New
Standard Young Tableaux Old and New Ron Adin and Yuval Roichman Department of Mathematics Bar-Ilan University Workshop on Group Theory in Memory of David Chillag Technion, Haifa, Oct. 14 1 2 4 3 5 7 6
More information18.702: Quiz 1 Solutions
MIT MATHEMATICS 18.702: Quiz 1 Solutions February 28 2018 There are four problems on this quiz worth equal value. You may quote without proof any result stated in class or in the assigned reading, unless
More informationSUPPLEMENT ON THE SYMMETRIC GROUP
SUPPLEMENT ON THE SYMMETRIC GROUP RUSS WOODROOFE I presented a couple of aspects of the theory of the symmetric group S n differently than what is in Herstein. These notes will sketch this material. You
More informationCHARACTERS OF FINITE GROUPS.
CHARACTERS OF FINITE GROUPS. ANDREI YAFAEV As usual we consider a finite group G and the ground field F = C. Let U be a C[G]-module and let g G. Then g is represented by a matrix [g] in a certain basis.
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 informationREPRESENTATION THEORY. WEEK 4
REPRESENTATION THEORY. WEEK 4 VERA SERANOVA 1. uced modules Let B A be rings and M be a B-module. Then one can construct induced module A B M = A B M as the quotient of a free abelian group with generators
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 informationScaffolds. A graph-based system for computations in Bose-Mesner algebras. William J. Martin
A graph-based system for computations in Bose-esner algebras Department of athematical Sciences and Department of Computer Science Worcester Polytechnic Institute Algebraic Combinatorics Seminar Shanghai
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationCONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP
Uno, K. Osaka J. Math. 41 (2004), 11 36 CONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP Dedicated to Professor Yukio Tsushima on his sixtieth birthday KATSUHIRO UNO 1. Introduction (Received
More informationRoot system chip-firing
Root system chip-firing PhD Thesis Defense Sam Hopkins Massachusetts Institute of Technology April 27th, 2018 Includes joint work with Pavel Galashin, Thomas McConville, Alexander Postnikov, and James
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 informationThe Terwilliger Algebras of Group Association Schemes
The Terwilliger Algebras of Group Association Schemes Eiichi Bannai Akihiro Munemasa The Terwilliger algebra of an association scheme was introduced by Paul Terwilliger [7] in order to study P-and Q-polynomial
More informationEuler characteristic of the truncated order complex of generalized noncrossing partitions
Euler characteristic of the truncated order complex of generalized noncrossing partitions D. Armstrong and C. Krattenthaler Department of Mathematics, University of Miami, Coral Gables, Florida 33146,
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 informationYOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP
YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YUFEI ZHAO ABSTRACT We explore an intimate connection between Young tableaux and representations of the symmetric group We describe the construction
More information4 Group representations
Physics 9b Lecture 6 Caltech, /4/9 4 Group representations 4. Examples Example : D represented as real matrices. ( ( D(e =, D(c = ( ( D(b =, D(b =, D(c = Example : Circle group as rotation of D real vector
More informationREPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012
REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre
More informationCombinatorial semigroups and induced/deduced operators
Combinatorial semigroups and induced/deduced operators G. Stacey Staples Department of Mathematics and Statistics Southern Illinois University Edwardsville Modified Hypercubes Particular groups & semigroups
More informationCanonical systems of basic invariants for unitary reflection groups
Canonical systems of basic invariants for unitary reflection groups Norihiro Nakashima, Hiroaki Terao and Shuhei Tsujie Abstract It has been known that there exists a canonical system for every finite
More informationOn a question of B.H. Neumann
On a question of B.H. Neumann Robert Guralnick Department of Mathematics University of Southern California E-mail: guralnic@math.usc.edu Igor Pak Department of Mathematics Massachusetts Institute of Technology
More informationRational Catalan Combinatorics: Intro
Rational Catalan Combinatorics: Intro Vic Reiner Univ. of Minnesota reiner@math.umn.edu AIM workshop Dec. 17-21, 2012 Goals of the workshop 1 Reinforce existing connections and forge new connections between
More informationMath 121 Homework 5 Solutions
Math 2 Homework Solutions Problem 2, Section 4.. Let τ : C C be the complex conjugation, defined by τa + bi = a bi. Prove that τ is an automorphism of C. First Solution. Every element of C may be written
More informationNotes 10: Consequences of Eli Cartan s theorem.
Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: May 16, 2017 5 Review of Root Systems In this section, let us have a brief introduction to root system and finite Lie type classification
More informationUnipotent Brauer character values of GL(n, F q ) and the forgotten basis of the Hall algebra
Unipotent Brauer character values of GL(n, F q ) and the forgotten basis of the Hall algebra Jonathan Brundan Abstract We give a formula for the values of irreducible unipotent p-modular Brauer characters
More informationTopological Matter, Strings, K-theory and related areas September 2016
Topological Matter, Strings, K-theory and related areas 26 30 September 2016 This talk is based on joint work with from Caltech. Outline 1. A string theorist s view of 2. Mixed Hodge polynomials associated
More informationSmith Normal Form and Combinatorics
Smith Normal Form and Combinatorics p. 1 Smith Normal Form and Combinatorics Richard P. Stanley Smith Normal Form and Combinatorics p. 2 Smith normal form A: n n matrix over commutative ring R (with 1)
More informationYOUNG-JUCYS-MURPHY ELEMENTS
YOUNG-JUCYS-MURPHY ELEMENTS MICAH GAY Abstract. In this lecture, we will be considering the branching multigraph of irreducible representations of the S n, although the morals of the arguments are applicable
More informationEigenvalues of Random Matrices over Finite Fields
Eigenvalues of Random Matrices over Finite Fields Kent Morrison Department of Mathematics California Polytechnic State University San Luis Obispo, CA 93407 kmorriso@calpoly.edu September 5, 999 Abstract
More informationMax Hopkins. Advisor: Madhu Sudan
Representation-Theoretic Techniques for Independence Bounds of Cayley Graphs Max Hopkins Advisor: Madhu Sudan A thesis submitted in partial fulfillment of the requirements for the degree of Bachelor of
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More informationTHE REPRESENTATIONS OF THE SYMMETRIC GROUP
THE REPRESENTATIONS OF THE SYMMETRIC GROUP LAUREN K. WILLIAMS Abstract. In this paper we classify the irreducible representations of the symmetric group S n and give a proof of the hook formula for the
More informationDiscriminants of Brauer Algebra
Discriminants of Brauer Algebra Dr.Jeyabharthi, Associate Professor Department of Mathematics, Thiagarajar Engineering College, Madurai. J.Evangeline Jeba, Assistant Professor Department of Mathematics,
More informationWeeks 6 and 7. November 24, 2013
Weeks 6 and 7 November 4, 03 We start by calculating the irreducible representation of S 4 over C. S 4 has 5 congruency classes: {, (, ), (,, 3), (, )(3, 4), (,, 3, 4)}, so we have 5 irreducible representations.
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 informationLOCALLY ELUSIVE CLASSICAL GROUPS. 1. Introduction
LOCALLY ELUSIVE CLASSICAL GROUPS TIMOTHY C. BURNESS AND MICHAEL GIUDICI Abstract. Let G be a transitive permutation group of degree n with point stabiliser H and let r be a prime divisor of n. We say that
More informationA SHORT COURSE IN LIE THEORY
A SHORT COURSE IN LIE THEORY JAY TAYLOR Abstract. These notes are designed to accompany a short series of talks given at the University of Aberdeen in the second half session of the academic year 2009/2010.
More informationLiouvillian solutions of third order differential equations
Article Submitted to Journal of Symbolic Computation Liouvillian solutions of third order differential equations Felix Ulmer IRMAR, Université de Rennes, 0 Rennes Cedex, France felix.ulmer@univ-rennes.fr
More information