Zero-freeness transfer to a neighborhood of the Ising points

From papers

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 UU' of 11 or 1-1 such that UUU\subseteq U' and ZGσΛ(β)Z^{\sigma_\Lambda}_{G}(\beta) is zero-free on UU'. 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.

Progress summary

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

Sources & referencesView supporting material

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).

Solutions 0

No solutions have been posted yet.