New Planar Algorithms and a Full Complexity Classification of the Eight-Vertex Model
arXiv:2602.11292v1 Announce Type: new Abstract: We prove a complete complexity classification theorem for the planar eight-vertex model. For every parameter setting in ${mathbb C}$ for the eight-vertex model, the partition function is either (1) computable in P-time for every graph, or (2) #P-hard for general graphs but computable in P-time for planar graphs, or (3) #P-hard even for planar graphs. The classification has an explicit criterion. In (2), we discover new P-time computable eight-vertex models on planar graphs […]