arXiv++ Combinatorics

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.

The asymmetric simple exclusion process (ASEP) is an important particle model with deep connections to orthogonal polynomials. Motivated by this connection, Corteel and Williams introduced the Koornwinder moments $M^{Z}_λ$ at $ t=q $, which generalize the moments of Askey--Wilson polynomials. They showed that the partition function of the two-species ASEP is equal to $M^{Z}_λ$ for a one-row partition $ λ$. In this paper, we investigate a conjecture of Rains on the positivity of the minimal numerator of the Koornwinder moment $M^{Z}_λ$. We derive the first explicit formula for this moment, thereby obtaining a precise formulation of the conjecture by determining the minimal denominator of $M^{Z}_λ$. We also propose a generalization of the conjecture for the more general Koornwinder moments $M^{Z}_{λ,μ}$ indexed by two partitions at special parameter values. We prove the generalized Rains' conjecture in two special cases: $(ξ,q)=(1,0)$ and $(ξ,q)=(1,1)$. For $(ξ,q)=(1,0)$, we construct a lattice path model and obtain a combinatorial formula for $M^{Z}_{λ,μ}$ in terms of non-intersecting lattice paths. For $(ξ,q)=(1,1)$, we establish an explicit product formula for $M^{Z}_{λ,μ}$ and give a combinatorial interpretation using lecture hall tableaux.

We study combinatorial structures arising from finite-time transition probabilities of the Totally Asymmetric Simple Exclusion Process with open boundary conditions. While much of the existing combinatorial theory regarding the TASEP concerns the steady-state distribution, we focus instead on the transient dynamics. We first show that the enumeration of transition sequences between two configurations of the open TASEP is equivalent to the enumeration of standard Young tableaux of a family of non-classical shapes which have been of recent interest in the combinatorial literature. This extends to the open-boundary setting the correspondence between the TASEP with periodic boundaries and cylindric tableaux. We then introduce a family of tableau-like objects associated with Young diagrams in which repetitions of cells are allowed, subject to the partial order induced by the diagram. For each diagram, we collect the numbers of these objects into an exponential generating function. We prove that the entries of the homogeneous open TASEP transition matrix can be expressed as signed sums of such generating functions over suitable families of diagrams. This gives a combinatorial and order-theoretic interpretation of finite-time transition probabilities for the open TASEP, analogous to the combinatorial mappings known for steady-state probabilities.

We study three-dimensional partition functions constructed from the tetrahedral $L$-operator introduced and studied by Bazhanov-Sergeev and Kuniba-Maruyama-Okado. First, we explore the $q=0$ case, extending the authors' previous results and giving applications by a further analysis on the Zamolodchikov-Faddeev algebra. We introduce a class of partition functions which can be expressed as the tensor Schur polynomials, a class of products of Schur polynomials. As an application, we derive the shuffle formula for the Schur polynomials which is geometrically the pushforward formula by Joźefiak-Pragacz-Lascoux. We also give a derivation and a unification of the Gustafson-Milne and Feh{é}r--N{é}methi--Rim{á}nyi identities, and introduce a family of Laurent polynomials using divided difference operators which imitates the Schubert polynomials from the perspective of our study. We also present an application to the steady state of the multispecies totally asymmetric simple exclusion process. Second, we investigate several classes of partition functions for the generic $q$ case, and determine the explicit forms as deformations of the elementary symmetric functions. One of them can be regarded as (an extension of) a $q$-deformed loop elementary symmetric functions.

We investigate the size of the convoy in the speed process in the multi-species asymmetric simple exclusion process (ASEP). Through a coupling argument, we obtain an exact formula for the expected convoy size by relating it to a combinatorial structure. We prove that the asymptotic expected convoy size is universal for all fixed jump rates $q \in [0,1)$. In the special case $q=0$, we upgrade this to full convergence in distribution. We further establish a critical scaling $q = 1 - γ/\sqrt{n}$ that yields a nontrivial limiting regime. Our analysis builds on Martin's construction of the convoy and makes use of an orthogonal-polynomial representation of random-walk transition probabilities.

We describe some recently discovered connections between one-dimensional interacting particle models and Macdonald polynomials. The first such model is the multispecies asymmetric simple exclusion process (ASEP) on a ring, linked to the symmetric Macdonald polynomial $P_λ(X;q,t)$ through its partition function. Through this connection, a new formula was found for $P_λ$ by generalizing multiline queues, which were introduced by Martin in 2018 to compute stationary probabilities of the ASEP. The second particle model is the multispecies totally asymmetric zero range process (TAZRP) on a ring, which was very recently found to have an analogous connection to the modified Macdonald polynomial $\widetilde{H}_λ(X;q,t)$ through its partition function. This discovery coincided with a new formula for $\widetilde{H}_λ$, this time in terms of tableaux with a queue inversion statistic, which also compute stationary probabilities of the TAZRP. We explain the plethystic relationship between multiline queues and queue inversion tableaux, and along the way, derive a new formula for $P_λ$ using the queue inversion statistic. This plethystic correspondence is closely related to fusion in the setting of integrable systems.

Research in combinatorics has often focused on the ASEP (asymmetric simple exclusion process). The ASEP is inspired by processes in statistical mechanics, and involves particles of various species moving around a lattice. The particles do not change species. In the present paper, based on earlier results of Mortimer and Prellberg and others, we obtain a new power series results for the two type ASEP.

We establish bijections between three classes of combinatorial objects that have been studied in very different contexts: lattice walks in simplicial regions as introduced by Mortimer--Prellberg, standard cylindric tableaux as introduced by Gessel--Krattenthaler and Postnikov, and sequences of states in the totally asymmetric simple exclusion process. This perspective allows us to translate symmetries from one setting into another, revealing unexpected properties of these objects. Specifically, we show that a recent bijection of Courtiel, Elvey Price and Marcovici between certain simplicial walks with forward and backward steps is equivalent to a cylindric analogue of the Robinson--Schensted correspondence. Originally defined by Neyman by iterating an insertion operation, we provide an alternative description of this correspondence by introducing a cylindric version of Fomin's growth diagrams. This natural description elucidates the symmetry of the correspondence, and it allows us to interpret the above walks as oscillating cylindric tableaux.

We construct and analyze several new families of permutons arising from random processes involving the Demazure product on the symmetric group. First, we consider Demazure products associated to random pipe dreams, generalizing the Grothendieck permutons introduced by Morales, Panova, Petrov, and Yeliussizov by replacing staircase shapes with arbitrary order-convex shapes. Using the totally asymmetric simple exclusion process (TASEP) with geometric jumps, we prove precise scaling limit and fluctuation results for the associated height functions, showing that these models belong to the Kardar--Parisi--Zhang (KPZ) universality class. We then consider permutons obtained by applying deterministic sequences of bubble-sort operators to random initial permutations. We again provide precise descriptions of the limiting permutons. In a special case, we deduce the exact forms of the standard bubble-sort permutons, the supports of which were computed by DiFranco. A crucial tool in our analysis is a formulation, due to Chan and Pflueger, of the Demazure product as matrix multiplication in the min-plus tropical semiring. This allows us to define a Demazure product on the set of permutons. We discuss further applications of this product. For instance, we show that the number of inversions of the Demazure product of two independent uniformly random permutations of size $n$ is $\binom{n}{2}(1-o(1))$.

We define an algorithm on fermionic and bosonic twisted multiline queues that projects to the multispecies totally asymmetric simple exclusion process (TASEP) and the totally asymmetric zero range process (TAZRP) on a ring, respectively. Our algorithm on fermionic multiline queues generalizes the Ferrari-Martin algorithm for TASEP, and we show it is equivalent to the algorithm of Arita-Ayyer-Mallick-Prolhac (2011). Our algorithm on bosonic multiline queues is novel and generalizes the corresponding algorithm of Kuniba-Maruyama-Okado (2016) for the TAZRP. We also define a Markov process on bosonic twisted multiline queues that projects to the TAZRP and intertwines with the symmetric group action on the rows of the multiline queues.

We revisit the problem of constructing the stationary states of the multispecies asymmetric simple exclusion process on a one-dimensional periodic lattice. Central to our approach is a quantum oscillator weighted five vertex model which features a strange weight conservation distinct from the conventional one. Our results clarify the interrelations among several known results and refine their derivations. For instance, the stationary probability derived from the multiline queue construction by Martin (2020) and Corteel--Mandelshtam--Williams (2022) is identified with the partition function of a three-dimensional system. The matrix product operators by Prolhac--Evans--Mallick (2009) acquire a natural diagrammatic interpretation as corner transfer matrices (CTM). The origin of their recursive tensor structure, as questioned by Aggarwal--Nicoletti--Petrov (2023), is revealed through the CTM diagrams. Finally, the derivation of the Zamolodchikov--Faddeev algebra by Cantini--de Gier--Wheeler (2015) is made intrinsic by elucidating its precise connection to a solution to the Yang--Baxter equation originating from quantum group representations.

We study random permutations arising from reduced pipe dreams. Our main model is motivated by Grothendieck polynomials with parameter $β=1$ arising in K-theory of the flag variety. The probability weight of a permutation is proportional to the principal specialization (setting all variables to 1) of the corresponding Grothendieck polynomial. By mapping this random permutation to a version of TASEP (Totally Asymmetric Simple Exclusion Process), we describe the limiting permuton and fluctuations around it as the order $n$ of the permutation grows to infinity. The fluctuations are of order $n^{\frac13}$ and have the Tracy-Widom GUE distribution, which places this algebraic (K-theoretic) model into the Kardar-Parisi-Zhang universality class. We also investigate non-reduced pipe dreams and make progress on a recent open problem on the asymptotic number of inversions of the resulting permutation. Inspired by Stanley's question for the maximal value of principal specializations of Schubert polynomials, we resolve the analogous question for $β=1$ Grothendieck polynomials, and provide bounds for general $β$.

The Haglund--Haiman--Loehr theorem provides the following combinatorial formula for the modified Macdonald polynomials: $$\tilde{H}_μ(X;q,t)=\sum_{σ: μ\rightarrow \mathbb{P}}x^σt^{maj(σ)}q^{inv(σ)}.$$ Inspired by Martin's multiline-queue formula for the stationary distribution of multitype asymmetric simple exclusion processes, Corteel, Haglund, Mandelshtam, Mason and Williams recently introduced the queue inversion statistic $quinv$ and conjectured that the tableaux formula for $\tilde{H}_μ(X;q,t)$ is invariant if the inversion statistic $inv$ is replaced by $quinv$. This was subsequently resolved by Ayyer, Mandelshtam and Martin, who proposed a stronger conjecture on the equivalence of the two refined formulas for $\tilde{H}_μ(X;q,t)$. Our main result confirms this Ayyer--Mandelshtam--Martin conjecture. We establish an equidistribution between the pairs $(inv,maj)$ and $(quinv,maj)$ of $μ$-Mahonian statistics on any row-equivalency class $[τ]$, where $τ$ is a filling of the Young diagram of $μ$. As a byproduct of our approach, we show that if $τ$ is a rectangular filling, the triples $(inv,quinv,maj)$ and $(quinv,inv,maj)$ have the same distribution over $[τ]$.

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.

We prove a new tableaux formula for the symmetric Macdonald polynomials $P_λ(X;q,t)$ that has considerably fewer terms and simpler weights than previously existing formulas. Our formula is a sum over certain sorted non-attacking tableaux, weighted by the queue inversion statistic quinv. The quinv statistic originates from a formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$ due to Ayyer, Martin, and the author (2022), and is naturally related to the dynamics of the asymmetric simple exclusion process (ASEP) on a circle. We prove our results by introducing probabilistic operators that act on non-attacking tableaux to generate a set of tableaux whose weighted sum equals $P_λ(X;q,t)$. These operators are a modification of the inversion flip operators of Loehr and Niese (2012), which yield an involution on tableaux that preserves the major index statistic, but fails to preserve the non-attacking condition. Our tableaux are in bijection with the multiline queues introduced by Martin (2020), allowing us to derive an alternative multiline queue formula for $P_λ(X;q,t)$. Finally, our formula recovers an alternative formula for the Jack polynomials $J_λ(X;α)$ due to Knop and Sahi (1996) using the same queue inversion statistic.

In this article we give a combinatorial formula for a certain class of Koornwinder polynomials, also known as Macdonald polynomials of type $\tilde{C}$. In particular, we give a combinatorial formula for the Koornwinder polynomials $K_λ = K_λ(z_1,\dots,z_N; a,b,c,d; q,t)$, where $λ= (1,\dots,1,0,\dots,0)$. We also give combinatorial formulas for all ``open boundary ASEP polynomials'' $F_μ$, where $μ$ is a composition in $\{-1,0,1\}^N$; these polynomials are related to the nonsymmetric Koornwinder polynomials $E_μ$ up to a triangular change of basis. Our formulas are in terms of rhombic staircase tableaux, certain tableaux that we introduced in previous work to give a formula for the stationary distribution of the two-species asymmetric simple exclusion process (ASEP) on a line with open boundaries.

We study the stochastic six-vertex model in half-space with generic integrable boundary weights, and define two families of multivariate rational symmetric functions. Using commutation relations between double-row operators, we prove a skew Cauchy identity of these functions. In a certain degeneration of the right-hand side of the Cauchy identity we obtain the partition function of the six-vertex model in a half-quadrant, and give a Pfaffian formula for this quantity. The Pfaffian is a direct generalization of a formula obtained by Kuperberg in his work on symmetry classes of alternating-sign matrices. One of our families of symmetric functions admits an integral (sum over residues) formula, and we use this to conjecture an orthogonality property of the dual family. We conclude by studying the reduction of our integral formula to transition probabilities of the (initially empty) asymmetric simple exclusion process on the half-line.

The multispecies asymmetric simple exclusion process (mASEP) is a Markov chain in which particles of different species hop along a one-dimensional lattice. This paper studies the doubly asymmetric simple exclusion process $\mathrm{DASEP}(n,p,q)$ in which $q$ particles with species $1, \dots, p$ hop along a circular lattice with $n$ sites, but also the particles are allowed to spontaneously change from one species to another. In this paper, we introduce two related Markov chains called the colored Boolean process and the restricted random growth model, and we show that the DASEP lumps to the colored Boolean process, and the colored Boolean process lumps to the restricted random growth model. This allows us to generalize a theorem of David Ash on the relations between sums of steady state probabilities. We also give explicit formulas for the stationary distribution of $\mathrm{DASEP}(n,2,2)$.

We study an interacting particle process on a finite ring with $L$ sites with at most $K$ particles per site, in which particles hop to nearest neighbors with rates given in terms of $t$-deformed integers and asymmetry parameter $q$, where $t>0$ and $q \geq 0$ are parameters. This model, which we call the $(q, t)$~$K$-ASEP, reduces to the usual ASEP on the ring when $K = 1$ and to a model studied by Schütz and Sandow (\emph{Phys. Rev. E}, 1994) when $t = q = 1$. This is a special case of the misanthrope process and as a consequence, the steady state does not depend on $q$ and is of product form, generalizing the same phenomena for the ASEP. What is interesting here is the steady state weights are given by explicit formulas involving $t$-binomial coefficients, and are palindromic polynomials in $t$. Interestingly, although the $(q, t)$~$K$-ASEP does not satisfy particle-hole symmetry, its steady state does. We analyze the density and calculate the most probable number of particles at a site in the steady state in various regimes of $t$. Lastly, we construct a two-dimensional exclusion process on a discrete cylinder with height $K$ and circumference $L$ which projects to the $(q, t)$~$K$-ASEP and whose steady state distribution is also of product form. We believe this model will serve as an illustrative example in constructing two-dimensional analogues of misanthrope processes. Simulations are attached as ancillary files.

Recently, there has been much progress in understanding stationary measures for colored (also called multi-species or multi-type) interacting particle systems, motivated by asymptotic phenomena and rich underlying algebraic and combinatorial structures (such as nonsymmetric Macdonald polynomials). In this paper, we present a unified approach to constructing stationary measures for most of the known colored particle systems on the ring and the line, including (1) the Asymmetric Simple Exclusion Process (multispecies ASEP, or mASEP); (2) the q-deformed Totally Asymmetric Zero Range Process (TAZRP) also known as the q-Boson particle system; (3) the q-deformed Pushing Totally Asymmetric Simple Exclusion Process (q-PushTASEP). Our method is based on integrable stochastic vertex models and the Yang-Baxter equation. We express the stationary measures as partition functions of new "queue vertex models" on the cylinder. The stationarity property is a direct consequence of the Yang-Baxter equation. For the mASEP on the ring, a particular case of our vertex model is equivalent to the multiline queues of Martin (arXiv:1810.10650). For the colored q-Boson process and the q-PushTASEP on the ring, we recover and generalize known stationary measures constructed using multiline queues or other methods by Ayyer-Mandelshtam-Martin (arXiv:2011.06117, arXiv:2209.09859), and Bukh-Cox (arXiv:1912.03510). Our proofs of stationarity use the Yang-Baxter equation and bypass the Matrix Product Ansatz used for the mASEP by Prolhac-Evans-Mallick (arXiv:0812.3293). On the line and in a quadrant, we use the Yang-Baxter equation to establish a general colored Burke's theorem, which implies that suitable specializations of our queue vertex models produce stationary measures for particle systems on the line. We also compute the colored particle currents in stationarity.