arXiv++ Combinatorics

We introduce the $q$-Hahn PushTASEP --- an integrable stochastic interacting particle system which is a 3-parameter generalization of the PushTASEP, a well-known close relative of the TASEP (Totally Asymmetric Simple Exclusion Process). The transition probabilities in the $q$-Hahn PushTASEP are expressed through the $_4φ_3$ basic hypergeometric function. Under suitable limits, the $q$-Hahn PushTASEP degenerates to all known integrable (1+1)-dimensional stochastic systems with a pushing mechanism. One can thus view our new system as a pushing counterpart of the $q$-Hahn TASEP introduced by Povolotsky (2013). We establish Markov duality relations and contour integral formulas for the $q$-Hahn PushTASEP. In a $q\to 1$ limit of our process we arrive at a random recursion which, in a special case, appears to be similar to the inverse-Beta polymer model. However, unlike in recursions for Beta polymer models, the weights (i.e., the coefficients of the recursion) in our model depend on the previous values of the partition function in a nontrivial manner.

We investigate a rich new class of exactly solvable particle systems generalizing the Totally Asymmetric Simple Exclusion Process (TASEP). Our particle systems can be thought of as new exactly solvable examples of tandem queues, directed first- or last-passage percolation models, or Robinson-Schensted-Knuth type systems with random input. One of the novel features of the particle systems is the presence of spatial inhomogeneity which can lead to the formation of traffic jams. For systems with special step-like initial data, we find explicit limit shapes, describe hydrodynamic evolution, and obtain asymptotic fluctuation results which put the systems into the Kardar-Parisi-Zhang universality class. At a critical scaling around a traffic jam in the continuous space TASEP, we observe deformations of the Tracy-Widom distribution and the extended Airy kernel, revealing the finer structure of this novel type of phase transitions. A homogeneous version of a discrete space system we consider is a one-parameter deformation of the geometric last-passage percolation, and we obtain extensions of the limit shape parabola and the corresponding asymptotic fluctuation results. The exact solvability and asymptotic behavior results are powered by a new nontrivial connection to Schur measures and processes.

The special limit of the totally asymmetric zero range process of the low-dimensional non-equilibrium statistical mechanics described by the non-Hermitian Hamiltonian is considered. The calculation of the conditional probabilities of the model are based on the algebraic Bethe ansatz approach. We demonstrate that the conditional probabilities may be considered as the generating functions of the random multi-dimensional lattice walks bounded by a hyperplane. This type of walks we call the walks over the multi-dimensional simplicial lattices. The answers for the conditional probability and for the number of random walks in the multi-dimensional simplicial lattice are expressed through the symmetric functions.

The asymmetric exclusion process is an idealised stochastic model of transport, whose exact solution has given important insight into a general theory of nonequilibrium statistical physics. In this work, we consider a totally asymmetric exclusion process with multiple species of particles on a one-dimensional lattice in contact with reservoirs. We derive the exact nonequilibrium phase diagram for the system in the long time limit. We find two new phenomena in certain regions of the phase diagram: when the density of a species becomes zero throughout the system, and dynamical localisation when the density of a species is nonzero only within an interval far from the boundaries. We give a complete explanation of the macroscopic features of the phase diagram using what we call nested fat shocks.

The Totally Asymmetric Simple Exclusion Process (TASEP) is a non-equilibrium particle model on a finite one-dimensional lattice with open boundaries. In our earlier paper, we obtained a determinantal formula that computes the steady state probabilities of this process by the enumeration of "Catalan alternative tableaux", which are certain fillings of Young diagrams. Here, we present a new, more illuminating bijective proof of this determinantal formula using the Lindström-Gessel-Viennot Lemma.

We present a determinantal formula for the steady state probability of each state of the TASEP (Totally Asymmetric Simple Exclusion Process) with open boundaries, a 1D particle model that has been studied extensively and displays rich combinatorial structure. These steady state probabilities are computed by the enumeration of Catalan tableaux, which are certain Young diagrams filled with $α$'s and $β$'s that satisfy some conditions on the rows and columns. We construct a bijection from the Catalan tableaux to weighted lattice paths on a Young diagram, and from this we enumerate the paths with a determinantal formula, building upon a formula of Narayana that counts unweighted lattice paths on a Young diagram. Finally, we provide a formula for the enumeration of Catalan tableaux that satisfy a given condition on the rows, which corresponds to the steady state probability that in the TASEP on a lattice with $n$ sites, precisely $k$ of the sites are occupied by particles. This formula is an $α /\ β$ generalization of the Narayana numbers.

We study an infinite version of the "jeu de taquin" sliding game, which can be thought of as a natural measure-preserving transformation on the set of infinite Young tableaux equipped with the Plancherel probability measure. We use methods from representation theory to show that the Robinson-Schensted-Knuth ($\operatorname {RSK}$) algorithm gives an isomorphism between this measure-preserving dynamical system and the one-sided shift dynamics on a sequence of independent and identically distributed random variables distributed uniformly on the unit interval. We also show that the jeu de taquin paths induced by the transformation are asymptotically straight lines emanating from the origin in a random direction whose distribution is computed explicitly, and show that this result can be interpreted as a statement on the limiting speed of a second-class particle in the Plancherel-TASEP particle system (a variant of the Totally Asymmetric Simple Exclusion Process associated with Plancherel growth), in analogy with earlier results for second class particles in the ordinary TASEP.

The totally asymmetric simple exclusion process (TASEP) on Z with the Bernoulli-rho measure as initial conditions, 0<rho<1, is stationary. It is known that along the characteristic line, the current fluctuates as of order t^{1/3}. The limiting distribution has also been obtained explicitly. In this paper we determine the limiting multi-point distribution of the current fluctuations moving away from the characteristics by the order t^{2/3}. The main tool is the analysis of a related directed last percolation model. We also discuss the process limit in tandem queues in equilibrium.

The purpose of this paper is twofold. First we answer to a question asked by Steingrimsson and Williams about certain permutation tableaux: we construct a bijection between binary trees and the so-called Catalan tableaux. These tableaux are certain Ferrers (or Young) diagrams filled with some 0's and 1's, satisfying a certain hook condition, and are enumerated by the Catalan numbers. They form a subclass of the permutation tableaux, enumerated by n!, introduced by Postnikov in his study of totally non negative Grassmannians and networks. Secondly we relate this new Catalan bijection with the totally asymmetric exclusion process (TASEP), a very rich and well studied 1D gas model in statistical mechanics of nonequilibrium systems. We continue some combinatorial understanding of that model, in the spirit of works by Shapiro, Zeilberger and more recently by Brak, Essam, Rechnitzer, Corteel, Williams, Duchi and Schaeffer. Emphasis is made on the non-classical notion of canopy of a binary tree, analog of the classical up-down sequence of a permutation.

We give a combinatorial description of the stationary measure for a totally asymmetric exclusion process (TASEP) with second class particles, on either Z or on the cycle Z_N. The measure is the image by a simple operation of the uniform measure on some larger finite state space. This reveals a combinatorial structure at work behind several results on the TASEP with second class particles.

In this paper we consider a model of particles jumping on a row of cells, called in physics the one dimensional totally asymmetric exclusion process (TASEP). More precisely we deal with the TASEP with open or periodic boundary conditions and with two or three types of particles. From the point of view of combinatorics a remarkable feature of this Markov chain is that it involves Catalan numbers in several entries of its stationary distribution. We give a combinatorial interpretation and a simple proof of these observations. In doing this we reveal a second row of cells, which is used by particles to travel backward. As a byproduct we also obtain an interpretation of the occurrence of the Brownian excursion in the description of the density of particles on a long row of cells.

The purpose of this paper is to investigate the limiting distribution functions for a polynuclear growth model with two external sources, which was considered by Prähofer and Spohn. Depending on the strength of the sources, the limiting distribution functions are either the Tracy-Widom functions of random matrix theory, or a new explicit function which has the special property that its mean is zero. Moreover, we obtain transition functions between pairs of the above distribution functions in suitably scaled limits. There are also similar results for a discrete totally asymmetric exclusion process.

We study a certain random groeth model in two dimensions closely related to the one-dimensional totally asymmetric exclusion process. The results show that the shape fluctuations, appropriately scaled, converges in distribution to the Tracy-Widom largest eigenvalue distribution for the Gaussian Unitary Ensemble.

In this article we study domino tilings of a family of finite regions called Aztec diamonds. Every such tiling determines a partition of the Aztec diamond into five sub-regions; in the four outer sub-regions, every tile lines up with nearby tiles, while in the fifth, central sub-region, differently-oriented tiles co-exist side by side. We show that when n is sufficiently large, the shape of the central sub-region becomes arbitrarily close to a perfect circle of radius n/sqrt(2) for all but a negligible proportion of the tilings. Our proof uses techniques from the theory of interacting particle systems. In particular, we prove and make use of a classification of the stationary behaviors of a totally asymmetric one-dimensional exclusion process in discrete time.