Coordination three heals, coordination four is hard: the antiferromagnetic Potts model with a costly third state
We study the ground states of the antiferromagnetic three-state Potts model in which the third state carries a single-ion energy cost $D_3$, on arbitrary lattices, and show that the difficulty of the ground-state problem is controlled by the maximum coordination $Δ$ alone; on planar lattices with $Δ\le5$ it is classified completely. On lattices with coordination at most three the third state heals frustrated bonds one for one: every graph of maximum degree three other than $K_4$ has an independent set of sites that meets every odd cycle and whose size equals the number $\operatorname{fr}$ of frustrated bonds of the Ising ground state. This identity also follows from known results on the chromatic vertex stability of graphs; we give a constructive proof. Hence $E_0 (D_3)=\min(D_3,1) \operatorname{fr}$ for all $D_3$, computable in polynomial time on planar lattices. In graph-theoretic terms, independent odd cycle transversal is solvable in polynomial time on planar subcubic graphs. On planar lattices with maximum coordination four, in contrast, deciding the ground-state energy is NP-complete for every fixed $0\le D_3<2$ and polynomial for $D_3\ge2$. The boundary is set by a local principle: a site of coordination $d$ in the third state relieves at most $\lfloor d/2\rfloor$ frustrated bonds, so the third state is useless once $D_3\ge\lfloorΔ/2\rfloor$; this threshold is sharp for every $Δ\ge3$ and reproduces the triangular-lattice point $D_3^*=3$ of the equivalent spin-1 Blume--Capel antiferromagnet. From a single Ising ground state the proof builds an exact ground state in polynomial time, which for quasicrystalline, foam-like and defective lattices with thousands of sites takes seconds to minutes.