symmetric group
1738 papers tagged with this keyword
Card shuffling and the decomposition of tensor products
Published
• View Publication
• BIB
Let H be a subgroup of a finite group G. We use Markov chains to quantify how large r should be so that the decomposition of the r tensor power of the representation of G on cosets on H behaves (after renormalization) like the regular representation of G. For the case where G is a symmetric group and H a parabolic subgroup, we find that this question is precisely equivalent to the question of how large r should be so that r iterations of a shuffling method randomize the Robinson-Schensted-Knuth shape of a permutation. This equivalence is rather remarkable, if only because the representation theory problem is related to a reversible Markov chain on the set of representations of the symmetric group, whereas the card shuffling problem is related to a nonreversible Markov chain on the symmetric group. The equivalence is also useful, and results on card shuffling can be applied to yield sharp results about the decomposition of tensor powers.
Prefix exchanging and pattern avoidance by involutions
Published in Elec. J. Comb. 9 (2) 2003, #R16
• View Publication
• BIB
Let I_n(π) denote the number of involutions in the symmetric group S_n which avoid the permutation π. We say that two permutations α,β\in§{j} may be exchanged if for every n, k, and ordering τof j+1,...,k, we have I_n(ατ)=I_n(βτ). Here we prove that 12 and 21 may be exchanged and that 123 and 321 may be exchanged. The ability to exchange 123 and 321 implies a conjecture of Guibert, thus completing the classification of S_4 with respect to pattern avoidance by involutions; both of these results also have consequences for longer patterns.
Pattern avoidance by involutions may be generalized to rook placements on Ferrers boards which satisfy certain symmetry conditions. Here we provide sufficient conditions for the corresponding generalization of the ability to exchange two prefixes and show that these conditions are satisfied by 12 and 21 and by 123 and 321. Our results and approach parallel work by Babson and West on analogous problems for pattern avoidance by general (not necessarily involutive) permutations, with some modifications required by the symmetry of the current problem.
q Statistics on $S_n$ and Pattern Avoidance
Published
• View Publication
• BIB
Natural q analogues of classical statistics on the symmetric groups $S_n$ are introduced; parameters like: the q-length, the q-inversion number, the q-descent number and the q-major index. MacMahon's theorem about the equi-distribution of the inversion number and the reverse major index is generalized to all positive integers q. It is also shown that the q-inversion number and the q-reverse major index are equi-distributed over subsets of permutations avoiding certain patterns. Natural q analogues of the Bell and the Stirling numbers are related to these q statistics -- through the counting of the above pattern-avoiding permutations.
Abelianizing the real permutation action via blowups
Published in Int. Math. Res. Not. 2003, no. 32 (2003), 1755-1784
• Search Publication
We present an abelianization of the permutation action of the symmetric group S_n on R^n in analogy to the Batyrev abelianization construction for finite group actions on complex manifolds. The abelianization is provided by a particular De Concini-Procesi wonderful model for the braid arrangement. In fact, we show a stronger result, namely that stabilizers of points in the arrangement model are isomorphic to direct products of Z_2. To prove that, we develop a combinatorial framework for explicitly describing the stabilizers in terms of automorphism groups of set diagrams over families of cubes.
We observe that the natural nested set stratification on the arrangement model is not stabilizer distinguishing with respect to the S_n-action, that is, stabilizers of points are not in general isomorphic on open strata. Motivated by this structural deficiency, we furnish a new stratification of the De Concini-Procesi arrangement model that distinguishes stabilizers.
Free probability and representations of large symmetric groups
We study the asymptotic behavior of the free cumulants (in the sense of free probability theory of Voiculescu) of Jucys--Murphy elements--or equivalently--of the transition measure associated with a Young diagram. We express these cumulants in terms of normalized characters of the appropriate representation of the symmetric group S_q. Our analysis considers the case when the Young diagrams rescaled by q^{-1/2} converge towards some prescribed shape. We find explicitly the second order asymptotic expansion and outline the algorithm which allows to find the asymptotic expansion of any order. As a corollary we obtain the second order asymptotic expansion of characters evaluated on cycles in terms of free cumulants, i.e. we find explicitly terms in Kerov polynomials with the appropriate degree.
The peak algebra and the Hecke-Clifford algebras at $q=0$
Published in J. Combin. Theory Ser. A 107 (2004), no. 1, 1-19
• View Publication
• BIB
Using the formalism of noncommutative symmetric functions, we derive the basic theory of the peak algebra of symmetric groups and of its graded Hopf dual. Our main result is to provide a representation theoretical interpretation of the peak algebra and its graded dual as Grothendieck rings of the tower of Hecke-Clifford algebras at $q=0$.
Minimal and maximal elements in Kazhdan-Lusztig double sided cells of $S_n$ and Robinson-Schensted correspondance
Published in Discrete Math. 304 (1) (2005), 79-87
• View Publication
• BIB
In symmetric groups, a two-sided cell is the set of all permutations which are mapped by the Robinson-Schensted correspondence on a pair of tableaux of the same shape. In this article, we show that the set of permutations in a two-sided cell which have a minimal number of inversions is the set of permutations which have a maximal number of inversions in conjugated Young subgroups. We also give an interpretation of these sets with particular tableaux, called reading tableaux. As corollary, we give the set of elements in a two-sided cell which have a maximal number of inversions.
Kerov's central limit theorem for the Plancherel measure on Young diagrams
Published in In: S.Fomin, editor. Symmetric Functions 2001: Surveys of Developments and Perspectives (NATO Science Series II. Mathematics, Physics and Chemistry. Vol.74), Kluwer, 2002, pp. 93-151
• View Publication
• BIB
Consider random Young diagrams with a fixed number n of boxes, where the probability distribution on diagrams is determined by the Plancherel measure. That is, the weight of a diagram is proportional to the squared dimension of the corresponding irreducible representation of the symmetric group S_n. As n goes to infinity, the boundary of the (suitably scaled) random diagram concentrates near a curve Omega (Logan-Shepp 1977, Vershik-Kerov 1977). In 1993, Kerov announced a central limit theorem describing Gaussian fluctuations of random diagrams around the limit shape Omega. Here we propose a reconstruction of his proof, largely based on Kerov's unpublished work notes (1999). We also discuss a striking similarity between Kerov's result and central limit theorems for random matrices (Diaconis-Shahshahani, Johansson).
The Dimension of Skew Shifted Young Diagrams, and Projective Characters of the Infinite Symmetric Group
Published in Journal of Mathematical Sciences (New York) 96 (1999) no.5 3517-3530
• View Publication
• BIB
Classical Schur P-functions are the particular case of Hall-Littlewood polynomials when the parameter is equal to -1. We introduce factorial (interpolation) analogues of Schur P-functions. A dimension of a skew shifted Young diagram is the number of standard tableaux of the given shape. Also these numbers are equal up to simple factors to the decomposition coefficients of the restriction of an irreducible representation of a spin-symmetric group to a smaller spin-symmetric group. In terms of the factorial Schur P-functions we obtain an explicit formula for the dimension of a skew shifted Young diagram. The main application of this formula is the new derivation of Nazarov's classification of undecomposable projective characters of the infinite symmetric group.
Permutation Statistics on the Alternating Group
Published
• View Publication
• BIB
Let $A_n\subseteq S_n$ denote the alternating and the symmetric groups on $1,...,n$. MacMahaon's theorem, about the equi-distribution of the length and the major indices in $S_n$, has received far reaching refinements and generalizations, by Foata, Carlitz, Foata-Schutzenberger, Garsia-Gessel and followers. Our main goal is to find analogous statistics and identities for the alternating group $A_{n}$. A new statistic for $S_n$, {\it the delent number}, is introduced. This new statistic is involved with new $S_n$ equi-distribution identities, refining some of the results of Foata-Schutzenberger and Garsia-Gessel. By a certain covering map $f:A_{n+1}\to S_n$, such $S_n$ identities are `lifted' to $A_{n+1}$, yielding the corresponding $A_{n+1}$ equi-distribution identities.
A Card Shuffling Analysis of Deformations of the Plancherel Measure of the Symmetric Group
Published
• View Publication
• BIB
We study deformations of the Plancherel measure of the symmetric group by lifting them to the symmetric group and using combinatorics of card shuffling. The existing methods for analyzing deformations of Plancherel measure are not obviously applicable to the examples in this paper. The main idea of this paper is to find and analyze a formula for the total variation distance between iterations of riffle shuffles and iterations of "cut and then riffle shuffle". Similar results are given for affine shuffles, which allow us to determine their convergence rate to randomness.
The peak algebra and the descent algebras of types B and D
Published in Trans. Amer. Math. Soc. 356 (2004), no. 7, 2781--2824
• View Publication
• BIB
We show the existence of a unital subalgebra of the symmetric group algebra linearly spanned by sums of permutations with a common peak set, which we call the peak algebra. We show that this algebra is the image of the descent algebra of type B under the map to the descent algebra of type A which forgets the signs, and also the image of the descent algebra of type D. The peak algebra contains a two sided ideal which is defined in terms of interior peaks. This object was introduced in previous work by Nyman; we find that it is the image of certain ideals of the descent algebras of types B and D introduced in previous work of N. Bergeron et al. We derive an exact sequence involving the peak ideal and the peak algebras of degrees $n$ and $n-2$. We obtain this and many other properties of the peak algebra and its peak ideal by first establishing analogous results for signed permutations and then forgetting the signs. In particular, we construct two new commutative semisimple subalgebras of the descent algebra by grouping permutations according to their number of peaks or interior peaks. We discuss the Hopf algebraic structures that exist on the direct sums of these spaces over $n\geq 0$ and explain the connection with previous work of Stembridge; we also obtain new properties of his descents-to-peaks map and construct a type B analog.
The Algebra of Conjugacy Classes in Symmetric Groups and Partial Permutations
Published in Journal of Mathematical Sciences (Kluwer) 107 (2001) no.5 4212-4230
• View Publication
• BIB
We prove a convolution formula for the conjugacy classes in symmetric groups conjectured by the second author. A combinatorial interpretation of coefficients is provided. As a main tool we introduce new semigroup of partial permutations. We describe its structure, representations, and characters. We also discuss filtrations on the subalgebra of invariants in the semigroup algebra.
Symmetric groups and random matrices
The convolution of indicators of two conjugacy classes on the symmetric group S_q is usually a complicated linear combination of indicators of many conjugacy classes. Similarly, a product of the moments of the Jucys--Murphy element involves many conjugacy classes with complicated coefficients. In this article we consider a combinatorial setup which allows us to manipulate such products easily and we show that it very closely related to the combinatorial approach to random matrices. Our formulas are exact (in a sense that they hold not only asymptotically for large q). This result has many interesting applications, for example it allows to find precise asymptotics of characters of large symmetric groups and asymptotics of the Plancherel measure on Young diagrams.
Complexity and Completeness of Immanants
Immanants are polynomial functions of n by n matrices attached to irreducible characters of the symmetric group S_n, or equivalently to Young diagrams of size n. Immanants include determinants and permanents as extreme cases. Valiant proved that computation of permanents is a complete problem in his algebraic model of NP theory, i.e., it is VNP-complete. We prove that computation of immanants is VNP-complete if the immanants are attached to a family of diagrams whose separation is $Ω(n^δ)$ for some $δ>0$. We define the separation of a diagram to be the largest number of overhanging boxes contained in a single row. Our theorem proves a conjecture of Buergisser for a large variety of families, and in particular we recover with new proofs his VNP-completeness results for hooks and rectangles.
On the symmetry classes of the first covariant derivatives of tensor fields
Published in Seminaire Lotharingien de Combinatoire, 49 (2003) Article B49f
• Search Publication
We show that the symmetry classes of torsion-free covariant derivatives $\nabla T$ of r-times covariant tensor fields T can be characterized by Littlewood-Richardson products $σ[1]$ where $σ$ is a representation of the symmetric group $S_r$ which is connected with the symmetry class of T. If $σ= [λ]$ is irreducible then $σ[1]$ has a multiplicity free reduction $[λ][1] = \sum [μ]$ and all primitive idempotents belonging to that sum can be calculated from a generating idempotent e of the symmetry class of T by means of the irreducible characters or of a discrete Fourier transform of $S_{r+1}$. We apply these facts to derivatives $\nabla S$, $\nabla A$ of symmetric or alternating tensor fields. The symmetry classes of the differences $\nabla S - sym(\nabla S)$ and $\nabla A - alt(\nabla A)$ are characterized by Young frames (r, 1) and (2, 1^{r-1}), respectively. However, while the symmetry class of $\nabla A - alt(\nabla A)$ can be generated by Young symmetrizers of (2, 1^{r-1}), no Young symmetrizer of (r, 1) generates the symmetry class of $\nabla S - sym(\nabla S)$. Furthermore we show in the case r = 2 that $\nabla S - sym(\nabla S)$ and $\nabla A - alt(\nabla A)$ can be applied in generator formulas of algebraic covariant derivative curvature tensors. For certain symbolic calculations we used the Mathematica packages Ricci and PERMS.
A generalization of the Simion-Schmidt bijection for restricted permutations
Published
• View Publication
• BIB
We consider the two permutation statistics which count the distinct pairs obtained from the last two terms of occurrences of patterns t_1...t_{m-2}m(m-1) and t_1...t_{m-2}(m-1)m in a permutation, respectively. By a simple involution in terms of permutation diagrams we will prove their equidistribution over the symmetric group. As special case we derive a one-to-one correspondence between permutations which avoid each of the patterns t_1...t_{m-2}m(m-1) in S_m and such ones which avoid each of the patterns t_1...t_{m-2}(m-1)m. For m=3, this correspondence coincides with the bijection given by Simion and Schmidt in their famous paper on restricted permutations.
The excedances and descents of bi-increasing permutations
Starting from some considerations we make about the relations between certain difference statistics and the classical permutation statistics we study permutations whose inversion number and excedance difference coincide. It turns out that these (so-called bi-increasing) permutations are just the 321-avoiding ones. The paper investigates their excedance and descent structure. In particular, we find some nice combinatorial interpretations for the distribution coefficients of the number of excedances and descents, respectively, and their difference analogues over the bi-increasing permutations in terms of parallelogram polyominoes and 2-Motzkin paths. This yields a connection between restricted permutations, parallelogram polyominoes, and lattice paths that reveals the relations between several well-known bijections given for these objects (e.g. by Delest-Viennot, Billey-Jockusch-Stanley, Francon-Viennot, and Foata-Zeilberger). As an application, we enumerate skew diagrams according to their rank and give a simple combinatorial proof for a result concerning the symmetry of the joint distribution of the number of excedances and inversions, respectively, over the symmetric group.
Sturmian Words and the Permutation that Orders Fractional Parts
Published in J. Algebraic Combin. 19 (2004), no. 1, 91--115.
• View Publication
• BIB
A Sturmian word is a map W from the natural numbers into {0,1} for which the set of {0,1}-vectors F_n(W):={(W(i),W(i+1),...,W(i+n-1))^T : i \ge 0} has cardinality exactly n+1 for each positive integer n. Our main result is that the volume of the simplex whose n+1 vertices are the n+1 points in F_n(W) does not depend on W. Our proof of this motivates studying algebraic properties of the permutation $π$ (depending on an irrational x and a positive integer n) that orders the fractional parts {1 x}, {2 x}, ..., {n x}, i.e., 0 < {π(1) x} < {π(2) x} < ... < {π(n) x} < 1. We give a formula for the sign of $π$, and prove that for every irrational x there are infinitely many n such that the order of $π$ (as an element of the symmetric group S_n) is less than n.
Ideal decompositions and computation of tensor normal forms
Published in Seminaire Lotharingien de Combinatoire, 45 (2001) Article B45g. http://www.mat.univie.ac.at/~slc/wpapers/s45fiedler.html
• Search Publication
Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[S_r] of a symmetric group S_r. If for a class of tensors T such a W is known, the elements of the orthogonal subspace W^{\bot} of W within the dual space of K[S_r] yield linear identities needed for a treatment of the term combination problem for the coordinates of the T. We give the structure of these W for every situation which appears in symbolic tensor calculations by computer. Characterizing idempotents of such W can be determined by means of an ideal decomposition algorithm which works in every semisimple ring up to an isomorphism. Furthermore, we use tools such as the Littlewood-Richardson rule, plethysms and discrete Fourier transforms for S_r to increase the efficience of calculations. All described methods were implemented in a Mathematica package called PERMS.