Discrete-time TASEP with holdback

Abstract

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 moves right with probability $0 h$, a {\em condensation} phenomenon occurs, namely the formation and persistence of large particle clusters; in particular, the typical flux in this case is $p(1-ρ) < h < ρ$, which differs from the formal flux when $h < ρ< 1/2$. Our results include both steady-state and transient analysis. In particular, we derive a version of the Ballot Theorem, and show that the key "reason" for large cluster formation for densities $ρ> h$ is described by this theorem.