symmetric group
1727 papers tagged with this keyword
Euler-Mahonian Statistics via Polyhedral Geometry
Published in Advances in Mathematics 244 (2013), 925-954
• View Publication
• BIB
A variety of descent and major-index statistics have been defined for symmetric groups, hyperoctahedral groups, and their generalizations. Typically associated to pairs of such statistics is an Euler--Mahonian distribution, a bivariate generating function identity encoding these statistics. We use techniques from polyhedral geometry to establish new multivariate generalizations for many of the known Euler--Mahonian distributions. The original bivariate distributions are then straightforward specializations of these multivariate identities. A consequence of these new techniques are bijective proofs of the equivalence of the bivariate distributions for various pairs of statistics.
Homology Representations Arising from a Hypersimplex
We present a complete acyclic matching of the Hasse diagram associated with the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. We will then utilize this matching along with discrete Morse theory and some topological techniques to classify every subcomplex whose reduced homology groups are concentrated in a single degree. These reduced homology groups support a natural action of the symmetric group and a description of the characters that this action produces is given.
On a Subposet of the Tamari Lattice
Published in Order (2014) 31:337-363
• View Publication
• BIB
We explore some of the properties of a subposet of the Tamari lattice introduced by Pallo, which we call the comb poset. We show that three binary functions that are not well-behaved in the Tamari lattice are remarkably well-behaved within an interval of the comb poset: rotation distance, meets and joins, and the common parse words function for a pair of trees. We relate this poset to a partial order on the symmetric group studied by Edelman.
On the shard intersection order of a Coxeter group
Published
• View Publication
• BIB
Introduced by Reading, the shard intersection order of a finite Coxeter group $W$ is a lattice structure on the elements of $W$ that contains the poset of noncrossing partitions $NC(W)$ as a sublattice. Building on work of Bancroft in the case of the symmetric group, we provide combinatorial models for shard intersections of all classical types, and use this understanding to prove the shard intersection order is EL-shellable.
Further, inspired by work of Simion and Ullman on the lattice of noncrossing partitions, we show that the shard intersection order on the symmetric group admits a symmetric boolean decomposition, i.e., a partition into disjoint boolean algebras whose middle ranks coincide with the middle rank of the poset. Our decomposition also yields a new symmetric boolean decomposition of the noncrossing partition lattice.
Block characters of the symmetric groups
Published in Journal of Algebraic Combinatorics, 38, no. 1 (2013), 79-101
• View Publication
• BIB
Block character of a finite symmetric group S(n) is a positive definite function which depends only on the number of cycles in permutation. We describe the cone of block characters by identifying its extreme rays, and find relations of the characters to descent representations and the coinvariant algebra of S(n). The decomposition of extreme block characters into the sum of characters of irreducible representations gives rise to certain limit shape theorems for random Young diagrams. We also study counterparts of the block characters for the infinite symmetric group S(\infty) along with their connection to the Thoma characters of the infinite linear group GL(\infty,q) over a Galois field.
The Stabilizer Of Immanants
Published
• View Publication
• BIB
We describe immanants as trivial modules of the symmetric group and show that any homogeneous polynomial of degree n on the space of n by n matrices preserved up to scalar by left and right action by diagonal matrices and conjugation by permutation matrices is a linear combination of immanants. we prove that the identity component of the stabilizer of any immanant (except determinant, permanent) is the expected one. We also prove that for n>5 the stabilizer of the immanant of any non-symmetric partition (except determinant and permanent) is again the expected one.
Understanding 3-manifolds in the context of permutations
We demonstrate how a 3-manifold, a Heegaard diagram, and a group presentation can each be interpreted as a pair of signed permutations in the symmetric group $S_d.$ We demonstrate the power of permutation data in programming and discuss an algorithm we have developed that takes the permutation data as input and determines whether the data represents a closed 3-manifold. We therefore have an invariant of groups, that is given any group presentation, we can determine if that fixed presentation presents a closed 3-manifold.
(The proposed techniques begin with a pair of signed permutations and builds a finite group presentation. The finite group presentation results in a finite class of associated 3-manifolds. Notice that a negative answer only implies the fixed presentation does not result in a closed 3-manifold under this construction, but says nothing about an isomorphic form of the group presentation.)
Character-theoretic Techniques for Near-central Enumerative Problems
Published
• View Publication
• BIB
The centre of the symmetric group algebra $\mathbb{C}[\mathfrak{S}_n]$ has been used successfully for studying important problems in enumerative combinatorics. These include maps in orientable surfaces and ramified covers of the sphere by curves of genus $g$, for example. However, the combinatorics of some equally important $\mathfrak{S}_n$-factorization problems forces $k$ elements in $\{1,...,n\}$ to be distinguished. Examples of such problems include the star factorization problem, for which $k=1,$ and the enumeration of 2-cell embeddings of dipoles with two distinguished edges \cite{VisentinWieler:2007} associated with Berenstein-Maldacena-Nastase operators in Yang-Mills theory \cite{ConstableFreedmanHeadrick:2002}, for which $k=2.$ Although distinguishing these elements obstructs the use of central methods, these problems may be encoded algebraically in the centralizer of $\mathbb{C}[\mathfrak{S}_n]$ with respect to the subgroup $\mathfrak{S}_{n-k}.$ We develop methods for studying these problems for $k=1,$ and demonstrate their efficacy on the star factorization problem. In a subsequent paper \cite{JacksonSloss:2011}, we consider a special case of the the above dipole problem by means of these techniques.
Die Verteilung des Geschlechts zufällig gewählter Origamis (Distribution of the genus of random origamis)
Resultate der Charaktertheorie der symmetrischen Gruppe werden verwendet, um eine Verteilungsfunktion für das Geschlecht zufällig gewählter Origamis zu erhalten.
--
Results from the character theory of the symmetric group are used to obtain the distribution function of the genus of random origamis.)
The probability that a pair of elements of a finite group are conjugate
Published
• View Publication
• BIB
Let $G$ be a finite group, and let $κ(G)$ be the probability that elements $g$, $h\in G$ are conjugate, when $g$ and $h$ are chosen independently and uniformly at random. The paper classifies those groups $G$ such that $κ(G) \geq 1/4$, and shows that $G$ is abelian whenever $κ(G)|G| < 7/4$. It is also shown that $κ(G)|G|$ depends only on the isoclinism class of $G$.
Specialising to the symmetric group $S_n$, the paper shows that $κ(S_n) \leq C/n^2$ for an explicitly determined constant $C$. This bound leads to an elementary proof of a result of Flajolet \emph{et al}, that $κ(S_n) \sim A/n^2$ as $n\rightarrow \infty$ for some constant $A$. The same techniques provide analogous results for $ρ(S_n)$, the probability that two elements of the symmetric group have conjugates that commute.
Correction of a theorem on the symmetric group generated by transvections
Published
• View Publication
• BIB
Let $V$ denote a vector space over two-element field $\mathbb F_2$ with finite positive dimension and endowed with a symplectic form $B.$ Let ${\rm SL}(V)$ denote the special linear group of $V.$ Let $S$ denote a subset of $V.$ Define $Tv(S)$ as the subgroup of ${\rm SL}(V)$ generated by the transvections with direction $α$ for all $α\in S.$ Define $G(S)$ as the graph whose vertex set is $S$ and where $α,β\in S$ are connected whenever $B(α,β)=1.$ A well-known theorem states that under the assumption that $S$ spans $V,$ the following (i), (ii) are equivalent:
(i) $Tv(S)$ is isomorphic to a symmetric group.
(ii) $G(S)$ is a claw-free block graph.
We give an example which shows that this theorem is not true. We give a modification of this theorem as follows. Assume that $S$ is a linearly independent set of $V$ and no element of $S$ is in the radical of $V.$ Then the above (i), (ii) are equivalent.
An Erdős-Ko-Rado theorem in general linear groups
Let $S_n$ be the symmetric group on $n$ points. Deza and Frankl [M. Deza and P. Frankl, On the maximum number of permutations with given maximal or minimal distance, J. Combin. Theory Ser. A 22 (1977) 352--360] proved that if ${\cal F}$ is an intersecting set in $S_n$ then $|{\cal F}|\leq(n-1)!$. In this paper we consider the $q$-analogue version of this result. Let $\mathbb{F}_q^n$ be the $n$-dimensional row vector space over a finite field $\mathbb{F}_q$ and $GL_n(\mathbb{F}_q)$ the general linear group of degree $n$. A set ${\cal F}_q\subseteq GL_n(\mathbb{F}_q)$ is {\it intersecting} if for any $T,S\in{\cal F}_q$ there exists a non-zero vector $α\in \mathbb{F}_q^n$ such that $αT=αS$. Let ${\cal F}_q$ be an intersecting set in $GL_n(\mathbb{F}_q)$. We show that $|{\cal F}_q|\leq q^{(n-1)n/2}\prod_{i=1}^{n-1}(q^i-1)$.
Entropy of Schur-Weyl Measures
Published
• View Publication
• BIB
Relative dimensions of isotypic components of N-th order tensor representations of the symmetric group on n letters give a Plancherel-type measure on the space of Young diagrams with n cells and at most N rows. It was conjectured by G. Olshanski that dimensions of isotypic components of tensor representations of finite symmetric groups, after appropriate normalization, converge to a constant with respect to this family of Plancherel-type measures in the limit when N/sqrt{n} converges to a constant. The main result of the paper is the proof of this conjecture.
Some Quotients of the Boolean Lattice are Symmetric Chain Orders
Published
• View Publication
• BIB
R. Canfield has conjectured that for all subgroups G of the automorphism group of the Boolean lattice B(n) (which can be regarded as the symmetric group S(n)) the quotient order B(n)/G is a symmetric chain order. We provide a straightforward proof of a generalization of a result of K. K. Jordan: namely, B(n)/G is an SCO whenever G is generated by powers of disjoint cycles. The symmetric chain decompositions of Greene and Kleitman provide the basis for partitions of these quotients.
On Measures on Partitions Arising in Harmonic Analysis for Linear and Projective Characters of the Infinite Symmetric Group
The z-measures on partitions originated from the problem of harmonic analysis of linear representations of the infinite symmetric group in the works of Kerov, Olshanski and Vershik (1993, 2004). A similar family corresponding to projective representations was introduced by Borodin (1997). The latter measures live on strict partitions (i.e., partitions with distinct parts), and the z-measures are supported by all partitions. In this note we describe some combinatorial relations between these two families of measures using the well-known doubling of shifted Young diagrams.
Derivative polynomials and permutations by numbers of interior peaks and left peaks
Published
• View Publication
• BIB
Derivative polynomials in two variables are defined by repeated differentiation of the tangent and secant functions. We establish the connections between the coefficients of these derivative polynomials and the numbers of interior and left peaks over the symmetric group. Properties of the generating functions for the numbers of interior and left peaks over the symmetric group, including recurrence relations, generating functions and real-rootedness, are studied.
Unitary representations of cyclotomic rational Cherednik algebras
Published
• View Publication
• BIB
We classify the irreducible unitary modules in category O for the rational Cherednik algebras of type G(r,1,n) and give explicit combinatorial formulas for their graded characters. More precisely, we produce a combinatorial algorithm determining, for each r-partition of n, the closed semi-linear set of parameters for which the contravariant form on the irreducible representation with the given r-partition as lowest weight is positive definite. We use this algorithm to give a closed form answer for the Cherednik algebra of the symmetric group (recovering a result of Etingof-Stoica and the author) and the Weyl groups of classical type.
Chromatic quasisymmetric functions and Hessenberg varieties
Published
• View Publication
• BIB
We discuss three distinct topics of independent interest; one in enumerative combinatorics, one in symmetric function theory, and one in algebraic geometry. The topic in enumerative combinatorics concerns a q-analog of a generalization of the Eulerian polynomials, the one in symmetric function theory deals with a refinement of the chromatic symmetric functions of Stanley, and the one in algebraic geometry deals with Tymoczko's representation of the symmetric group on the cohomology of the regular semisimple Hessenberg variety of type A. Our purpose is to explore some remarkable connections between these topics.
Cyclic sieving of finite Grassmannians and flag varieties
Published in Discrete Mathematics, Volume 312, Issue 5, 6 March 2012, Pages 898-910
• View Publication
• BIB
In this paper we prove instances of the cyclic sieving phenomenon for finite Grassmannians and partial flag varieties, which carry the action of various tori in the finite general linear group GL_n(F_q). The polynomials involved are sums of certain weights of the minimal length parabolic coset representatives of the symmetric group S_n, where the weight of a coset representative can be written as a product over its inversions.
Infinite symmetric group and combinatorial descriptions of semigroups of double cosets
Published in Zap. Nauchn. Sem. POMI, 462 (2017), 65-92 (a version of the paper)
• View Publication
• BIB
We show that double cosets of the infinite symmetric group with respect to some special subgroups admit natural structures of semigroups. We interpret elements of such semigroups in combinatorial terms (chips, colored graphs, two-dimensional surfaces with polygonal tiling) and describe explicitly the multiplications.