Mixing for Poisson representable processes and consequences for the Ising model and the contact process
Stein Andreas Bethuelsen, Malin Palö Forsström
TL;DR
The paper provides a general framework to test whether Poisson representable (PR) processes can capture classical lattice models like the Ising model and the contact process. By proving a mixing characterization for PR processes with finite-set intensity, the authors show that in dimensions $d\geq 2$ the Ising plus state on $\mathbb{Z}^2$ and the upper invariant measure of the supercritical CP are not PR, answering open questions about the reach of PR. They further prove that non-extremal translation-invariant Ising states cannot be Poisson representable in $\mathbb{Z}^d$ for $d\geq 2$, and establish an $L^2$-convergence result for ergodic averages of PR processes, which implies constraints on bimodality. Additionally, they demonstrate that while the CP upper invariant measure fails spatial mixing, it exhibits a directional mixing property, enriching the understanding of mixing phenomena in these models. Altogether, the work delineates the limitations of the PR class in representing key phase-transition regimes of Ising and CP systems and provides tools to analyze mixing structure via Finite-set intensity and restriction-type arguments.
Abstract
Forsström et al. [8] recently introduced a large class of $\{0,1\}$-valued processes that they named Poisson representable. In addition to deriving several interesting properties for these processes, their main focus was determining which processes are contained in this class. In this paper, we derive new characteristics for Poisson representable processes in terms of certain mixing properties. Using these, we argue that neither the upper invariant measure of the supercritical contact process on $\mathbb{Z}^d$ nor the plus state of the Ising model on $\mathbb{Z}^2$ within the phase transition regime is Poisson representable. Moreover, we show that on $\mathbb{Z}^d$, $d\geq 2$, any non-extremal translation invariant state of the Ising model cannot be Poisson representable. Together, these results provide answers to questions raised in [8].
