arXiv++ Combinatorics

The Fomin local rules for Schensted column insertion can be seen as a two-lane box-ball system, in which a carrier moves particles forward or laterally. Running such two-lane dynamics in parallel on a periodic lattice gives rise to a two-dimensional generalization of the box-ball system, which we call the \emph{skew column RSK dynamics}. Equivalently, this is a deterministic dynamics on pairs of skew semistandard Young tableaux $(P_t,Q_t)_{t \in \mathbb{Z}}$. We prove that this dynamics exhibits solitonic behavior and construct an explicit bijection $(P,Q) \leftrightarrow (H_1,H_2,κ,ν)$ that linearizes the time evolution. The resulting coordinates consist of two horizontally weak tableaux $H_1,H_2$ recording the asymptotic soliton data, integer riggings $κ$, and a weakly decreasing sequence of integers $ν$. A key feature of the construction is an explicit projection from the skew column RSK dynamics to the classical box-ball system; under this projection, the rigging $κ$ is precisely the Kerov--Kirillov--Reshetikhin rigging of the associated box-ball configuration. Our proof uses two commuting affine crystal structures on pairs of skew tableaux and a novel connectivity theorem for distinguished subgraphs of tensor products of Kirillov--Reshetikhin crystals. We also derive Greene-type formulas for the soliton lengths in terms of last-passage percolation on the associated cylindrical environment. Finally, by taking generating functions in the linearizing coordinates, we obtain bijective proofs of Cauchy and Kawanaka--Littlewood-type identities for transformed Hall--Littlewood polynomials.

This paper develops three related combinatorial results for Dyck-type sequences. First, it constructs a row-insertion algorithm for dual Dyck sequences and extends it to Dyck tableaux. This construction gives a weight-preserving bijection between dual Dyck factorizations and pairs consisting of a Dyck tableau and a semistandard Young tableau of the same shape. As a consequence, the associated dual Dyck symmetric functions are Schur-positive, and the corresponding affine Dyck symmetric functions have the conjugate-shape Schur expansion. Second, it applies these Dyck symmetric functions to the \(q,t\)-Catalan polynomial. It gives a two-column tableau formula for \(C_n(q,t)\), expressing it as a sum over Dyck \(m\)-skeletons and at-most-two-column Dyck tableaux with summands involving two-variable Schur functions. Third, it develops a Dyck-skeleton formula for the deficit range \(\defc\le 2n-8\). Full and special Dyck skeletons, together with local \(\mathrm{East}\), \(\mathrm{West}\), \(\mathrm{up}\), and \(\mathrm{down}\) moves, organize the low-area half of each low-deficit slice into skeleton-indexed strings. The \(q,t\)-symmetry of \(C_n(q,t)\) supplies the complementary high-area half in the resulting interval formula.

We study the monoid algebra ${}_{n}\mathcal{T}_{m}$ of semistandard Young tableaux, which coincides with the Gelfand--Tsetlin semigroup ring $\mathcal{GT}_{n}$ when $m = n$. Among others, we show that this algebra is commutative, Noetherian, reduced, Koszul, and Cohen--Macaulay. We provide a complete classification of its maximal ideals and compute the topology of its maximal spectrum. Furthermore, we classify its irreducible modules and provide a faithful semisimple representation. We also establish that its associated variety coincides with a toric degeneration of certain partial flag varieties constructed by Gonciulea--Lakshmibai. As an application, we show that this algebra yields injective embeddings of $\mathfrak{sl}_n$-crystals, extending a result of Bossinger--Torres.

In this paper, we explore a correspondence between frames with rational eigensteps and semistandard Young tableaux (SSYT), via the relation assigning a Gelfand-Tsetlin pattern to a frame via the frame's eigensteps. We will identify how certain key structures in SSYTs correlate with particular frame properties. For example, the weight of an SSYT yields the sequence of norms of any compatible frame. Additionally, this correspondence leads to a novel way to construct the eigensteps of a frame coming solely from tableaux. This is an alternative to the Top Kill algorithm which may be viewed as a combinatorial reinterpretation of the algorithm. We further employ other combinatorial techniques such as the boxcomp method to generate a ``complement" SSYT. On the frame side, this corresponds to a tight frame's Naimark complement as well as to a generalization of the Naimark complement for non-tight frames. Further research points to an analysis of equiangular tight frames and their corresponding tableaux, as well as using more combinatorial operations to further analyze frames.

Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ. In this paper we construct a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature, including the above metaplectic case and the lattice model for (non-metaplectic) Iwahori Whittaker functions together with its crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving R-matrices mixing lattice model rows of types Gamma and Delta. For the crystal Demazure lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov, or Bender-Knuth involutions.

We show that a ratio of Schur polynomials $s_λ/s_ρ$ associated to partitions $λ$ and $ρ$ such that $λ\subsetneqρ$ has a negative partial derivative at any point where all variables are positive. This is accomplished by establishing an injective map between sets of pairs of skew semistandard Young tableaux that preserves the product of the corresponding monomials. We use this result and the description of the first Laurent coefficient of the Hilbert series of the graded algebra of regular functions on a linear symplectic quotient by the circle to demonstrate that many such symplectic quotients are not graded regularly diffeomorphic. In addition, we give an upper bound for this Laurent coefficient in terms of the largest two weights of the circle representation and demonstrate that all but finitely many circle symplectic quotients of each dimension are not graded regularly diffeomorphic to linear symplectic quotients by $\operatorname{SU}_2$.

We construct the independent particle representation for the Semistandard Young Tableaux (SsYT) of skew shape $λ/μ.$ The partition function of this particle system gives the generating function of the SsYT of skew shape $λ/μ.$ Thus we obtain a bijective proof of the Stanley formula for the SsYT generating function. To do this we define for every SsYT $T$ its plinth, $\mathsf{p}\left( T\right) ,$ which is a SsYT of the same shape $λ/μ.$ The set of plinths is finite. Our bijection associates to every SsYT $T$ a pair $\left( \mathsf{p}\left( T\right) ,Y\left( T-\mathsf{p}\left( T\right) \right) \right) ,$ where $Y\left( T-\mathsf{p}\left( T\right) \right) $ is the reading Young diagram of the SsYT $\left( T-\mathsf{p}\left( T\right) \right) $. \newline In particular, every Standard Young Tableau (SYT) $P$ has its plinth, $\mathsf{p}\left( P\right) $. The two statistics of SYT-s -- the volume $\left\vert \mathsf{p}\left( P\right) \right\vert $ and $\mathsf{maj}\left( P\right) $ -- are related via the Schützenberger involution $Sch:$% \[ \left\vert \mathsf{p}\left( P\right) \right\vert =\mathsf{maj}\left( Sch\left( P\right) \right) . \]

Lusztig $q$-weight multiplicities extend the Kostka-Foulkes polynomials to a broader range of Lie types. In this work, we investigate these multiplicities through the framework of Kirillov-Reshetikhin crystals. Specifically, for type $C$ with dominant weights and type $B$ with dominant spin weights, we present a combinatorial formula for Lusztig $q$-weight multiplicities in terms of energy functions of Kirillov-Reshetikhin crystals, generalizing the charge statistic on semistandard Young tableaux for type $A$. Additionally, we introduce level-restricted $q$-weight multiplicities for nonexceptional types, and prove positivity by providing their combinatorial formulas.

The plactic monoid $\mathbf{P}$ of Lascoux and Schützenberger (1981) plays an important role in proofs of the Littlewood-Richardson rule for computing multiplicities in the linear representation theory of the symmetric group $\mathfrak{S}_n$ and the cohomology of Grassmannians. Commonly, $\mathbf{P}$ is defined as a quotient of a free monoid by relations derived from a careful analysis of Schensted's insertion algorithm and the jeu de taquin algorithm on semistandard Young tableaux. However, Lascoux and Schützenberger also gave an intrinsic characterization of $\mathbf{P}$ via a universal property. Serrano's (2010) shifted plactic monoid $\mathbf{S}$ is an analogue of $\mathbf{P}$ that governs instead the projective representation theory of $\mathfrak{S}_n$ and the cohomology of isotropic Grassmannians. We provide a universal property for $\mathbf{S}$, analogous to the Lascoux-Schützenberger characterization of $\mathbf{P}$.

Refined canonical stable Grothendieck polynomials were introduced by Hwang, Jang, Kim, Song, and Song. There exist two combinatorial models for these polynomials: one using hook-valued tableaux and the other using pairs of a semistandard Young tableau and (what we call) an exquisite tableau. An uncrowding algorithm on hook-valued tableaux was introduced by Pan, Pappe, Poh, and Schilling. In this paper, we discover a novel connection between the two models via the uncrowding and Goulden--Greene's jeu de taquin algorithms, using a classical result of Benkart, Sottile, and Stroomer on tableau switching. This connection reveals a symmetry of the uncrowding algorithm defined on hook-valued tableaux. As a corollary, we obtain another combinatorial model for the refined canonical stable Grothendieck polynomials in terms of biflagged tableaux, which naturally appear in the characterization of the image of the uncrowding map.

We introduce multivariate rational generating series called Hall-Littlewood-Schubert ($\mathsf{HLS}_n$) series. They are defined in terms of polynomials related to Hall-Littlewood polynomials and semistandard Young tableaux. We show that $\mathsf{HLS}_n$ series provide solutions to a range of enumeration problems upon judicious substitutions of their variables. These include the problem to enumerate sublattices of a $p$-adic lattice according to the elementary divisor types of their intersections with the members of a complete flag of reference in the ambient lattice. This is an affine analog of the stratification of Grassmannians by Schubert varieties. Other substitutions of $\mathsf{HLS}_n$ series yield new formulae for Hecke series and $p$-adic integrals associated with symplectic $p$-adic groups, and combinatorially defined quiver representation zeta functions. $\mathsf{HLS}_n$ series are $q$-analogs of Hilbert series of Stanley-Reisner rings associated with posets arising from parabolic quotients of Coxeter groups of type $\mathsf{B}$ with the Bruhat order. Special values of coarsened $\mathsf{HLS}_n$ series yield analogs of the classical Littlewood identity for the generating functions of Schur polynomials.

We give a Hecke algebra derivation of Macdonald's expansion formula for Hall-Littlewood polynomials in terms of semistandard Young tableaux. This is accomplished by first obtaining a Hecke algebra lift of the expansion coefficients and then proving a generalization of Klostermann's recursions.

We introduce the immersion poset $(\mathcal{P}(n), \leqslant_I)$ on partitions, defined by $λ\leqslant_I μ$ if and only if $s_μ(x_1, \ldots, x_N) - s_λ(x_1, \ldots, x_N)$ is monomial-positive. Relations in the immersion poset determine when irreducible polynomial representations of $GL_N(\mathbb{C})$ form an immersion pair, as defined by Prasad and Raghunathan (2022). We develop injections $\mathsf{SSYT}(λ, ν) \hookrightarrow \mathsf{SSYT}(μ, ν)$ on semistandard Young tableaux given constraints on the shape of $λ$, and present results on immersion relations among hook and two column partitions. The standard immersion poset $(\mathcal{P}(n), \leqslant_{std})$ is a refinement of the immersion poset, defined by $λ\leqslant_{std} μ$ if and only if $λ\leqslant_D μ$ in dominance order and $f^λ\leqslant f^μ$, where $f^ν$ is the number of standard Young tableaux of shape $ν$. We classify maximal elements of certain shapes in the standard immersion poset using the hook length formula. Finally, we prove Schur-positivity of power sum symmetric functions $p_{A_μ}$ on conjectured lower intervals in the immersion poset, addressing questions posed by Sundaram (2018).

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.

Kostka coefficients appear in the representation theory of the general linear group and enumerate semistandard Young tableaux of fixed shape and content. The $r$-Kostka cone is the real polyhedral cone generated by pairs of partitions with at most $r$ parts, written as non-increasing $r$-tuples, such that the corresponding Kostka coefficient is nonzero. We provide several results showing that its faces have interesting structural and enumerative properties. We show that the $d$-faces of the $r$-Kostka cone can be determined from those of the $(3d+3)$-Kostka cone, allowing us to characterize its $2$-faces and enumerate its $d$-faces for $d \leq 4$. We provide tight asymptotics for the number of $d$-faces for arbitrary $d$ and determine the maximum number of extremal rays contained in a $d$-face for $d < r$. We then make progress towards a generalization of the Gao-Kiers-Orelowitz-Yong Width Bound on initial entries of partitions $(λ,μ)$ appearing in the Hilbert basis of the $λ_1$-Kostka cone. We show that at least $93.7\%$ of integer pairs $λ_1 \geq μ_1 > 0$ appear as the initial entries of partitions $(λ,μ)$ comprising a Hilbert basis element of the $r$-Kostka cone for every $r > λ_1$. We conclude with a conjecture about a curious $h$-vector phenomenon.

This paper generalizes a recent result by the authors concerning the sum of width-one matrices; in the present work, we consider width-one tensors of arbitrary dimensions. A tensor is said to have width 1 if, when visualized as an array, its nonzero entries lie along a path consisting of steps in the directions of the standard coordinate vectors. We prove two different formulas to compute the sum of all width-one tensors with fixed dimensions and fixed sum of (nonnegative integer) components. The first formula is obtained by converting width-one tensors into tuples of one-row semistandard Young tableaux; the second formula, which extracts coefficients from products of multiset Eulerian polynomials, is derived via Stanley-Reisner theory, making use of the EL-shelling of the order complex on the standard basis of tensors.

We give a new cyclic sieving phenomenon for semistandard Young tableaux $SSYT(λ,μ)$ of shape $λ=(m,n^b)$ and content $μ$, a $(b+2)$-tuple. We prove that $(SSYT(λ,μ),\langle \partial^{b+2} \rangle, f(q))$ exhibits the cyclic sieving phenomenon, where $\partial$ is the jeu de taquin promotion operator and $f(q)$ is a modified Kostka-Foulkes polynomial $\widetilde{K}_{λ,μ}(q)$, up to a power of $q$.

Our first result realizes the toric variety of every marked chain-order polytope (MCOP) of the Gelfand--Tsetlin poset as an explicit Gröbner (sagbi) degeneration of the flag variety. This generalizes the Sturmfels/Gonciulea--Lakshmibai/Kogan--Miller construction for the Gelfand--Tsetlin degeneration to the MCOP setting. The key idea of our approach is to use pipe dreams to define realizations of toric varieties in Plücker coordinates. We then use this approach to generalize two more well-known constructions to arbitrary MCOPs: standard monomial theories such as those given by semistandard Young tableaux and PBW-monomial bases in irreducible representations such as the FFLV bases. In an addendum we introduce the notion of semi-infinite pipe dreams and use it to obtain an infinite family of poset polytopes each providing a toric degeneration of the semi-infinite Grassmannian.

Lascoux polynomials are $K$-theoretic analogues of the key polynomials. They both have combinatorial formulas involving tableaux: reverse set-valued tableaux ($\mathsf{RSVT}$) rule for Lascoux polynomials and reverse semistandard Young tableaux ($\mathsf{RSSYT}$) rule for key polynomials. Furthermore, key polynomials have a simple algorithmic model in terms of Kohnert diagrams, which are in bijection with $\mathsf{RSSYT}$. Ross and Yong introduced $K$-Kohnert diagrams, which are analogues of Kohnert diagrams. They conjectured a $K$-Kohnert diagram rule for Lascoux polynomials. We establish this conjecture by constructing a weight-preserving bijection between $\mathsf{RSVT}$ and $K$-Kohnert diagrams.

Promotion and rowmotion are intriguing actions in dynamical algebraic combinatorics which have inspired much work in recent years. In this paper, we study $P$-strict labelings of a finite, graded poset $P$ of rank $n$ and labels at most $q$, which generalize semistandard Young tableaux with $n$ rows and entries at most $q$, under promotion. These $P$-strict labelings are in equivariant bijection with $Q$-partitions under rowmotion, where $Q$ equals the product of $P$ and a chain of $q-n-1$ elements. We study the case where $P$ equals the product of chains in detail, yielding new homomesy and order results in the realm of tableaux and beyond. Furthermore, we apply the bijection to the cases in which $P$ is a minuscule poset and when $P$ is the three element $V$ poset. Finally, we give resonance results for promotion on $P$-strict labelings and rowmotion on $Q$-partitions.