Consider a random coloring of a bounded domain in the bipartite graph Z^d with the probability of each color configuration proportional to exp(-beta*N(F)), where beta>0 (representing the inverse temperature) and N(F) is the number of nearest neighboring pairs colored by the same color. This is the antiferromagnetic 3-state Potts model from statistical physics, used to describe magnetic...