We provide a direct and elementary proof that the formula obtained in [MQR17] for the TASEP transition probabilities for general (one-sided) initial data solves the Kolmogorov backward equation. The same method yields the solution for the related PushASEP particle system.
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 respect to the multi-type TASEP dynamics. Consequently, every ergodic stationary measure is given as a projection of the speed process measure. This generalizes previous descriptions restricted to finitely many classes. By combining this result with known stationary measures for TASEPs with finitely many types, we compute several marginals of the speed process, including the joint density of two and three consecutive speeds. One striking property of the distribution is that two speeds are equal with positive probability and for any given particle there are infinitely many others with the same speed. We also study the partially asymmetric simple exclusion process (ASEP). We prove that the states of the ASEP with the above initial configuration, seen as permutations of Z, are symmetric in distribution. This allows us to extend some of our results, including the stationarity and description of all ergodic stationary measures, also to the ASEP.
Recently Johansson and Rahman obtained the limiting multi-time distribution for the discrete polynuclear growth model, which is equivalent to discrete TASEP model with step initial condition. In this paper, we obtain a finite time multi-point distrib
ution formula of continuous TASEP with general initial conditions in the space-time plane. We evaluate the limit of this distribution function when the times go to infinity proportionally for both step and flat initial conditions. These limiting distributions are expected to be universal for all the models in the Kardar-Parisi-Zhang universality class.
We study mixing times for the totally asymmetric simple exclusion process (TASEP) on a segment of size $N$ with open boundaries. We focus on the maximal current phase, and prove that the mixing time is of order $N^{3/2}$, up to logarithmic correction
s. In the triple point, where the TASEP with open boundaries approaches the Uniform distribution on the state space, we show that the mixing time is precisely of order $N^{3/2}$. This is conjectured to be the correct order of the mixing time for a wide range of particle systems with maximal current. Our arguments rely on a connection to last-passage percolation, and recent results on moderate deviations of last-passage times.
We study the totally asymmetric simple exclusion process (TASEP) on trees where particles are generated at the root. Particles can only jump away from the root, and they jump from $x$ to $y$ at rate $r_{x,y}$ provided $y$ is empty. Starting from the
all empty initial condition, we show that the distribution of the configuration at time $t$ converges to an equilibrium. We study the current and give conditions on the transition rates such that the current is of linear order or such that there is zero current, i.e. the particles block each other. A key step, which is of independent interest, is to bound the first generation at which the particle trajectories of the first $n$ particles decouple.
We consider TASEP in continuous time with non-random initial conditions and arbitrary fixed density of particles rho. We show GOE Tracy-Widom universality of the one-point fluctuations of the associated height function. The result phrased in last pas
sage percolation language is the universality for the point-to-line problem where the line has an arbitrary slope.