arXiv++ Combinatorics

Two combinatorial rules are known for the Grassmannian Grothendieck polynomial $G^{(β)}_λ$: a sum over set-valued tableaux of shape $λ$, due to Buch, and a sum over the efficient cells of a cellular decomposition of the Gelfand-Zetlin polytope $GZ(λ)$, due to E.Presnova and the author. All coefficients in both sums equal $1$. We construct an explicit bijection between the two indexing sets which matches the summands term by term, carrying the number of excess entries of a tableau to the dimension of the corresponding cell; in particular the two rules are equivalent, either being deducible from the other. The efficiency condition on cells turns out to be the column-strictness of tableaux. We then transport Yu's square-root crystal operators to the cells and find that they respect dimension, along a double $i$-string the cells alternate between two consecutive dimensions, but not incidence: consecutive cells of such a string need not share a point, already for $λ=(2,1,0)$.

Kashiwara--Nakashima tableaux and Gelfand--Tsetlin patterns of orthogonal type are famous as combinatorial models of the finite-dimensional irreducible representations of the special orthogonal Lie algebras $\mathfrak{so}_N$. The former is constructed based on the representation theory of quantum groups, especially the theory of crystals, while the latter based on the branching rule for $(\mathfrak{so}_N,\mathfrak{so}_{N-1})$. In the present paper, we construct a natural bijection between them by means of the representation theory of quantum symmetric pairs corresponding to $(\mathfrak{so}_N,\mathfrak{so}_{N-1})$.

We give a uniform realization of Kirillov-Reshetikhin crystals $B^{r,s}$, in terms of PBW crystals, for all affine types, $s \geq 1$, and nodes $r$ in the orbit of the $0$ node in the Dynkin diagram. Our proof is almost uniform except we prove some technical lemmas by first proving the case when the $r$-th fundamental weight $Λ_r$ is minuscule by using properties of minuscule crystal and then extend this to the case when $Λ_r$ is cominuscule using virtual crystals.

While every graph admitting a nowhere-zero $3$-flow also admits an $S^1$-flow, the converse does not hold in general as shown by Thomassen (2014). In this paper, we develop reduction techniques for $S^1$-flows based on graph operations including bull-growth, $2$-sums, and wheel contractions. A key tool is the two-terminal $S^1$-preflow, which enables us to prove that if a $2$-connected graph contains an odd wheel as a proper subgraph and contracting the wheel yields a graph with a nowhere-zero $3$-flow, then the original graph admits an $S^1$-flow. As applications, we completely characterize $S^1$-flows in two graph classes: a triangularly connected graph admits an $S^1$-flow if and only if it is not an odd wheel; and a graph containing a spanning triangle-tree admits an $S^1$-flow if and only if it is not an odd crystal.

We introduce a general monoidal category of $\mathbf{N}$-root crystals and then study the special case of square root $\mathfrak{gl}_n$-crystals. The latter objects include Yu's crystals on semistandard set-valued tableaux. Prior work of the first author, Tong, and Yu showed that regular square root $\mathfrak{gl}_n$-crystals can be a useful tool for proving Grothendieck positivity results. The objects studied here go beyond the regular case and allow us to construct a square root analog of the direct limit crystal $B(\infty)$. We give several descriptions of our square root of $B(\infty)$, using marginally large tableaux, the Lusztig or PBW parameterization, and the Nakashima--Zelevinsky polyhedral model. We show that this crystal has a simple character formula, exhibits a nontrivial Demazure filtration, and recovers Yu's semistandard set-valued tableau crystals after taking appropriate tensor products. We also investigate a number of differences between square root crystals and classical crystal constructions.

We give the first positive combinatorial rule for the multiplicities of irreducible $GL$-representations in the coordinate rings of type $A$ quiver orbit closures, valid for every orientation of the quiver. Previously, for the special case of varieties of complexes, work of De Concini--Strickland in the early 1980s gave an implicit description of these multiplicities. The combinatorial objects in our rule carry a crystal structure whose highest-weight elements compute these multiplicities.

The totally asymmetric simple exclusion process (TASEP) with open boundaries is a finite Markov chain describing particles hopping between adjacent sites on a one-dimensional lattice with left and right boundary transitions governed by parameters $α$ and $β$. The multispecies TASEP is a higher-rank generalization in which particles have different species. Multiline queues were introduced by Ferrari and Martin (2007) to compute the stationary distribution of the multispecies TASEP on a circle. It has remained an open problem to find a combinatorial formula for the stationary distribution of the multispecies open-boundary TASEP. Using Kirillov--Reshetikhin crystals of type $C$, we construct type $C$ multiline queues and a corresponding Ferrari--Martin pairing algorithm that projects them to TASEP configurations. This yields a combinatorial formula for the stationary distribution of the multispecies open-boundary TASEP for the $α=β=1$ specialization.

For every $l\geq1$, we construct explicit closed-form coordinate formulas for the local energy functions on the tensor products $B_l\otimes B_l$ of level-$l$ perfect crystals in classical affine types. A single finite-level max-linear formula covers all seven types: its two branches coincide in type $A_n^{(1)}$, yielding a cyclic maximum of partial sums, whereas in the remaining six types each branch is the maximum of finitely many explicit piecewise-linear expressions in barred coordinates, with type-dependent boundary data. We verify the defining local-energy recursion directly on the finite crystals and derive equivalent recursive forms, allowing the energy to be evaluated without applying the combinatorial $R$-matrix. Substitution into the KMN path character formula gives explicit positive coordinate path sums for the characters of all level-$l$ integrable highest weight modules. After principal specialization, the path exponent can be rewritten as a weighted sum of a position-independent adjacent-pair statistic; comparison with the specialized Weyl--Kac character formula yields a uniform family of level-$l$ Rogers--Ramanujan-type identities equating these sums with explicit infinite products. For a representative low-rank case at level two in each family, we display the complete adjacent-pair degree matrix and list the resulting identities.

We prove a cyclic sieving result for the action of promotion on the staircase plane partitions of height two. Our proof has two major algebraic inputs: an interpretation of this promotion action in terms of tensor powers of the spin crystal that was recently studied by Pappe--Pfannerer--Schilling--Simone, and the bush basis of the degree two part of the coordinate ring of the space of electrical networks that was recently introduced by Gao--Lam--Xu. Moreover, we explain how the existence of an electrical canonical basis in all degrees would yield cyclic sieving for promotion of staircase plane partitions of all heights.

The character of a connected $\mathfrak{sl}_n$-crystal is a Schur polynomial; the crystal can be further decomposed into quasicrystals, whose characters are the Gessel quasisymmetric functions. Crystal skeletons are obtained by contracting quasicrystals within crystal graphs. They generalize dual equivalence graphs, and can be used to prove the Schur expansion of a symmetric function when the quasisymmetric expansion is known. In this paper, we show that the crystal skeleton can be tiled further into components which we call quasicrystal skeletons, whose characters are Young quasisymmetric Schur functions. We characterize which edges in the crystal skeleton move between quasicrystal skeleton components. Contracting the quasicrystal skeleton components yields Bruhat order. We illustrate how these tools can be applied to symmetric functions by analyzing the Stanley symmetric functions.

We derive the equality between one-dimensional sums associated with tensor products of Kirillov-Reshetikhin column crystals of classical affine types and Lusztig q-analogues of weight multiplicities. The matching of the corresponding root systems is suggested by Howe duality. Our main tool is the dual Cauchy formula for Koornwinder polynomials due to Mimachi, which we combine with specializations in these polynomials. The mentioned dualities are proved for one-dimensional sums of all (twisted and untwisted) classical affine types except types B_n^(1) and D_n^(1). On another hand, all the Lusztig q-analogues of classical type are covered by our dualities, but they may have different parameters depending on the length of the roots in the underlying root system.

In recent work the authors determine complete columns of symmetric-group decomposition matrices in odd prime characteristic $p$ labeled by $p$-regular partitions for which every hook of length divisible by $p$ has even arm length. In the present paper we enumerate these partitions and prove that each block of $p$-weight $w$ contains precisely \[ \binom{w+\frac{p-3}{2}}{w} \] such partitions. More generally, for any integers $d,e>1$, we study and enumerate $d$-balanced $e$-regular partitions -- partitions for which every hook of length divisible by $e$ has arm length divisible by $d$. Our first main result is that the crystal (affine) reflections preserve the $d$-balanced property for all $d,e > 1$. It follows that, for fixed $d$, $e$, and $w$, the number of $d$-balanced $e$-regular partitions in a block of $e$-weight $w$ is independent of the $e$-core. We then compute this number by working in RoCK blocks, obtaining an explicit binomial formula valid for every block. We also investigate closely related odd sequences of partitions. Among others, we find the generating function of the number of odd sequences occurring in a block. Alongside their representation-theoretic relevance, we expect these results to be of independent combinatorial interest.

Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra over $\mathbb{C}$ and let $L(ρ)$ be the irreducible integrable $\mathfrak{g}$-module with highest weight $ρ$. Let $I$ be a subgraph of the Dynkin diagram of $\mathfrak{g}$ which has only simple bonds and no cycle of length $\geq 3$. For every subset $D$ of $I$, denote by $β_D$ the sum of the simple roots corresponding to $D$. To every $D \subset I$ such that $λ_{D,I} = 2ρ- β_I - β_D$ is dominant, we associate certain elements $π_{D,I}$ of weight $λ_{D,I} {-} ρ$ in the crystal $B(ρ)$, which depend on the choice of a root vertex in each connected component of $I$. Then we prove that our elements are $ρ$-dominant elements of $B(ρ)$, hence provide new families of components of the tensor product $L(ρ)\otimes L(ρ)$.

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.

We study the problem of enumerating symmetric chain decompositions (SCDs) of the minuscule lattices $L(m,n)$ of partitions in an $m$ by $n$ box and $M(n)$ of partitions into distinct parts at most $n$. We shift the focus from constructing a single SCD to analyzing the global structure of the set of SCDs. Let $\#SCD(P)$ be the number of symmetric chain decompositions of $P$. We give an explicit formula for $\#SCD(L(2,n))$ based on inversion sets of permutations and conjecture that for fixed $m>1$ both $\#SCD(L(m,n))$ and $\#SCD(M(n))$ grow super-exponentially. These conjectures are supported by data produced by AlphaEvolve, an evolutionary coding agent from Google DeepMind, and are in the same vein as a recent paper of Tomon on the growth rate of $\#SCD$ for the Boolean lattice and hypergrid. We make connections with crystal bases and show that the Lusztig involution (evacuation) extends to an involution on SCDs, which we use to show that $\#SCD(M(n))$ is even for $n>2$. We use skew tableaux sequences, which are equivalent to SCDs, and describe a potential path forward for finding SCDs through a notion of tableaux avoidance. We discuss implications of the conjectures for the problem of computing plethysm coefficients and discuss connections to physics and geometry. We end with a list of conjectures, questions and open problems.

While the uncrowding algorithm on set-valued tableaux has long been instrumental in proving the Schur positivity of stable symmetric Grothendieck polynomials, lattice models have emerged as a modern framework for investigating symmetric functions, in particular symmetric Grothendieck polynomials. In this work, we synthesize these combinatorial and lattice-theoretic approaches by defining both the Robinson--Schensted--Knuth (RSK) correspondence and the uncrowding operation directly on a 5-vertex model of Motegi and Sakai and its subsequent reinterpretation by Buciumas, Scrimshaw, and Weber. Our lattice-based RSK formulation yields a powerful new result: the direct construction of the associated crystal structure on the states of the 5-vertex model.

We give generators and relations for the monoidal categories of crystals generated by the fundamental crystals of a simple complex Lie algebra. We also spell out several small-rank examples.

By utilizing the combinatorial properties of various tableau models, we establish an explicit correspondence between the polyhedral realizations of the crystal bases $\mathcal B(λ)$ (resp. $\mathcal B(\infty)$) of type $A_n$ and the reverse semi-standard Young tableaux (resp. reverse marginally large tableaux), thereby providing a combinatorial description of the corresponding polyhedral realizations. Furthermore, a crystal structure on the set of Gelfand-Tsetlin patterns is obtained via the correspondence between the polyhedral realization of $\mathcal{B}(λ)$ and the reverse tableaux. As applications of our framework, we present concrete combinatorial realizations of the crystal embedding of $\mathcal B(λ)$ into $\mathcal B(\infty)$ and the set of Lusztig data.

In the article by Michael Chmutov, Max Glick and Pavel Pylyavskii \cite{Chmutov} the action of the cactus group $C_N$ on the set of semi-standard Young tableaux filled with the numbers from $1$ to $N$ was defined. Namely, they constructed the set of generators (we rightfully call them Bender-Knuth generators) of the cactus group and a group homomorphism from $C_N$ to Berenstein-Kirillov group $BK_N$ (cf. \cite{Berenstein_Kirillov}), which sends these generators to the Bender-Knuth involutions on the set of semi-standard Young tableaux. In \cite{Henriques_Kamnitzer} Andre Henriques and Joel Kamnitzer defined a natural action of cactus group $C_N$ on the tensor product of $N$ normal crystals via commutors. By applying their result I defined the action of cactus group $C_N$ on the set of short semi-standard Young tableaux filled with the numbers $1, 2, \ldots, N$ in \cite{Svyatnyy}. A semi-standard Young tableau is called \textit{short} if the number of cells in the first two columns with the numbers $\leqslant N$ is less than or equal to $N$. The set of short semi-standard Young tableaux obviously forms a subset inside the set of semi-standard Young tableaux. The purpose of this paper is to explicitly compute the action of Bender-Knuth generators of cactus group $C_N$ on the set of short semi-standard Young tableaux defined in \cite{Svyatnyy} and compare it with their action on the set of semi-standard Young tableaux defined in \cite{Chmutov}.

We extend the study of the recently introduced crystal melting models associated to toric Calabi-Yau 4-folds in several directions. In particular, we investigate in greater detail the structure of these models for general toric CY 4-folds and flavor configurations, using the explicit example of $Q^{1,1,1}$ to illustrate our ideas. To this end, we develop an efficient algorithm for constructing crystals based on periodic quivers. A central goal of this work is to understand the behavior of crystals and their partition functions under triality. We analyze the evolution of crystals along periodic triality cascades and generate detailed data for these systems, including Hasse diagrams, partition functions, and the multiplicities of melting configurations. We introduce the notion of stable variables and show that they lead to the stabilization of the partition functions along cascades. Finally, we define the profile of the crystal partition function and observe that, when expressed in terms of stable variables, it displays interesting behavior. A further motivation for this work is to generate empirical data that may guide the search for a physically motivated generalization of cluster algebras associated with $2d$ (0,2) quiver theories and their triality transformations.