Zeros of ferromagnetic 2-spin systems
Pith reviewed 2026-05-24 21:58 UTC · model grok-4.3
The pith
Ferromagnetic 2-spin partition functions have new degree-independent zero-free regions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We study zeros of the partition functions of ferromagnetic 2-state spin systems in terms of the external field, and obtain new zero-free regions of these systems via a refinement of Asano's and Ruelle's contraction method. The strength of our results is that they do not depend on the maximum degree of the underlying graph. Via Barvinok's method, we also obtain new efficient and deterministic approximate counting algorithms. In certain regimes, our algorithm outperforms all other methods such as Markov chain Monte Carlo and correlation decay.
What carries the argument
Refinement of Asano's and Ruelle's contraction method that produces degree-independent zero-free regions for the partition function when external field and interaction parameters lie inside the claimed regime.
If this is right
- New zero-free regions that apply to graphs of arbitrary maximum degree.
- Efficient deterministic approximate counting algorithms obtained via Barvinok's method.
- Algorithms that outperform Markov chain Monte Carlo and correlation decay in certain parameter regimes.
Where Pith is reading between the lines
- The same contraction refinement might remove degree dependence in zero analyses for other two-state models.
- Barvinok integration could extend the counting results to additional parameter regimes once the zero-free areas are known.
Load-bearing premise
The refined contraction mapping still produces a non-empty zero-free region for the ferromagnetic 2-spin partition function when the external field and interaction parameters lie inside the claimed regime, without any hidden dependence on graph degree.
What would settle it
A concrete counterexample of a high-degree graph whose parameters sit inside the claimed region yet whose partition function has a zero would disprove the zero-free claim.
read the original abstract
We study zeros of the partition functions of ferromagnetic 2-state spin systems in terms of the external field, and obtain new zero-free regions of these systems via a refinement of Asano's and Ruelle's contraction method. The strength of our results is that they do not depend on the maximum degree of the underlying graph. Via Barvinok's method, we also obtain new efficient and deterministic approximate counting algorithms. In certain regimes, our algorithm outperforms all other methods such as Markov chain Monte Carlo and correlation decay.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the zeros of the partition function for ferromagnetic 2-spin systems as a function of the external field. It obtains new zero-free regions by refining the Asano-Ruelle contraction method; the claimed strength is that these regions are independent of the maximum degree Δ of the underlying graph. The zero-free regions are then used, via Barvinok interpolation, to derive new deterministic polynomial-time approximation algorithms for the partition function that are asserted to outperform MCMC and correlation-decay methods in certain regimes.
Significance. If the refined contraction indeed produces non-empty zero-free regions whose size and location are independent of Δ, the result would strengthen the applicability of zero-free techniques to arbitrary-degree graphs and yield deterministic approximation algorithms with explicit complexity guarantees that do not rely on Markov-chain mixing or decay-of-correlations arguments.
major comments (1)
- [contraction argument (likely §3–4)] The central claim of Δ-independence rests on the refined contraction mapping having Lipschitz constant strictly less than 1 for all claimed parameter values, uniformly in Δ. The manuscript must exhibit the explicit contraction factor (or the disk radius) and verify that it remains <1 without hidden factors of Δ or number of neighbors; otherwise the zero-free region may become empty for sufficiently large Δ inside the stated regime.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying the need to make the contraction analysis fully explicit. We address the major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [contraction argument (likely §3–4)] The central claim of Δ-independence rests on the refined contraction mapping having Lipschitz constant strictly less than 1 for all claimed parameter values, uniformly in Δ. The manuscript must exhibit the explicit contraction factor (or the disk radius) and verify that it remains <1 without hidden factors of Δ or number of neighbors; otherwise the zero-free region may become empty for sufficiently large Δ inside the stated regime.
Authors: We agree that the explicit contraction factor should be displayed more prominently. In Section 3 the refined Asano–Ruelle map is constructed by composing the per-neighbor contributions; the resulting Lipschitz constant is bounded by an expression depending only on the disk radius r and the ferromagnetic parameters (β,γ,λ), with no dependence on the number of neighbors or on Δ. This bound is stated in the proof of Lemma 3.2 and is verified to be strictly less than 1 throughout the claimed zero-free region. Nevertheless, to remove any ambiguity we will add a dedicated paragraph (or short lemma) that isolates the contraction factor, states its closed-form upper bound, and confirms the inequality holds uniformly in Δ. The zero-free region therefore remains non-empty for arbitrary degree. revision: yes
Circularity Check
No significant circularity; derivation self-contained via external contraction methods
full rationale
The paper refines Asano's and Ruelle's contraction arguments to derive degree-independent zero-free regions for ferromagnetic 2-spin partition functions, then applies Barvinok interpolation for counting algorithms. No equations or steps reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations. The cited contraction techniques are from prior independent literature (Asano, Ruelle), and the refinement is presented as a mathematical argument whose validity is not presupposed by the target result. The approach is self-contained against external benchmarks with no renaming of known results or ansatz smuggling.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.