Discrete-time TASEP with holdback

STOCHASTIC PROCESSES AND THEIR APPLICATIONS

卷:131

Article

Shneer, Seva¹  Stolyar, Alexander² 

[1] Heriot Watt Univ, Edinburgh, Midlothian, Scotland

[2] Univ Illinois, Urbana, IL 61801 USA

关键词: Interacting particle systems;    TASEP;    Condensation/Phase transition;    Hydrodynamic limits;    Ballot theorem;    Medium access and Road traffic models;   

DOI  :  10.1016/j.spa.2020.09.011

来源: Elsevier

【 摘 要 】

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-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 < 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 rho? The most interesting range of densities is 0 <= rho < 1/2. We define the system typical flux as the limit in n -> 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 -> 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. Our results include both the steady-state analysis (which determines the typical flux) and the transient analysis. In particular, we derive a version of the Ballot Theorem, and show that the key reason for large cluster formation for densities rho > h is described by this theorem. (C) 2020 Elsevier B.V. All rights reserved.

【 授权许可】

Free