Pith. sign in

REVIEW 1 major objections 5 minor 30 references

Simple analyticity criteria for repulsive multi-body potentials

T0 review · 1 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For any repulsive, finite-range multi-body potential, the partition function is zero-free and the pressure analytic on the activity disk |λ| < 1/(eB_R), where B_R is the volume of a ball of radius R.

desk verdict Solid analyticity result with a new integral identity; the advertised sharpness in Appendix C is not actually established (log factor gap). read the letter →

arxiv 2509.04287 v1 pith:2UIE2NWG submitted 2025-09-04 math-ph math.MPmath.PR

Tyler Helmuth , Marcus Pappik , Will Perkins This is my paper · ORCID
classification math-phmath.MPmath.PR MSC 82B2182B2660G55
keywords Gibbspointprocesseszero-freediskmulti-bodypotentialsrepulsiveinteractionsanalyticityofpressuremodifieddensitiesintegralidentityhard-spheregas
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves an explicit zero-free disk for the partition functions of Gibbs point processes with repulsive, finite-range multi-body interactions: whenever |λ| < 1/(eB_R), where B_R is the maximum volume of a ball of radius R, the logarithm of the partition function is bounded by a constant times the volume of the region. The bound is uniform over all such potentials, so the same disk applies to k-body hard spheres for every k, and within the disk the limiting pressure is analytic, meaning no phase transition can occur. The radius improves the best previously known explicit criterion by a factor of two, and an appendix shows the order 1/B_R is essentially sharp in this generality: there are repulsive range-R potentials whose partition functions have zeros at activities of order log(B_R)/B_R. The key ingredient is a recursive integral identity for modified point densities that extends earlier pair-potential identities to many-body potentials and yields uniform bounds through a contraction argument.

What carries the argument

The load-bearing object is the modified k-point density κ_{Λ,φ,λ}(x) = λ^k Z_{Λ,φ}(λ | x)/Z_{Λ,φ}(λ), where φ(·|x) is the potential with the particles x pinned into the interaction; the same object also appears for partial pinnings, in which the pinning at y is applied only to configurations whose D-value (D(w)=Σ d(z,w_i), the sum of distances to a fixed reference point z) is smaller than the D-value of the tuple being integrated. Assumption 3 (no atoms in distance distributions) ensures that D orders all sub-tuples of a configuration almost surely, so the ordering '≺' is total and the volume measure disintegrates over levels of D. The main identity (Theorem 9) expresses κ(y) as λ times a co

What would settle it

Compute the partition function of the k-body hard-sphere gas (or any repulsive finite-range potential) in a Euclidean box at a complex activity λ0 inside |λ| < 1/(eB_R); finding a zero would refute the claimed zero-free disk. The paper's Appendix C suggests zeros first appear at activities of order log(B_R)/B_R, so a numerical search just inside the boundary of the purported disk would be the decisive test.

Watch

Extended reading notes

Core claim

The central discovery is a contraction-based proof that, on a metric measure space satisfying a mild smoothness condition on the distance distribution, any repulsive potential of finite range R has modified point densities satisfying a recursive integral identity. Iterating that identity for |λ| ≤ (1−ε)/(eB_R) forces every modified k-point density to stay within B_R^{−k} uniformly in the potential. A second identity then writes log Z_{Λ,φ}(λ) as an integral of modified one-point densities over the region Λ, giving |log Z_{Λ,φ}(λ)| ≤ C ν(Λ) for every bounded measurable Λ. Consequently the limiting pressure is analytic on the open disk |λ| < 1/(eB_R) and no phase transition occurs there. An ap

Load-bearing premise

The proof requires that no positive volume of space lies at an exact distance from any fixed point, so that the ordering functional D never has to break ties; without this smoothness the recursive integral identity is not established.

Editorial extensions

If this is right

  • All repulsive finite-range potentials share the disk |λ| < 1/(eB_R), regardless of how many bodies interact at once; in particular, the k-body hard-sphere gas has the same zero-free disk for every k.
  • Within that disk the partition function never vanishes, so the limiting pressure is analytic and no phase transition can occur, uniformly along any van Hove sequence.
  • The explicit radius improves the previously known explicit bound for many-body potentials by a factor of two, from 1/(2eB_R) to 1/(eB_R).
  • The radius is essentially optimal for the full class of repulsive finite-range potentials: there exist such potentials with zeros at activities of order log(B_R)/B_R, so further progress for specific models must exploit geometry or softness of interactions.
  • The proof gives uniform bounds B_R^{−k} on all modified point densities in the disk, providing quantitative control of the k-point correlation functions throughout the analyticity region.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • On spaces where Assumption 3 fails—such as lattice models with atomic volume measures—an analogous recursion might be recovered by randomizing the reference point z or by perturbing the ordering D to break ties; the paper does not treat this case, but the identity's proof suggests the obstruction is purely the tie-breaking and disintegration step.
  • The sharpness construction maps continuum repulsive potentials to hypergraph independent-set polynomials, so the discrete hard-core model on hypergraphs is likely the source of extremal examples for universal analyticity disks; in contrast, structured Euclidean models such as k-body hard spheres may have strictly larger zero-free disks for k ≥ 3, consistent with the intuition that three-body const
  • A direct testable extension is to seek larger complex domains on which the same integral identity is a contraction, following the program already developed for pair potentials; success would enlarge the analyticity region beyond the disk without improving the universal radius, and would also give quantitative correlation-decay bounds below the zero-free threshold.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 5 minor

Summary. The paper proves an explicit lower bound on the radius of a zero-free disk for the partition functions of repulsive, finite-range many-body potentials. Working on a metric measure space satisfying Assumption 3, the authors introduce modified point densities, prove a multi-body integral identity (Theorem 9) via partial pinning and disintegration, and then establish a contraction estimate (Lemma 15). This yields Theorem 14: for |λ| < 1/(eB_R), the finite-volume partition function is non-zero and |log Z_{Λ,φ}(λ)| ≤ C ν(Λ), so the infinite-volume pressure is analytic on this disk. The paper also claims in the abstract and in §1.2.3 that this bound is essentially sharp, using a construction in Appendix C based on zeros of hypergraph independence polynomials.

Significance. If correct, Theorem 14 is a clean, parameter-free analyticity criterion that improves the previous factor-two gap in Kirkwood-Salsburg/Moraal-type bounds and extends the Michelen–Perkins recursion to multi-body interactions. The proof is largely self-contained, and the central contraction argument is rigorous and elegant. The paper also makes a useful connection between continuum Gibbs point processes and hypergraph independence polynomials. However, the advertised sharpness statement is not established at the claimed scale: the construction in Appendix C only produces zeros at distance O(log B_R/B_R), not at Θ(1/B_R), so the claim that the 1/B_R scaling is essentially optimal is an overstatement.

major comments (1)
  1. [Appendix C, Proposition 18 and §1.2.3] The sharpness claim is not supported by the stated construction. Proposition 18 is obtained by combining Lemma 19 with Zhang's theorem (Theorem 20), which gives hypergraph independence-polynomial zeros at vertex activities z_n = O(log Δ_n/Δ_n). Lemma 19 maps these to continuum partition-function zeros at λ_n = log(1 - z_n) = O(log B_R^{(n)}/B_R^{(n)}), since B_R^{(n)} = Δ_n + 1. This places the zeros at a radius that is a factor log B_R^{(n)} away from the theorem's 1/(eB_R^{(n)}) zero-free disk. Indeed, B_R^{(n)} · (log B_R^{(n)}/B_R^{(n)}) = log B_R^{(n)} → ∞. Thus the construction is consistent with a zero-free disk of radius as large as Θ(log B_R/B_R), and it does not demonstrate that the order 1/B_R is sharp. The abstract and §1.2.3 should be revised: either provide a construction with zeros at Θ(1/B_R) (or at least at (1+o(1))/(eB_R)), or explicitly state that the bound is sharp on
minor comments (5)
  1. [Proof of Lemma 13] The displayed derivative is missing a minus sign and contains a stray 'dt'. The subsequent algebra suggests the intended identity is log Z = ∫ e^{-φ(x)} κ(x) dx, which is consistent with the final line, but the intermediate display should be corrected.
  2. [Proof of Lemma 15] In the definition of the modified potential, '|w| ≤ N' is ambiguous: |w| appears to mean the arity of the tuple w, not a distance. This should be stated explicitly. Also, the sentence 'if |w| ≤ N' should likely read 'if the arity of w is at most N'.
  3. [Theorem 14] The statement assumes B_R = sup_x ν(B_x(R)) is finite, since otherwise 1/(eB_R) is undefined. This hypothesis should be stated explicitly. In the Euclidean setting of Theorem 1 it is automatic, but in the full generality of Theorem 14 it is not.
  4. [Lemma 19] The notation ⌊x⌋/2 is ambiguous at integer endpoints of the intervals [2j, 2j+1]. Using half-open intervals or a convention for the value at endpoints would remove the ambiguity.
  5. [General] Several typographical issues remain (e.g., 'gasses' in the introduction, and 'al YTICITY' in the header). A careful proofreading pass is recommended.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity in the main derivation; Appendix C sharpness claim is overstated (log factor) but not circular.

full rationale

The main analyticity result (Theorem 14) is proved from first principles and does not reduce to its inputs. The modified point densities are defined as ratios of partition functions (Eq. 2), and the integral identity (Theorem 9) is derived directly from the partition function definition using the ordering/disintegration lemmas (Lemmas 4, 5), the fundamental theorem of calculus (Lemma 10), and the inclusion-exclusion identity (Lemma 12). The contraction argument (Lemma 15) is an induction over truncated integrals using only repulsiveness and finite range, and Theorem 14's t* bootstrap uses standard equicontinuity (Lemma 8) and Lemma 13 to enlarge the zero-free region; it does not presuppose the desired disk. Citations to the authors' prior work (Michelen-Perkins, Helmuth-Perkins-Petti) are inspirational/contextual only; the integral identity used here is re-proved in the paper, so no load-bearing claim rests on a self-citation. External hypergraph results, including Theorem 20 of Zhang, are used only in Appendix C for the sharpness construction and are independent evidence. The only substantive issue is that Appendix C's Proposition 18 concludes that the 1/B_R radius is 'essentially sharp,' but the zeros supplied by Theorem 20 have modulus O(log B_R/B_R), a log factor larger than the theorem's 1/(eB_R). Thus the optimality claim is overstated, but this is a correctness/quantitative issue, not circularity: the construction does not make Theorem 14's conclusion equivalent to its hypotheses. No circular step in the derivation chain was found.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no free parameters and no invented entities. It relies on Assumption 3, the stated repulsiveness and finite-range assumptions, standard measure-theoretic tools, and one external theorem for the sharpness construction.

assumptions (5)
  • domain assumption Assumption 3: for each x, the push-forward of ν under y ↦ d(x,y) is absolutely continuous with respect to Lebesgue measure.
    Used in Lemma 4 to ensure the ordering D induces a strict total order almost surely and in Lemma 5 for the disintegration needed to differentiate partition functions.
  • domain assumption Potentials are symmetric, repulsive (φ_k ≥ 0), and have finite range R.
    Repulsiveness guarantees convergence of the partition function, e^{-H} ≤ 1, and the volume bound in Lemma 15; finite range gives the B_R^k volume bound.
  • domain assumption ν is locally finite.
    Needed for the partition function to be well-defined.
  • domain assumption Theorem 20 of Zhang (2025) on zeros of hypergraph independence polynomials.
    Used in the sharpness construction (Proposition 18), not in the main theorem.
  • standard math Disintegration theorem, the fundamental theorem of calculus for complex-valued absolutely continuous functions, and standard generating function identities.
    These background tools are used in the proofs of Lemma 5, Lemma 10, and Lemma 19.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Simple analyticity criteria for repulsive multi-body potentials." pith.science (2026). https://pith.science/paper/2UIE2NWG

@misc{pith2026250904287,
  author       = {Pith},
  title        = {Pith review of: Simple analyticity criteria for repulsive multi-body potentials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2UIE2NWG}},
  note         = {Machine review of arXiv:2509.04287}
}
read the original abstract

We prove a simple, explicit lower bound on the radius of a zero-free disk for Gibbs point processes defined by finite-range, repulsive multi-body interactions. Our lower bound improves on those previously known, and we demonstrate that it is essentially sharp in the generality with which our arguments apply. The key ingredient is a multi-body generalization of integral identities for point densities of Gibbs point processes in the spirit of earlier work of Michelen and Perkins.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 29 canonical work pages

  1. [1]

    Bencs and P

    F. Bencs and P. Buys. Optimal zero-free regions for the independence polynomial of bounded degree hypergraphs. Random Structures & Algorithms, 66(4):e70018, 2025

    work page 2025

  2. [2]

    Bez´ akov´ a, A

    I. Bez´ akov´ a, A. Galanis, L. A. Goldberg, H. Guo, and D. Stefankovic. Approximation via correlation decay when strong spatial mixing fails. SIAM Journal on Computing, 48(2):279–349, 2019

    work page 2019

  3. [3]

    D. Brydges. A short course on cluster expansions. In K. Osterwalder and R. Stora, editors, Critical Phenomena, Random Systems, Gauge Theories, pages 129–183. Elsevier/North-Holland, Amsterdam, 1986. Les Houches Summer School

    work page 1986

  4. [4]

    J. B. Conway. Functions of one complex variable I, volume 11. Springer Science & Business Media, second edition, 1978

    work page 1978

  5. [5]

    G. B. Folland. Real analysis: modern techniques and their applications. John Wiley & Sons, 1999

    work page 1999

  6. [6]

    Galvin, G

    D. Galvin, G. McKinley, W. Perkins, M. Sarantis, and P. Tetali. On the zeroes of hypergraph independence polynomials. Combinatorics, Probability and Computing, 33(1):65–84, 2024

    work page 2024

  7. [7]

    Gielerak

    R. Gielerak. On the Mayer-Lee-Yang hypothesis for a class of continuous systems. Journal of Physics A: Math- ematical and General, 22(1):71, 1989

    work page 1989

  8. [8]

    Greenberg

    W. Greenberg. Thermodynamic states of classical systems. Communications in Mathematical Physics, 22:259– 268, Dec. 1971

    work page 1971

Show all 30 references
  1. [9]

    Helmuth, W

    T. Helmuth, W. Perkins, and S. Petti. Correlation decay for hard spheres via markov chains. The Annals of Applied Probability, 32(3):2063–2082, 2022

  2. [10]

    Hermon, A

    J. Hermon, A. Sly, and Y. Zhang. Rapid mixing of hypergraph independent sets. Random Structures & Algo- rithms, 54(4):730–767, 2019

    2019

  3. [11]

    Hukushima and W

    K. Hukushima and W. Krauth. Damage spreading and coupling in spin glasses and hard spheres. Frontiers in Physics, 12:1507250, 2025

    2025

  4. [12]

    S. Lang. Complex analysis, volume 103. Springer Science & Business Media, fourth edition, 2013

    2013

  5. [13]

    Liu and P

    J. Liu and P. Lu. FPTAS for counting monotone CNF. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1531–1548. SIAM, 2014

    2014

  6. [14]

    J. Liu, C. Wang, Y. Yin, and Y. Yu. Phase transitions via complex extensions of Markov chains. In Proceedings of the 57th Annual ACM Symposium on Theory of Computing, pages 903–914, 2025

    2025

  7. [15]

    E. Meeron. Bounds, successive approximations, and thermodynamic limits for distribution functions, and the question of phase transitions for classical systems with non-negative interactions. Physical Review Letters, 25(3):152, 1970

    1970

  8. [16]

    Michelen and W

    M. Michelen and W. Perkins. Strong spatial mixing for repulsive point processes. Journal of Statistical Physics, 189(1):9, 2022

    2022

  9. [17]

    Michelen and W

    M. Michelen and W. Perkins. Analyticity for classical gasses via recursion. Communications in Mathematical Physics, 399(1):367–388, 2023

    2023

  10. [18]

    Michelen and W

    M. Michelen and W. Perkins. Potential-weighted connective constants and uniqueness of Gibbs measures. Com- munications in Mathematical Physics, 406(32), 2025

    2025

  11. [19]

    H. Moraal. The Kirkwood-Salsburg equation and the virial expansion for many-body potentials. Physics Letters A, 59(1):9–10, 1976

    1976

  12. [20]

    J. P. Neumann. A multi-body Dobrushin-Sokal criterion–part I. arXiv preprint arXiv:2508.12078, 2025

    2025 arXiv

  13. [21]

    Procacci and B

    A. Procacci and B. Scoppola. The gas phase of continuous systems of hard spheres interacting via n-body potential. Communications in Mathematical Physics, 211:487–496, 2000

    2000

  14. [22]

    Rebenko and G

    A. Rebenko and G. Shchepan’uk. The convergence of cluster expansion for continuous systems with many-body interaction. Journal of Statistical Physics, 88:665–689, 1997

    1997

  15. [23]

    A. L. Rebenko. Polymer expansions for continuous classical systems with many-body interaction. Methods Funct. Anal. Topology, 11:73–87, 2005

    2005

  16. [24]

    W. Rudin. Real and complex analysis. McGraw-Hill, Inc., 1987

    1987

  17. [25]

    D. Ruelle. Statistical mechanics: Rigorous results. World Scientific, 1969

    1969

  18. [26]

    A. D. Scott and A. D. Sokal. The repulsive lattice gas, the independent-set polynomial, and the Lov´ asz local lemma. Journal of Statistical Physics, 118(5):1151–1261, 2005

    2005

  19. [27]

    J. B. Shearer. On a problem of Spencer. Combinatorica, 5(3):241–245, 1985

    1985

  20. [28]

    Ueltschi

    D. Ueltschi. An improved tree-graph bound. Technical Report –, Oberwolfach Rep. 14, Mathematisches Forschungsinstitut Oberwolfach, Germany, May 2017

    2017

  21. [29]

    D. Weitz. Counting independent sets up to the tree threshold. In Proceedings of the thirty-eighth annual ACM symposium on Theory of computing, pages 140–149, 2006

    2006

  22. [30]

    S. Zhang. Hypergraph independence polynomials with a zero close to the origin. Combinatorics, Probability and Computing, pages 1–5, 2025. 14 TYLER HELMUTH, MARCUS PAPPIK, AND WILL PERKINS Appendix A. Proof of Lemma 4 Proof of Lemma 4. For part (1) symmetry is immediate. Measur...

    2025

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.