Zero-freeness transfer to a neighborhood of the Ising points

At least 1 year old · documented by

Fix a nonzero parameter λ\lambda, and let ZGσΛ(β)Z^{\sigma_\Lambda}_{G}(\beta) denote the partition function of the Ising model with boundary condition σΛ\sigma_\Lambda. Suppose it is zero-free on a complex region UU. Ising zero-freeness transfer conjecture. There exists a complex neighborhood U′U' of 11 or −1-1 such that U⊆U′U\subseteq U' and ZGσΛ(β)Z^{\sigma_\Lambda}_{G}(\beta) is zero-free on U′U'. This specializes the proposed zero-freeness principle to the Ising model, whose relevant special points are 11 and −1-1. The source gives no evidence of resolution, so the conjecture remains open.

References

Primary source

Shuai Shao and Xiaowei Ye, “Strong Spatial Mixing for General 2-Spin Systems: A Unified Approach from Zero-Freeness”, arXiv:2401.09317 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.