symmetric group
1727 papers tagged with this keyword
Central limit theorem for peaks of a random permutation in a fixed conjugacy class of $S_n$
Published
• View Publication
• BIB
The number of peaks of a random permutation is known to be asymptotically normal. We give a new proof of this and prove a central limit theorem for the distribution of peaks in a fixed conjugacy class of the symmetric group. Our technique is to apply ``analytic combinatorics'' to study a complicated but exact generating function for peaks in a given conjugacy class.
New Lower Bounds for Permutation Codes using Linear Block Codes
In this paper we prove new lower bounds for the maximal size of permutation codes by connecting the theory of permutation codes with the theory of linear block codes. More specifically, using the columns of a parity check matrix of an $[n,k,d]_q$ linear block code, we are able to prove the existence of a permutation code in the symmetric group of degree $n$, having minimum distance at least $d$ and large cardinality. With our technique, we obtain new lower bounds for permutation codes that enhance the ones in the literature and provide asymptotic improvements in certain regimes of length and distance of the permutation code.
Small cycles, generalized prisms and Hamiltonian cycles in the Bubble-sort graph
Published
• View Publication
• BIB
The Bubble-sort graph $BS_n,\,n\geqslant 2$, is a Cayley graph over the symmetric group $Sym_n$ generated by transpositions from the set $\{(1 2), (2 3),\ldots, (n-1 n)\}$. It is a bipartite graph containing all even cycles of length $\ell$, where $4\leqslant \ell\leqslant n!$. We give an explicit combinatorial characterization of all its $4$- and $6$-cycles. Based on this characterization, we define generalized prisms in $BS_n,\,n\geqslant 5$, and present a new approach to construct a Hamiltonian cycle based on these generalized prisms.
The isometry group of phylogenetic tree space is $S_n$
A phylogenetic tree is an acyclic graph with distinctly labeled leaves, whose internal edges have a positive weight. Given a set of n leaves, the collection of all phylogenetic trees with this leaf set can be assembled into a metric cube complex known as phylogenetic tree space, or Billera-Holmes-Vogtmann tree space. In this largely combinatorial paper, we show that the isometry group of this space is the symmetric group on n elements. This fact is relevant to distance-based analyses of phylogenetic tree sets.
The ABC of p-Cells
Parallel to the very rich theory of Kazhdan-Lusztig cells in characteristic $0$, we try to build a similar theory in positive characteristic. We study cells with respect to the $p$-canonical basis of the Hecke algebra of a crystallographic Coxeter system (see arXiv:1510.01556(2)). Our main technical tool are the star-operations introduced by Kazhdan-Lusztig which have interesting numerical consequences for the $p$-canonical basis. As an application, we explicitely describe $p$-cells in finite type $A$ (i.e. for symmetric groups) using the Robinson-Schensted correspondence. Moreover, we show that Kazhdan-Lusztig cells in finite types $B$ and $C$ decompose into $p$-cells for $p > 2$.
Is the Symmetric Group Sperner?
An antichain $\mathcal{A}$ in a poset $\mathcal{P}$ is a subset of $\mathcal{P}$ in which no two elements are comparable. Sperner showed that the maximal antichain in the Boolean lattice, $\mathcal{B}_n = \left\{ 0 < 1 \right\}^n$, is the largest rank (of size $\binom{n}{\lfloor n/2 \rfloor}$). This type of problem has been since generalized, and a graded poset $\mathcal{P}$ is said to be Sperner if the largest rank of $\mathcal{P}$ is its maximal antichain. In this paper, we will show that the symmetric group $S_n$, partially ordered by refinement (or equivalently by absolute order), is Sperner.
The Hopf structure of symmetric group characters as symmetric functions
Published
• View Publication
• BIB
In arXiv:1605.06672 the authors introduced inhomogeneous bases of the ring of symmetric functions. The elements in these bases have the property that they evaluate to characters of symmetric groups. In this article we develop further properties of these bases by proving product and coproduct formulae. In addition, we give the transition coefficients between the elementary symmetric functions and the irreducible character basis.
Revisiting pattern avoidance and quasisymmetric functions
Let S_n be the nth symmetric group. Given a set of permutations Pi we denote by S_n(Pi) the set of permutations in S_n which avoid Pi in the sense of pattern avoidance. Consider the generating function Q_n(Pi) = sum_pi F_{Des pi} where the sum is over all pi in S_n(Pi) and F_{Des pi} is the fundamental quasisymmetric function corresponding to the descent set of pi. Hamaker, Pawlowski, and Sagan introduced Q_n(Pi) and studied its properties, in particular, finding criteria for when this quasisymmetric function is symmetric or even Schur nonnegative for all n >= 0. The purpose of this paper is to continue their investigation answering some of their questions, proving one of their conjectures, as well as considering other natural questions about Q_n(Pi). In particular we look at Pi of small cardinality, superstandard hooks, partial shuffles, Knuth classes, and a stability property.
Character polynomials for two rows and hook partitions
Representation theory of the symmetric group $\mathfrak{S}_n$ has a very distinctive combinatorial flavor. The conjugacy classes as well as the irreducible characters are indexed by integer partitions $λ\vdash n$. We introduce class functions on $\mathfrak{S}_n$ that count the number of certain tilings of Young diagrams. The counting interpretation gives a uniform expression of these class functions in the ring of character polynomials, as defined by \cite{murnaghanfirst}. A modern treatment of character polynomials is given in \cite{orellana-zabrocki}. We prove a relation between these combinatorial class functions in the (virtual) character ring. From this relation, we were able to prove Goupil's generating function identity \cite{goupil}, which can then be used to derive Rosas' formula \cite{rosas} for Kronecker coefficients of hook shape partitions and two row partitions.
Isometry invariant permutation codes and mutually orthogonal Latin squares
Published
• View Publication
• BIB
Commonly the direct construction and the description of mutually orthogonal Latin squares (MOLS) makes use of difference or quasi-difference matrices. Now there exists a correspondence between MOLS and separable permutation codes. We like to present separable permutation codes of length $35$, $48$, $63$ and $96$ and minimum distance $34$, $47$, $62$ and $95$ consisting of $6 \times 35$, $10 \times 48$, $8 \times 63$ and $8 \times 96$ codewords respectively. Using the correspondence this gives $6$ MOLS for $n=35$, $10$ MOLS for $n=48$, $8$ MOLS for $n=63$ and $8$ MOLS for $n=96$. So $N(35) \ge 6$, $N(48) \ge 10$, $N(63) \ge 8$ and $N(96) \ge 8$ holds which are new lower bounds for MOLS. The codes will be given by generators of an appropriate subgroup $U$ of the isometry group of the symmetric group $S_n$ and $U$-orbit representatives. This gives an alternative uniform way to describe the MOLS where the data for the codes can be used as input for computer algebra systems like MAGMA, GAP etc.
Affine transitions for involution Stanley symmetric functions
Published in European J. Combin. 101 (2022), 103463
• View Publication
• BIB
We study a family of symmetric functions $\hat F_z$ indexed by involutions $z$ in the affine symmetric group. These power series are analogues of Lam's affine Stanley symmetric functions and generalizations of the involution Stanley symmetric functions introduced by Hamaker, Pawlowski, and the first author. Our main result is to prove a transition formula for $\hat F_z$ which can be used to define an affine involution analogue of the Lascoux-Schützenberger tree. Our proof of this formula relies on Lam and Shimozono's transition formula for affine Stanley symmetric functions and some new technical properties of the strong Bruhat order on affine permutations.
A combinatorial duality between the weak and strong Bruhat orders
Published in J. Combin. Theory Ser. A, Volume 171, 2020
• View Publication
• BIB
In recent work, the authors used an order lowering operator $\nabla$, introduced by Stanley, to prove the strong Sperner property for the weak Bruhat order on the symmetric group. Hamaker, Pechenik, Speyer, and Weigandt interpreted $\nabla$ as a differential operator on Schubert polynomials and used this to prove a new identity for Schubert polynomials and a determinant conjecture of Stanley. In this paper we study a raising operator $Δ$ for the \emph{strong} Bruhat order, which is in many ways dual to $\nabla$. We prove a Schubert identity dual to that of Hamaker et al. and derive formulas for counting weighted paths in the Hasse diagrams of the strong order which agree with path counting formulas for the weak order. We also show that powers of $\nabla$ and $Δ$ have the same Smith normal forms, which we describe explicitly, answering a question of Stanley.
Macdonald trees and determinants of representations for finite Coxeter groups
Published in Indian J. Discrete Math., Vol. 5, No. 1 (2019), pp. 1-22
• Search Publication
Every irreducible odd dimensional representation of the $n$'th symmetric or hyperoctahedral group, when restricted to the $(n-1)$'th, has a unique irreducible odd-dimensional constituent. Furthermore, the subgraph induced by odd-dimensional representations in the Bratteli diagram of symmetric and hyperoctahedral groups is a binary tree with a simple recursive description. We survey the description of this tree, known as the Macdonald tree, for symmetric groups, from our earlier work. We describe analogous results for hyperoctahedral groups.
A partition $λ$ of $n$ is said to be chiral if the corresponding irreducible representation $V_λ$ of $S_n$ has non-trivial determinant. We review our previous results on the structure and enumeration of chiral partitions, and subsequent extension to all Coxeter groups by Ghosh and Spallone. Finally we show that the numbers of odd and chiral partitions track each other closely.
Derivatives of Schubert polynomials and proof of a determinant conjecture of Stanley
Published in Algebraic Combinatorics 3, no. 2, 2020, 301-307
• View Publication
• BIB
We study the action of a differential operator on Schubert polynomials. Using this action, we first give a short new proof of an identity of I. Macdonald (1991). We then prove a determinant conjecture of R. Stanley (2017). This conjecture implies the (strong) Sperner property for the weak order on the symmetric group, a property recently established by C. Gaetz and Y. Gao (2018).
The center of the wreath product of symmetric groups algebra
Published in Algebra and Discrete Mathematics 31(2) (2021) 302-322
• View Publication
• BIB
We consider the wreath product of two symmetric groups as a group of blocks permutations and we study its conjugacy classes. We give a polynomiality property for the structure coefficients of the center of the wreath product of symmetric groups algebra. This allows us to recover an old result of Farahat and Higman about the polynomiality of the structure coefficients of the center of the symmetric group algebra and to generalize our recent result about the polynomiality property of the structure coefficients of the center of the hyperoctahedral group algebra. A particular attention is paid to the cases when the blocks contain two or three elements.
Linear versus spin: representation theory of the symmetric groups
Published in Algebraic Combinatorics, Volume 3 (2020) no. 1, pp. 249-280
• View Publication
• BIB
We relate the linear asymptotic representation theory of the symmetric groups to its spin counterpart. In particular, we give explicit formulas which express the normalized irreducible spin characters evaluated on a strict partition $ξ$ with analogous normalized linear characters evaluated on the double partition $D(ξ)$. We also relate some natural filtration on the usual (linear) Kerov-Olshanski algebra of polynomial functions on the set of Young diagrams with its spin counterpart. Finally, we give a spin counterpart to Stanley formula for the characters of the symmetric groups.
Patterns in Random Permutations
Published in Combinatorica 40, pages 775-804 (2020)
• View Publication
• BIB
Every k entries in a permutation can have one of k! different relative orders, called patterns. How many times does each pattern occur in a large random permutation of size n? The distribution of this k!-dimensional vector of pattern densities was studied by Janson, Nakamura, and Zeilberger (2015). Their analysis showed that some component of this vector is asymptotically multinormal of order 1/sqrt(n), while the orthogonal component is smaller. Using representations of the symmetric group, and the theory of U-statistics, we refine the analysis of this distribution. We show that it decomposes into k asymptotically uncorrelated components of different orders in n, that correspond to representations of Sk. Some combinations of pattern densities that arise in this decomposition have interpretations as practical nonparametric statistical tests.
Distinguishing number of Urysohn metric spaces
Published
• View Publication
• BIB
The distinguishing number of a structure is the smallest size of a partition of its elements so that only the trivial automorphism of the structure preserves each cell of the partition. We show that for any countable subset of the positive real numbers, the corresponding countable homogeneous Urysohn metric space, when it exists, has distinguishing number 2 or the distinguishing number is infinite.
While it is known that a sufficiently large finite primitive structure has distinguishing number 2, unless its automorphism group is the full symmetric group or alternating group, the infinite case is open and these countable Urysohn metric spaces provide further confirmation toward the conjecture that all primitive homogeneous countably infinite structures have distinguishing number 2 or else the distinguishing number is infinite.
Lattice bijections for string modules, snake graphs and the weak Bruhat order
In this paper we introduce abstract string modules and give an explicit bijection between the submodule lattice of an abstract string module and the perfect matching lattice of the corresponding abstract snake graph. In particular, we make explicit the direct correspondence between a submodule of a string module and the perfect matching of the corresponding snake graph. For every string module, we define a Coxeter element in a symmetric group, and we establish a bijection between these lattices and the interval in the weak Bruhat order determined by the Coxeter element. Using the correspondence between string modules and snake graphs, we give a new concise formulation of snake graph calculus.
A combinatorial $\mathfrak{sl}_2$-action and the Sperner property for the weak order
Published in Proc. Amer. Math. Soc. 148 (2020), 1-7
• View Publication
• BIB
We construct a simple combinatorially-defined representation of $\mathfrak{sl}_2$ which respects the order structure of the weak order on the symmetric group. This is used to resolve a conjecture of Stanley that the weak order has the strong Sperner property, and is therefore a Peck poset.