arXiv++ Combinatorics

In a finite real reflection group, the reflection length of each element is equal to the codimension of its fixed space, and the two coincident functions determine a partial order structure called the absolute order. In complex reflection groups, the reflection length is no longer always equal to the codimension of fixed space, and the two functions give rise to two different partial orders on the group. We characterize the elements $w$ in the combinatorial family $G(m, p, n)$ of complex reflection groups for which the intervals below $w$ in these two posets coincide. We also explore the relationship between this property and other natural properties of elements in complex reflection groups; some general theory of posets arising from subadditive functions on groups; and the particular case of subadditive functions on the symmetric group.

The height of a poset $P$ is the supremum of the cardinalities of chains in $P$. The exact formula for the height of the subgroup lattice of the symmetric group $\mathcal{S}_n$ is known, as is an accurate asymptotic formula for the height of the subsemigroup lattice of the full transformation monoid $\mathcal{T}_n$. Motivated by the related question of determining the heights of the lattices of left- and right congruences of $\mathcal{T}_n$, we develop a general method for computing the heights of lattices of both one- and two-sided congruences for semigroups. We apply this theory to obtain exact height formulae for several monoids of transformations, matrices and partitions, including: the full transformation monoid $\mathcal{T}_n$, the partial transformation monoid $\mathcal{PT}_n$, the symmetric inverse monoid $\mathcal{I}_n$, the monoid of order-preserving transformations $\mathcal{O}_n$, the full matrix monoid $\mathcal{M}(n,q)$, the partition monoid $\mathcal{P}_n$, the Brauer monoid $\mathcal{B}_n$ and the Temperley-Lieb monoid $\mathcal{TL}_n$.

This is a brief report on some recent large-scale Monte Carlo simulations for approximating the density of zeros in character tables of large symmetric groups. Previous computations suggested that a large fraction of zeros cannot be explained by classical vanishing results. Our computations eclipse previous ones and suggest that the opposite is true. We find empirically that almost all of the zeros are of a single classical type.

Miner extractable value (MEV) refers to any excess value that a transaction validator can realize by manipulating the ordering of transactions. In this work, we introduce a simple theoretical definition of the 'cost of MEV', prove some basic properties, and show that the definition is useful via a number of examples. In a variety of settings, this definition is related to the 'smoothness' of a function over the symmetric group. From this definition and some basic observations, we recover a number of results from the literature.

Chern plethysm (introduced by Billey, Rhoades, and Tewari) is a geometric way to produce Schur positive symmetric polynomials. We present combinatorial interpretations for the Schur expansions of special cases of Chern plethysm. We also exhibit a symmetric group module whose Frobenius characteristic is (a symmetric function analog of) one of these cases, generalizing a result of Reiner and Webb.

We introduce a generalization of immanants of matrices, using partition algebra characters in place of symmetric group characters. We prove that our immanant-like function on square matrices, which we refer to as the recombinant, agrees with the usual definition for immanants for the special case whereby the vacillating tableaux associated with the irreducible characters correspond, according to the Bratteli diagram for partition algebra representations, to the integer partition shapes for symmetric group characters. In contrast to previously studied variants and generalizations of immanants, as in Temperley-Lieb immanants and $f$-immanants, the sum that we use to define recombinants is indexed by a full set of partition diagrams, as opposed to permutations.

The quasisymmetric generating function of the set of permutations whose inverses have a fixed descent set is known to be symmetric and Schur-positive. The corresponding representation of the symmetric group is called the descent representation. In this paper, we provide an extension of this result to colored permutation groups, where Gessel's fundamental quasisymmetric functions are replaced by Poirier's colored quasisymmetric functions. For this purpose, we introduce a colored analogue of zigzag shapes and prove that the representations associated with these shapes coincide with colored descent representations studied by Adin, Brenti and Roichman in the case of two colors and Bagno and Biagioli in the general case. Additionally, we provide a colored analogue of MaMahon's alternating formula which expresses ribbon Schur functions in the basis of complete homogeneous symmetric functions.

We prove that the extended Khovanov arc algebras are isomorphic to the basic algebras of anti-spherical Hecke categories for maximal parabolics of symmetric groups. We present these algebras by quiver and relations and provide the full submodule lattices of Verma modules.

Let $n$ be a non-negative integer. Combining algebraic and combinatorial techniques, we investigate for which pairs $(G,ρ)$ of a subgroup $G$ of the symmetric group $S_n$ and an irreducible character $ρ$ of $G$ the induced character $ρ\!\uparrow^{S_n}$ is multiplicity-free. As a result, for $n\geq 66$, we classify all subgroups $G\leq S_n$ which give rise to such a pair. Moreover, for the majority of these groups $G$ we identify all the possible choices of the irreducible character $ρ$, assuming $n\geq 73$.

Let $D_n \subseteq Σ_n$ be the set of derangements in the symmetric group. We prove that the complex of injective words generated by $Σ_n \setminus D_n$ is contractible. This gives a conceptual explanation to the well known fact that the complex of injective words generated by $Σ_n$ is homotopy equivalent to the wedge sum $\underset{|D_n|}{\bigvee} S^{n-1}$.

We study lattices in free abelian groups of infinite rank that are invariant under the action of the infinite symmetric group, with emphasis on finiteness of their equivariant bases. Our framework provides a new method for proving finiteness results in algebraic statistics. As an illustration, we show that every invariant lattice in $\mathbb{Z}^{(\mathbb{N}\times[c])}$, where $c\in\mathbb{N}$, has a finite equivariant Graver basis. This result generalizes and strengthens several finiteness results about Markov bases in the literature.

Given a positive integer $n$, we consider the group algebra of the symmetric group $S_{n}$. In this algebra, we define $n$ elements $t_{1},t_{2},\ldots,t_{n}$ by the formula \[ t_{\ell}:=\operatorname*{cyc}\nolimits_{\ell}+\operatorname*{cyc}\nolimits_{\ell,\ell+1}+\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ell+2}+\cdots+\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ldots,n}, \] where $\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ldots,k}$ denotes the cycle that sends $\ell\mapsto\ell+1\mapsto\ell+2\mapsto\cdots\mapsto k\mapsto\ell$. These $n$ elements are called the *somewhere-to-below shuffles* due to an interpretation as card-shuffling operators. In this paper, we show that their commutators $\left[ t_{i},t_{j}\right] =t_{i}t_{j}-t_{j}t_{i}$ are nilpotent, and specifically that \[ \left[ t_{i},t_{j}\right] ^{\left\lceil \left( n-j\right) /2\right\rceil +1}=0\ \ \ \ \ \ \ \ \ \ \text{for any }i,j\in\left\{ 1,2,\ldots,n\right\} \] and \[ \left[ t_{i},t_{j}\right] ^{j-i+1}=0\ \ \ \ \ \ \ \ \ \ \text{for any }1\leq i\leq j\leq n. \] We discuss some further identities and open questions.

Given a $d$-dimensional vector space $V \subset \mathbb{C}[u]$ of polynomials, its Wronskian is the polynomial $(u + z_1) \cdots (u + z_n)$ whose zeros $-z_i$ are the points of $\mathbb{C}$ such that $V$ contains a nonzero polynomial with a zero of order at least $d$ at $-z_i$. Equivalently, $V$ is a solution to the Schubert problem defined by osculating planes to the moment curve at $z_1, \dots, z_n$. The inverse Wronski problem involves finding all $V$ with a given Wronskian $(u + z_1) \cdots (u + z_n)$. We solve this problem by providing explicit formulas for the Grassmann-Plücker coordinates of the general solution $V$, as commuting operators in the group algebra $\mathbb{C}[\mathfrak{S}_n]$ of the symmetric group. The Plücker coordinates of individual solutions over $\mathbb{C}$ are obtained by restricting to an eigenspace and replacing each operator by its eigenvalue. This generalizes work of Mukhin, Tarasov, and Varchenko (2013) and of Purbhoo (2022), which give formulas in $\mathbb{C}[\mathfrak{S}_n]$ for the differential equation satisfied by $V$. Moreover, if $z_1, \dots, z_n$ are real and nonnegative, then our operators are positive semidefinite, implying that the Plücker coordinates of $V$ are all real and nonnegative. This verifies several outstanding conjectures in real Schubert calculus, including the positivity conjectures of Mukhin and Tarasov (2017) and of Karp (2021), the disconjugacy conjecture of Eremenko (2015), and the divisor form of the secant conjecture of Sottile (2003). The proofs involve the representation theory of $\mathfrak{S}_n$, symmetric functions, and $τ$-functions of the KP hierarchy.

Separable elements in Weyl groups are generalizations of the well-known class of separable permutations in symmetric groups. Gaetz and Gao showed that for any pair $(X,Y)$ of subsets of the symmetric group $\mathfrak{S}_n$, the multiplication map $X\times Y\rightarrow \mathfrak{S}_n$ is a splitting (i.e., a length-additive bijection) of $\mathfrak{S}_n$ if and only if $X$ is the generalized quotient of $Y$ and $Y$ is a principal lower order ideal in the right weak order generated by a separable element. They conjectured this result can be extended to all finite Weyl groups. In this paper, we classify all separable and minimal non-separable signed permutations in terms of forbidden patterns and confirm the conjecture of Gaetz and Gao for Weyl groups of type $B$.

Motivated by the Saxl conjecture and the tensor square conjecture, which states that the tensor squares of certain irreducible representations of the symmetric group contain all irreducible representations, we study the tensor squares of irreducible representations associated with square Young diagrams. We give a formula for computing Kronecker coefficients, which are indexed by two square partitions and a three-row partition, specifically one with a short second row and the smallest part equal to 1. We also prove the positivity of square Kronecker coefficients for particular families of partitions, including three-row partitions and near-hooks.

We determine when a permutation with cycle type $μ$ admits a non-zero invariant vector in the irreducible representation $V_λ$ of the symmetric group. We find that a majority of pairs $(λ,μ)$ have this property, with only a few simple exceptions.

Finding upper bounds for character ratios is a fundamental problem in asymptotic group theory. Previous bounds in the symmetric group have led to remarkable applications in unexpected domains. The existing approaches predominantly relied on algebraic methods, whereas our approach combines analytic and algebraic tools. Specifically, we make use of a tool called `hypercontractivity for global functions' from the theory of Boolean functions. By establishing sharp upper bounds on the $L^p$-norms of characters of the symmetric group, we improve existing results on character ratios from the work of Larsen and Shalev [Larsen M., Shalev A. Characters of the symmetric group: sharp bounds and applications. Invent. math. 174 645-687 (2008)]. We use our norm bounds to bound Kronecker coefficients, Fourier coefficients of class functions, product mixing of normal sets, and mixing time of normal Cayley graphs. Our approach bypasses the need for the $S_n$-specific Murnaghan--Nakayama rule. Instead we leverage more flexible representation theoretic tools, such as Young's branching rule, which potentially extend the applicability of our method to groups beyond $S_n$.

Through dualities on representations on tensor powers and symmetric powers respectively, the partition algebra and multiset partition algebra have been used to study long-standing questions in the representation theory of the symmetric group. In this paper we extend this story to exterior powers, introducing the mixed multiset partition algebra as well as a generalization of the Robinson-Schensted-Knuth algorithm to two-row arrays of multisets with elements from two alphabets. From this algorithm, we obtain enumerative results which reflect representation-theoretic decompositions of this algebra. Furthermore, we use the generalized RSK algorithm to describe the decomposition of a polynomial ring in sets of commuting and anti-commuting variables as a module over both the general linear group and the symmetric group.

Webs yield an especially important realization of certain Specht modules, irreducible representations of symmetric groups, as they provide a pictorial basis with a convenient diagrammatic calculus. In recent work, the last three authors associated polynomials to noncrossing partitions without singleton blocks, so that the corresponding polynomials form a web basis of the pennant Specht module $S^{(d,d,1^{n-2d})}$. These polynomials were interpreted as global sections of a line bundle on a 2-step partial flag variety. Here, we both simplify and extend this construction. On the one hand, we show that these polynomials can alternatively be situated in the homogeneous coordinate ring of a Grassmannian, instead of a 2-step partial flag variety, and can be realized as tensor invariants of classical (but highly nonplanar) tensor diagrams. On the other hand, we extend these ideas from the pennant Specht module $S^{(d,d,1^{n-2d})}$ to more general flamingo Specht modules $S^{(d^r,1^{n-rd})}$. In the hook case $r=1$, we obtain a spanning set that can be restricted to a basis in various ways. In the case $r>2$, we obtain a basis of a well-behaved subspace of $S^{(d^r,1^{n-rd})}$, but not of the entire module.

A base for a permutation group $G$ acting on a set $Ω$ is a subset $\mathcal{B}$ of $Ω$ such that the pointwise stabiliser $G_{(\mathcal{B})}$ is trivial. Let $n$ and $r$ be positive integers with $n>2r$. The symmetric and alternating groups $\mathrm{S}_n$ and $\mathrm{A}_n$ admit natural primitive actions on the set of $r$-element subsets of $\{1,2,\dots, n\}$. Building on work of Halasi [6], we provide explicit expressions for the base sizes of all of these actions, and hence determine the base size of all primitive actions of $\mathrm{S}_n$ and $\mathrm{A}_n$.