The supercritical phase of the $\varphi^4$ model is well behaved

In this article, we analyse the $\varphi^4$ model on $\mathbb Z^d$ in the supercritical regime $\beta > \beta_c$. We consider a random cluster representation of the $\varphi^4$ model, which corresponds to an Ising random cluster model on a random environment. We prove that the supercritical phase of this percolation model on $\mathbb Z^d$ ($d\geq 2$) is well behaved in the sense that, for every $\beta>\beta_c$, local uniqueness of macroscopic clusters occurs with high probability, uniformly in the boundary conditions. This result provides the basis for renormalisation techniques used to study several fine properties of the supercritical phase. As applications, we prove surface order exponential bounds for the (lower) large deviations of the empirical magnetisation as well as for the spectral gaps of dynamical $\varphi^4$ models in the entire supercritical regime.