{"id":"cb3489f6-4bdd-4aef-9c8e-47d573c1783b","arxiv_id":"2505.03006","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The analytic solution of the two-dimensional N-body delta-Bose gas (N≥3) is equal to a Feynman-Kac expectation over stochastic many-δ motions, with multiplicative functionals containing novel local-time integrals.","lead":"The two-dimensional delta-Bose gas is a quantum model in which particles interact only when they touch, and it is notoriously hard to solve because the contact is singular. This paper proves a Feynman-Kac formula expressing a known exact solution as an average over random many-body paths, with new boundary terms involving local times.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof's final step in Proposition 2.10 rests on the no-triple-contacts property imported from [7, Prop. 3.15(7)]; if that property is not available for the one-contact initial states used there, the contact-creation decomposition collapses and Theorem 1.1 is unsupported.","rationale":"The reader's weakest-assumption diagnosis is exactly the point I would stress. The internal algebra of the proof is coherent: equations (2.18), (2.49), and (2.53) follow structurally from (2.42)–(2.44) and the one-δ identities, and the seeming cancellation in (2.74) is legitimate because the prefactor K^{β,j}_0(τ) and the denominator K^{β,j}_0(0) under P^{(0)}_{Z_τ} are the same function of Z_τ. The local-time normalization gap recorded in Remark 2.5 is real but secondary: the relevant normalization is pinned down by the identities imported from [6,7] and can in principle be extracted from the proof. Likewise, the mutatis mutandis justification of (1.3) is a rerun of [4] and does not threaten the combinatorial core as directly as NTC does. The decisive step is the limiting argument in (2.77), where the stochastic many-δ motion's no-triple-contacts property converts the bounded-time semi-discrete approximation into the exact contact-creation event. Since [7] is cited but not reproduced, an external reader cannot verify the one assumption on which Proposition 2.10 and hence the induction over contact-creation times depends. That warrants keeping the CONDITIONAL verdict rather than upgrading to ACCEPT; I see no reason to move to REJECT, because the imported property is plausible and the paper's internal development shows no contradiction. The recommended check is to inspect the statement and proof of [7, Prop. 3.15(7)] for one-contact initial states, or to re-derive the required a.s. equality from (2.42)–(2.44).","tokens_in":29281,"tokens_out":25779,"duration_ms":274765,"concrete_test":"Obtain [7, Prop. 3.15(7)] and check whether it is proved for initial states in C^N_{i/notshortparallel, i∁/parallelshort}, not only for no-collision initial data. Specifically, verify the a.s. equality used in (2.77): for i ≠ j and z0 ∈ C^N_{i/notshortparallel, i∁/parallelshort}, P^{β,w,i}_{z0}(T^{i,1}_0 = T^j_0 ≤ t and Z^i has zeros accumulating at T^{i,1}_0 from the left) = 0. A direct way is to re-derive this equality from the local absolute continuity identities (2.42)–(2.44) without invoking the companion proposition. If a counterexample with positive probability exists, recompute Theorem 2.3(2°) for m = 2 with that pair i,j and show that (2.19) fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing assumption is the no-triple-contacts (NTC) property of the stochastic many-δ motion, imported from [7, Prop. 3.15(7)] and used in the last step of Proposition 2.10. In passing to (2.77), the proof identifies the event that a new contact j occurs at T^{i,1}_0 with no zeros of the old pair i accumulating immediately before T^{i,1}_0 with the simpler event {T^{i,1}_0 = T^j_0 ≤ t}, and then invokes NTC to make this replacement P^{β,w,i}-a.s. If, with positive probability, the zero set of the old pair i has accumulation points at T^{i,1}_0 from the left, the monotone limit in (2.77) has strictly smaller probability than {T^{i,1}_0 = T^j_0 ≤ t}, so identity (2.52) overcounts such paths. Proposition 2.10 is used inductively for every transition i_{ℓ-1} → i_ℓ in the proof of Theorem 2.3(2°); a failure of NTC would propagate through all m ≥ 2 summands and break both (2.19) and (1.7). The cited proposition lives in a companion preprint that is not available in this paper, and the argument here does not re-derive or even restate its hypotheses. In particular, Proposition 2.10 starts from z0 ∈ C^N_{i/notshortparallel, i∁/parallelshort}, so [7, Prop. 3.15(7)] must cover one-contact initial states, not merely initial configurations with no collisions. The concern is not that NTC is false; it is that the central theorem is conditionally dependent on an unverified imported property at exactly the point where the combinatorial sum over contact-creation times is matched to the stochastic motion.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves Feynman–Kac-type path integral representations for the analytic solution of the two-dimensional N-body delta-Bose gas. The central result, Theorem 1.1, asserts that for N≥2, positive couplings β and weights w, and initial data avoiding all pair collisions, the analytic solution Q^{β;N}_{0;t}f(z0) equals an expectation over the stochastic many-δ motion constructed in the companion paper [7], with a multiplicative functional A^{β,w}_0(t) containing cross-pair local-time integrals and a Bessel-ratio time integral. The proof is organized through the finer Theorem 2.3, which proves the formula term-by-term against the analytic expansion (1.4). Each summand is first rewritten as an iterated integral involving stochastic one-δ motions (Proposition 2.7), and then converted to a single many-δ expectation using identities imported from [7] and a semi-discrete approximation leading to Proposition 2.10. The N=2 case is stated as a minor modification of earlier results. The paper is the third in a series and relies substantially on two companion preprints, [6] and [7].","tokens_in":29661,"tokens_out":14332,"duration_ms":126918,"significance":"If the result is correct, it is a substantial advance: it gives an exact stochastic path-integral representation for the two-dimensional many-body delta-Bose gas for every N≥3, with a new form of multiplicative functional involving local times and Macdonald functions. The derivation is systematic and rests on explicit kernel computations, especially Lemma 2.8 and Proposition 2.7, and the main theorem is genuinely new rather than circular. The proof has a clear inductive structure and the paper is careful about the analytic and probabilistic ingredients it uses. The main caveat is that several load-bearing properties, most notably the no-triple-contacts property of the stochastic many-δ motion, are imported from unpublished companion papers without full statements or verification. Because these properties are used at critical steps of the proof, the theorem as written is conditional on unexamined external input; supplying precise statements or proofs is necessary before the result can be considered fully established.","major_comments":[{"comment":"The final step of the proof of Proposition 2.10 replaces the event that the old pair i has no zeros immediately before T^{i,1}_0 by the a.s. event {T^{i,1}_0 = T^j_0 ≤ t}, invoking the no-triple-contacts property from [7, Proposition 3.15(7°)]. This is the load-bearing step of the paper: Proposition 2.10 is used inductively for every transition i_{ℓ-1}→i_ℓ in the proof of Theorem 2.3(2°), and the entire decomposition into contact-creation times T^m_0 and unique pair indices J^m depends on the same property. The manuscript does not state the hypotheses or exact content of [7, Prop. 3.15(7°)], nor does it show that it applies to the one-contact initial states in C^N_{i/notshortparallel,i∁/parallelshort} and to all w∈(0,∞)^{E_N}. A concrete test is whether [7, Prop. 3.15(7°)] rules out accumulation of zeros of Z^i immediately before T^{i,1}_0 from the left; if not, the monotone limit in (2.77) has strictly smaller probability than {T^{i,1}_0 = T^j_0 ≤ t} and identity (2.52) overcounts such paths. Please include a precise statement of the NTC property used at this point and either prove it or verify its hypotheses explicitly.","section":"§2.3, Proposition 2.10, Eq. (2.77)"},{"comment":"The existence of Q^{β;N}_{0;t} as the ε→0 limit of the regularized Feynman–Kac semigroups is asserted for non-homogeneous couplings β∈(0,∞)^{E_N} with the statement that (1.3) “can be justified by the proof of [4] mutatis mutandis”, although [4] only treats the homogeneous case λ_j≡λ and φ_j≡φ. Since this limit is precisely the object that Theorem 1.1 represents, this is a load-bearing external assertion. The author should either provide the extension argument or state in detail which steps of [4] carry over unchanged and which require modification in the non-homogeneous case.","section":"§1.1, Eq. (1.3)"},{"comment":"The local times {L^i_t} appearing in the main formula (1.8) are not fully defined in this paper. Remark 2.5 states that their normalization “can be obtained by reversing some steps of the proofs” but explicitly says the details are not pursued. Moreover, the identities (2.42)–(2.44) are imported from the companion paper [7] and are used at every stage of the proof, in equations (2.47), (2.50), (2.55) and (2.75); the hypotheses of [7, Propositions 3.11 and 3.15] are only partially reproduced, especially the behavior when Z^i_0=0 and the conditions under which E^{β,w,i}_{z0} is a probability measure. Because the theorem statement is conditional on these unstated properties, the paper should either supply precise definitions and proofs or reproduce the relevant statements from [7] in full.","section":"§2.2, Remark 2.5 and identities (2.42)–(2.44)"}],"minor_comments":[{"comment":"In the event in (2.77), the symbol t is used both for the terminal time and for the running time variable; the condition should read Z^i_s ≠ 0 for all s ∈ [a_{n-1}, T^{i,1}_0].","section":"§2.3, Eq. (2.77)"},{"comment":"There is a typo: “puruse” should be “pursue”.","section":"§2.2, Remark 2.5"},{"comment":"In the displayed computation leading to (2.55), “algerba” should be “algebra”.","section":"§2.2, proof of Theorem 2.3(2°)"},{"comment":"The theorem includes the case N=2, but the proof in this paper is for N≥3 and the N=2 statement is described only as a minor modification of [5]. Since the theorem statement covers N=2, please either provide the short argument or explicitly state that it follows from [5] with the indicated modification.","section":"§1.2, Theorem 1.1"}],"recommendation":"major_revision","confidential_remarks":"The paper is the third in a series and depends heavily on two companion preprints, [6] and [7], which are not included. For the journal record, I strongly recommend requiring the author to reproduce the precise statements of all imported properties—especially the no-triple-contacts property used in Proposition 2.10, the identities (2.42)–(2.44), and the local-time normalization—or to make the companion papers available with full proofs. Without this, the central theorem cannot be independently checked. There is no issue of novelty or scope; the concerns are purely about verifiability and completeness of the external dependencies."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe short version: this is a real result, not a repackaging. Chen proves a Feynman–Kac-type formula for the 2D N-body delta-Bose gas for N≥3, with local-time boundary terms that are genuinely new and not present in the N=2 or 1D formulas. The analytic series from [4] and the stochastic many-δ motions from [7] are independent constructions, so the theorem is not circular. If you work on singular Schrödinger operators or 2D SHE moments, this is worth your time.\n\nWhat the paper does well: the proof is a long, explicit sequence of kernel computations. Proposition 2.7 converts the analytic iterated integrals into stochastic one-δ expectations, and then the proof transfers those into many-δ expectations via identities (2.42)–(2.44). I checked the structure of the induction; the bookkeeping of contact-creation times and pair indices is coherent. The paper is also honest about what it defers: it says (1.3) for non-homogeneous couplings follows mutatis mutandis from [4], and Remark 2.5 says the local-time normalization is not pursued in detail. Those are explicit limitations, not hidden ones.\n\nWhere I would push back: the final step of Proposition 2.10 uses the no-triple-contacts property of the many-δ motion, imported from [7, Prop. 3.15(7°)], and the paper neither restates its hypotheses nor re-derives it. The use is at a delicate point: after (2.77), the event with no zeros of the old pair just before T^{i,1}_0 is replaced P-a.s. by {T^{i,1}_0 = T^j_0 ≤ t}. That replacement needs NTC, and it needs NTC for one-contact initial states z0 in C^N_{i, i∁/parallelshort}, not just for collision-free initial states. If the companion preprint covers that, fine; but as written, a reader cannot verify this from the present paper, and the whole decomposition into unique pair indices collapses without it. I would not call this fatal—the theorem likely holds—but it is the main thing a referee should check.\n\nThe other soft spots are minor. The extension to non-homogeneous couplings in (1.3) is asserted rather than demonstrated, and the local-time normalization in the functional (1.8) is deferred. Both are fixable in revision.\n\nBottom line: this is a specialized, careful proof paper. It deserves serious peer review and should be sent to experts in stochastic analysis or mathematical physics. I would recommend asking the author to make the NTC hypotheses explicit and to spell out the local-time normalization before acceptance.","headline":"A serious, mostly sound proof paper that delivers the first path-integral representation for the 2D many-body delta-Bose gas with N≥3; the main caveat is a load-bearing imported no-triple-contacts property plus a few deferred technical points.","tokens_in":30228,"tokens_out":3526,"would_cite":true,"duration_ms":32653,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60J55","60J65","60H30","81S40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a Feynman–Kac formula expressing the analytic solution of the two-dimensional $N$-body delta-Bose gas as an expectation over a stochastic many-$\\delta$ motion with a multiplicative Bessel and local-time weight.","keywords":["delta-Bose gas","Feynman–Kac formula","stochastic many-δ motion","local times","Macdonald functions","diagrammatic expansions","Bessel processes","renormalized Schrödinger operators"],"falsifier":"Compute, for $N=3$ with a simple bounded $f$ and one prescribed pair $i_1$, both sides of identity (2.17): the left side is an expectation under the stochastic many-$\\delta$ motion and the right side is an explicit Brownian expectation. A disagreement would refute the Feynman–Kac formula; exhibiting any parameters and initial positions for which three relative coordinates hit zero simultaneously with positive probability would pinpoint the failure.","tokens_in":29048,"feed_emoji":"🧮","tokens_out":11566,"duration_ms":95132,"temperature":0.7,"pith_summary":"The two-dimensional $N$-body delta-Bose gas is a system of $N$ quantum particles with pairwise delta interactions, a singularity that requires renormalization in two dimensions. The paper's central goal is to prove that the analytic solution of this model, originally an infinite sum of iterated integrals encoding sequences of pairwise collisions, is exactly an expectation over a stochastic many-$\\delta$ motion. The expectation carries a multiplicative weight built from Macdonald functions and local times at pair contacts, and the formula holds for every $N\\ge2$. If the theorem is correct, the diagrammatic expansion of the model and the path integral are the same object, giving a probabilistic description of a singular quantum many-body system.","feed_headline":"Exact path integral proven for 2D N-body delta-Bose gas","feed_subtitle":"A single expectation over Brownian paths with pairwise contacts reproduces the full delta-Bose gas solution.","key_machinery":"The carrying object is the stochastic many-$\\delta$ motion: $N$ independent two-dimensional Brownian motions conditioned so that at most two particles interact at any time, with nonzero local times at contacts. Its path is subdivided by contact-creation times $T^m_0$; during each interval a unique pair $J^m$ interacts, and locally the process is equivalent to a stochastic one-$\\delta$ motion through a Girsanov transformation. The proof is carried by identities (2.42)--(2.44), which convert expectations under the many-$\\delta$ measure into expectations under one-$\\delta$ measures, and by Proposition 2.10, which closes each interval at the right using a semidiscrete approximation and the no-triple-contacts property. This machinery lets the author run the analytic diagrammatic expansion in reverse and reassemble it as one path integral.","core_discovery":"On the paper's own terms, the central discovery is Theorem 1.1: for $N\\ge2$, initial positions with no pair coincidences, positive parameters $\\beta,w$, and bounded nonnegative $f$,\n$$$Q^{{\\beta;N}}$_{0;t}f(z_0)=\\mathbb{E}^{\\$\\beta$,w}_{z_0}\\left[$e^{{A^{\\beta,w}}$_0(t)}\\frac{\\sum_j w_jK_0(\\sqrt{2\\beta_j}|Z^j_0|)}{\\sum_j w_jK_0(\\sqrt{2\\beta_j}|Z^j_t|)}f(Z_t);\\,t