CUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK
|
|
- Alison Ellis
- 5 years ago
- Views:
Transcription
1 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 symmetric group.. Introduction An ergodic random walk on a finite regular graph has uniform measure as its stationary distribution. In approaching this limit, certain models exhibit a cutoff : the total variation distance to uniform remains close to its initial value for a time, and then abruptly becomes tiny [6]. The goal of this note is to present a complete analysis of one such model the star transposition random walk on the symmetric group. Identify the symmetric group S(d) with its right Cayley graph, as generated by the two-cycles (.) ( d), (2 d),..., (d d). Imagine a particle positioned at a given vertex of S(d). Let the position of this particle evolve in discrete time, according to the following rule: at each tick of the clock, the particle either stays put or jumps to a neighbouring vertex, all events occurring with equal probability. The generators (.) are called star transpositions, see [8, 2, 3, 5], and we will refer to this stochastic process as the star transposition random walk. Our goal is to give a complete proof of the following statement. Theorem. The star transposition random walk on S(d) exhibits cutoff at time d log d. A precise formulation of this result is given in Theorem 2 below. Note that Theorem is well-known to probabilists, see e.g. [5, Chapter 3] and [6, 9.5]. However, we have been unable to locate a proof of its precise version, Theorem 2, in the literature. We felt that assembling a complete proof of the cutoff phenomenon for the star transposition random walk was worthwhile for several reasons. First, the details of the argument are non-trivial and deserve to be recorded. Second, the modern approach to representations of symmetric groups, as developed in [4] and expounded in [2], facilitates a streamlined argument which clarifies an important point: the non-centrality of this process is not a significant obstacle, and what really matters is that the walk is driven by an element of the Gelfand-Tsetlin algebra. Finally, the star transposition random walk is special: among all minimal sets of transpositions which generate the symmetric group, star transpositions induce the Cayley graph
2 2 JONATHAN NOVAK AND ARIEL SCHVARTZMAN with largest spectral gap, and hence facilitate the fastest mixing. This fact is perhaps best understood in the framework of a recently resolved conjecture of Aldous; see [, 4, 0]..0.. Acknowledgement. This paper was written while the second author was participating in MIT s Undergraduate Research Opportunities Program (UROP) under the guidance of the first author. We thank Guillaume Chapuy for several helpful suggestions concerning the upper bound argument. 2. Precise statement Equip CS(d), the complex group algebra of S(d), with the inner product in which the permutations form an orthonormal basis, so that A = g S(d) g, A g for any A CS(d), and let be the corresponding l -norm, A = g S(d) g, A. Consider the unit vectors P, U CS(d) defined by with I the identity permutation and P = d (I + J), U = d! g S(d) g, (2.) J = ( d) + + (d d). Then P r is the distribution of the star transposition walk at time r, i.e. the inner product g, P r is the probability that the particle is located at vertex g of the Cayley graph after r jumps. Similarly, U is the uniform distribution on S(d), and P r U is the total variation distance between the distributions P r and U. We will prove the following precise version of Theorem. Theorem 2. Fix a large positive integer d. For any t > 0 such that r = d log d+td is an integer, P r U e 2 t. For any 0 < t < log d such that r = d log d td is an integer, P r U 400e t. 3. Upper bound To obtain the upper bound in Theorem 2, we will modify the arguments presented in [5, Chapter 3] and [2, Chapter 0], which treat the all-transpositions random walk. In the interest of brevity, we assume familiarity with the representation theory of finite groups in general, and the symmetric group in particular. We will use the following notation: Y (d) is the set of Young diagrams with d cells, T (d) is the set of standard Young tableaux with d cells, sh : T (d) Y (d) is the forgetful
3 CUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK 3 map which sends each tableau to its underlying shape. Let ω(t ) denote the column index less the row index of the cell containing d in the tableau T. Let (V λ, ρ λ ), λ Y (d), be a complete set of pairwise non-isomorphic irreducible representations of CS(d). Applying the Diaconis-Shahshahani upper bound lemma [5, Chapter 3], we have (3.) P r U 2 2 λ (d) (dim λ) Tr ρ λ (P 2r ), where dim λ denotes the vector space dimension of V λ. In [4], a basis (3.2) v T, T sh (λ) of V λ is constructed such that (3.3) ρ λ (J)v T = ω(t )v T. The basis (3.2) is called the Gelfand-Tsetlin basis in [4]. The commutative subalgebra of CS(d) consisting of elements which act diagonally on the Gelfand-Tsetlin basis in each irreducible representation is known as the Gelfand-Tsetlin subalgebra. The generator of the star transposition random walk, P = I + J, belongs to the Gelfand-Tsetlin subalgebra. Indeed, it follows from (3.3) that the operator ρ λ (P ) is diagonal in the basis {v T } of V λ, and has spectrum ( + ω(t )), d T sh (λ). The spectrum of P is also computed in [9, Theorem 3.7], where it is used to study the hitting time of the star transposition random walk. From the above discussion, we conclude that Tr ρ λ (P 2r ) = T sh (λ) and hence the upper bound in (3.) becomes ( + ω(t )) 2r, (3.4) P r U 2 2 = 2 λ (d) ω(t )<d dim λ T sh (λ) ( + ω(t )) 2r dim sh(t )( + ω(t )) 2r. Let us decompose the right hand side of (3.4) as
4 4 JONATHAN NOVAK AND ARIEL SCHVARTZMAN (3.5) = = ω(t )<d 0 ω(t )<d 0 ω(t )<d dim sh(t )( + ω(t )) 2r dim sh(t )( + ω(t )) 2r + dim sh(t )( + ω(t )) 2r + (d ) ω(t )<0 (d ) ω(t )<0 dim sh(t )( + ω(t )) 2r dim sh(t )( ω(t ) ) 2r. In words, the first group of terms above corresponds to standard Young tableaux in which the cell containing d lies on or above the main diagonal, while the second group of terms corresponds to tableaux in which the cell containing d lies below the main diagonal. Given T T (d), let T denote its transpose, which is again a standard Young tableau. Noting that dim sh(t ) = dim sh(t ) and ω(t ) = ω(t ), the summation over tableaux with negative ω(t ) may be written (3.6) (d ) ω(t )<0 (3.7) We now argue that 0 ω(t ) d dim sh(t )( ω(t ) ) 2r = = dim sh(t )( ω(t )) 2r 0<ω(T ) d 0<ω(T ) d 0 ω(t ) d 0 ω(t )<d dim sh(t )( ω(t )) 2r dim sh(t )( ω(t )) 2r dim sh(t )( ω(t )) 2r. dim sh(t )( + ω(t )) 2r. While it is clear that each term of the sum on the left side of (3.7) is bounded by the corresponding term of the sum on the right hand side, the left sum has one more term, and so the inequality is not obvious. Consider the terms corresponding to the tableaux (3.8) and d 2 (3.9) d. On one hand, the tableau (3.8) contributes
5 CUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK 5 (3.0) dim(d, )( (d 2)) 2r = (d )(d 3) 2r to the left side of (3.7), while the tableau (3.9) contributes (3.) ( (d )) 2r = (d 2) 2r. On the other hand, (3.8) contributes (3.2) (d )( + (d 2)) 2r = (d ) 2r+ to the right hand side of (3.7). Hence (3.7) is equivalent to the inequality (3.3) (d )(d 3) 2r + (d 2) 2r (d ) 2r+, which is easy to verify. We conclude that the upper bound (3.4) implies the upper bound (3.4) P r U 2 0 ω(t )<d dim sh(t )( + ω(t )) 2r We now use (3.4) to prove the upper bound in Theorem 2. From (3.4), we obtain (3.5) P r U 2 = 0 ω(t )<d λ (d) λ (d) λ (d) dim λ dim λ dim sh(t )( + ω(t )) 2r T sh (λ) ω(t ) 0 T sh (λ) ω(t ) 0 λ 2r (dim λ) 2. ( + ω(t )) 2r ( + λ ) 2r Let us partition the terms of the final sum in (3.5) according to initial row length: (3.6) λ (d) d λ 2r (dim λ) 2 = λ =d j d = ( j d )2r ( j d )2r (dim λ) 2 λ =d j (dim λ) 2.
6 6 JONATHAN NOVAK AND ARIEL SCHVARTZMAN Given a Young diagram λ with d cells in total and d j cells in the first row, write λ = (d j, λ ), where λ is the Young diagram with j cells obtained by removing the first row of λ. We then have the inequality (3.7) dim(d j, λ ) ( ) d dim λ. d j Indeed, there are ( d d j ) standard fillings of the first row (the initial cell must be filled with ), and dim λ standard fillings of the remaining cells. We thus arrive at the bound (3.8) d P r U 2 d = ( j ) 2r ( ) 2 d (dim λ ) 2 d d j λ Y (j) ) 2 j!, ( j ) 2r ( d d d j where the equality is a consequence of Frobenius s theorem that the sum of the squares of the dimensions of the irreducible representations of a finite group is equal to the cardinality of the group. Applying the inequality x e x, the bound (3.8) yields (3.9) d ( ) 2 P r U 2 e 2jr d d j! d j d = e 2jr d ( (d )! ) 2 (d j)! j! Now let t be a positive number such that d log d + td is an integer. Then we have (3.20) d ( ) 2 (d )! P d log d+td U 2 e 2jt d 2j (d j)! j! d ( ) 2 e 2t (d )! j! d j (d j)! d ( = e 2t (d ) j j! d j d e 2t j! e 2t. ) 2 Taking square roots yields the upper bound of Theorem 2.
7 CUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK 7 For any E S(d), we have 4. Lower bound (4.) P r U Π E (P r ) Π E (U) Π E(P r ) Π E (U), where Π E End CS(d) acts on permutations according to (4.2) Π E (g) = { g, if g E 0, if g E. Thus, in order to obtain a lower bound on P r U, it suffices to construct a set E such that Π E (U) and Π E (P r ) are far apart. The function from sets to numbers defined by (4.3) E Π E (P r ) is the distribution of the star transposition random walk at time r. For small r, this distribution is concentrated in a small neighbourhood of the starting point of the random walk. Thus, assuming without loss in generality that the point of departure is the identity permutation, when r is small this distribution is concentrated on permutations with a large number of fixed points. Thus, for small r, the probability Π E (P r ) is small if E is a set of permutations whose members have a small number of fixed points. But a uniformly random permutation has few fixed points with high probability, and thus the difference Π E (U) Π E (P r ) will large in absolute value when r is small. The above strategy can be implemented algebraically using the fact that the character of the standard representation (V (d,), ρ (d,) ) of CS(d) is a fixed point count: (4.4) Tr ρ (d,) (g) = #{fixed points of g}. Set (4.5) χ (d,) = g S(d) Tr ρ (d,) (g)g, so that χ (d,), P r = Tr ρ (d,) (P r ) is one less than the expected number of fixed points of the star transposition random walk at time r. The operator ρ (d,) (P r ) has the eigenvalue (4.6) ( d) r with multiplicity dim V (d 2,) = d 2, corresponding to Gelfand-Tsetlin basis vectors in V (d,) indexed by Young tableaux of the form (4.7)... d.
8 8 JONATHAN NOVAK AND ARIEL SCHVARTZMAN It also has a one-dimensional kernel corresponding to the Gelfand-Tsetlin basis vector indexed by the tableau (4.8) Thus, for any positive integer r, (d ). d (4.9) χ (d,), P r = Tr ρ (d,) (P r ) = (d 2)( d )r is one less than the expected number of fixed points of the star transposition random walk at time r. For 0 < s χ (d,), P r, consider the event (4.0) E s = {g S(d) : Tr ρ (d,) (g) s}. By definition of E s, we have (4.) E s {g S(d) : Tr ρ (d,) (g) χ (d,), P r χ (d,), P r s}, so that (4.2) Π Es (P r ) (χ(d,) ) 2, P r χ (d,), P r 2 ( χ (d,), P r s) 2, by Chebyshev s inequality. As with any representation, the tensor square of the standard representation decomposes into the direct sum of the symmetric square and the alternating square: (4.3) V (d,) V (d,) = Sym 2 V (d,) Alt 2 V (d,). The alternating square of the standard representation is irreducible and isomorphic V (d 2,,) (see [, 3.2]). The symmetric square is reducible and decomposes as (4.4) Sym 2 V (d,) = V (d) V (d,) V (d 2,2), see [, Exercise 4.9]. Consequently, (4.5) (χ (d,) ) 2 = χ (d) + χ (d 2,2) + χ (d 2,,) + χ (d,), and our Chebyshev bound (4.2) becomes (4.6) Π Es (P r ) + χ(d 2,2), P r + χ (d 2,,), P r + χ (d,), P r χ (d,), P r 2 ( χ (d,), P r s) 2 = + Tr ρ(d 2,2) (P r ) + Tr ρ (d 2,,) (P r ) + Tr ρ (d,) (P r ) ( Tr ρ (d,) (P r ) ) 2 (Tr ρ (d,) (P r ) s) 2. The operator ρ (d 2,2) (P r ) has the eigenvalue
9 CUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK 9 ( 2 ) r with multiplicity dim V (d 3,2) (d )(d 4) = d 2 corresponding to Gelfand-Tsetlin basis vectors in V (d 2,2) labelled by standard tableaux of the form as well as the eigenvalue... d, d r with multiplicity dim V (d 2,) = d 2 corresponding to basis vectors labelled by tableaux of the form.... d The operator ρ (d 2,,) (P r ) has the eigenvalue ( 2 ) r with multiplicity dim V (d 3,,) = (d )(d 2) d 2 corresponding to Gelfand-Tsetlin basis vectors in V (d 2,,) labelled by standard Young tableaux of the form as well as the eigenvalue... d, ( ) r d r with multiplicity dim V (d 2,) = d 2 corresponding to basis vectors labelled by tableaux of the form... d. It follows from the above computations that (4.7) χ (d 2,2), P r + χ (d 2,,), P r χ (d,), P r 2, so that our Chebyshev bound (4.2) implies (4.8) Π Es (P r ) + Tr ρ(d,) (P r ) (Tr ρ (d,) (P r ) s) 2. It remains only to make this upper bound explicit. We have Writing Tr ρ (d,) (P r ) = (d 2)( d )r = (d 2)e r log( d ).
10 0 JONATHAN NOVAK AND ARIEL SCHVARTZMAN this becomes log( x) = x x2 2 q(x), q(x) = + 2 x n n + 2, n= Tr ρ (d,) (P r ) = (d 2)e r( d + 2d 2 q( d )), so that, for any real t such that d log d td is a positive integer, Tr ρ (d,) (P d log d td ) = (d 2)e (d log d td)( d + 2d 2 q( d )) log d t (log d t+ = (d 2)e 2d q( d )) = ( 2 d )et e t log d 2d q( d ). Now, q( d ) is a positive, decreasing function of d N 2 with (4.9) q( 2 ) + 2 n= 2 n = 3 and q( d ) as d. Thus, for 0 t < log d, we have (4.20) e log d d q( d ) e t log d 2d q( d ) <, and this yields the two-sided inequality (4.2) 0.e t Tr ρ (d,) (P d log d td ) e t for d 3. From (4.8), we thus have (4.22) Π Es (P d log d td ) + e t (0.e t s) 2 for any 0 t < log d such that d log d td is a positive integer. Choosing s = 0.05e t, we obtain (4.23) Π E0.05e t (P d log d td ) + et e 2t = 400e t + 400e 2t. Let us now compare the above to the probability (4.24) Π E0.05e t (U). First, one less than the expected number of fixed points in a uniformly random permutation is (4.25) χ (d,), U = d! χ(d,), χ (d) = 0, by the orthogonality of irreducible characters. Using the tensor square decomposition described above together with orthogonality, it is easy to compute a second moment:
11 CUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK (χ (d,) ) 2, U = d! χ(d), χ (d) + d! χ(d,), χ (d) + d! χ(d 2,2), χ (d) + d! χ(d 2,,), χ (d) We thus have (4.26) =. Π E0.05e t (U) = Π S(d)\E0.05e t (U) = Π {g S(d):(Tr ρ (d,) (g)) 2 >0.0025e 2t }(U), by Markov s inequality e2t = 400e 2t. Combining our estimates on Π E (P d log d td ) and Π E 2 3 et (U), we conclude 2 et 3 that (4.27) Π E0.05e t (U) Π E0.05e t (P d log d td ) 400e t, which is precisely the lower bound in Theorem 2. References. P. Caputo, T. M. Liggett, T. Richthammer, Proof of Aldous spectral gap conjecture, J. Amer. Math. Soc. 23 (200), T. Ceccherini-Silberstein, F. Scarabotti, F. Tolli, Harmonic Analysis on Finite Groups, Cambridge Studies in Advanced Mathematics 08, T. Ceccherini-Silberstein, F. Scarabotti, F. Tolli, Representation Theory of the Symmetric Groups: The Okounkov-Vershik Approach, Character Formulas, and Partition Algebras, Cambridge Studies in Advanced Mathematics 2, F. Cesi, On the eigenvalues of Cayley graphs on the symmetric group generated by a complete multipartite set of transpositions, J. Algebr. Comb. 32 (200), P. Diaconis, Group Representations in Probability and Statistics, Institute of Mathematical Statistics Monograph Series, Volume, P. Diaconis, The cutoff phenomenon in finite Markov chains, Proc. Natl. Acad. Sci. USA 93 (996), P. Diaconis, C. Greene, Applications of Murphy s elements, Stanford University Technical Report 335 (989). 8. V. Féray, Partial Jucys-Murphy Elements and Star Factorizations, European J. Combin. 33 (202), L. Flatto, A. M. Odlyzko, D. B. Wales, Random shuffles and group representations, Ann. Prob. 3 (985), J. Friedman, On Cayley graphs of the symmetric group generated by transpositions, Combinatorica 20 (2000), W. Fulton, J. Harris, Representation Theory: A First Course, Springer Graduate Texts in Mathematics 29, I. P. Goulden, D. M. Jackson, Transitive powers of Young-Jucys-Murphy elements are central, J. Algebra 32 (2009), J. Irving, A. Rattan, Minimal factorizations of permutations into star transpositions, Discrete Math. 309 (2009), A. Okounkov, A. Vershik, A new approach to representation theory of symmetric groups, Selecta Math. (N.S.) 4 (996), I. Pak, Reduced decompositions of permutations in terms of star transpositions, generalized Catalan numbers, and k-ary trees, Discrete Math. 204 (999), L. Saloff-Coste, Random walks on finite groups. 7. R. P. Stanley, Enumerative Combinatorics: Volume 2.
12 2 JONATHAN NOVAK AND ARIEL SCHVARTZMAN Department of Mathematics, Massachusetts Institute of Technology, USA address: Department of Mathematics, Massachusetts Institute of Technology, USA address:
A Proof of Aldous Spectral Gap Conjecture. Thomas M. Liggett, UCLA. Stirring Processes
A Proof of Aldous Spectral Gap Conjecture Thomas M. Liggett, UCLA Stirring Processes Given a graph G = (V, E), associate with each edge e E a Poisson process Π e with rate c e 0. Labels are put on the
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 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 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 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 informationNotes on the Vershik-Okounkov approach to the representation theory of the symmetric groups
Notes on the Vershik-Okounkov approach to the representation theory of the symmetric groups 1 Introduction These notes 1 contain an expository account of the beautiful new approach to the complex finite
More informationEigenvalues, random walks and Ramanujan graphs
Eigenvalues, random walks and Ramanujan graphs David Ellis 1 The Expander Mixing lemma We have seen that a bounded-degree graph is a good edge-expander if and only if if has large spectral gap If G = (V,
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 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 informationRepresentation theory
Representation theory Dr. Stuart Martin 2. Chapter 2: The Okounkov-Vershik approach These guys are Andrei Okounkov and Anatoly Vershik. The two papers appeared in 96 and 05. Here are the main steps: branching
More informationSAMPLE TEX FILE ZAJJ DAUGHERTY
SAMPLE TEX FILE ZAJJ DAUGHERTY Contents. What is the partition algebra?.. Graphs and equivalence relations.. Diagrams and their compositions.. The partition algebra. Combinatorial representation theory:
More informationA FAMILY OF FINITE GELFAND PAIRS ASSOCIATED WITH WREATH PRODUCTS
A FAMILY OF FINITE GELFAND PAIRS ASSOCIATED WITH WREATH PRODUCTS CHAL BENSON AND GAIL RATCLIFF Abstract. Consider the wreath product G n = Γ n S n of a finite group Γ with the symmetric group S n. Letting
More informationOn the Error Bound in the Normal Approximation for Jack Measures (Joint work with Le Van Thanh)
On the Error Bound in the Normal Approximation for Jack Measures (Joint work with Le Van Thanh) Louis H. Y. Chen National University of Singapore International Colloquium on Stein s Method, Concentration
More informationENUMERATION OF TREES AND ONE AMAZING REPRESENTATION OF THE SYMMETRIC GROUP. Igor Pak Harvard University
ENUMERATION OF TREES AND ONE AMAZING REPRESENTATION OF THE SYMMETRIC GROUP Igor Pak Harvard University E-mail: pak@math.harvard.edu Alexander Postnikov Massachusetts Institute of Technology E-mail: apost@math.mit.edu
More informationThe symmetric group action on rank-selected posets of injective words
The symmetric group action on rank-selected posets of injective words Christos A. Athanasiadis Department of Mathematics University of Athens Athens 15784, Hellas (Greece) caath@math.uoa.gr October 28,
More information5 Irreducible representations
Physics 129b Lecture 8 Caltech, 01/1/19 5 Irreducible representations 5.5 Regular representation and its decomposition into irreps To see that the inequality is saturated, we need to consider the so-called
More informationALGEBRAIC COMBINATORICS
ALGEBRAIC COMBINATORICS Greta Panova & Piotr Śniady Skew Howe duality and random rectangular Young tableaux Volume 1, issue 1 (2018), p. 81-94.
More informationFUSION PROCEDURE FOR THE BRAUER ALGEBRA
FUSION PROCEDURE FOR THE BRAUER ALGEBRA A. P. ISAEV AND A. I. MOLEV Abstract. We show that all primitive idempotents for the Brauer algebra B n ω can be found by evaluating a rational function in several
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 informationDIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO
DIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO Abstract. In this paper, we give a sampling of the theory of differential posets, including various topics that excited me. Most of the material is taken from
More informationL n = l n (π n ) = length of a longest increasing subsequence of π n.
Longest increasing subsequences π n : permutation of 1,2,...,n. L n = l n (π n ) = length of a longest increasing subsequence of π n. Example: π n = (π n (1),..., π n (n)) = (7, 2, 8, 1, 3, 4, 10, 6, 9,
More informationA Conjectured Combinatorial Interpretation of the Normalized Irreducible Character Values of the Symmetric Group
A Conjectured Combinatorial Interpretation of the Normalized Irreducible Character Values of the Symmetric Group Richard P. Stanley Department of Mathematics, Massachusetts Institute of Technology Cambridge,
More informationGeneralized Foulkes Conjecture and Tableaux Construction
Generalized Foulkes Conjecture and Tableaux Construction Thesis by Rebecca Vessenes In Partial Fulfillment of the Requirements for the egree of octor of Philosophy California Institute of Technology Pasadena,
More informationOberwolfach workshop on Combinatorics and Probability
Apr 2009 Oberwolfach workshop on Combinatorics and Probability 1 Describes a sharp transition in the convergence of finite ergodic Markov chains to stationarity. Steady convergence it takes a while to
More informationA Characterization of (3+1)-Free Posets
Journal of Combinatorial Theory, Series A 93, 231241 (2001) doi:10.1006jcta.2000.3075, available online at http:www.idealibrary.com on A Characterization of (3+1)-Free Posets Mark Skandera Department of
More informationFROM PARKING FUNCTIONS TO GELFAND PAIRS
FROM PARKING FUNCTIONS TO GELFAND PAIRS KÜRŞAT AKER, MAHİR BİLEN CAN Abstract. A pair (G, K) of a group and its subgroup is called a Gelfand pair if the induced trivial representation of K on G is multiplicity
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 informationComplexity of the Fourier transform on the Johnson graph
Complexity of the Fourier transform on the Johnson graph arxiv:1704.06299v3 [math.co] 8 Mar 2018 Rodrigo Iglesias Departamento de Matemática Universidad Nacional del Sur Bahía Blanca, Argentina. March
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 informationG(t) := i. G(t) = 1 + e λut (1) u=2
Note: a conjectured compactification of some finite reversible MCs There are two established theories which concern different aspects of the behavior of finite state Markov chains as the size of the state
More informationREPRESENTATION THEORY WEEK 5. B : V V k
REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +
More informationOutline. The Distance Spectra of Cayley Graphs of Coxeter Groups. Finite Reflection Group. Root Systems. Reflection/Coxeter Groups.
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
More informationCharacterization of cutoff for reversible Markov chains
Characterization of cutoff for reversible Markov chains Yuval Peres Joint work with Riddhi Basu and Jonathan Hermon 23 Feb 2015 Joint work with Riddhi Basu and Jonathan Hermon Characterization of cutoff
More informationarxiv: v1 [math.co] 5 Apr 2019
arxiv:1904.02924v1 [math.co] 5 Apr 2019 The asymptotics of the partition of the cube into Weyl simplices, and an encoding of a Bernoulli scheme A. M. Vershik 02.02.2019 Abstract We suggest a combinatorial
More informationUnitary Matrix Integrals, Primitive Factorizations, and Jucys-Murphy Elements
FPSAC 2010, San Francisco, USA DMTCS proc. AN, 2010, 271 280 Unitary Matrix Integrals, Primitive Factorizations, and Jucys-Murphy Elements Sho Matsumoto 1 and Jonathan Novak 2,3 1 Graduate School of Mathematics,
More informationNOTES FOR 128: COMBINATORIAL REPRESENTATION THEORY OF COMPLEX LIE ALGEBRAS AND RELATED TOPICS
NOTES FOR 128: COMBINATORIAL REPRESENTATION THEORY OF COMPLEX LIE ALGEBRAS AND RELATED TOPICS (FIRST COUPLE LECTURES MORE ONLINE AS WE GO) Recommended reading [Bou] N. Bourbaki, Elements of Mathematics:
More informationarxiv:math/ v1 [math.co] 21 Jun 2005
Counting polyominoes with minimum perimeter arxiv:math/0506428v1 [math.co] 21 Jun 2005 Abstract Sascha Kurz University of Bayreuth, Department of Mathematics, D-95440 Bayreuth, Germany The number of essentially
More informationSignatures of GL n Multiplicity Spaces
Signatures of GL n Multiplicity Spaces UROP+ Final Paper, Summer 2016 Mrudul Thatte Mentor: Siddharth Venkatesh Project suggested by Pavel Etingof September 1, 2016 Abstract A stable sequence of GL n representations
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 informationMULTI-ORDERED POSETS. Lisa Bishop Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A06 MULTI-ORDERED POSETS Lisa Bishop Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States lbishop@oxy.edu
More informationCitation Osaka Journal of Mathematics. 43(2)
TitleIrreducible representations of the Author(s) Kosuda, Masashi Citation Osaka Journal of Mathematics. 43(2) Issue 2006-06 Date Text Version publisher URL http://hdl.handle.net/094/0396 DOI Rights Osaka
More informationLab 8: Measuring Graph Centrality - PageRank. Monday, November 5 CompSci 531, Fall 2018
Lab 8: Measuring Graph Centrality - PageRank Monday, November 5 CompSci 531, Fall 2018 Outline Measuring Graph Centrality: Motivation Random Walks, Markov Chains, and Stationarity Distributions Google
More informationarxiv: v1 [math.co] 23 Feb 2012
HOW TO WRITE A PERMUTATION AS A PRODUCT OF INVOLUTIONS (AND WHY YOU MIGHT CARE) T. KYLE PETERSEN AND BRIDGET EILEEN TENNER arxiv:0.9v [math.co] Feb 0 Abstract. It is well-known that any permutation can
More informationPuzzles Littlewood-Richardson coefficients and Horn inequalities
Puzzles Littlewood-Richardson coefficients and Horn inequalities Olga Azenhas CMUC, Centre for Mathematics, University of Coimbra Seminar of the Mathematics PhD Program UCoimbra-UPorto Porto, 6 October
More informationSome Hecke Algebra Products and Corresponding Random Walks
Some Hecke Algebra Products and Corresponding Random Walks Rosena R.X. Du and Richard P. Stanley September 5, 2008 Abstract. Let i = 1 + q + + q i 1. For certain sequences (r 1,..., r l ) of positive integers,
More informationThe cutoff phenomenon for random walk on random directed graphs
The cutoff phenomenon for random walk on random directed graphs Justin Salez Joint work with C. Bordenave and P. Caputo Outline of the talk Outline of the talk 1. The cutoff phenomenon for Markov chains
More informationThe Image of Weyl Group Translations in Hecke Algebras
The Image of Weyl Group Translations in Hecke Algebras UROP+ Final Paper, Summer 2015 Arkadiy Frasinich Mentor: Konstantin Tolmachov Project Suggested By Roman Bezrukavnikov September 1, 2015 Abstract
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 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 informationA RECURSIVE PROOF OF ALDOUS SPECTRAL GAP CONJECTURE
A RECURSIVE PROOF OF ALDOUS SPECTRAL GAP CONJECTURE PIETRO CAPUTO, THOMAS M. LIGGETT, AND THOMAS RICHTHAMMER Abstract. Aldous spectral gap conjecture asserts that on any graph the random walk process and
More informationIntegral Cayley graphs on Sym n and Alt n
Integral Cayley graphs on Sym n and Alt n Elena Konstantinova Sobolev Institute of Mathematics Novosibirsk State University Symmetry vs Regularity Conference in Algebraic Graph Theory July 4, 2018 Pilsen,
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 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 informationThe cycle polynomial of a permutation group
The cycle polynomial of a permutation group Peter J. Cameron School of Mathematics and Statistics University of St Andrews North Haugh St Andrews, Fife, U.K. pjc0@st-andrews.ac.uk Jason Semeraro Department
More informationON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS
ON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS OLGA VARGHESE Abstract. Graph products and Coxeter groups are defined via vertex-edge-labeled graphs. We show that if the graph has a special shape, then
More informationIrreducible Representations of symmetric group S n
Irreducible Representations of symmetric group S n Yin Su 045 Good references: ulton Young tableaux with applications to representation theory and geometry ulton Harris Representation thoery a first course
More informationSampling Contingency Tables
Sampling Contingency Tables Martin Dyer Ravi Kannan John Mount February 3, 995 Introduction Given positive integers and, let be the set of arrays with nonnegative integer entries and row sums respectively
More informationConvex Optimization CMU-10725
Convex Optimization CMU-10725 Simulated Annealing Barnabás Póczos & Ryan Tibshirani Andrey Markov Markov Chains 2 Markov Chains Markov chain: Homogen Markov chain: 3 Markov Chains Assume that the state
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 informationCharacterization of cutoff for reversible Markov chains
Characterization of cutoff for reversible Markov chains Yuval Peres Joint work with Riddhi Basu and Jonathan Hermon 3 December 2014 Joint work with Riddhi Basu and Jonathan Hermon Characterization of cutoff
More informationSCHUR-WEYL DUALITY FOR U(n)
SCHUR-WEYL DUALITY FOR U(n) EVAN JENKINS Abstract. These are notes from a lecture given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in December 2009.
More informationEIGENVECTORS FOR A RANDOM WALK ON A LEFT-REGULAR BAND
EIGENVECTORS FOR A RANDOM WALK ON A LEFT-REGULAR BAND FRANCO SALIOLA Abstract. We present a simple construction of the eigenvectors for the transition matrices of random walks on a class of semigroups
More informationGENERALIZATION OF THE SIGN REVERSING INVOLUTION ON THE SPECIAL RIM HOOK TABLEAUX. Jaejin Lee
Korean J. Math. 8 (00), No., pp. 89 98 GENERALIZATION OF THE SIGN REVERSING INVOLUTION ON THE SPECIAL RIM HOOK TABLEAUX Jaejin Lee Abstract. Eğecioğlu and Remmel [] gave a combinatorial interpretation
More informationMATH 223A NOTES 2011 LIE ALGEBRAS 35
MATH 3A NOTES 011 LIE ALGEBRAS 35 9. Abstract root systems We now attempt to reconstruct the Lie algebra based only on the information given by the set of roots Φ which is embedded in Euclidean space E.
More information6.842 Randomness and Computation March 3, Lecture 8
6.84 Randomness and Computation March 3, 04 Lecture 8 Lecturer: Ronitt Rubinfeld Scribe: Daniel Grier Useful Linear Algebra Let v = (v, v,..., v n ) be a non-zero n-dimensional row vector and P an n n
More informationAlgebraic Methods in Combinatorics
Algebraic Methods in Combinatorics Po-Shen Loh 27 June 2008 1 Warm-up 1. (A result of Bourbaki on finite geometries, from Răzvan) Let X be a finite set, and let F be a family of distinct proper subsets
More informationAn Algorithm for Projective Representations of some Matrix Groups.
An Algorithm for Projective Representations of some Matrix Groups Kübra GÜL 1, Abdullah ÇAĞMAN 2, Nurullah ANKARALIOĞLU 1 1 Mathematics Department, Faculty of Science, Ataturk University, 25240, Erzurum,
More informationShifted symmetric functions II: expansions in multi-rectangular coordinates
Shifted symmetric functions II: expansions in multi-rectangular coordinates Valentin Féray Institut für Mathematik, Universität Zürich Séminaire Lotharingien de Combinatoire Bertinoro, Italy, Sept. 11th-12th-13th
More informationShifted symmetric functions I: the vanishing property, skew Young diagrams and symmetric group characters
I: the vanishing property, skew Young diagrams and symmetric group characters Valentin Féray Institut für Mathematik, Universität Zürich Séminaire Lotharingien de Combinatoire Bertinoro, Italy, Sept. 11th-12th-13th
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 informationEigenvalues and edge-connectivity of regular graphs
Eigenvalues and edge-connectivity of regular graphs Sebastian M. Cioabă University of Delaware Department of Mathematical Sciences Newark DE 19716, USA cioaba@math.udel.edu August 3, 009 Abstract In this
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 informationRadial eigenvectors of the Laplacian of the nonbinary hypercube
Radial eigenvectors of the Laplacian of the nonbinary hypercube Murali K. Srinivasan Department of Mathematics Indian Institute of Technology, Bombay Powai, Mumbai 400076, INDIA mks@math.iitb.ac.in murali.k.srinivasan@gmail.com
More informationThe Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)
The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph) David Grabovsky June 13, 2018 Abstract The symmetric groups S n, consisting of all permutations on a set of n elements, naturally contain
More informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
More informationREPRESENTATIONS OF THE SYMMETRIC GROUPS AND COMBINATORICS OF THE FROBENIUS-YOUNG CORRESPONDENCE MATTHEW JOHN HALL
REPRESENTATIONS OF THE SYMMETRIC GROUPS AND COMBINATORICS OF THE FROBENIUS-YOUNG CORRESPONDENCE By MATTHEW JOHN HALL A Thesis Submitted to The Honors College In Partial Fulfillment of the Bachelor s degree
More informationPermutation groups/1. 1 Automorphism groups, permutation groups, abstract
Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.
More informationSchur Functors (a project for class)
Schur Functors (a project for class) R. Vandermolen 1 Introduction In this presentation we will be discussing the Schur functor. For a complex vector space V, the Schur functor gives many irreducible representations
More informationTutte Polynomials of Bracelets. Norman Biggs
Tutte Polynomials of Bracelets Norman Biggs Department of Mathematics London School of Economics Houghton Street London WC2A 2AE U.K. n.l.biggs@lse.ac.uk January 2009 CDAM Research Reports Series LSE-CDAM
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 informationSampling Adsorbing Staircase Walks Using a New Markov Chain Decomposition Method
66 66 77 D Sampling Adsorbing Staircase Walks Using a New Markov hain Decomposition Method Russell A Martin School of Mathematics Georgia Institute of Technology martin@mathgatechedu Dana Randall ollege
More informationINEQUALITIES OF SYMMETRIC FUNCTIONS. 1. Introduction to Symmetric Functions [?] Definition 1.1. A symmetric function in n variables is a function, f,
INEQUALITIES OF SMMETRIC FUNCTIONS JONATHAN D. LIMA Abstract. We prove several symmetric function inequalities and conjecture a partially proved comprehensive theorem. We also introduce the condition of
More informationVERTICES OF SPECHT MODULES AND BLOCKS OF THE SYMMETRIC GROUP
VERTICES OF SPECHT MODULES AND BLOCKS OF THE SYMMETRIC GROUP MARK WILDON Abstract. This paper studies the vertices, in the sense defined by J. A. Green, of Specht modules for symmetric groups. The main
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 informationPARKING FUNCTIONS. Richard P. Stanley Department of Mathematics M.I.T Cambridge, MA
PARKING FUNCTIONS Richard P. Stanley Department of Mathematics M.I.T. -75 Cambridge, MA 09 rstan@math.mit.edu http://www-math.mit.edu/~rstan Transparencies available at: http://www-math.mit.edu/~rstan/trans.html
More information215 Problem 1. (a) Define the total variation distance µ ν tv for probability distributions µ, ν on a finite set S. Show that
15 Problem 1. (a) Define the total variation distance µ ν tv for probability distributions µ, ν on a finite set S. Show that µ ν tv = (1/) x S µ(x) ν(x) = x S(µ(x) ν(x)) + where a + = max(a, 0). Show that
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 informationhttp://www.math.uah.edu/stat/markov/.xhtml 1 of 9 7/16/2009 7:20 AM Virtual Laboratories > 16. Markov Chains > 1 2 3 4 5 6 7 8 9 10 11 12 1. A Markov process is a random process in which the future is
More informationQUIVERS AND LATTICES.
QUIVERS AND LATTICES. KEVIN MCGERTY We will discuss two classification results in quite different areas which turn out to have the same answer. This note is an slightly expanded version of the talk given
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 informationALGEBRAIC COMBINATORICS. c1993 C. D. Godsil
ALGEBRAIC COMBINATORICS c1993 C. D. Godsil To Gillian Preface There are people who feel that a combinatorial result should be given a \purely combinatorial" proof, but I am not one of them. For me the
More informationWAITING FOR A BAT TO FLY BY (IN POLYNOMIAL TIME)
WAITING FOR A BAT TO FLY BY (IN POLYNOMIAL TIME ITAI BENJAMINI, GADY KOZMA, LÁSZLÓ LOVÁSZ, DAN ROMIK, AND GÁBOR TARDOS Abstract. We observe returns of a simple random wal on a finite graph to a fixed node,
More information6 Permutations Very little of this section comes from PJE.
6 Permutations Very little of this section comes from PJE Definition A permutation (p147 of a set A is a bijection ρ : A A Notation If A = {a b c } and ρ is a permutation on A we can express the action
More informationAsymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shapes, and column strict arrays
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 8:, 06, #6 arxiv:50.0890v4 [math.co] 6 May 06 Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard
More informationPOLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS
POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS DINUSHI MUNASINGHE Abstract. Given two standard partitions λ + = (λ + 1 λ+ s ) and λ = (λ 1 λ r ) we write λ = (λ +, λ ) and set s λ (x 1,..., x t ) := s λt (x 1,...,
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 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 informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationPowerful tool for sampling from complicated distributions. Many use Markov chains to model events that arise in nature.
Markov Chains Markov chains: 2SAT: Powerful tool for sampling from complicated distributions rely only on local moves to explore state space. Many use Markov chains to model events that arise in nature.
More informationNumerical Results for the Metropolis Algorithm
Numerical Results for the Metropolis Algorithm Persi Diaconis and J. W. Neuberger CONTENTS 1. Introduction. The Example 3. Discrete Approximations to T 4. Results of Computations References This paper
More information