Abstract:We study the approximation complexity of the partition function of the eight-vertex model on general 4-regular graphs. For the first time, we relate the approximability of the eight-vertex model to the complexity of approximately counting perfect matchings, a central open problem in this field. Our results extend those in <a class="link-https" data-arxiv-id="1811.03126" href="https://arxiv.org/abs/1811.03126">arXiv:1811.03126</a> [cs.CC]. In a region of the parameter space where no previous approximation complexity was known, we show that approximating the partition function is at least as hard as approximately counting perfect matchings via approximation-preserving reductions. In another region of the parameter space which is larger than the previously known FPRASable region, we show that computing the partition function can be reduced to (with or without approximation) counting perfect matchings. Moreover, we give a complete characterization of nonnegatively weighted (not necessarily planar) 4-ary matchgates, which has been open for several years. The key ingredient of our proof is a geometric lemma. We also identify a region of the parameter space where approximating the partition function on planar 4-regular graphs is feasible but on general 4-regular graphs is equivalent to approximately counting perfect matchings. To our best knowledge, these are the first problems of this kind.

Orientable vertex imprimitive complete maps

Orientable Vertex Primitive Complete Maps

Mirror Principle: A Survey

Regular maps with primitive automorphism groups

Orientably-regular embeddings of complete multigraphs

Automatic continuity of pure mapping class groups

Mapping Classes Are Almost Determined by Their Finite Quotient Actions

A classification of prime-valent regular Cayley maps on some groups

Orientably-Regular $p$-Maps and Regular $p$-Maps

A classification of regular maps with Euler characteristic a negative prime cube

A bijection for nonorientable general maps

Derangements in Cosets of Primitive Permutation Groups

Basic Tetravalent Oriented Graphs of Independent-Cycle Type

Homomorphisms between pure mapping class groups

Combinatorics and topology of straightening maps I: compactness and bijectivity

634 vertex-transitive and more than non-vertex-transitive 27-vertex triangulations of manifolds like the octonionic projective plane

A Presentation of the Mapping Class Groups

Constraining mapping class group homomorphisms using finite subgroups

Degree One Maps on 4-Manifolds with Cyclic Fundamental Groups

Counting perfect matchings and the eight-vertex model

Biprimitive edge-transitive pentavalent graphs