symmetric group
1714 papers tagged with this keyword
Splines on Cayley Graphs of the Symmetric Group
Published in Forum of Mathematics, Sigma 13 (2025) e96
• View Publication
• BIB
A spline is an assignment of polynomials to the vertices of a graph whose edges are labeled by ideals, where the difference of two polynomials labeling adjacent vertices must belong to the corresponding ideal. The set of splines forms a ring. We consider spline rings where the underlying graph is the Cayley graph of a symmetric group generated by a collection of transpositions. These rings generalize the GKM construction for equivariant cohomology rings of flag, regular semisimple Hessenberg, and permutohedral varieties. These cohomology rings carry two actions of the symmetric group $S_n$ whose graded characters are both of general interest in algebraic combinatorics. In this paper, we generalize the graded $S_n$-representations from the cohomologies of the above varieties to splines on Cayley graphs of $S_n$, then (1) give explicit module and ring generators for whenever the $S_n$-generating set is minimal, (2) give a combinatorial characterization of when graded pieces of one $S_n$-representation is trivial, and (3) compute the first degree piece of both graded characters for all generating sets.
Hamilton cycles for involutions of classical types
Let ${\mathcal W}_n$ denote any of the three families of classical Weyl groups: the symmetric groups ${\mathcal S}_n$, the hyperoctahedral groups (signed permutation groups) ${\mathcal S}^B_n$, or the even-signed permutation groups ${\mathcal S}^D_n$. In this paper we give an uniform construction of a Hamilton cycle for the restriction to involutions on these three families of groups with respect to a inverse-closed connecting set of involutions. This Hamilton cycle is optimal with respect to the Hamming distance only for the symmetric group ${\mathcal S}_n$.
We also recall an optimal algorithm for a Gray code for type $B$ involutions. A modification of this algorithm would provide a Gray Code for type $D$ involutions with Hamming distance two, which would be optimal. We give such a construction for ${\mathcal S}^D_4$ and ${\mathcal S}^D_5$.
Metrics on permutations with the same peak set
Let $S_n$ be the symmetric group on the set $\{1,2,\ldots,n\}$. Given a permutation $σ=σ_1σ_2 \cdots σ_n \in S_n$, we say it has a peak at index $i$ if $σ_{i-1}<σ_i>σ_{i+1}$. Let $\text{Peak}(σ)$ be the set of all peaks of $σ$ and define $P(S;n)=\{σ\in S_n\, | \,\text{Peak}(σ)=S\}$. In this paper we study the Hamming metric, $\ell_\infty$-metric, and Kendall-Tau metric on the sets $P(S;n)$ for all possible $S$, and determine the minimum and maximum possible values that these metrics can attain in these subsets of $S_n$.
On the action of the symmetric group on the free LAnKe
A LAnKe (also known as a Filippov algebra or a Lie algebra of the $n$-th kind) is a vector space equipped with a skew-symmetric $n$-linear form that satisfies the generalized Jacobi identity. Friedmann, Hanlon, Stanley and Wachs have shown that the symmetric group acts on the multilinear part of the free LAnKe on $2n-1$ generators as an irreducible representation. They announced that the multilinear component on $3n-2$ generators decomposes as a direct sum of two irreducible symmetric group representations and a proof was given recently in a subsequent paper by Friedmann, Hanlon and Wachs. In the present paper we provide a proof of the later statement. The two proofs are substantially different.
On the joint distributions of succession and Eulerian statistics
The motivation of this paper is to investigate the joint distribution of succession and Eulerian statistics. We first investigate the enumerators for the joint distribution of descents, big ascents and successions over all permutations in the symmetric group. As an generalization a result of Diaconis-Evans-Graham (Adv. in Appl. Math., 61 (2014), 102-124), we show that two triple set-valued statistics of permutations are equidistributed on symmetric groups. We then introduce the definition of proper left-to-right minimum, and discover that the joint distribution of the succession and proper left-to-right minimum statistics over permutations is a symmetric distribution. In the final part, we discuss the relationship between the fix and cyc (p,q)-Eulerian polynomials and the joint distribution of succession and Eulerian-type statistics. In particular, we give a concise derivation of the generating function for a six-variable Eulerian polynomials.
Cycle structure of Mallows permutation model with the $L^1$ distance
Introduced by Mallows as a ranking model in statistics, Mallows permutation model is a class of non-uniform probability distributions on the symmetric group $S_n$. The model depends on a distance metric on $S_n$ and a scale parameter $β$. In this paper, we take the distance metric to be the $L^1$ distance (also known as Spearman's footrule in the statistics literature), and investigate the cycle structure of random permutations drawn from Mallows permutation model with the $L^1$ distance.
We focus on the parameter regime where $β>0$. We show that the expected length of the cycle containing a given point is of order $\min\{\max\{β^{-2},1\},n\}$, and the expected diameter of the cycle containing a given point is of order $\min\{e^{-2β}\max\{β^{-2},1\}, n-1\}$. Moreover, when $β\ll n^{-1\slash 2}$, the sorted cycle lengths (in descending order) normalized by $n$ converge in distribution to the Poisson-Dirichlet law with parameter $1$. The proofs of the results rely on the hit and run algorithm, a Markov chain for sampling from the model.
Homology of matching complexes and representations of symmetric groups
Published
• View Publication
• BIB
We compute the homology of the matching complex $M(Γ)$, where $Γ$ is the complete hypergraph on $n\geq 2$ vertices, and analyse the $S_n$-representations carried by this homology. These results are achieved using standard techniques in combinatorial topology, such as the theory of shellings. We then broaden the scope to the larger class of fibre-closed families of simplicial complexes and consider these through the lens of representation stability. This allows us to prove a number of results of an asymptotic nature, such as an analysis of the growth of Betti numbers and the kinds of irreducible $S_n$-representations that appear.
Echeloned Spaces
Published in Forum of Mathematics, Sigma 13 (2025) e89
• View Publication
• BIB
We introduce the notion of echeloned spaces - an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly continuous or have a uniformly discrete image. In particular, every automorphism of a metrizable echeloned space is uniformly continuous, and for every metric space with midpoints the automorphisms of the induced echeloned space are precisely the dilations.
Next we focus on finite echeloned spaces. They form a Fraisse class and we describe its Fraisse-limit both as the echeloned space induced by a certain homogeneous metric space and as the result of a random construction. Building on this we show that the class of finite ordered echeloned spaces is Ramsey. The proof of this result combines a combinatorial argument by Nesetril and Hubicka with a topological-dynamical point of view due to Kechris, Pestov, and Todorcevic. Finally, using the method of Katetov functors due to Kubis and Masulovic, we prove that the full symmetric group on a countable set topologically embeds into the automorphism group of the countable universal homogeneous echeloned space.
A Polynomial Method for Counting Colorings of Sparse Graphs
The notion of $S$-labeling of graphs, where $S$ is a subset of a symmetric group, was introduced in 2019 by Jin, Wong, and Zhu. This notion provides the framework for a common generalization of various well studied notions of graph coloring, including classical coloring, signed $k$-coloring, signed $\mathbb{Z}_k$-coloring, DP (or correspondence) coloring, group coloring, and coloring of gained graphs. In this paper, we present a unified and simple polynomial method for giving exponential lower bounds on the number of colorings of an $S$-labeled graph for all such $S$. This algebraic technique allows us to prove new lower bounds on the number of colorings of any $S$-labeling of graphs satisfying certain sparsity conditions. We also investigate how the structure of $S$ can be exploited to improve the applicability of these bounds. Our results give new lower bounds on the number of DP-colorings, and consequently the number of all types of colorings listed above. This includes the chromatic polynomial and the number of list colorings of families of planar graphs, and the number of colorings of signed graphs. These enumerative bounds improve previously known results or are the first such known results.
Combinatorial Results on Barcode Lattices
Published
• View Publication
• BIB
A barcode is a finite multiset of intervals on the real line. Jaramillo-Rodriguez (2023) previously defined a map from the space of barcodes with a fixed number of bars to a set of multipermutations, which presented new combinatorial invariants on the space of barcodes. A partial order can be defined on these multipermutations, resulting in a class of posets known as combinatorial barcode lattices. In this paper, we provide a number of equivalent definitions for the combinatorial barcode lattice, show that its Möbius function is a restriction of the Möbius function of the symmetric group under the weak Bruhat order, and show its ground set is the Jordan-Hölder set of a labeled poset. Furthermore, we obtain formulas for the number of join-irreducible elements, the rank-generating function, and the number of maximal chains of combinatorial barcode lattices. Lastly, we make connections between intervals in the combinatorial barcode lattice and certain classes of matchings.
Fundamental domain for the Markoff-Hurwitz equation
For integers $a\neq0$, $k$, and $n\geq3$, we consider the Markoff-Hurwitz equation given by $x_1^1+\cdots+x_n^2-ax_1\cdots x_n=k$. By defining graphs associated with a height function and by using their properties, we find an exact fundamental domain for a symmetric group generated by involution maps sending $(x_1,\dots,x_n)$ to $(x_1,\dots,ax_1\cdots x_{i-1}x_{i+1}\cdots x_n-x_i,\dots,x_n)$, permutations, and double sign changes on the set of integral solutions for the Markoff-Hurwitz equation.
Character and class parameters from entries of character tables of symmetric groups
Published
• View Publication
• BIB
If all of the entries of a large $S_n$ character table are covered up and you are allowed to uncover one entry at a time, then how can you quickly identify all of the indexing characters and conjugacy classes? We present a fast algorithmic solution that works even when n is so large that almost none of the entries of the character table can be computed. The fraction of the character table that needs to be uncovered has exponential decay, and for many of these entries we are only interested in whether the entry is zero.
Presentations of Schur and Specht modules in characteristic zero
Published in Journal of Pure and Applied Algebra Volume 229, Issue 1 , January 2025, 107774
• View Publication
• BIB
New presentations of Specht modules of symmetric groups over fields of characteristic zero have been obtained by Brauner, Friedmann, Hanlon, Stanley and Wachs. These involve generators that are column tabloids and relations that are Garnir relations with maximal number of exchanges between consecutive columns or symmetrization of Garnir relations with minimal number of exchanges between consecutive columns. In this paper, we examine Garnir relations and their symmetrization with any number of exchanges. In both cases, we provide sufficient arithmetic conditions so that the corresponding quotient is a Specht module. In particular, in the first case this yields new presentations of Specht modules if the parts of the conjugate partition that correspond to maximal number of exchanges greater than 1 are distinct. These results generalize the presentations mentioned above and offer an answer to a question of Friedmann, Hanlon and Wachs. Our approach is via representations of the general linear group.
Insertion algorithms for Type $\mathrm{B}$ and $\mathrm{D}$ Gelfand $W$-graphs
Like the RSK correspondence for symmetric groups, Garfinkle defined a domino correspondence for type $\mathrm{B}$ and $\mathrm{D}$ Coxeter groups. Similar to the Knuth relations, Taskin and Pietraho give the plactic relations for the domino correspondence and Bonnafé use them to classify the cells for type $\mathrm{B}$ Coxeter groups. We give some further properties of the plactic relations and use these relations to describe the bidirected edges and the molecules of Gelfand $W$-graphs for type $\mathrm{B}$ and $\mathrm{D}$ Coxeter groups.
Random generation of group elements using combinatorial group theory and automata theory, along with a hardware example
In this paper, we introduce a novel approach for generating random elements of a finite group given a set of generators of that. Our method draws upon combinatorial group theory and automata theory to achieve this objective. Furthermore, we explore the application of this method in generating random elements of a particularly significant group, namely the symmetric group (or group of permutations on a set). Through rigorous analysis, we demonstrate that our proposed method requires fewer average swaps to generate permutations compared to existing approaches. However, recognizing the need for practical applications, we propose a hardware-based implementation based on our theoretical approach, and provide a comprehensive comparison with previous methods. Our evaluation reveals that our method outperforms existing approaches in certain scenarios. Although our primary proposed method only aims to speed up the shuffling and does not decrease its time complexity, we also extend our method to improve the time complexity.
The partition algebra and the plethysm coefficients II: ramified plethysm
The plethysm coefficient $p(ν, μ, λ)$ is the multiplicity of the Schur function $s_λ$ in the plethysm product $s_ν\circ s_μ$. In this paper we use Schur--Weyl duality between wreath products of symmetric groups and the ramified partition algebra to interpret an arbitrary plethysm coefficient as the multiplicity of an appropriate composition factor in the restriction of a module for the ramified partition algebra to the partition algebra. This result implies new stability phenomenon for plethysm coefficients when the first parts of $ν$, $μ$ and $λ$ are all large. In particular, it gives the first positive formula in the case when $ν$ and $λ$ are arbitrary and $μ$ has one part. Corollaries include new explicit positive formulae and combinatorial interpretations for the plethysm coefficients $p((n-b,b), (m), (mn-r,r))$, and $p((n-b,1^b), (m), (mn-r,r))$ when $m$ and $n$ are large.
On the Aldous-Caputo Spectral Gap Conjecture for Hypergraphs
Published in Math. Proc. Camb. Phil. Soc. 179 (2025) 259-298
• View Publication
• BIB
In their celebrated paper (arXiv:0906.1238), Caputo, Liggett and Richthammer proved Aldous' conjecture and showed that for an arbitrary finite graph, the spectral gap of the interchange process is equal to the spectral gap of the underlying random walk. A crucial ingredient in the proof was the Octopus Inequality - a certain inequality of operators in the group ring $\mathbb{R}[\mathrm{Sym}_n]$ of the symmetric group. Here we generalize the Octopus Inequality and apply it to generalize the Caputo-Liggett-Richthammer Theorem to certain hypergraphs, proving some cases of a conjecture of Caputo.
Regular Schur labeled skew shape posets and their 0-Hecke modules
Published in Forum of Mathematics, Sigma(2024)
• Search Publication
Assuming Stanley's $P$-partition conjecture holds, the regular Schur labeled skew shape posets with underlying set $\{1,2,\ldots, n\}$ are precisely the posets $P$ such that the $P$-partition generating function is symmetric and the set of linear extensions of $P$, denoted $Σ_L(P)$, is a left weak Bruhat interval in the symmetric group $\mathfrak{S}_n$. We describe the permutations in $Σ_L(P)$ in terms of reading words of standard Young tableaux when $P$ is a regular Schur labeled skew shape poset, and classify $Σ_L(P)$'s up to descent-preserving isomorphism as $P$ ranges over regular Schur labeled skew shape posets. The results obtained are then applied to classify the $0$-Hecke modules $\mathsf{M}_P$ associated with regular Schur labeled skew shape posets $P$ up to isomorphism. Then we characterize regular Schur labeled skew shape posets as the posets whose linear extensions form a dual plactic-closed subset of $\mathfrak{S}_n$. Using this characterization, we construct distinguished filtrations of $\mathsf{M}_P$ with respect to the Schur basis when $P$ is a regular Schur labeled skew shape poset. Further issues concerned with the classification and decomposition of the $0$-Hecke modules $\mathsf{M}_P$ are also discussed.
Improved covering results for conjugacy classes of symmetric groups via hypercontractivity
Published in Forum of Mathematics, Sigma 12 (2024) e85
• View Publication
• BIB
We study covering numbers of subsets of the symmetric group $S_n$ that exhibit closure under conjugation, known as \emph{normal} sets. We show that for any $ε>0$, there exists $n_0$ such that if $n>n_0$ and $A$ is a normal subset of the symmetric group $S_n$ of density $\ge e^{-n^{2/5 - ε}}$, then $A^2 \supseteq A_n$. This improves upon a seminal result of Larsen and Shalev (Inventiones Math., 2008), with our $2/5$ in the double exponent replacing their $1/4$.
Our proof strategy combines two types of techniques. The first is `traditional' techniques rooted in character bounds and asymptotics for the Witten zeta function, drawing from the foundational works of Liebeck--Shalev, Larsen--Shalev, and more recently, Larsen--Tiep. The second is a sharp hypercontractivity theorem in the symmetric group, which was recently obtained by Keevash and Lifshitz. This synthesis of algebraic and analytic methodologies not only allows us to attain our improved bounds but also provides new insights into the behavior of general independent sets in normal Cayley graphs over symmetric groups.
Kronecker coefficients for (dual) symmetric inverse semigroups
Published in J. Aust. Math. Soc. 118 (2025) 65-90
• View Publication
• BIB
We study analogues of Kronecker coefficients for symmetric inverse semigroups, for dual symmetric inverse semigroups and for the inverse semigroups of bijections between subquotients of finite sets. In all cases we reduce the problem of determination of such coefficients to some group-theoretic and combinatorial problems. For symmetric inverse semigroups, we provide an explicit formula in terms of the classical Kronecker and Littlewood--Richardson coefficients for symmetric groups.