Submodularity is easy to check; intuitively, taking the min or the max of two configurations tends to decrease the number of disagreeing spins. Then, depending on the graph Γ Γ and the value of β β , there could be one or more extremal Gibbs measures, see, e.g., Georgii, Häggström & Maes (2001) and Lyons (2000).