The Limiting Behavior of the FTASEP with Product Bernoulli Initial Distribution

We study the facilitated totally asymmetric exclusion process on the one dimensional integer lattice. We investigate the invariant measures and the limiting behavior of the process. We mainly derive the limiting distribution of the process when the initial distribution is the Bernoulli product measure with density $1\mathrm{/}2$. We also prove that in the low density regime, the system finally converges to an absorbing state.