{"id":"65bc35cd-5a0b-45c5-8de7-aeea708e3386","arxiv_id":"2607.23084","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Grand-canonical boson Gibbs states with general p-body interactions converge in the simultaneous semiclassical and zero-range limit to the Φ^{2p}_2 field measure, including free energy and correlations.","lead":"On a two-dimensional torus, the Φ^{2p}_2 Euclidean field measure is shown to be the exact low-temperature, short-range limit of a gas of bosons interacting through a general p-body potential. The result makes the many-body-to-quantum-field correspondence rigorous for arbitrary polynomial interactions, not just the quartic case.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader’s verdict is ACCEPT with moderate confidence, and the reader identifies Lemma 3.6 / (3.30) as the weakest assumption. I agree that this is the most sensitive technical point, but after rechecking the proof I find it supported: the local-average lower bound (3.40), the marginal bound (3.42), and the finite-covering step (3.46) are all valid as written, and the constants are independent of ε. The Fock-space analogues in Lemma 4.1 and the projected version in Lemma 5.5 use the same mechanism with appropriate partition-of-unity identities. The truncation and variational steps in Sections 5 and 6 are consistent: the polynomial regime ε≥λη is explicitly chosen so that all displayed error terms vanish, and the stated constraints on η and N are mutually compatible. The only inconsistency I found is a sign typo in ϑ between (1.1) and (2.9), which does not affect the proof. Since I do not have a concrete technical objection, the verdict should remain UNCHANGED. I set agreement_with_reader to 'partial' because the reader’s identified weakest assumption is exactly the delicate point, but I do not regard it as an actual vulnerability.","tokens_in":68845,"tokens_out":35376,"duration_ms":345254,"concrete_test":"Independently verify the constant in interpolation bound (3.30) for p=3 with a non-factorized, positive-type v: numerically sample sup_{f≥0} I_{ε,2}(f)/I_{ε,3}(f)^{2/3} over bounded nonnegative f, e.g. f = indicator of a ball of radius r for r ∈ {ε/100, ε/10, ε, 10ε, 1}, and over ε ∈ {10^{-2}, 10^{-4}, 10^{-6}} with εR≤1/4. If the ratio is not bounded uniformly in ε, Lemma 3.6 — and hence the uniform exponential integrability behind Theorem 2.3 — would fail. The same check should be repeated for the Fock-space version in Lemma 4.1 by taking f = |u_N|^2 with N fixed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After a careful second pass, I cannot identify a load-bearing flaw in the central argument. The main theorem rests on the logarithmic stability estimates in Lemma 3.6 and its Fock-space analogue Lemma 4.1. I checked the derivation of the interpolation bound (3.30): the positivity and finite range of v give (3.40), the marginal bound (3.42) together with the finite-covering argument (3.46) gives the l<p cases, and the constants are independent of ε. The projected lower bound in Lemma 5.5 also appears internally consistent: the partition-of-unity identity (5.49)–(5.51) correctly handles the noncommutativity with PN, and the repeated-label errors are absorbed by Young’s inequality in the regime ε≥λη. The error terms in Lemmas 5.3 and 5.4 vanish under the stated choices of η, δ, and N=λ^{-1/8}. I found no circularity or unsupported step that would invalidate Theorem 2.3. The only textual inconsistency is the sign of ϑ in (1.1) versus (2.9), which is immaterial because subsequent algebra consistently uses the (2.9) convention. This is an honest non-finding: the argument is long and imports several nontrivial external estimates, so an independent verification of the logarithmic stability constant is still worthwhile, but I do not see a concrete reason to doubt the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives the defocusing Φ^{2p}_2 measure on the two-dimensional unit torus from the grand-canonical Gibbs state of a non-relativistic Bose gas with a general, not necessarily factorized, translation-invariant p-body interaction. The Hamiltonian is constructed with Wick-renormalization counterterms of all lower orders, organized by a graphical expansion. Theorem 2.3 states that, as λ, ε → 0 with ε ≥ λ^η, the relative free energy log(Z_λ/Z_0) converges to log Z_p and k!λ^k Γ_λ^{(k)} converges in Hilbert–Schmidt norm to ∫ |u^{⊗k}⟩⟨u^{⊗k}| dμ_p(u), for every k; Theorem 2.4 extends this to general radial polynomials. The proof connects the quantum problem to a nonlocal Hartree measure, proves logarithmic stability estimates uniform in the interaction range, and then uses a variational/de Finetti comparison together with high-momentum correlation estimates.","tokens_in":69120,"tokens_out":8290,"duration_ms":96348,"significance":"If the proof is correct, this is the first derivation of P(Φ)_2 measures of arbitrary polynomial degree from many-body quantum Gibbs states with genuinely higher-order interactions. The paper is a substantial technical extension of the quartic case of FKSS25 and NZZ25. The graphical Wick-reduction formalism and the ε-uniform logarithmic stability estimates are new structural tools, and the limiting field theory is shown to be independent of the detailed shape of the interaction profile. The core arguments are presented in considerable detail, with explicit constants and explicit regimes for the parameters. The main caveats are the reliance on several imported estimates from the closely related preprints [DNN25, NZZ25], and the fact that the general-polynomial extension is only sketched. These do not undermine the central monomial result as far as I can see.","major_comments":[],"minor_comments":[{"comment":"The first display of H_λ contains +ϑ in the kinetic term, while the immediately following n-particle restriction and Eq. (2.9) both contain −ϑ. Since all subsequent algebra consistently uses −ϑ, the plus sign in the first display should be corrected.","section":"§1, Eq. (1.1)"},{"comment":"The extension to a general radial polynomial is stated as a theorem but the proof is only one sentence. The reduction is plausible because the stability estimates are linear in the interaction and the leading coefficient a_p v_ε is nonnegative; however, since the lower-order coefficients a_r may be signed, the text should spell out that Lemmas 3.6 and 4.1 apply to the full finite linear combination with constants depending on the coefficients.","section":"§2, Theorem 2.4"},{"comment":"There are small typos: in Lemma 4.2, “2 ≤ p 2 N” should read “2 ≤ p ∈ N”, and in Definition 3.1 “oppsitely” should be “oppositely”.","section":"§4.2, Lemma 4.2; §3.1, Definition 3.1"},{"comment":"These two results use [DNN25, Theorems 2 and 3] as black boxes at load-bearing points. The authors should state the exact hypotheses and conclusions of the imported theorems, or at least give a precise reference to the relevant statements, so that a reader can verify the conditions without reconstructing the companion paper.","section":"§4.4, Lemma 4.4 and Theorem 4.5"}],"recommendation":"minor_revision","confidential_remarks":"I found no grounds for concern about the citation pattern; the external results are clearly identified and are used as black boxes in a standard way. The only reason for minor revision is the sign typo in Eq. (1.1) and the desire for slightly more detail on the general-polynomial extension and on the imported theorems."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is the real extension of the FKSS/NZZ quartic derivations to arbitrary P(Φ)_2, and I believe Theorem 2.3 is true. The two new technical pieces — the graphical Wick hierarchy and the uniform-in-ε logarithmic stability bounds — are not cosmetic. For p=2, completing the square works; for p≥3 it does not, and they replace it with an interpolation bound that lets the positive p-body term dominate all lower-order Wick counterterms. I checked Lemma 3.6 and its Fock-space analogue Lemma 4.1 closely enough to believe them. The stress-test's \"non-finding\" matches what I saw.\n\nWhat the paper does well: it covers genuinely non-factorized p-body potentials, proves convergence of both the relative free energy and all fixed-order density matrices, and extends to general radial polynomials. The target P(Φ)_2 measure is defined independently via the Nelson construction, and the counterterms are derived rather than fitted, so there is no circularity. The proof is long but written in enough detail that a referee can check the key steps.\n\nSoft spots, in proportion: the theorem is only proved in the polynomial regime ε ≥ λ^η, so it does not claim a fully independent simultaneous limit. The paper leans heavily on imported results from [DNN25], [NZZ25], and [LNR21]; some are from the same research group, but they are independent black boxes and the dependence is explicit. There is a sign inconsistency for ϑ between display (1.1) and (2.9); it is a typo, since all subsequent algebra uses the (2.9) convention. The projected lower bound in Lemma 5.5 is genuinely delicate because PN does not commute with multiplication by the kernels, but the partition-of-unity identity (5.49)–(5.51) handles the noncommutativity and I did not find a gap. An independent verification of the logarithmic stability constant would still be worthwhile, but I have no concrete reason to doubt it.\n\nWho this is for: mathematical physicists working on constructive QFT or rigorous many-body quantum Gibbs states. It deserves a serious referee, not desk rejection. I would cite it, and I would probably bring it to a reading group only in parts, since sixty-four pages of estimates is a lot for one sitting.","headline":"A substantial, probably correct extension of the Φ^4_2 derivation to general P(Φ)_2; the graph hierarchy and logarithmic stability estimates are genuinely new, and the main limitations are the polynomial-limit regime and heavy reliance on imported estimates.","tokens_in":69614,"tokens_out":2935,"would_cite":true,"duration_ms":33093,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T08","82B10","46N50","60G60"],"pacs":[],"model":"deepseek-v4-flash","headline":"A grand-canonical Bose gas with general p-body interactions converges, in the joint semiclassical and zero-range limit, to the two-dimensional Φ^{2p}_2 field measure.","keywords":["P(Φ)_2 measure","many-body quantum Gibbs states","grand-canonical bosonic Fock space","Wick renormalization","logarithmic stability","zero-range limit","quantum de Finetti theorem","Berezin-Lieb inequality"],"falsifier":"Couple ε and λ by ε = λ^{2η}, below the polynomial regime, in the same Hamiltonian with v satisfying Assumption 2.1, and compute the relative free energy: if log(Z_λ/Z_0) does not converge to log Z_p, the restriction ε ≥ λ^η is essential; if it still converges, the restriction is an artifact of the proof. Separately, replace v by a nonnegative profile that vanishes identically near the origin and check the interpolation bound I_{ε,l}(f) ≤ C_l I_{ε,p}(f)^{l/p}: it is the first estimate expected to break without strict positivity.","tokens_in":68721,"feed_emoji":"⚛️","tokens_out":12071,"duration_ms":103714,"temperature":0.7,"pith_summary":"This paper establishes that the two-dimensional Φ^{2p}_2 field measure — the probability measure over rough complex fields with a Wick-ordered polynomial interaction — is the rigorous limit of the thermodynamics and correlation functions of a grand-canonical gas of bosons with a general translation-invariant p-body interaction. The authors build a quantum Hamiltonian whose interaction, after Wick renormalization, is exactly the second quantization of a nonlocal classical functional approximating the local Wick-ordered monomial. They prove that as the inverse temperature λ and interaction range ε tend to zero together, with ε ≥ λ^η, the relative free energy converges to log Z_p and every reduced density matrix converges in Hilbert–Schmidt norm to the corresponding moment of the Φ^{2p}_2 measure. A sympathetic reader should care because this gives a microscopic derivation of a nonlinear Euclidean field theory from genuinely higher-order, non-factorized many-body interactions, extending the previously known quartic case. The new structural feature is the full hierarchy of lower-order Wick counterterms, which the paper organizes graphically and controls by a logarithmic stability estimate uniform in the interaction range.","feed_headline":"Bose gas reproduces Φ^{2p}_2 field theory","feed_subtitle":"General p-body interactions reproduce the 2D field measure's free energy and every correlation function.","key_machinery":"The load-bearing mechanism is a logarithmic stability estimate, classical and on Fock space: the positive p-body interaction controls every lower-order Wick counterterm uniformly in ε via the interpolation bound I_{ε,l}(f) ≤ C_l I_{ε,p}(f)^{l/p} for 1 ≤ l < p (Lemmas 3.6 and 4.1). Positivity and finite range of v allow local averages of |u|^2 to be controlled by the p-body term, and Young plus a finite-covering argument absorbs all lower orders. A graphical Wick calculus (red/blue graphs; recursion in Lemma 3.2) organizes the hierarchy of effective kernels f_l^ε and the counterterms R_l(v_ε), ϑ, E_0. The Gibbs variational principle, quantum de Finetti estimates, and Berezin–Lieb inequalities","core_discovery":"Theorem 2.3 asserts that, for every p ≥ 2 and every nonnegative, compactly supported, translation-invariant p-body profile v (no factorization assumed), the grand-canonical Bose gas satisfies log(Z_λ/Z_0) → log Z_p and k!λ^k Γ_λ^{(k)} → ∫ |u^{⊗k}⟩⟨u^{⊗k}| dµ_p(u) in Hilbert–Schmidt norm for all k, with trace-class convergence of the relative one-body density matrix, as λ,ε → 0 with ε ≥ λ^η. The limit µ_p is the Φ^{2p}_2 measure, proportional to exp(-(1/p)∫ :|u|^{2p}: ) against the complex Gaussian free field of covariance (1-Δ)^{-1}. The same holds for every defocusing radial polynomial P, and the limit is independent of the shape of v.","pith_inferences":["The paper's restriction to ε ≥ λ^η leaves open whether the two limits commute for ranges that shrink faster; the ε-uniformity of the logarithmic stability estimate is the place where that question would be decided.","Because the limiting measure is universal in v, one testable consequence is that any sequence of nonnegative, compactly supported profiles satisfying Assumption 2.1 should give the same Φ^{2p}_2 limit, with only the rate of convergence changing.","The graphical Wick hierarchy identifies exactly which effective interactions a three-dimensional Φ^{2p}_3 derivation would need to renormalize beyond Wick ordering; none of the paper's estimates transfer directly there because the Green function is more singular."],"forward_implications":["The bulk thermodynamics of the Bose gas — the relative free energy log(Z_λ/Z_0) — has a finite limit log Z_p, so the microscopic p-body gas and the local field theory become thermodynamically indistinguishable in the joint limit.","All fixed-order correlation functions converge: k!λ^k Γ_λ^{(k)} tends to the k-point moment of the Φ^{2p}_2 measure in Hilbert–Schmidt norm for every k, and the relative one-body density matrix converges in trace class.","The limiting field theory is universal: it does not depend on the detailed shape of the interaction profile v inside Assumption 2.1, and the same conclusions hold for every radial defocusing polynomial P.","The semiclassical and zero-range limits commute along the polynomial regime ε ≥ λ^η, so the two limits need not be taken sequentially."],"fun_headline_variants":["General p-body Bose gas → Φ^{2p}_2 measure","Quantum Gibbs states reproduce Φ^{2p}_2 measure","Bose gas with p-body interactions yields Φ^{2p}_2","Grand-canonical Bose gas limits to Φ^{2p}_2","Interacting Bose gas builds Φ^{2p}_2 field theory"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The argument rests on a logarithmic stability estimate that assumes the p-body interaction v is nonnegative, compactly supported, and strictly positive near the origin, so that the leading p-body term controls every lower-order Wick counterterm uniformly in ε; if that control fails, the exponential integrability of the interaction and all quantum a priori estimates collapse, and the theorem is proved only in the polynomial regime ε ≥ λ^η.","fun_headline_variants_meta":{"raw":{"variants":["General p-body Bose gas → Φ^{2p}_2 measure","Quantum Gibbs states reproduce Φ^{2p}_2 measure","Bose gas with p-body interactions yields Φ^{2p}_2","Grand-canonical Bose gas limits to Φ^{2p}_2","Interacting Bose gas builds Φ^{2p}_2 field theory"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000748,"raw_usage":{"total_tokens":3170,"prompt_tokens":749,"completion_tokens":2421,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":493,"completion_tokens_details":{"reasoning_tokens":2330}},"tokens_in":493,"tokens_out":2421,"duration_ms":18372,"temperature":1.0,"reasoning_tokens":2330,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T03:38:34.482331+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Couple ε and λ by ε = λ^{2η}, below the polynomial regime, in the same Hamiltonian with v satisfying Assumption 2.1, and compute the relative free energy: if log(Z_λ/Z_0) does not converge to log Z_p, the restriction ε ≥ λ^η is essential; if it still converges, the restriction is an artifact of the proof. Separately, replace v by a nonnegative profile that vanishes identically near the origin and check the interpolation bound I_{ε,l}(f) ≤ C_l I_{ε,p}(f)^{l/p}: it is the first estimate expected to break without strict positivity.","supporting_citations":[],"review_version":1}