symmetric group
1714 papers tagged with this keyword
Zonal polynomials via Stanley's coordinates and free cumulants
Published in Journal of Algebra, Volume 334, Issue 1, 2011, Pages 338-373
• View Publication
• BIB
We study zonal characters which are defined as suitably normalized coefficients in the expansion of zonal polynomials in terms of power-sum symmetric functions. We show that the zonal characters, just like the characters of the symmetric groups, admit a nice combinatorial description in terms of Stanley's multirectangular coordinates of Young diagrams. We also study the analogue of Kerov polynomials, namely we express the zonal characters as polynomials in free cumulants and we give an explicit combinatorial interpretation of their coefficients. In this way, we prove two recent conjectures of Lassalle for Jack polynomials in the special case of zonal polynomials.
Primitive factorizations, Jucys-Murphy elements, and matrix models
Published
• View Publication
• BIB
A factorization of a permutation into transpositions is called "primitive" if its factors are weakly ordered. We discuss the problem of enumerating primitive factorizations of permutations, and its place in the hierarchy of previously studied factorization problems. Several formulas enumerating minimal primitive and possibly non-minimal primitive factorizations are presented, and interesting connections with Jucys-Murphy elements, symmetric group characters, and matrix models are described.
On the singularity of some special components of Springer fibers
Published
• View Publication
• BIB
Let $u\in\mathrm{End}(\mathbb{C}^n)$ be nilpotent. The variety of $u$-stable complete flags is called the Springer fiber over $u$. Its irreducible components are parameterized by a set of standard Young tableaux. The Richardson (resp. Bala-Carter) components of Springer fibers correspond to the Richardson (resp. Bala-Carter) elements of the symmetric group, through Robinson-Schensted correspondence. Every Richardson component is isomorphic to a product of standard flag varieties. On the contrary, the Bala-Carter components are very susceptible to be singular. First, we characterize the singular Bala-Carter components in terms of two minimal forbidden configurations. Next, we introduce two new families of components, wider than the families of Bala-Carter components and Richardson components, and both in duality via the tableau transposition. The components in the first family are characterized by the fact that they have a dense orbit of special type under the action of the stabilizer of $u$, whereas all components in the second family are iterated fiber bundles over projective spaces.
From the icosahedron to natural triangulations of $\CC P^2$ and $S^2 \times S^2$
Published in Discrete Comput Geom 46 (2011), 542--560
• View Publication
• BIB
We present two constructions in this paper: (a) A 10-vertex triangulation $\CC P^{2}_{10}$ of the complex projective plane $\CC P^{2}$ as a subcomplex of the join of the standard sphere ($S^{2}_4$) and the standard real projective plane ($\RR P^{2}_{6}$, the decahedron), its automorphism group is $A_4$; (b) a 12-vertex triangulation $(S^{2} \times S^{2})_{12}$ of $S^{2} \times S^{2}$ with automorphism group $2S_5$, the Schur double cover of the symmetric group $S_5$. It is obtained by generalized bistellar moves from a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$. Both constructions have surprising and intimate relationships with the icosahedron. It is well known that $\CC P^{2}$ has $S^{2} \times S^{2}$ as a two-fold branched cover; we construct the triangulation $\CC P^{2}_{10}$ of $\CC P^{2}$ by presenting a simplicial realization of this covering map $S^{2} \times S^{2} \to \CC P^{2}$. The domain of this simplicial map is a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$, different from the triangulation alluded to in (b). This gives a new proof that Kuehnel's $\CC P^{2}_{9}$ triangulates $\CC P^{2}$. It is also shown that $\CC P^{2}_{10}$ and $(S^{2} \times S^{2})_{12}$ induce the standard piecewise linear structure on $\CC P^{2}$ and $S^{2} \times S^{2}$ respectively.
Simple $S_r$-homotopy types of Hom complexes and box complexes associated to $r$-graphs
Published
• View Publication
• BIB
For a pair $(H_1,H_2)$ of graphs, Lovász introduced a polytopal complex called the Hom complex $\text{Hom}(H_1,H_2)$, in order to estimate topological lower bounds for chromatic numbers of graphs. The definition is generalized to hypergraphs. Denoted by $K_r^r$ the complete $r$-graph on $r$ vertices. Given an $r$-graph $H$, we compare $\text{Hom}(K_r^r,H)$ with the box complex $\mathsf{B}_{\text{edge}}(H)$, invented by Alon, Frankl and Lovász. We verify that $\text{Hom}(K_r^r,H)$ and $\mathsf{B}_{\text{edge}}(H)$, both are equipped with right actions of the symmetric group on $r$ letters $S_r$, are of the same simple $S_r$-homotopy type.
On the Homology of Configuration Spaces Associated to Centers of Mass
Published
• View Publication
• BIB
The aim of this paper is to make sample computations with the Salvetti complex of the "center of mass" arrangement introduced in [arXiv:math/0611732] by Cohen and Kamiyama. We compute the homology of the Salvetti complex of these arrangements with coefficients in the sign representation of symmetric groups on F_p in the case of four particles. We show, when p is an odd prime, the homology is isomorphic to the homology of the configuration space F(C,4) of distinct four points in the complex plane with the same coefficients. When p=2, we show the homology is different from that of F(C,4), hence obtain an alternative and more direct proof of a theorem of Cohen and Kamiyama in [arXiv:math/0611732].
Cyclic derangements
Published in Electron. J. Combin. 17 (2010), no. 1, Research Paper 163, 14 pp
• View Publication
• BIB
A classic problem in enumerative combinatorics is to count the number of derangements, that is, permutations with no fixed point. Inspired by a recent generalization to facet derangements of the hypercube by Gordon and McMahon, we generalize this problem to enumerating derangements in the wreath product of any finite cyclic group with the symmetric group. We also give q- and (q, t)-analogs for cyclic derangements, generalizing results of Brenti and Gessel.
Spin invariant theory for the symmetric group
Published in Journal of Pure and Applied Algebra 215 (2011), 1569--1581
• View Publication
• BIB
We formulate a theory of invariants for the spin symmetric group in some suitable modules which involve the polynomial and exterior algebras. We solve the corresponding graded multiplicity problem in terms of specializations of the Schur Q-functions and a shifted q-hook formula. In addition, we provide a bijective proof for a formula of the principal specialization of the Schur Q-functions.
Symmetric and Antisymmetric Vector-valued Jack Polynomials
Published in Sem. Lothar. Combin. B64a (2010), 31 pp
• Search Publication
Polynomials with values in an irreducible module of the symmetric group can be given the structure of a module for the rational Cherednik algebra, called a standard module. This algebra has one free parameter and is generated by differential-difference ("Dunkl") operators, multiplication by coordinate functions and the group algebra. By specializing Griffeth's (arXiv:0707.0251) results for the G(r,p,n) setting, one obtains norm formulae for symmetric and antisymmetric polynomials in the standard module. Such polynomials of minimum degree have norms which involve hook-lengths and generalize the norm of the alternating polynomial.
Jucys-Murphy elements, orthogonal matrix integrals, and Jack measures
Published in The Ramanujan Journal 26 (2011), 69--107
• View Publication
• BIB
We study symmetric polynomials whose variables are odd-numbered Jucys-Murphy elements. They define elements of the Hecke algebra associated to the Gelfand pair of the symmetric group with the hyperoctahedral group. We evaluate their expansions in zonal spherical functions and in double coset sums. These evaluations are related to integrals of polynomial functions over orthogonal groups. Furthermore, we give an extension of them, based on Jack polynomials.
Group Marriage Problem
Published
• View Publication
• BIB
Let $G$ be a permutation group acting on $[n]=\{1, ..., n\}$ and $\mathcal{V}=\{V_{i}: i=1, ..., n\}$ be a system of $n$ subsets of $[n]$. When is there an element $g \in G$ so that $g(i) \in V_{i}$ for each $i \in [n]$? If such $g$ exists, we say that $G$ has a $G$-marriage subject to $\mathcal{V}$. An obvious necessary condition is the {\it orbit condition}: for any $\emptyset \not = Y \subseteq [n]$, $\bigcup_{y \in Y} V_{y} \supseteq Y^{g}=\{g(y): y \in Y \}$ for some $g \in G$. Keevash (J. Combin. Theory Ser. A 111(2005), 289--309) observed that the orbit condition is sufficient when $G$ is the symmetric group $\Sym([n])$; this is in fact equivalent to the celebrated Hall's Marriage Theorem. We prove that the orbit condition is sufficient if and only if $G$ is a direct product of symmetric groups. We extend the notion of orbit condition to that of $k$-orbit condition and prove that if $G$ is the alternating group $\Alt([n])$ or the cyclic group $C_{n}$ where $n \ge 4$, then $G$ satisfies the $(n-1)$-orbit condition subject to $\V$ if and only if $G$ has a $G$-marriage subject to $\mathcal{V}$.
A Survey of Alternating Permutations
Published
• View Publication
• BIB
This survey of alternating permutations and Euler numbers includes refinements of Euler numbers, other occurrences of Euler numbers, longest alternating subsequences, umbral enumeration of classes of alternating permutations, and the cd-index of the symmetric group.
The biHecke monoid of a finite Coxeter group
Published in DMTCS proc AN (2010) 307-318
• View Publication
• BIB
The usual combinatorial model for the 0-Hecke algebra of the symmetric group is to consider the algebra (or monoid) generated by the bubble sort operators. This construction generalizes to any finite Coxeter group W. The authors previously introduced the Hecke group algebra, constructed as the algebra generated simultaneously by the bubble sort and antisort operators, and described its representation theory.
In this paper, we consider instead the monoid generated by these operators. We prove that it has |W| simple and projective modules. In order to construct a combinatorial model for the simple modules, we introduce for each w in W a combinatorial module whose support is the interval [1,w] in right weak order. This module yields an algebra, whose representation theory generalizes that of the Hecke group algebra. This involves the introduction of a w-analogue of the combinatorics of descents of W and a generalization to finite Coxeter groups of blocks of permutation matrices.
Congruence B-Orbits and the Bruhat Poset of Involutions of the Symmetric Group
We study the poset of Borel congruence classes of symmetric matrices ordered by containment of closures. We give a combinatorial description of this poset and calculate its rank function. We discuss the relation between this poset and the Bruhat poset of involutions of the symmetric group.
Nonzero coefficients in restrictions and tensor products of supercharacters of $U_n(q)$
Published
• View Publication
• BIB
The standard supercharacter theory of the finite unipotent upper-triangular matrices $U_n(q)$ gives rise to a beautiful combinatorics based on set partitions. As with the representation theory of the symmetric group, embeddings of $U_m(q)\subseteq U_n(q)$ for $m\leq n$ lead to branching rules. Diaconis and Isaacs established that the restriction of a supercharacter of $U_n(q)$ is a nonnegative integer linear combination of supercharacters of $U_m(q)$ (in fact, it is polynomial in $q$). In a first step towards understanding the combinatorics of coefficients in the branching rules of the supercharacters of $U_n(q)$, this paper characterizes when a given coefficient is nonzero in the restriction of a supercharacter and the tensor product of two supercharacters. These conditions are given uniformly in terms of complete matchings in bipartite graphs.
Tableaux in the Whitney Module of a Matroid
Published in Séminaire Lotharingien de Combinatoire 63 (2010), Article B63f
• Search Publication
The Whitney module of a matroid is a natural analogue of the tensor algebra of the exterior algebra of a vector space that takes into account the dependencies of a matroid. In this paper we indicate the role that tableaux can play in describing the Whitney module. We will use our results to describe a basis of the Whitney module of a certain class of matroids known as freedom matroids (also known as Schubert, or shifted matroids). The doubly multilinear submodule of the Whitney module is a representation of the symmetric group. We will describe a formula for the multiplicity of hook shapes in this representation in terms of no broken circuit sets.
A Hessenberg generalization of the Garsia-Procesi basis for the cohomology ring of Springer varieties
Published in Published in The Electronic Journal of Combinatorics 17(1) (2010), #R153
• View Publication
• BIB
The Springer variety is the set of flags stabilized by a nilpotent operator. In 1976, T.A. Springer observed that this variety's cohomology ring carries a symmetric group action, and he offered a deep geometric construction of this action. Sixteen years later, Garsia and Procesi made Springer's work more transparent and accessible by presenting the cohomology ring as a graded quotient of a polynomial ring. They combinatorially describe an explicit basis for this quotient. The goal of this paper is to generalize their work. Our main result deepens their analysis of Springer varieties and extends it to a family of varieties called Hessenberg varieties, a two-parameter generalization of Springer varieties. Little is known about their cohomology. For the class of regular nilpotent Hessenberg varieties, we conjecture a quotient presentation for the cohomology ring and exhibit an explicit basis. Tantalizing new evidence supports our conjecture for a subclass of regular nilpotent varieties called Peterson varieties.
On averages of randomized class functions on the symmetric groups and their asymptotics
Published
• View Publication
• BIB
The second author had previously obtained explicit generating functions for moments of characteristic polynomials of permutation matrices (n points). In this paper, we generalize many aspects of this situation. We introduce random shifts of the eigenvalues of the permutation matrices, in two different ways: independently or not for each subset of eigenvalues associated to the same cycle. We also consider vastly more general functions than the characteristic polynomial of a permutation matrix, by first finding an equivalent definition in terms of cycle-type of the permutation. We consider other groups than the symmetric group, for instance the alternating group and other Weyl groups. Finally, we compute some asymptotics results when n tends to infinity. This last result requires additional ideas: it exploits properties of the Feller coupling, which gives asymptotics for the lengths of cycles in permutations of many points.
The cycle structure of compositions of random involutions
In this article we consider the cycle structure of compositions of pairs of involutions in the symmetric group S_n chosen uniformly at random. These can be modeled as modified 2-regular graphs, giving rise to exponential generating functions. A composition of two random involutions in S_n typically has about n^(1/2) cycles, and the cycles are characteristically of length n^(1/2). Compositions of two random fixed-point-free involutions, on the other hand, typically have about log n cycles and are closely related to permutations with all cycle lengths even. The number of factorizations of a random permutation into two involutions appears to be asymptotically lognormally distributed, which we prove for a closely related probabilistic model. This study is motivated by the observation that the number of involutions in [n] is (n!)^(1/2) times a subexponential factor; more generally the number of permutations with all cycle lengths in a finite set S is n!^(1-1/m) times a subexponential factor, and the typical number of k-cycles is nearly n^(k/m)/k. Connections to pattern avoidance in involutions are also considered.
Signed enumeration of ribbon tableaux
Published
• View Publication
• BIB
We give an extension of the classical Schensted correspondence to the case of ribbon tableaux, where ribbons are allowed to be of different sizes. This is done by extending Fomin's growth diagram approach of the classical correspondence between permutations and pairs of standard tableaux of the same shape, in particular by allowing signs in the enumeration. As an application we give a combinatorial proof for the column sums of the character table of the symmetric group.