Convergence of the two-point function of the stationary TASEP (Q6829072)

The authors consider the stationary totally asymmetric simple exclusion process (TASEP) on \(\mathbb{Z}\), defined as follows. At time zero, each point in \(\mathbb{Z}\) is occupied by a particle (independently of all other sites) with probability \(\rho\in(0,1)\). At unit rate, each particle attempts to jump one step to the right. These jumps are successful as long as the destination site is not currently occupied by another particle.\N\NThe main object of study of the present paper is the two-point function \(S(j,t)=\mathbb{E}\left[\eta_j(t)\eta_0(0)\right]-\rho^2\), the covariance between \(\eta_j(t)\) and \(\eta_0(0)\), where \(\eta_j(t)\) is an indicator that \(j\in\mathbb{Z}\) is occupied by a particle at time \(t\). The authors prove a convergence result for \(S(j,t)\), which they obtain by using a formulation of the TASEP as a stochastic growth interface model and proving a limit theorem for the corresponding height function (suitably scaled) which strengthens a result of \textit{P. L. Ferrari} and \textit{H. Spohn} [Commun. Math. Phys. 265, No. 1, 1--44, erratum 45--46 (2006; Zbl 1118.82032)].\N\NFor the entire collection see [Zbl 1278.00016].