symmetric group
1727 papers tagged with this keyword
On optimizing discrete Morse functions
Published
• View Publication
• BIB
Forman introduced discrete Morse theory as a tool for studying CW complexes by essentially collapsing them onto smaller, simpler-to-understand complexes of critical cells in [Fo]. Chari reformulated discrete Morse theory for regular cell complexes in terms of acyclic matchings on face posets in [Ch]. This paper addresses two questions: (1) under what conditions may several gradient paths in a discrete Morse function simultaneously be reversed to cancel several pairs of critical cells, to further collapse the complex, and (2) how to use lexicographically first reduced expressions for permutations (in the sense of [Ed]) to make (1) practical for poset order complexes.
Applications include Cohen-Macaulayness of a new partial order, recently introduced by Remmel, on the symmetric group (by refinement on the underlying partitions into cycles) as well as a simple new proof of the homotopy type for intervals in the weak order for the symmetric group. Additional applications appear in [HW].
A Combinatorial Formula for the Character of the Diagonal Coinvariants
Published
• View Publication
• BIB
Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as \nabla e_n, where e_n is the n-th elementary symmetric function, and \nabla is an operator from the theory of Macdonald polynomials.
We conjecture a combinatorial formula for \nabla e_n and prove that it has many desirable properties which support our conjecture. In particular, we prove that our formula is a symmetric function (which is not obvious) and that it is Schur positive. These results make use of the theory of ribbon tableau generating functions of Lascoux, Leclerc and Thibon. We also show that a variety of earlier conjectures and theorems on \nabla e_n are special cases of our conjecture.
Finally, we extend our conjectures on \nabla e_n and several of the results supporting them to higher powers \nabla^m e_n.
Tangling and Braiding the Chessboard Complex
We describe a series of complexes that relate to the braid groups as the matching complexes relate to the symmetric groups. A modified construction applies as well to other complexes based on edge sets in graphs. We show that our constructions will yield Cohen-Macauley complexes provided the underlying complexes are Cohen-Macauley.
Finally, we discuss a related series of complexes to provide some positive evidence that the braided Houghton groups, introduced by F. Degenhardt, are a series of groups with linearly increasing finiteness length as are the (unbraided) Houghton groups.
Twisted descent algebras and the Solomon-Tits algebra
Published
• View Publication
• BIB
The purpose of the present article is to define and study a new class of descent algebras, called twisted descent algebras. These algebras are associated to the Barratt-Joyal theory of twisted bialgebras in the same way than classical descent algebras are associated to classical bialgebras. The formal properties of twisted descent algebras seem particularly meaningful in view of applications to discrete probabilities, to the geometry of Coxeter groups and buildings, and to symmetric group combinatorics.
A bijective proof of an unusual symmetric group generating function
For $σ\in S_n$, let $D(σ) = \{i : σ_{i} > σ_{i+1}\}$ denote the descent set of $σ$. The length of the permutation is the number of inversions, denoted by $inv(σ) = \big | \{(i,j) : i<j, σ_i > σ_j\} \big |$. Define an unusual quadratic statisitic by $baj(σ) = \sum_{i \in D(σ)} i (n-i)$. We present here a bijective proof of the identity $\sum_{{σ\in S_n} \atop {σ(n) = k}} q^{baj(σ) - inv(σ)} = \prod_{i=1}^{n-1} {1-q^{i (n-i)} \over {1-q^i}}$ where $k$ is a fixed integer.
Generators of algebraic covariant derivative curvature tensors and Young symmetrizers
Published in In: Leading-Edge Computer Science, S. Shannon (ed.), Nova Science Publishers, Inc. New York, 2006. pp. 219-239. ISBN: 1-59454-526-X
• Search Publication
We show that the space of algebraic covariant derivative curvature tensors R' is generated by Young symmetrized tensor products W*U or U*W, where W and U are covariant tensors of order 2 and 3 whose symmetry classes are irreducible and characterized by the following pairs of partitions: {(2),(3)}, {(2),(2 1)} or {(1 1),(2 1)}. Each of the partitions (2), (3) and (1 1) describes exactly one symmetry class, whereas the partition (2 1) characterizes an infinite set S of irreducible symmetry classes. This set S contains exactly one symmetry class S_0 whose elements U can not play the role of generators of tensors R'. The tensors U of all other symmetry classes from S\{S_0} can be used as generators for tensors R'. Foundation of our investigations is a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins about a Young symmetrizer that generates the symmetry class of algebraic covariant derivative curvature tensors. Furthermore we apply ideals and idempotents in group rings C[Sr], the Littlewood-Richardson rule and discrete Fourier transforms for symmetric groups Sr. For certain symbolic calculations we used the Mathematica packages Ricci and PERMS.
Elementary divisors of Specht modules
Let H_q(S_n) be the Iwahori-Hecke algebra of the symmetric group. This algebra is semisimple over the rational function field Q(q), where q is an indeterminate, and its irreducible representations over this field are q-analogues S_q(lambda) of the Specht modules of the symmetric group.
The q-Specht modules have an "integral form" which is defined over the Laurent polynomial ring Z_[q,q^{-1}] and they come equipped with a natural bilinear form with values in this ring. Now Z[q,q^{-1}] is not a principal ideal domain. Nonetheless, we try to compute the elementary divisors of the Gram matrix of the bilinear form on S_q(lambda). When they are defined, we give a precise relationship between the elementary divisors of the Specht modules S_q(lambda) and S_q(lambda'), where lambda' is the conjugate partition. We also compute the elementary divisors when lambda is a hook partition and give examples to show that in general elementary divisors do not exist.
Representations of wreath products on cohomology of De Concini-Procesi compactifications
Published in Intern. Math. Res. Notices 2004:20 (2004), 983-1021
• Search Publication
The wreath product W(r,n) of the cyclic group of order r and the symmetric group S_n acts on the corresponding projective hyperplane complement, and on its wonderful compactification as defined by De Concini and Procesi. We give a formula for the characters of the representations of W(r,n) on the cohomology groups of this compactification, extending the result of Ginzburg and Kapranov in the r=1 case. As a corollary, we get a formula for the Betti numbers which generalizes the result of Yuzvinsky in the r=2 case. Our method involves applying to the nested-set stratification a generalization of Joyal's theory of tensor species, which includes a link between polynomial functors and plethysm for general r. We also give a new proof of Lehrer's formula for the representations of W(r,n) on the cohomology groups of the hyperplane complement.
Nombre de factorisations d'un grand cycle
We give a short proof, based on symmetric function theory, of a formula due to Goupil and Schaeffer, counting the number of factorizations of a cycle of maximal length in the symmetric group, into the product of two permutations of given conjugacy classes.
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.