We study the one-dimensional discrete time totally asymmetric simple exclusion process with parallel update rules on a spatially periodic domain. A multi-point space-time joint distribution formula is obtained for general initial conditions. The formula involves contour integrals of Fredholm determinants with kernels acting on certain discrete spaces. For a class of initial conditions satisfying certain technical assumptions, we are able to derive large-time, large-period limit of the joint distribution, under the relaxation time scale $t=O(L^{3/2})$ when the height fluctuations are critically affected by the finite geometry. The assumptions are verified for the step and flat initial conditions. As a corollary we obtain the multi-point distribution of discrete time TASEP on the whole integer lattice $\mathbb{Z}$ by taking the period $L$ large enough so that the finite-time distribution is not affected by the boundary. The large time limit for multi-time distribution for discrete time TASEP on $\mathbb{Z}$ is then obtained for the step initial condition.
We consider two versions of discrete time totally asymmetric simple exclusion processes (TASEPs) with geometric and Bernoulli random hopping probabilities. For the process mixed with these and continuous time dynamics, we obtain a single Fredholm determinant representation for the joint distribution function of particle positions with arbitrary initial data. This formula is a generalization of the recent result by Mateski, Quastel and Remenik and allows us to take the KPZ scaling limit. For both the discrete time geometric and Bernoulli TASEPs, we show that the distribution function converges …
The height fluctuations of the models in the KPZ class are expected to converge to a universal process. The spatial process at equal time is known to converge to the Airy process or its variations. However, the temporal process, or more generally the two-dimensional space-time fluctuation field, is less well understood. We consider this question for the periodic TASEP (totally asymmetric simple exclusion process). For a particular initial condition, we evaluate the multi-time and multi-location distribution explicitly in terms of a multiple integral involving a Fredholm determinant. We then ev…
We consider the joint distributions of particle positions for the continuous time totally asymmetric simple exclusion process (TASEP). They are expressed as Fredholm determinants with a kernel defining a signed determinantal point process. We then consider certain periodic initial conditions and determine the kernel in the scaling limit. This result has been announced first in a letter by one of us and here we provide a self-contained derivation. Connections to last passage directed percolation and random matrices are also briefly discussed.
We consider the one-dimensional totally asymmetric simple exclusion process with an arbitrary initial condition in a spatially periodic domain, and obtain explicit formulas for the multi-point distributions in the space-time plane. The formulas are given in terms of an integral involving a Fredholm determinant. We then evaluate the large-time, large-period limit in the relaxation time scale, which is the scale such that the system size starts to affect the height fluctuations. The limit is obtained assuming certain conditions on the initial condition, which we show that the step, flat, and ste…
Recently Johansson and Rahman obtained the limiting multi-time distribution for the discrete polynuclear growth model, which is equivalent to a discrete TASEP model with step initial condition. In this paper, we obtain a finite time multi-point distribution 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 at the same speed for both step and flat initial conditions. These limiting distributions are expected to be universal for all the models in the Kardar-Parisi-Zhang universali…
Interacting particle systems in the KPZ universality class on a ring of size $L$ with $O(L)$ number of particles are expected to change from KPZ dynamics to equilibrium dynamics at the so-called relaxation time scale $t=O(L^{3/2})$. In particular the system size is expected to have little effect to the particle fluctuations in the sub-relaxation time scale $t\ll L^{3/2}$. We prove that this is indeed the case for the totally asymmetric simple exclusion process (TASEP) with two types of initial conditions. For flat initial condition, we show that the particle fluctuations are given by the Airy$…
We introduce two new exactly solvable (stochastic) interacting particle systems which are discrete time versions of q-TASEP. We call these geometric and Bernoulli discrete time q-TASEP. We obtain concise formulas for expectations of a large enough class of observables of the systems to completely characterize their fixed time distributions when started from step initial condition. We then extract Fredholm determinant formulas for the marginal distribution of the location of any given particle. Underlying this work is the fact that these expectations solve closed systems of difference equations…
The TASEP (totally asymmetric simple exclusion process) is a basic model for an one-dimensional interacting particle system with non-reversible dynamics. Despite the simplicity of the model it shows a very rich and interesting behaviour. In this paper we study some aspects of the TASEP in discrete time and compare the results to the recently obtained results for the TASEP in continuous time. In particular we focus on stationary distributions for multi-type models, speeds of second-class particles, collision probabilities and the "speed process". In discrete time, jump attempts may occur at dif…
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 ob…
We consider the q-Hahn TASEP which is a three-parameter family of discrete time interacting particle systems. The particles jump to the right independently according to a certain q-Binomial distribution with parallel updates. It is a generalization of the discrete time q-TASEP which is the q-deformed totally asymmetric simple exclusion process (TASEP) on Z for q in [0,1). For step initial condition, we prove that the current fluctuation of q-Hahn TASEP at time t is of order $t^{1/3}$ and asymptotically distributed as the GUE Tracy-Widom distribution. We verify the KPZ scaling theory conjecture…
We prove Airy process variational formulas for the one-point probability distribution of (discrete time parallel update) TASEP with general initial data, as well as last passage percolation from a general lattice path to a point. We also consider variants of last passage percolation with inhomogeneous parameter geometric weights and provide variational formulas of a similar nature. This proves one aspect of the conjectural description of the renormalization fixed point of the Kardar-Parisi-Zhang universality class.
The relaxation time limit of the one-point distribution of the spatially periodic totally asymmetric simple exclusion process is expected to be the universal one point distribution for the models in the KPZ universality class in a periodic domain. Unlike the infinite line case, the limiting one point distribution depends non-trivially on the scaled time parameter. We study several properties of this distribution for the case of the periodic step and flat initial conditions. We show that the distribution changes from a Tracy-Widom distribution in the small time limit to the Gaussian distributio…
We introduce a new interacting particle system on $\mathbb{Z}$, \emph{slowed $t$-TASEP}. It may be viewed as a $q$-TASEP with additional position-dependent slowing of jump rates depending on a parameter $t$, which leads to discrete and nonuniversal asymptotics at large time. If on the other hand $t \to 1$ as $\text{time} \to \infty$, we prove (1) a law of large numbers for particle positions, (2) a central limit theorem, with convergence to the fixed-time Gaussian marginal of a stationary solution to SDEs derived from the particle jump rates, and (3) a bulk limit to a certain explicit stationa…
We study correlation functions of the totally asymmetric simple exclusion process (TASEP) in discrete time with backward sequential update. We prove a determinantal formula for the generalized Green function which describes transitions between positions of particles at different individual time moments. In particular, the generalized Green function defines a probability measure at staircase lines on the space-time plane. The marginals of this measure are the TASEP correlation functions in the space-time region not covered by the standard Green function approach. As an example, we calculate the…
We consider the polynuclear growth (PNG) model in 1+1 dimension with flat initial condition and no extra constraints. The joint distributions of surface height at finitely many points at a fixed time moment are given as marginals of a signed determinantal point process. The long time scaling limit of the surface height is shown to coincide with the Airy_1 process. This result holds more generally for the observation points located along any space-like path in the space-time plane. We also obtain the corresponding results for the discrete time TASEP (totally asymmetric simple exclusion process)…
We obtain a new relation between the distributions $μ_t$ at different times $t\ge 0$ of the continuous-time TASEP (Totally Asymmetric Simple Exclusion Process) started from the step initial configuration. Namely, we present a continuous-time Markov process with local interactions and particle-dependent rates which maps the TASEP distributions $μ_t$ backwards in time. Under the backwards process, particles jump to the left, and the dynamics can be viewed as a version of the discrete-space Hammersley process. Combined with the forward TASEP evolution, this leads to a stationary Markov dynamics p…
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…
We present two new connections between the inhomogeneous stochastic higher spin six vertex model in a quadrant and integrable stochastic systems from the Macdonald processes hierarchy. First, we show how Macdonald $q$-difference operators with $t=0$ (an algebraic tool crucial for studying the corresponding Macdonald processes) can be utilized to get $q$-moments of the height function $\mathfrak{h}$ in the higher spin six vertex model first computed in arXiv:1601.05770 using Bethe ansatz. This result in particular implies that for the vertex model with the step Bernoulli boundary condition, the…
We study the following interacting particle system. There are $ρn$ particles, $ρ< 1$, moving clockwise ("right"), in discrete time, on $n$ sites arranged in a circle. Each site may contain at most one particle. At each time, a particle may move to the right-neighbor site according to the following rules. If its right-neighbor site is occupied by another particle, the particle does not move. If the particle has unoccupied sites ("holes") as neighbors on both sides, it moves right with probability $1$. If the particle has a hole as the right-neighbor and an occupied site as the left-neighbor, it…
