A near-optimal zero-free disk for the Ising model

The partition function of the Ising model of a graph G = (V, E) is defined as Z_Ising (G; b) =^∑σ:V →{0,1}^bm(σ), where m(σ) denotes the number of edges e = {u, v} such that σ(u) = σ(v). We show that for any positive integer ∆ and any graph G of maximum degree at most ∆, Z_Ising (G; b) ≠ 0 for all b ∈ C satisfying |^b−1 b+1^{|⩽ 1−o}∆(1) ∆−1 (where o_∆ (1) → 0 as ∆ → ∞). This is optimal in the sense that^1−o∆(1) cannot be replaced by for any constant c > 1 subject to a complexity theoretic assumption. To prove our result we use a standard reformulation of the partition function of the Ising model as the generating function of even sets. We establish a zero-free disk for this generating function inspired by techniques from statistical physics on partition functions of polymer models. Our approach is quite general and we discuss extensions of it to certain types of polymer models. ∆−1.