{"id":"07539842-4860-4722-8a8e-3e51400f567d","arxiv_id":"2509.04287","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For any finite-range repulsive multi-body potential, the Gibbs partition function is zero-free on the disk |λ| < 1/(eB_R), yielding analyticity of the pressure.","lead":"This paper proves an explicit disk of analyticity for the pressure of repulsive multi-body particle systems, with radius 1/(eB_R) where B_R is the volume of a ball of interaction range R. The bound improves prior criteria by a factor of two and is shown to be nearly optimal in full generality.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main analyticity proof appears sound, but the Appendix C 'essentially sharp' claim is not established: the constructed zeros are at O(log B_R/B_R), a log factor beyond the claimed 1/B_R order.","rationale":"The reader's verdict was CONDITIONAL due to a sign typo in Lemma 13. I agree the typo is real but do not view it as load-bearing: the statement of Lemma 13 is correct and the proof is readily fixable. The more substantive concern is that the appendix's sharpness claim is not supported by the cited zero location. However, this concern does not affect the correctness of the main theorem, which is a lower bound on the zero-free radius; it only affects the ancillary optimality claim. Therefore the verdict should remain CONDITIONAL (or, equivalently, unchanged from the reader's CONDITIONAL): the paper should qualify the 'essentially sharp' statement or supply a construction with zeros at O(1/B_R). I did not find an internal inconsistency in the proof of Theorem 14 itself; the contraction argument, the use of modified point densities, and the zero-free extension argument are all coherent.","tokens_in":17480,"tokens_out":39318,"duration_ms":378238,"concrete_test":"For a concrete family of k-uniform hypergraphs with maximum degree Δ (e.g., the k-uniform star with a center vertex in Δ edges), compute the modulus of the zero of the independence polynomial closest to the origin for Δ = 100, 1000, 10000. If the scaling is Θ(√(log Δ/Δ)) or Θ(log Δ/Δ) rather than Θ(1/Δ), then the cited O(log Δ/Δ) bound cannot be improved by this natural family, and Appendix C needs an additional construction to justify 'essentially sharp'. If some family indeed gives zeros at O(1/Δ), Proposition 18 can be strengthened and the sharpness claim would hold.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central lower bound (Theorem 14) is well supported: the recursion, contraction argument, and zero-free disk proof are internally consistent, apart from sign/typo issues in the proof of Lemma 13 that do not affect the truth of the lemma. The load-bearing weakness is instead in the advertised sharpness. Appendix C concludes that the order 1/B_R is 'essentially sharp' via Proposition 18, which relies on Theorem 20 (Zhang) to produce hypergraph independence polynomial zeros at vertex activities z_n = O(log Δ_n/Δ_n). The continuum mapping then gives λ_n = O(log B_R^{(n)}/B_R^{(n)}). Since log B_R^{(n)} → ∞, these zeros have modulus much larger than 1/B_R: they lie at radius ~log B_R/B_R, whereas the theorem guarantees a zero-free disk of radius ~1/(eB_R). To show the 1/B_R scaling is sharp, one needs zeros at radius Θ(1/B_R) (or at least (1+o(1))/(eB_R)). A zero at log B_R/B_R is consistent with a true zero-free radius as large as Θ(log B_R/B_R), so the 'essentially sharp' claim is not demonstrated. This does not invalidate Theorem 14, but it materially overstates the optimality of the result and should be qualified.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":17831,"tokens_out":8129,"duration_ms":88047,"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":[{"comment":"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","section":"Appendix C, Proposition 18 and §1.2.3"}],"minor_comments":[{"comment":"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.","section":"Proof of Lemma 13"},{"comment":"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'.","section":"Proof of Lemma 15"},{"comment":"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.","section":"Theorem 14"},{"comment":"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.","section":"Lemma 19"},{"comment":"Several typographical issues remain (e.g., 'gasses' in the introduction, and 'al YTICITY' in the header). A careful proofreading pass is recommended.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The main analyticity theorem appears sound and is a solid contribution. My concern is concentrated on the sharpness claim: as written, Proposition 18 does not demonstrate the advertised 'essentially sharp' scaling. This is fixable by rewording and qualifying the claim, but because the abstract and introduction prominently advertise sharpness, I recommend major revision rather than minor revision. If the authors are unwilling to weaken the sharpness claim, they would need a genuinely new construction with zeros at radius Θ(1/B_R)."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main result here is real. Theorem 14 gives a zero-free disk of radius 1/(eB_R) for the partition function of any repulsive finite-range multi-body potential, improving the prior 1/(2eB_R) criterion, and the proof is rigorous and mostly self-contained. The multi-body integral identity for modified point densities with partial pinning (Theorem 9) is genuinely new, and the contraction argument in Lemma 15 is clean. I checked the main steps; the logic holds. The typos in the proof of Lemma 13 (a missing minus sign and a stray dt in the displayed derivative) are cosmetic and don't affect the lemma's truth, but they should be fixed before publication.\n\nWhere the paper oversells is Appendix C. The construction via hypergraph independence polynomials produces zeros at lambda_n = O(log B_R^(n) / B_R^(n)), not at Theta(1/B_R). That's a log factor off. \"Essentially sharp\" would require zeros at radius (1+o(1))/(eB_R), or at least Theta(1/B_R). A zero at log B_R/B_R is perfectly consistent with a true zero-free radius of Theta(log B_R/B_R), so the optimality claim in the abstract and Section 1.2.3 is not demonstrated. This doesn't damage Theorem 14, but it does mean the paper's stated takeaway is stronger than the evidence supports. The appendix should either be reframed as a lower bound on what is possible with this method, or the authors need a sharper hypergraph result.\n\nI also note Assumption 3 (absolute continuity of distance pushforwards) is essential for the disintegrations in Lemma 5 and is satisfied in Euclidean space, so it's a natural restriction rather than a flaw. The discussion of open problems in Section 1.2.3 is honest and useful.\n\nOverall: the central analyticity theorem is a solid contribution worth citing. The sharpness claim is a genuine soft spot but it's in the appendix and doesn't undermine the main proof. I'd send this to a serious referee. The referee should ask the authors to qualify the sharpness statement and clean up the Lemma 13 proof, but the main result should survive.","headline":"Solid analyticity result with a new integral identity; the advertised sharpness in Appendix C is not actually established (log factor gap).","tokens_in":645,"tokens_out":1045,"would_cite":true,"duration_ms":23693,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B21","82B26","60G55"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Gibbs point processes","zero-free disk","multi-body potentials","repulsive interactions","analyticity of pressure","modified point densities","integral identity","hard-sphere gas"],"falsifier":"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.","tokens_in":17443,"feed_emoji":"⚛️","tokens_out":13318,"duration_ms":117832,"temperature":0.7,"pith_summary":"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.","feed_headline":"Proven: zero-free disk 1/(eB_R) for repulsive many-body gases","feed_subtitle":"The volume of a ball of interaction range R sets the radius of the zero-free disk.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the pair-potential integral identities for repulsive point processes whose recursion structure this paper generalizes to many-body potentials.","marker":"[16–18]"},{"why":"Gives the prior explicit bound |λ| ≤ (2eB_R)^{-1}, the baseline this paper improves by a factor of two.","marker":"[19]"},{"why":"Supplies the hypergraph independence-polynomial zero-location theorem used in Appendix C to show the radius 1/(eB_R) is essentially sharp.","marker":"[30]"}],"fun_headline_variants":["Zero-free disk radius 1/(eB_R) proven for repulsive gases","Sharp analyticity bound for many-body repulsive potentials","Recursive identity gives analyticity for finite-range repulsion","Better zero-free radius for Gibbs point processes"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Zero-free disk radius 1/(eB_R) proven for repulsive gases","Sharp analyticity bound for many-body repulsive potentials","Recursive identity gives analyticity for finite-range repulsion","Better zero-free radius for Gibbs point processes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000269,"raw_usage":{"total_tokens":1390,"prompt_tokens":607,"completion_tokens":783,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":351,"completion_tokens_details":{"reasoning_tokens":715}},"tokens_in":351,"tokens_out":783,"duration_ms":7173,"temperature":1.0,"reasoning_tokens":715,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T10:14:56.598694+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the prior explicit bound |λ| ≤ (2eB_R)^{-1}, the baseline this paper improves by a factor of two."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the hypergraph independence-polynomial zero-location theorem used in Appendix C to show the radius 1/(eB_R) is essentially sharp."}],"review_version":1}