{"id":"64be8336-a6fa-4751-b024-6a3ce50863bc","arxiv_id":"2607.26975","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Away from Lee–Yang zeros, thermodynamic limit and µ-differentiation commute for continuum classical gases, so limiting density and variance are boundary-condition independent.","lead":"If Lee–Yang zeros stay away from a real fugacity, finite-volume pressure derivatives (including density and particle-number variance) converge to those of the infinite-volume pressure, independently of boundary conditions. This ties phase-transition zeros to whether compressibility is the same across coexisting Gibbs measures.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly identified both the strongest claim and the genuine external hypothesis (zero-freeness). The argument is standard and self-contained once that hypothesis is granted; the partition-function bounds, admissibility, and appendices check out. No load-bearing internal flaw appears, so the ACCEPT verdict and low correctness risk stand.","tokens_in":14044,"tokens_out":407,"duration_ms":8004,"concrete_test":"Re-derive the holomorphic branch of |Λ|^{-1} log Ξ on B_δ(z_0) from the series definition (1) and the coefficient bound of Lemma 2.1, then apply Vitali’s theorem exactly as written on p. 6; confirm that the resulting limit is independent of the particular sequence of cubes and of b inside any admissible class satisfying the same zero-free disk.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 1.1) is a carefully conditional complex-analysis statement: under admissibility of the BC class (uniform upper bound (9) on |Λ|^{-1} log Ξ) and a fixed zero-free disk B_δ(z_0) for all large cubes, Vitali plus Cauchy estimates give local-uniform convergence of all derivatives of the finite-volume pressure to those of the common thermodynamic pressure. The proof (Lemma 2.1 + Borel–Carathéodory + Vitali + Cauchy on p. 6) is elementary and appears correct; the appendices correctly extend the partition-function bound to the Procacci–Yuhjtman and Ruelle tempered classes under super-stability. The zero-free hypothesis is external and explicitly flagged in §4; it is the standard input of the Lee–Yang program and does not create an internal gap. No hidden assumption on uniqueness of Gibbs measures or on the rate of zero approach is required for the stated theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper studies classical continuum particles in the grand canonical ensemble with stable, tempered, lower-regular pair potentials. For admissible boundary conditions (uniformly bounded density in the main text; Procacci–Yuhjtman and Ruelle tempered classes under super-stability in the appendices), it proves that if the Lee–Yang zeros of Ξ(·; Λ_L, b) stay outside a fixed disk B_δ(z_0) about a real fugacity z_0 > 0 for all large cubes, then the finite-volume pressure admits a holomorphic branch there, converges locally uniformly to the common thermodynamic pressure p, and all derivatives ∂_z^n p(·; Λ_L, b) converge uniformly on a smaller disk to ∂_z^n p (Theorem 1.1). In particular the density and particle-number variance per unit volume converge to β^{-1}∂_µ p and β^{-2}∂²_µ p, independently of any boundary condition that satisfies the zero-free hypothesis. The argument combines a uniform partition-function bound (Lemma 2.1 / A.1 / B.1), Borel–Carathéodory local boundedness, Vitali’s theorem, and Cauchy estimates.","tokens_in":14254,"tokens_out":857,"duration_ms":49127,"significance":"The result cleanly links the classical Lee–Yang picture of phase transitions to the commutation of thermodynamic limit and differentiation for all derivatives of the pressure, and therefore to the boundary-condition independence of the limiting compressibility. It strengthens the non-hyperuniformity theorems of Ginibre and of Dereudre–Flimmel by showing that, wherever zeros are known to stay away from the real axis, coexisting phases share the same limiting variance per unit volume. The proof is elementary, self-contained, and correctly extended to the unbounded-density classes of Procacci–Yuhjtman and Ruelle under super-stability. The zero-free hypothesis is external and explicitly flagged; the paper therefore supplies a sharp conditional theorem rather than a circular claim, and it correctly identifies the regimes (cluster expansions, circle theorem, Pirogov–Sinai) where the hypothesis is already available.","major_comments":[],"minor_comments":[{"comment":"Page 4, line after (9): “Appenix B” should be “Appendix B”.","section":"Introduction"},{"comment":"Theorem 1.1 statement mixes “b ∈ B_ρ̄” with the more general admissible class B. A single sentence clarifying that the main-text proof is written for B_ρ̄ while the appendices verify admissibility for B*_g and tempered BC would remove a small notational friction.","section":"Theorem 1.1"},{"comment":"In the display after Lemma 2.1 the limit arrow is written with a broken underbrace (“|Λ|→∞ − − − − − →”); a standard \\xrightarrow or \\to notation would improve readability.","section":"§2"},{"comment":"Remark 2.1 correctly notes that convexity alone gives first-derivative convergence away from first-order transitions. Cross-referencing this remark from the discussion of hyperuniformity in the introduction would help readers who care only about density (not variance).","section":"Remark 2.1 / Introduction"},{"comment":"References [10] and [42] are cited as “published online” / “arXiv preprint”; once final bibliographic data are available they should be updated.","section":"References"}],"recommendation":"accept","confidential_remarks":"The manuscript is short, technically clean, and appropriate for a mathematical-physics journal. The conditional nature of the theorem is a feature, not a bug; the authors are transparent about it in §4. I see no novelty or citation concerns. Accept as is (or with purely cosmetic copy-edits) is justified."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"Punchline: if the Lee–Yang zeros stay a fixed distance from a real fugacity z0 for large cubes, then every µ-derivative of the finite-volume pressure converges uniformly near z0 to the corresponding derivative of the common thermodynamic pressure, and that limit does not depend on the boundary condition. Density and particle-number variance per volume are the n=1,2 cases.\n\nWhat is actually new is the continuum packaging, not the complex analysis. Once you have a uniform partition-function bound (their Lemma 2.1 for bounded-density BC; appendices for Procacci–Yuhjtman and Ruelle tempered under superstability) and a common real pressure, Borel–Carathéodory plus Vitali plus Cauchy estimates do the rest. That engine is standard. The payoff is the precise statement that the limiting compressibility is the same for every admissible BC that keeps the zeros away, which sharpens the Ginibre / Dereudre–Flimmel non-hyperuniformity picture: not only is the variance extensive, the volume coefficient is shared across coexisting phases in the analytic regime.\n\nThey are honest about the soft spot. Zero-freeness is an external hypothesis; they do not locate zeros and only recover the known regimes (low fugacity, Lee–Yang circle, high-fugacity hard-core lattice via Pirogov–Sinai). Remark 2.1 correctly notes that the first derivative is cheaper by convexity alone. No circularity, no hidden uniqueness assumption, citations look right.\n\nThis is for people who already care about rigorous continuum Gibbs measures, fluctuations, and Lee–Yang geometry. Not a foundational rewrite, but a solid, checkable theorem with clean appendices. I would send it to referees without hesitation.","headline":"Clean conditional theorem: zero-free disks give BC-independent limiting variance and full derivative commutation in continuum GC ensembles.","tokens_in":14850,"tokens_out":445,"would_cite":true,"duration_ms":16151,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B21","82B26","82B05"],"pacs":[],"model":"grok-4.5","headline":"If Lee–Yang zeros stay clear of a real fugacity, every derivative of the finite-volume pressure converges to the thermodynamic one, independently of boundary condition.","keywords":["Lee-Yang zeros","grand canonical ensemble","particle-number fluctuations","thermodynamic limit","boundary conditions","classical continuum gases","compressibility","hyperuniformity"],"falsifier":"Exhibit an admissible continuum system and a real fugacity at which the thermodynamic pressure is smooth, yet the finite-volume particle-number variance per volume either fails to converge to the second derivative of that pressure or converges to different values for two different admissible boundary conditions.","tokens_in":14926,"feed_emoji":"⚛️","tokens_out":987,"duration_ms":35913,"temperature":0.7,"pith_summary":"This paper studies classical particles in continuous space in the grand canonical ensemble, with stable pair potentials and ordinary boundary conditions. It proves that whenever the complex zeros of the finite-volume partition function stay bounded away from a chosen positive real fugacity, the thermodynamic limit and differentiation commute: density, particle-number variance per volume, and all higher derivatives of the pressure converge to those of the infinite-volume pressure. Those limiting values are the same for every admissible boundary condition that satisfies the zero-free condition. A reader cares because coexisting phases can differ in every local correlation yet, under this hypothesis, must share the same bulk fluctuation law. The result covers uniformly bounded-density boundaries and, for super-stable potentials, also unbounded and tempered ones.","feed_headline":"Zeros clear of real fugacity fix bulk fluctuations","feed_subtitle":"All pressure derivatives converge, independently of boundary, when Lee–Yang zeros stay away.","key_machinery":"A zero-free disk around a real fugacity z0, together with a uniform upper bound on the partition function (admissibility of the boundary-condition class). Local boundedness plus real-axis convergence let Vitali’s theorem produce holomorphic convergence of the pressures; Cauchy estimates then give uniform convergence of all derivatives.","core_discovery":"If the Lee–Yang zeros of the grand-canonical partition function remain outside a fixed complex neighborhood of a real point z0 > 0 for all large cubes, then the finite-volume pressure extends holomorphically near z0 and every derivative of that pressure converges, uniformly in a neighborhood of z0, to the corresponding derivative of the limiting thermodynamic pressure. The limiting derivatives do not depend on the boundary condition among admissible boundaries that obey the same zero-free hypothesis. In particular the density and the particle-number variance per unit volume converge to β⁻¹∂μp and β⁻²∂²μp.","pith_inferences":["Quantitative bounds on how densely zeros may approach the real axis could weaken the strict zero-free hypothesis and cover every real analyticity point of the pressure.","The same zero-controlled argument may apply to other bulk observables whose generating functions are governed by partition-function zeros.","At critical points or in long-range Coulomb systems where compressibility vanishes, failure of the hypothesis is consistent with sub-extensive number fluctuations; variance scaling could therefore serve as a diagnostic of zero accumulation."],"forward_implications":["Wherever the zero-free hypothesis holds, density and compressibility are identical for every coexisting infinite-volume Gibbs measure arising from admissible boundaries.","Regimes already known to be zero-free—low fugacity, ferromagnetic systems off the unit circle, and high-fugacity hard-core lattice gases—automatically inherit boundary-independent limiting fluctuations.","Existing non-hyperuniformity lower bounds can be sharpened, in those regimes, to equality of the limiting variance across phases.","Convexity alone already exchanges the limit with the first derivative away from first-order transitions; the zero-free condition is what secures the second and higher derivatives."],"fun_headline_variants":["Lee-Yang zeros off real fugacity lock bulk fluctuations","Zero-free neighborhood of z0 makes pressure derivatives converge","Zeros clear of real z0 fix density and variance independently of boundary","When Lee-Yang zeros stay away, finite-volume fluctuations match the limit","Lee-Yang gap at real fugacity equates bulk derivatives across boundaries"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The argument needs the finite-volume partition functions to have no zeros in a fixed complex neighborhood of the chosen real fugacity for every large enough box; the paper does not itself locate those zeros.","fun_headline_variants_meta":{"raw":{"variants":["Lee-Yang zeros off real fugacity lock bulk fluctuations","Zero-free neighborhood of z0 makes pressure derivatives converge","Zeros clear of real z0 fix density and variance independently of boundary","When Lee-Yang zeros stay away, finite-volume fluctuations match the limit","Lee-Yang gap at real fugacity equates bulk derivatives across boundaries"]},"model":"grok-4.5","effort":"low","cost_usd":0.004156,"raw_usage":{"total_tokens":1247,"prompt_tokens":777,"num_sources_used":0,"completion_tokens":73,"cost_in_usd_ticks":41564000,"prompt_tokens_details":{"text_tokens":777,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":397,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":777,"tokens_out":73,"duration_ms":7452,"temperature":1.0,"reasoning_tokens":397,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-30T15:15:17.715827+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit an admissible continuum system and a real fugacity at which the thermodynamic pressure is smooth, yet the finite-volume particle-number variance per volume either fails to converge to the second derivative of that pressure or converges to different values for two different admissible boundary conditions.","supporting_citations":[],"review_version":1}