arXiv++ Combinatorics

We prove, in the case $t=1$, the extension to the $m$-symmetric world of the original Macdonald positivity conjecture. This is achieved by giving a combinatorial interpretation of the Kostka coefficients $K_{ΩΛ}(q,1)$ in terms of standard fillings of the diagram associated to the $m$-partition $Ω$. This interpretation generalizes the one in the usual Macdonald case, which is given by a major index statistic on standard tableaux.

We give a spectral realization of the Robinson-Schensted-Knuth (RSK) correspondence in terms of the representation theory of the symmetric group $S_n$ and the degenerate affine Hecke algebra (AHA) $H_n$. We view RSK, which builds a pair of standard Young tableaux from a permutation, as a special case of rectification, also known as Jeu de Taquin, which turns skew tableaux into straight ones. In this framing, the initial permutation corresponds to a skew tableau of staircase shape. To interpret this in terms of representation theory, take permutations to label weight vectors in a generic $H_n$-module $V(a_1, \ldots , a_n)$, which is isomorphic to $\mathbb{C}[S_n]$ as an $S_n$-module. Writing permutations as staircases amounts to placing these weight vectors inside the regular representation of a larger symmetric group containing $S_n$; more geometrically, we push $S_n$ to the right toward infinity so its Jucys-Murphy (JM) elements have enough room to represent the external translations of $H_n$. Then, rectification corresponds to squeezing out this extra room from the left, leaving only $S_n$ and its regular JM elements as the limit of the external translations. By expressing slides via sequences of exchanges of consecutive values inside the tableau, we can model rectification by an operator acting on the regular representation. This lets us explicitly write down the change of basis between $H_n$-weight vectors and $S_n$-weight vectors, where the latter are eigenvectors of the JM elements in $S_n$ acting both on the left and on the right, and hence labeled by pairs of standard tableaux. The resulting correspondence between the labels of the weight vectors is exactly RSK.

Recently, Armon and Swanson introduced signed standard tableaux and a corresponding super major index that refines the classical major index. In this paper, we prove that signed standard tableaux of rectangular shape exhibit a cyclic sieving phenomenon (CSP) under the combined action of Schützenberger promotion and cyclic shift of the signs, with the sieving polynomial given by the super major index generating function. This extends Rhoades's celebrated CSP for standard Young tableaux. Furthermore, by considering Cartesian products of tableaux, we generalize this result to arbitrary non-rectangular shapes.

Work of Gaetz, Pechenik, Pfannerer, Striker, and Swanson (2024) introduced promotion permutations for a rectangular standard Young tableau $T$. These promotion permutations encode important features of $T$ and its orbit under Schützenberger's promotion operator. Indeed, the promotion permutations uniquely determine the tableau $T$. We introduce more general promotion digraphs for both standard and increasing tableaux of arbitrary shape. For rectangular standard tableaux, this construction recovers the functional digraphs of the promotion permutations. Among other facts, we show that promotion digraphs uniquely determine $T$ when $T$ is standard of arbitrary shape or increasing of rectangular shape, but not when $T$ is increasing and general shape. We completely characterize the promotion digraphs for two-row rectangular increasing tableaux. We use promotion digraphs for three-row rectangular increasing tableaux to conjecture a connection between their dynamics and the flamingo webs recently introduced by Kim to give a diagrammatic basis of the Specht module $S^{(k^3,1^{n-3k})}$.

We bound the number of standard tableaux of skew shapes via thick hook decompositions in the Naruse hook length formula. Combining this with elementary counting arguments in the Murnaghan--Nakayama rule, we establish a uniform bound on characters of symmetric groups $\mathfrak{S}_n$. In the case of balanced representations, this improves on the character bounds of Féray and Śniady for permutations with support size at least $n^{2/3}$, and is sharp for permutations with support size of order $n$.

Motivated by the study of Springer fibers and their totally nonnegative counterparts, we define a new subset of standard tableaux called Richardson tableaux. We characterize Richardson tableaux combinatorially using evacuation as well as in terms of a pair of associated reading words. We also characterize Richardson tableaux geometrically, proving that a tableau is Richardson if and only if the corresponding component of a Springer fiber is a Richardson variety, which in turn holds if and only if its positive part is a top-dimensional cell of the totally nonnegative Springer fiber studied by Lusztig (2021). We prove that each such component is smooth by leveraging a combinatorial description of the corresponding pair of reading words, generalizing a result of Graham-Zierau (2011). Another application is that the cohomology classes of these components can be computed in the Schubert basis using Schubert calculus. Finally, we show that the enumeration of Richardson tableaux is surprisingly elegant: the number of Richardson tableaux of fixed partition shape is a product of binomial coefficients, and the number of Richardson tableaux of size $n$ is the $n$th Motzkin number. As a result, we obtain a novel refinement for the Motzkin numbers, as well as a formula for the number of top-dimensional cells in the totally nonnegative Springer fiber.

We derive formulae for the number of set-valued standard tableaux of two-rowed shapes, keeping track of the total number of entries, the number of entries in the first row, and the number of entries in the second row. Key in the proofs is a bijection with two-coloured Motzkin paths followed by generating function computations and coefficient extraction helped by the Lagrange inversion formula.

We construct a basis of the Garsia-Procesi ring using the catabolizability type of standard Young tableaux and the charge statistic. This basis turns out to be equal to the descent basis defined in Carlsson-Chou (2024+). Our new construction connects the combinatorics of the basis with the well-known combinatorial formula for the modified Hall-Littlewood polynomials $\tilde{H}_μ[X;q]$, due to Lascoux, which expresses the polynomials as a sum over standard tableaux that satisfy a catabolizability condition. In addition, we prove that identifying a basis for the antisymmetric part of $R_μ$ with respect to a Young subgroup $S_γ$ is equivalent to finding pairs of standard tableaux that satisfy conditions regarding catabolizability and descents. This gives an elementary proof of the fact that the graded Frobenius character of $R_μ$ is given by the catabolizability formula for $\tilde{H}_μ[X;q]$.

Using the language of Seshadri stratifications we develop a geometrical interpretation of Lakshmibai-Seshadri-tableaux and their associated standard monomial bases. These tableaux are a generalization of Young-tableaux and De-Concini-tableaux to all Dynkin types. More precisely, we construct filtrations of multihomogeneous coordinate rings of Schubert varieties, such that the subquotients are one-dimensional and indexed by standard tableaux.

Standard tableaux of skew shape are fundamental objects in enumerative and algebraic combinatorics and no product formula for the number is known. In 2014, Naruse gave a formula (NHLF) as a positive sum over excited diagrams of products of hook-lengths. Subsequently, Morales, Pak, and Panova gave a $q$-analogue of this formula in terms of skew semistandard tableaux (SSYT). They also showed, partly algebraically, that the Hillman--Grassl map, restricted to skew semistandard tableaux, is behind their $q$-analogue. We study the problem of circumventing the algebraic part and proving the bijection completely combinatorially, which we do for border strips. For a skew shape, we define minimal semistandard Young tableaux, that are in correspondence with excited diagrams via a new description of the Hillman--Grassl bijection and have an analogue of excited moves. Lastly, we relate the minimal skew SSYT with the terms of the Okounkov-Olshanski formula (OOF) for counting standard tableaux of skew shape. Our construction immediately implies that the summands in the NHLF are less than the summands in the OOF and we characterize the shapes where both formulas have the same number of summands.

In our companion paper, we develop a new $SL_4$-web basis. Basis elements are given by certain planar graphs and are constructed so that important algebraic operations can be performed diagrammatically. A guiding principle behind our construction is that the long cycle $(12\ldots n) \in \mathfrak{S}_n$ should act by rotation of webs. Moreover, the bijection between webs and tableaux should intertwine rotation with the promotion action on tableaux. In this paper, we develop necessary notions of promotion permutations and promotion matrices, which are new even for standard tableaux. To support inductive arguments in the companion paper, we must however work in the more general setting of fluctuating tableaux, which we introduce and which subsumes many classes of tableaux that have been previously studied, including (generalized) oscillating, vacillating, rational, alternating, and (semi)standard tableaux. Therefore, we also give here a full development of the basic combinatorics and representation theory of fluctuating tableaux.

Inspired by Vershik and Okounkov's inductive and Lie-theoretic approach to the representation theory of the symmetric group, we extend their point of view to reducible $S_n$-modules. Using induced representations along Young's lattice, we define an orthonormal weight basis for the regular representation of $S_n$ and use its rigidity to exhibit dualities between the left and right actions of $S_n$ and between restriction and induction of representations. We also show our weight basis is equivalent to the basis of matrix units corresponding to Young's seminormal form. We then realize $\mathbb{C}[S_n]$ in a subspace of the polynomial ring $R[z_1, \ldots , z_n]$. The induced weight decomposition allows us to map this subspace of polynomials to the ring of coinvariants, similar to the work of Ariki, Terasoma, and Yamada on higher Specht polynomials but perhaps a bit more intrinsic as we work in terms of an orthonormal basis. Our construction makes explicit the connection between the charge statistic on standard tableaux (which corresponds to degree in the coinvariant ring) and the action of adjacent transpositions on weight vectors in the seminormal representation of $S_n$. It also exposes the inductive structure of $S_n$ hidden in the coinvariant ring. All our constructions are elementary, and we are curious about their geometric meaning.

We use crystals of tableaux and descent compositions to understand the decomposition of Schur functions $s_λ$ into Gessel's fundamental quasisymmetric functions $F_α$. The connected crystal of tableaux $B(λ)$, associated to $s_λ$, is shown to be partitionned into a disjoint union of connected induced subgraphs $B(T_α)$ corresponding to the $F_α$'s. We show that these subgraphs, which we call quasicrystals, are isomorphic (as graphs) to specific crystals of tableaux. This allows us to give a formula for the number of tableaux of shape $λ$ and maximal entry $n$. We also use this setting to give a constructive proof of a combinatorial formula for Kostka numbers $K^λ_μ$. We study the position of the quasicrystals within the crystal $B(λ)$, and show that they appear in dually positionned pairs, with the crystal anti-automorphism between them being given by a generalization of Schützenberger's evacuation. We introduce the notion of skeleton of the crystal $B(λ)$ given by replacing each subgraph $B(T_α)$ by the associated standard tableau of shape $λ$. We conjecture that its graph includes the dual equivalence graph for $λ$, introduced by Assaf, and that its subgraphs of tableaux with fixed number of descents have particular structures. Finally, we describe applications to plethysm, among which we give an algorithm to express any symmetric sum of fundamental quasisymmetric functions into the Schur basis, whose construction gives insight into the relationship between the two basis.

The two tableaux assigned by the Robinson--Schensted correspondence are equal if and only if the input permutation is an involution, so the RS algorithm restricts to a bijection between involutions in the symmetric group and standard tableaux. Beissinger found a concise way of formulating this restricted map, which involves adding an extra cell at the end of a row after a Schensted insertion process. We show that by changing this algorithm slightly to add cells at the end of columns rather than rows, one obtains a different bijection from involutions to standard tableaux. Both maps have an interesting connection to representation theory. Specifically, our insertion algorithms classify the molecules (and conjecturally the cells) in the pair of $W$-graphs associated to the unique equivalence class of perfect models for a generic symmetric group.

A box-ball system (BBS) is a discrete dynamical system consisting of n balls in an infinite strip of boxes. During each BBS move, the balls take turns jumping to the first empty box, beginning with the smallest-numbered ball. The one-line notation of a permutation can be used to define a BBS state. This paper proves that the Robinson--Schensted (RS) recording tableau of a permutation completely determines the dynamics of the box-ball system containing the permutation. Every box-ball system eventually reaches steady state, decomposing into solitons. We prove that the rightmost soliton is equal to the first row of the RS insertion tableau and it is formed after at most one BBS move. This fact helps us compute the number of BBS moves required to form the rest of the solitons. First, we prove that if a permutation has an L-shaped soliton decomposition then it reaches steady state after at most one BBS move. Permutations with L-shaped soliton decompositions include noncrossing involutions and column reading words. Second, we make partial progress on the conjecture that every permutation on n objects reaches steady state after at most n-3 BBS moves. Furthermore, we study the permutations whose soliton decompositions coincide with standard tableaux; we conjecture that they are closed under consecutive pattern containment and that the RS recording tableaux belonging to such permutations are counted by the Motzkin numbers.

We study the ring of quasisymmetric polynomials in $n$ anticommuting (fermionic) variables. Let $R_n$ denote the polynomials in $n$ anticommuting variables. The main results of this paper show the following interesting facts about quasisymmetric polynomials in anticommuting variables: (1) The quasisymmetric polynomials in $R_n$ form a commutative sub-algebra of $R_n$. (2) There is a basis of the quotient of $R_n$ by the ideal $I_n$ generated by the quasisymmetric polynomials in $R_n$ that is indexed by ballot sequences. The Hilbert series of the quotient is given by $$ \text{Hilb}_{R_n/I_n}(q) = \sum_{k=0}^{\lfloor{n/2}\rfloor} f^{(n-k,k)} q^k\,,$$ where $f^{(n-k,k)}$ is the number of standard tableaux of shape $(n-k,k)$. (3) There is a basis of the ideal generated by quasisymmetric polynomials that is indexed by sequences that break the ballot condition

The numbers $f_λ$ of standard tableaux of shape $λ\vdash n$ satisfy 2 fundamental recursions: $f_λ= \sum f_{λ^-}$ and $(n + 1)f_λ=\sum f_{λ^+}$, where $λ^-$ and $λ^+$ run over all shapes obtained from $λ$ by adding or removing a square respectively. The first of these recursions is trivial; the second can be proven algebraically from the first. These recursions together imply algebraically the dimension formula $n! =\sum f_λ^2$ for the irreducible representations of $S_n$. We show that a combinatorial analysis of this classical algebraic argument produces an infinite family of algorithms, among which are the classical Robinson-Schensted row and column insertion algorithms. Each of our algorithms yields a bijective proof of the dimension formula.

Let $G$ be a reductive group satisfying the standard hypotheses, with Lie algebra $\mathfrak{g}$. For each nilpotent orbit $\mathcal{O}_0$ in a Levi subalgebra $\mathfrak{g}_0$ we can consider the induced orbit $\mathcal{O}$ defined by Lusztig and Spaltenstein. We observe that there is a natural closed morphism of relative dimension zero from the Springer fibre over a point of $\mathcal{O}_0$ to the Springer fibre over $\mathcal{O}$, which induces an injection on the level of irreducible components. When $G = \operatorname{GL}_N$ the components of Springer fibres was classified by Spaltenstein using standard tableaux. Our main results explains how the Lusztig--Spaltenstein map of Springer fibres can be described combinatorially, using a new associative composition rule for standard tableaux which we call stacking.

We prove a cyclic sieving result for the set of $3 \times k$ packed increasing tableaux with maximum entry $m :=3+k$ under K-promotion. The "curiosity" is that the sieving polynomial arises from the $q$-hook formula for standard tableaux of "toothbrush shape" $(2^3, 1^{k-2})$ with $m+1$ boxes, whereas K-promotion here only has order $m$.

A box-ball system is a discrete dynamical system whose dynamics come from the balls jumping according to certain rules. A permutation on n objects gives a box-ball system state by assigning its one-line notation to n consecutive boxes. After a finite number of steps, a box-ball system will reach a steady state. From any steady state, we can construct a tableau called the soliton decomposition of the box-ball system. We prove that if the soliton decomposition of a permutation w is a standard tableau or if its shape coincides with the Robinson-Schensted (RS) partition of w, then the soliton decomposition of w and the RS insertion tableau of w are equal. We also use row reading words, Knuth moves, RS recording tableaux, and a localized version of Greene's theorem (proven recently by Lewis, Lyu, Pylyavskyy, and Sen) to study various properties of a box-ball system.