Exponential convergence for the Fredrikson-Andersen one spin facilitated model

We prove exponential convergence to equilibrium for the Fredrikson-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 rely on coupling techniques based on Harris graphical construction for interacting particle systems.