Exponential Convergence for the Fredrickson-Andersen One-Spin Facilitated Model

We prove exponential convergence to equilibrium for the Fredrickson-Andersen one-spin facilitated model on bounded degree graphs satisfying a subexponential, but larger than polynomial, growth condition. This was a classical conjecture related to non-attractive spin systems. Our proof relies on coupling techniques based on Harris graphical construction for interacting particle systems.