Bridge the two approximation regimes for antiferromagnetic Ising models

Characterize how to bridge the gap between the parameter regime admitting an FPRAS established for antiferromagnetic Ising models on random regular bipartite graphs and the distinct non-uniqueness regime admitting an FPTAS on regular bipartite expanders.

Background

The paper establishes an FPRAS when the uniform external field satisfies a constant upper bound and the interaction parameters obey a weak-interaction condition of the form λ(1β)Δ1/2\lambda(1-\beta)\lesssim \Delta^{-1/2}. It contrasts this with the FPTAS of Geisler et al., which applies in a different non-uniqueness regime characterized by a lower-order condition involving (lnΔ)3/2(\ln \Delta)^{3/2} and powers of Δ\Delta. Because these parameter ranges do not coincide, the authors explicitly identify an unresolved gap between the available approximation results.

References

A gap remains between these parameter regimes.

An FPRAS for Antiferromagnetic Ising Models on Random Regular Bipartite Graphs  (2608.18612 - Li et al., 19 Aug 2026) in Section 1, subsection “Related works and discussion”