Discrete-time TASEP with holdback

We study the following interacting particle system. There are $\rho n$ particles, $\rho < 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-neighbour site according to the following rules. If its right-neighbour site is occupied by another particle, the particle does not move. If the particle has unoccupied sites (“holes”) as neighbours on both sides, it moves right with probability 1. If the particle has a hole as the right-neighbour and an occupied site as the left-neighbour, it moves right with probability $0 < p < 1$. (We refer to the latter rule as a “holdback” property.) From the point of view of holes moving counter-clockwise, this is a zero-range process.

The main question we address is: what is the system steady-state flux (or throughput) when $n$ is large, as a function of density $ρ$? The most interesting range of densities is $0 \le \rho \le 1/2$. We define the system typical flux as the limit, in $n$ going to infinity, of the steady-state flux in a system subject to additional random perturbations, when the perturbation rate vanishes. Our main results show that: (a) the typical flux is different from the formal flux, defined as the limit, in $n$ going to infinity, of the steady-state flux in the system without perturbations, and (b) there is a phase transition at density $h=p/(1+p)$. If $\rho < h$, the typical flux is equal to $\rho$, which coincides with the formal flux. If $\rho > h, a condensation phenomenon occurs, namely the formation and persistence of large particle clusters; in particular, the typical flux in this case is $p(1-\rho) < h < \rho$, which differs from the formal flux when $h < \rho < 1/2$.

This is joint work with Sasha Stolyar (UIUC)