arXiv++ Combinatorics

A Transposition graph $T_n$ is defined as a Cayley graph over the symmetric group $Sym_n$ generated by all transpositions. This paper shows how the spectrum of $T_n$ can be obtained using the spectral properties of the Jucys-Murphy elements.

The symmetric group $\mathfrak{S}_n$ (and more generally, any Coxeter group) admits an associative operation known as the Demazure product. In this paper, we first extend the Demazure product to the (infinite) set of all biwords on $\{1, \ldots, n\}$, or equivalently, the set of all $n \times n$ nonnegative integer matrices. We define this product diagrammatically, via braid-like graphs we call kelp beds, since they significantly generalize the seaweeds introduced by Tiskin (2015). Our motivation for this extended Demazure product arises from optimization theory, in particular the semigroup of all $(n+1) \times (n+1)$ simple nonnegative integer Monge matrices equipped with the distance (i.e., min-plus) product. As our main result, we show that this semigroup of Monge matrices is isomorphic to the semigroup of biwords equipped with the extended Demazure product. We exploit this isomorphism to write down generating functions for the growth series of the Monge matrices with respect to certain natural matrix norms.

Given a set $I \subseteq \mathbb{N}$, consider the sequences $\{d_n(I)\},\{p_n(I)\}$ where for any $n$, $d_n(I)$ and $p_n(I)$ respectively count the number of permutations in the symmetric group $\mathfrak{S}_n$ whose descent set (respectively peak set) is $I \cap [n-1]$. We investigate the growth rates $\text{gr} \ d_n(I) = \lim_{n \to \infty} \left(d_n(I)/n!\right)^{1/n}$ and $\text{gr} \ p_n(I) = \lim_{n \to \infty} \left(p_n(I)/n!\right)^{1/n}$ over all $I \subseteq \mathbb{N}$. Our main contributions are two-fold. Firstly, we prove that the numbers $\text{gr} \ d_n(I)$ over all $I \subseteq \mathbb{N}$ are exactly the interval $\left[0,2/π\right]$. To do so, we construct an algorithm that explicitly builds $I$ for any desired limit $L$ in the interval. Secondly, we prove that the numbers $\text{gr} \ p_n(I)$ for periodic sets $I \subseteq \mathbb{N}$ form a dense set in $\left[0,1/\sqrt[3]{3}\right]$. We do this by explicitly finding, for any prescribed $L$ in the interval, a set $I$ whose corresponding growth rate is arbitrarily close to $L$.

We study the geometry and topology of $Δ$-Springer varieties associated with two-row partitions. These varieties were introduced in recent work by Griffin-Levinson-Woo to give a geometric realization of a symmetric function appearing in the Delta conjecture by Haglund-Remmel-Wilson. We provide an explicit and combinatorial description of the irreducible components of the two-row $Δ$-Springer variety and compare it to the ordinary two-row Springer fiber as well as Kato's exotic Springer fiber corresponding to a one-row bipartition. In addition to that, we extend the action of the symmetric group on the homology of the two-row $Δ$-Springer variety to an action of a degenerate affine Hecke algebra and relate this action to a $\mathfrak{gl}_{2}$-tensor space.

Regarding the conjugacy representation on symmetric groups, we initiate a normalized measure emerging from this representation, namely the conjugacy measure. A central limit theorem for character ratios of random representations of the symmetric group on the conjugacy measure is obtained.

We generalize random-to-random shuffling from a Markov chain on the symmetric group to one on the Type A Iwahori Hecke algebra, and show that its eigenvalues are polynomials in q with non-negative integer coefficients. Setting q=1 recovers results of Dieker and Saliola, whose computation of the spectrum of random-to-random in the symmetric group resolved a nearly 20 year old conjecture by Uyemura-Reyes. Our methods simplify their proofs by drawing novel connections to the Jucys-Murphy elements of the Hecke algebra, Young seminormal forms, and the Okounkov-Vershik approach to representation theory.

Let $α(n)$ denote the number of perfect square permutations in the symmetric group $S_n$. The conjecture $α(2n+1) = (2n+1) α(2n)$, provided by Stanley[4], was proved by Blum[1] using a generating function. This paper presents a combinatorial proof for this conjecture. At the same time, we demonstrate that all permutations with an even number of even cycles in both $S_{2n}$ and $S_{2n+1}$ can be categorized into three distinct types that correspond to each other.

Recently, the notions of self-orthogonal subspace codes and LCD subspace codes were introduced, and LCD subspace codes obtained from mutually unbiased weighing matrices were studied. In this paper, we provide a method of constructing self-orthogonal and LCD subspace codes from a set of matrices under certain conditions. In particular, we give constructions of self-orthogonal and LCD subspace codes from mutually quasi-unbiased weighing matrices, linked systems of symmetric designs, and linked systems of symmetric group divisible designs, Deza graphs and their equitable partitions.

Multiline queues are versatile combinatorial objects that play a key role in understanding the remarkable connection between the asymmetric simple exclusion process (ASEP) on a circle and Macdonald polynomials. Specializing the results of Corteel--Mandelshtam--Williams (2018) to the $t=0$ case yields a formula for the $q$-Whittaker polynomials through the Ferrari--Martin (2007) algorithm with a major index ($\texttt{maj}$) statistic. In this paper, we reinterpret the $\texttt{maj}$ statistic as a $\texttt{charge}$ statistic on reading words, thereby bypassing the Ferrari--Martin algorithm to obtain an elegant formula for the $q$-Whittaker polynomials. Our methods naturally extend to the case of bosonic multiline queues, with which we obtain analogous results for the modified Hall--Littlewood polynomials using a $\texttt{cocharge}$ statistic on reading words. Twisted multiline queues (GMLQs) are obtained from the action of the symmetric group on the rows of a multiline queue. The Ferrari--Martin algorithm was extended to GMLQs by Arita--Ayyer--Mallick--Prolhac (2011), and Aas--Grinberg--Scrimshaw (2020) showed it is preserved under this action. We extend these results by defining a $\texttt{maj}$ statistic on GMLQs that is also preserved under this action. This yields a novel family of formulas, indexed by compositions, for the $q$-Whittaker polynomials. Additionally, we define a procedure on both GMLQs and bosonic multiline queues that we call collapsing, which can can be realized via the Kashiwara (crystal) operators on type-A Kirillov--Reshetikhin crystals. As an application, we naturally recover the Lascoux--Schützenberger $\texttt{charge}$ formula for the $q$-Whittaker and modified Hall--Littlewood polynomials, and the classical and dual Cauchy identities for Schur functions.

The covering number of a non-linear character $χ$ of a finite group $G$ is the least positive integer $k$ such that every irreducible character of $G$ occurs in $χ^k$. We determine the covering numbers of irreducible characters of the symmetric group $S_n$ indexed by certain two-row partitions (and their conjugates), namely $(n-2,2)$ and $((n+1)/2, (n-1)/2)$ when $n$ is odd. We also determine the covering numbers of irreducible characters indexed by certain hook-partitions (and their conjugates), namely $(n-2,1^2)$, the almost self-conjugate hooks $(n/2+1, 1^{n/2-1})$ when $n$ is even, and the self-conjugate hooks $((n+1)/2, 1^{(n-1)/2})$ when $n$ is odd.

We give a classification of the $regular$ soliton solutions of the KP hierarchy, referred to as the $KP solitons$, under the Gel'fand-Dickey $\ell$-reductions in terms of the permutation of the symmetric group. As an example, we show that the regular soliton solutions of the (good) Boussinesq equation as the 3-reduction can have $at ~most$ one resonant soliton in addition to two sets of solitons propagating in opposite directions. We also give a systematic construction of these soliton solutions for the $\ell$-reductions using the vertex operators. In particular, we show that the $non-crossing$ permutation gives the regularity condition for the soliton solutions.

We give the first conjectural construction of a monomial basis for the coinvariant ring $R_n^{(1,2)}$, for the symmetric group $S_n$ acting on one set of bosonic (commuting) and two sets of fermionic (anticommuting) variables. Our construction interpolates between the modified Motzkin path basis for $R_n^{(0,2)}$ of Kim-Rhoades (2022) and the super-Artin basis for $R_n^{(1,1)}$ conjectured by Sagan-Swanson (2024) and proven by Angarone et al. (2024). We prove that our proposed basis has cardinality $2^{n-1}n!$, aligning with a conjecture of Zabrocki (2020) on the dimension of $R_n^{(1,2)}$, and show how it gives a combinatorial expression for the Hilbert series. We also conjecture a Frobenius series for $R_n^{(1,2)}$. We show that these proposed Hilbert and Frobenius series are equivalent to conjectures of Iraci, Nadeau, and Vanden Wyngaerd (2024) on $R_n^{(1,2)}$ in terms of segmented Smirnov words, by exhibiting a weight-preserving bijection between our proposed basis and their segmented permutations. We extend some of their results on the sign character to hook characters, and give a formula for the $m_μ$ coefficients of the conjectural Frobenius series. Finally, we conjecture a monomial basis for the analogous ring in type $B_n$, and show that it has cardinality $4^nn!$.

Let $\mathbb{S}_n$ denote the symmetric group on $[n]=\{1,\ldots,n\}$ with the uniform probability measure. For a permutation $π\in \mathbb{S}_n$ let $X_π$ denote the simplicial complex on the vertex set $[n]$ whose simplices are all $\{i_0,\ldots, i_m\} \subset [n]$ such that $i_0<\cdots<i_m$ and $π(i_0)<\cdots < π(i_m)$. For $r \geq 0$ let $p_r(n)$ denote the probability that $X_π$ is not topologically $r$-connected for $π\in \mathbb{S}_n$. It is shown that for fixed $r \geq 0$ there exist constants $0<C_r, C_r' < \infty$ such that \[ C_r \frac{(\log n)^r}{n} \leq p_r(n) \leq C_r' \frac{(\log n)^{2r}}{n}. \]

The character table of the symmetric group $S_n$, of permutations of $n$ objects, is of fundamental interest in theoretical physics, combinatorics as well as computational complexity theory. We investigate the implications of an identity, which has a geometrical interpretation in combinatorial topological field theories, relating the column sum of normalised central characters of $S_n$ to a sum of structure constants of multiplication in the centre of the group algebra of $S_n$. The identity leads to the proof that a combinatorial computation of the column sum belongs to complexity class \shP. The sum of structure constants has an interpretation in terms of the counting of branched covers of the sphere. This allows the identification of a tractable subset of the structure constants related to genus zero covers. We use this subset to prove that the column sum for a conjugacy class labelled by partition $λ$ is non-vanishing if and only if the permutations in the conjugacy class are even. This leads to the result that the determination of the vanishing or otherwise of the column sum is in complexity class \pP. The subset gives a positive lower bound on the column sum for any even $ λ$. For any disjoint decomposition of $ λ$ as $λ_1 \sqcup λ_2 $ we obtain a lower bound for the column sum at $ λ$ in terms of the product of the column sums for $ λ_1$ and$λ_2$. This can be expressed as a super-additivity property for the logarithms of column sums of normalized characters.

We use representation theory of the symmetric group S_n to prove Poisson limit theorems for the distribution of fixed points for three types of non-uniform permutations. First, we give results for the commutator of g and x where g and x are uniform in S_n. Second, we give results for the commutator of g and x where g in uniform in S_n and x is fixed. Third, we give results for permutations obtained by multiplying n*log(n)/i + cn many random i-cycles. Some of our results are known by other, quite different, methods.

Let $G=G_{n}=GL(n)$ be the $n\times n$ complex general linear group and embed $G_{n-1}=GL(n-1)$ in the top left hand corner of $G$. The standard Borel subgroup of upper triangular matrices $B_{n-1}$ of $G_{n-1}$ acts on the flag variety of $G$ with finitely many orbits. In this paper, we show that each $B_{n-1}$-orbit is the intersection of orbits of two Borel subgroups of $G$ acting on the flag variety of $G$. This allows us to give a new combinatorial description of the $B_{n-1}$-orbits by associating to each orbit a pair of Weyl group elements. The closure relations for the $B_{n-1}$-orbits can then be understood in terms of the Bruhat order on the Weyl group, and the Richardson-Springer monoid action on the orbits can be understood in terms of the classical monoid action of the Weyl group on itself. This approach makes the closure relation more transparent than in earlier work of Magyar and the monoid action significantly more computable than in our earlier papers, and also allows us to obtain new information about the orbits including a simple formula for the dimension of an orbit.

In 1961, Solomon gave upper and lower bounds for the sum of all the entries in the character table of a finite group in terms of elementary properties of the group. In a different direction, we consider the ratio of the character table sum to the sum of the entries in the first column, also known as the character degree sum, in this work. First, we propose that this ratio is at most two for many natural groups. Secondly, we extend a conjecture of Fields to postulate that this ratio is at least one with equality if and only if the group is abelian. We establish the validity of this property and conjecture for all finite irreducible Coxeter groups. In addition, we prove the conjecture for generalized symmetric groups. The main tool we use is that the sum of a column in the character table of an irreducible Coxeter group (resp. generalized symmetric group) is given by the number of square roots (resp. absolute square roots) of the corresponding conjugacy class representative. As a byproduct of our results, we show that the asymptotics of character table sums is the same as the number of involutions in symmetric, hyperoctahedral and demihyperoctahedral groups. We also derive explicit generating functions for the character table sums for these latter groups as infinite products of continued fractions. In the same spirit, we prove similar generating function formulas for the number of square roots and absolute square roots in $n$ for the generalized symmetric groups $G(r,1,n)$.

One of the most central result in combinatorics says that the descent statistic and the excedance statistic are equidistribued over the symmetric group. As a continuation of the work of Shareshian-Wachs (Adv. Math., 225(6) (2010), 2921--2966), we provide a curious $t$-symmetric decomposition for the generating polynomial of the joint distribution of the descent and excedance statistics over the symmetric group.

Let $k$ and $l$ be integers, both at least 2. A $(k,l)$-bipartite graph is an $l$-regular bipartite multigraph with coloured bipartite sets of size $k$. Define $χ(k,l)$ and $μ(k,l)$ to be the minimum and maximum order of automorphism groups of $(k,l)$-bipartite graphs, respectively. We determine $χ(k,l)$ and $μ(k,l)$ for $k\geq 8$, and analyse the generic situation when $k$ is fixed and $l$ is large. In particular, we show that almost all such graphs have automorphism groups which fix the vertices pointwise and have order far less than $μ(k,l)$. These graphs are intimately connected with both contingency tables with uniform margins and uniform set partitions; we examine the uniform distribution on the set of $k\times k$ contingency tables with uniform margin $l$, showing that with high probability all entries stray far from the mean. We also show that the symmetric group acting on uniform set partitions is non-synchronizing.

A defective $(m,n)$-parking function with defect $d$ is a parking function with $m$ cars attempting to park on a street with $n$ parking spots in which exactly $d$ cars fail to park. We establish a way to compute the defect of a defective $(m,n)$-parking function and show that the defect of a parking function is invariant under the action of $\mathfrak{S}_m$, the symmetric group on $[m]=\{1,2,\ldots,m\}$. We introduce the defective parking space ${\sf DPark}_{m,n}$ spanned by defective parking functions and describe its Frobenius characteristic as an $\mathfrak{S}_m$ representation graded by defect via coefficients $\mathrm{Krew}_{d,n}(λ)$ called defective Kreweras numbers. We provide a conjectured formula for $\mathrm{Krew}_{d,n}(λ)$ for sufficiently large $n$. We also show that the set of nondecreasing defective $(m,n)$-parking functions with defect $d$ are in bijection with the set of standard Young tableaux of shape $(n + d, m - d)$. This implies that the number of $\mathfrak{S}_m$-orbits of defective $(m,n)$-parking functions with defect $d$ is given by $\frac{n-m+2d+1}{n+d+1}\binom{m+n}{n+d}$. We also give a multinomial formula for the size of an $\mathfrak{S}_m$-orbit of a nondecreasing $(m,n)$-parking function with defect $d$. We conclude by using these results to give a new formula for the number of defective parking functions.