In this work we construct the stationary measure of the N species totally asymmetric simple exclusion process in a matrix product formulation. We make the connection between the matrix product formulation and the queueing theory picture of Ferrari and Martin. In particular, in the standard representation, the matrices act on the space of queue lengths. For N >2 the matrices in fact become tensor products of elements of quadratic algebras. This enables us to give a purely algebraic proof of the stationary measure which we present for N =3.
We reinterpret and generalize conjectures of Lam and Williams as statements about the stationary distribution of a multispecies exclusion process on the ring. The central objects in our study are the multiline queues of Ferrari and Martin. We make some progress on some of the conjectures in different directions. First, we prove their conjectures in two special cases by generalizing the rates of the Ferrari-Martin transitions. Secondly, we define a new process on multiline queues, which have a certain minimality property. This gives another proof for one of the special cases; namely arbitrary j…
We study correlations in the multispecies TASEP on a ring. Results on correlation of two adjacent points prove two conjectures by Thomas Lam on (a) the limiting direction of a reduced random walk in $\tilde A_{n-1}$ and (b) the asymptotic shape of a random integer partition with no hooks of length $n$, a so called $n$-core. We further investigate two-point correlations far apart and three-point nearest neighbour correlations and prove explicit formulas in almost all cases. These results can be seen as a finite strengthening of correlations in the TASEP speed process by Amir, Angel and Valkó. W…
We consider the $q$-totally asymmetric simple exclusion process ($q$-TASEP) in the stationary regime and study the fluctuation of the position of a particle. We first observe that the problem can be studied as a limiting case of an $N$-particle $q$-TASEP with a random initial condition and with particle dependent hopping rate. Then we explain how this $N$-particle $q$-TASEP can be encoded in a dynamics on a two-sided Gelfand-Tsetlin cone described by a two-sided $q$-Whittaker process and present a Fredholm determinant formula for the $q$-Laplace transform of the position of a particle. Two mai…
We examine the entropy of non-equilibrium stationary states of boundary driven totally asymmetric simple exclusion processes. As a consequence, we obtain that the Gibbs-Shannon entropy of the non equilibrium stationary state converges to the Gibbs-Shannon entropy of the local equilibrium state. Moreover, we prove that its fluctuations are Gaussian, except when the mean displacement of particles produced by the bulk dynamics agrees with the particle flux induced by the density reservoirs in the maximal phase regime.
We consider the totally asymmetric simple exclusion process on a ring with stationary initial conditions. The crossover between KPZ dynamics and equilibrium dynamics occurs when time is proportional to the $3/2$ power of the ring size. We obtain the limit of the height function along the direction of the characteristic line in this time scale. The two-point covariance function in this scale is also discussed.
We consider totally asymmetric simple exclusion processes with n types of particle and holes ($n$-TASEPs) on $\mathbb {Z}$ and on the cycle $\mathbb {Z}_N$. Angel recently gave an elegant construction of the stationary measures for the 2-TASEP, based on a pair of independent product measures. We show that Angel's construction can be interpreted in terms of the operation of a discrete-time $M/M/1$ queueing server; the two product measures correspond to the arrival and service processes of the queue. We extend this construction to represent the stationary measures of an n-TASEP in terms of a sys…
In the multi-type totally asymmetric simple exclusion process (TASEP) on the line, each site of Z is occupied by a particle labeled with some number, and two neighboring particles are interchanged at rate one if their labels are in increasing order. Consider the process with the initial configuration where each particle is labeled by its position. It is known that in this case a.s. each particle has an asymptotic speed which is distributed uniformly on [-1,1]. We study the joint distribution of these speeds: the TASEP speed process. We prove that the TASEP speed process is stationary with resp…
Consider the following Markov chain on permutations of length $n$. At each time step we choose a random position. If the letter at that position is smaller than the letter immediately to the left (cyclically) then these letters swap positions. Otherwise nothing happens, corresponding to a loop in the Markov chain. This is the circular TASEP. We compute the average proportion of time the chain spends at the identity permutation (and, in greater generality, at sorted words). This answers a conjecture by Thomas Lam.
We investigate a Markov chain defined by Thomas Lam, which generalizes the multi-type TASEP on a ring to any Weyl group. For groups of type C we define an analogue of the multiline queues of Ferrari and Martin (which compute the stationary distribution for the classical TASEP). While our construction does not suffice for finding the stationary distribution, the construction gives the stationary distribution of a certain projection of Lam's chain. Also, our approach is incremental, in the sense that the construction appears to fit into a pattern of 'conjugation matrices', which remains to be fu…
The totally asymmetric simple exclusion process (TASEP) on the one-dimensional lattice with the Bernoulli ρmeasure as initial conditions, 0<ρ<1, is stationary in space and time. Let N_t(j) be the number of particles which have crossed the bond from j to j+1 during the time span [0,t]. For j=(1-2ρ)t+2w(ρ(1-ρ))^{1/3} t^{2/3} we prove that the fluctuations of N_t(j) for large t are of order t^{1/3} and we determine the limiting distribution function F_w(s), which is a generalization of the GUE Tracy-Widom distribution. The family F_w(s) of distribution functions have been obtained before by Baik …
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.
For a random permutation sampled from the stationary distribution of the TASEP on a ring, we show that, conditioned on the event that the first entries are strictly larger than the last entries, the order of the first entries is independent of the order of the last entries. The proof uses multi-line queues as defined by Ferrari and Martin, and the theorem has an enumerative combinatorial interpretation in that setting. Finally, we present a conjecture for the case where the small and large entries are not separated.
For stationary KPZ growth in 1+1 dimensions the height fluctuations are governed by the Baik-Rains distribution. Using the totally asymmetric single step growth model, alias TASEP, we investigate height fluctuations for a general class of spatially homogeneous random initial conditions. We prove that for TASEP there is a one-parameter family of limit distributions, labeled by the diffusion coefficient of the initial conditions. The distributions are defined through a variational formula. We use Monte Carlo simulations to obtain their numerical plots. Also discussed is the connection to the six…
