Stationary States of the One-Dimensional Discrete-Time Facilitated Symmetric Exclusion Process

TL;DR

This paper characterizes the extremal translation invariant stationary states of a one-dimensional facilitated exclusion process, revealing different families of states depending on particle density and proposing conjectures for high-density behavior.

Contribution

It provides a detailed classification of extremal stationary states for the facilitated exclusion process across different densities, introducing new families and conjecturing their completeness.

Findings

For <<1/2, a single family of states with no adjacent occupied sites.

At =1/2, two families with configurations translating at speed 2.

For >1/2, a continuum of families of states.

Abstract

We describe the extremal translation invariant stationary (ETIS) states of the facilitated exclusion process on $\mathbb{Z}$. In this model all particles on sites with one occupied and one empty neighbor jump at each integer time to the empty neighbor site, and if two particles attempt to jump into the same empty site we choose one randomly to succeed. The ETIS states are qualitatively different for densities $\rho<1/2$, $\rho=1/2$, and $1/2<\rho<1$, but in each density region we find states which may be grouped into families, each of which is in natural correspondence with the set of all ergodic measures on $\{0,1\}^{\mathbb{Z}}$. For $\rho<1/2$ there is one such family, containing all the ergodic states in which the probability of two adjacent occupied sites is zero. For $\rho=1/2$ there are two families, in which configurations translate to the left and right, respectively, with constant speed 2. For the high density case there is a continuum of families. We show that all ETIS states at densities $\rho\le1/2$ belong to these families, and conjecture that also at high density there are no other ETIS states. We also study the possible ETIS states which might occur if the conjecture fails.