REVIEW 3 major objections 4 minor 2 cited by
Stochastic motions of the two-dimensional many-body delta-Bose gas, III: Path integrals
T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read 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.
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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$, $$$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<T_\partial\right],$$ where $K_0$ is the Macdonald function and $A^{\beta,w}_0(t)$ consists of the time integral of a Bessel-function ratio together with local-time integrals $\sum_{i\neq j}2(w_j/w_i)\int_0^t K_0(\sqrt{2\beta_j}|Z^j_s|)\,dL^i_s$. The finer Theorem 2.3 proves this summand by summand: each diagram in the analytic expansion is matched to the event that the stochastic many-$\delta$ motion has prescribed contact-creation times $T^m_0$ and pair indices $J^m$. The weights $w$ cancel out of the final expectations.
Load-bearing premise
The load-bearing premise is that three or more particles never touch at the same instant; if triple contacts can occur with positive probability, the decomposition into contact-creation times and unique pair indices, and therefore the term-by-term matching in Theorem 2.3, breaks down.
Editorial extensions
If this is right
- For every $N\ge3$, the analytic semigroup of the two-dimensional $N$-body delta-Bose gas is exactly an expectation over the stochastic many-$\delta$ motion, so the infinite diagrammatic series and the path integral are the same object.
- The multiplicative functional does not depend on the magnitudes of the weights $w_j$; any positive weights give the same semigroup, so calculations can choose convenient weights.
- The contact-creation times $T^m_0$ and random pair indices $J^m$ of the stochastic motion reconstruct the space-time diagrams of $P^{\beta;i_1,\dots,i_m}_{s_1,\dots,s_m,t}$ term by term.
- The Feynman–Kac functional contains singular boundary terms, local-time integrals involving $K_0(\sqrt{2\beta_j}|Z^j_s|)$ for pairs $j\neq i$, which have no counterpart in the one-dimensional many-body delta-Bose gas.
- The $N=2$ case is a minor modification of the earlier Feynman–Kac formula for relative motions, so the theorem unifies the two-body and many-body cases.
Reading between the lines
- Editorial inference: because the weights cancel, one can choose $w$ to tame the singular local-time terms or to reduce Monte Carlo variance; the paper does not explore this.
- Editorial inference: the representation suggests a direct numerical path-integral scheme for $N=3$: simulate the stochastic many-$\delta$ motion, approximate local times, and compare with the first few terms of the analytic series.
- Editorial inference: the same Bessel-ratio and local-time structure may extend to other two-dimensional contact-interaction models whose two-body resolvent diverges logarithmically, but each such model would need its own no-triple-contacts verification.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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].
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 (3)
- [§2.3, Proposition 2.10, Eq. (2.77)] 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.
- [§1.1, Eq. (1.3)] 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.
- [§2.2, Remark 2.5 and identities (2.42)–(2.44)] 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.
minor comments (4)
- [§2.3, Eq. (2.77)] 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].
- [§2.2, Remark 2.5] There is a typo: “puruse” should be “pursue”.
- [§2.2, proof of Theorem 2.3(2°)] In the displayed computation leading to (2.55), “algerba” should be “algebra”.
- [§1.2, Theorem 1.1] 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.
Circularity Check
No significant circularity: the Feynman–Kac formula is a new identity proved by converting the analytic expansion of [4] into expectations under the independently constructed stochastic many-δ motion of [7].
full rationale
Theorem 1.1 is not assumed by any input. The analytic solution is imported from [4] as the explicit series (1.4); the stochastic many-δ motion is imported from [7] with contact-creation times, local-time identities (2.42)–(2.44), and no-triple-contacts property [7, Prop. 3.15(7)]. None of these inputs contains the target Feynman–Kac formula (1.7)–(1.8), which defines a new multiplicative functional. The proof of Theorem 2.3 converts, summand by summand, the analytic expansion into path expectations by means of one-δ identities from [5,6] and many-δ identities from [7]; the target formula is not used in the derivation. The final use of NTC in (2.77) is a parameter-free property of the stochastic many-δ motion with stated assumptions that do not include the target result, so it is independent support rather than a circular reduction. The conditional dependence on the companion preprints would be a correctness risk if those preprints were invalid, but a conditional dependency is not circularity. Remark 2.5 explicitly defers details of the local-time normalization; this is an omitted-completeness detail, not a circular step. The N=2 case is explicitly a minor modification of [5] and is included for completeness. No derivation step reduces by definition to its own input.
Assumptions & free parameters
assumptions (4)
- domain assumption Existence, strong Markov property, and no-triple-contacts property of the stochastic many-δ motion P^{β,w}_{z0}, together with identities (2.42)-(2.44).
- domain assumption Existence and local-time properties of the stochastic one-δ motion, including Lemma 2.6, with the Girsanov identities (2.23) and (2.24).
- domain assumption The analytic solution Q^{β;N}_{0;t} is represented by the iterated integral series (1.4), and the approximate semigroup limit (1.3) holds for the renormalized couplings.
- standard math Standard Brownian facts: heat kernel, Chapman-Kolmogorov, Markov property, Macdonald function asymptotics (1.10)-(1.11), and existence of a density for first hitting times of zero.
Cite this review
Pith. "Pith review of Stochastic motions of the two-dimensional many-body delta-Bose gas, III: Path integrals." pith.science (2026). https://pith.science/paper/ZZPG2S6Z
@misc{pith2026250503006,
author = {Pith},
title = {Pith review of: Stochastic motions of the two-dimensional many-body delta-Bose gas, III: Path integrals},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZZPG2S6Z}},
note = {Machine review of arXiv:2505.03006}
}
abstract
This paper is the third in a series devoted to constructing stochastic motions for the two-dimensional $N$-body delta-Bose gas for all integers $N\geq 3$ and establishing the associated Feynman-Kac-type formulas. The main results here prove the Feynman-Kac-type formulas by using the stochastic many-$\delta$ motions from [7] as the underlying diffusions. The associated multiplicative functionals show a new form and are derived from the analytic solutions of the two-dimensional $N$-body delta-Bose gas obtained in [4]. For completeness, the main theorem includes the formula for $N=2$, which is a minor modification of the Feynman--Kac-type formula proven in [5] for the relative motions.
Figures
Forward citations
Cited by 2 Pith papers
-
Continuous-time directed polymers to the Critical SHF via moments
Rescaled point-to-point partition functions of continuous-time polymers with correlated Brownian noise converge in law to the critical Stochastic Heat Flow with an explicit strength parameter.
-
Stochastic motions of the two-dimensional many-body delta-Bose gas, I: One-$\delta$ motions
For the 2D N-body delta-Bose gas with all but one delta interaction switched off, explicit transition densities, invariant measure, Harris recurrence and singular-drift SDEs are proved for the one-delta stochastic motion.
Reference graph
Works this paper leans on
-
[4]
mutatis mutandis , although [4] only considers the homogeneous case of λj ≡ λ and φj ≡ φ; see [9] for the analytic solutions of the homogeneous case un der f ∈ L2. Despite the notational complexity in (2.3), each P β ;i1,...,im s1,...,sm,t f (z0) mentioned above has been known for simple interpretations (e.g. [3, 4, 9]). For examp le, the interpretation i...
-
[7]
Chen, Y.-T. (2024). Delta-Bose gas from the viewpoint of the two-dimens ional stochastic heat equation. Annals of Probability 52 127–187. doi:10.1214/23-AOP1649
-
[6]
Caravenna, F. , Sun, R. and Zygouras, N. (2019). On the moments of the (2 + 1)- dimensional directed polymer and stochastic heat equation in the critical window. Com- munications in Mathematical Physics 372 385–440. doi:10.1007/s00220-019-03527-z
-
[1]
Albeverio, S. , Gesztesy, F. , Høegh-Krohn, R. and Holden, H. (1987). Point interactions in two dimensions: Basic properties, approxi mations and applications to solid state physics. Journal f¨ ur die reine und angewandte Mathematik 380 87–107. doi:10.1515/crll.1987.380.87
-
[2]
= 2N0∑ n=1 1(an−1,an]∩(τ,t](T j
-
[3]
= 2N0∑ n=1 1{τ ≤an}1(an−1∨τ,an](T j 0), (2.62) and whenever j ⁄= i, Ei z0 [∫ ∞ 0 dLi τ 1{Z j τ =0} ] = 0 (2.63) by (2.21) so that Ei z0 [∫ t 0 dLi τ eβiτ K β ,j 0 (τ )Ej,τ Zτ [ eβj(T j 0−τ )F (ZT j 0 , T j 0); T j 0 = τ ] ] = 0. (2.64) By (2.62) and (2.64), the following semi-discretization of the left-hand side of (2.52) holds: Ei z0 [∫ t 0 dLi τ eβiτ K ...
-
[5]
Bertini, L. and Cancrini, N. (1995). The stochastic heat equation: Feynman- Kac formula and intermittence. Journal of Statistical Physics 78 1377–1401. doi:10.1007/BF02180136
-
[8]
Chen, Y.-T. (2022+). Two-dimensional delta-Bose gas: skew-product re lative motions. To appear in Annals of Applied Probability , available at arXiv:2207.06331
arXiv 2022
Show all 13 references
-
[9]
Chen, Y.-T. (2024+). Stochastic motions of the two-dimensional many-b ody delta-Bose gas, I: One- δ motions. Preprint
2024
-
[10]
Chen, Y.-T. (2024+). Stochastic motions of the two-dimensional many-b ody delta-Bose gas, II. Many- δ motions. Preprint
2024
-
[11]
and Yor, M
Donati-Martin, C. and Yor, M. (2006). Some explicit Krein representations of certain subordinators, including the Gamma process. Publications of the Research Institute for Mathematical Sciences 42, 879–895. doi:10.2977/PRIMS/1166642190
2006
-
[12]
, Quastel, J
Gu, Y. , Quastel, J. and Tsai, L.-T. (2021). Moments of the 2D SHE at criticality. Probability and Mathematical Physics 2 179–219. doi:10.2140/pmp.2021.2.179
2021 doi
-
[13]
Lebedev, N. N. (1972). Special Functions & Their Applications . Dover Publication. 25
1972
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.