Følner Independence and the amenable Ising model

Abstract

AbstractWe define a criterion called Følner Independence for a stationary process over an amenable group. Intuitively, a process satisfies the criterion if, for sufficiently invariant Følner sets, the process in the Følner set is nearly independent of the process outside. We show that Følner Independence implies Finitely Determined. As an application, we show that, in its extreme Gibbs states, the amenable attractive Ising model is Følner Independent (hence Finitely Determined, hence Bernoulli).