TASEP with a moving wall

Alexei Borodin, Alexey Bufetov, Patrik L. Ferrari

We consider a totally asymmetric simple exclusion on $\mathbb{Z}$ with the step initial condition, under the additional restriction that the first particle cannot cross a determini…