Stochastic motions of the two-dimensional many-body delta-Bose gas, I: One-$\delta$ motions

Yu-Ting Chen

REVIEW 3 major objections 3 minor 2 cited by

Stochastic motions of the two-dimensional many-body delta-Bose gas, I: One-$\delta$ motions

T0 review · 3 major / 3 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper establishes explicit probability laws, an invariant measure, and a singular-drift SDE for the stochastic one-delta motions of the two-dimensional many-body delta-Bose gas.

desk verdict Rich technical paper with a systematic sign error in the stated SDEs: the drift should use 1/\bar{Z}, not 1/Z, and the same mistake infects the generator (4.13); the rest of the analysis looks solid and worth a serious referee after correction. read the letter →

arxiv 2505.01703 v2 pith:KLMC5UYI submitted 2025-05-03 math.PR

Yu-Ting Chen This is my paper · ORCID

classification math.PR MSC 60J5560J6560H3081S40

keywords delta-Bosegasstochasticone-deltamotionsBesselprocessBES(0betadownarrow)skew-productdiffusionsingulardriftSDEMacdonaldfunctionsHarrisrecurrenceFeynman-Kacformula

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The two-dimensional delta-Bose gas is a contact-interaction quantum many-body model whose pathwise stochastic description has been missing because delta potentials are invisible to planar Brownian motion. This paper constructs the stochastic one-delta motions: N particles in the plane where only one pair feels the contact interaction, carried by a special Bessel-type diffusion while all other particles move as free Brownian motions. It proves that these motions are Feller processes with explicit one-time marginal densities and an explicit invariant distribution, that the joint process with an independent Brownian coordinate is Harris recurrent, and that the paths satisfy a Langevin SDE whose drift is singular at collision yet well defined through the zero set. These are the building blocks the author plans to assemble into stochastic motions for the full N-body gas, so the paper's value is that it makes the singular-contact picture tractable at the level of individual paths.

What carries the argument

The central objects are the skew-product diffusion structure and the special radial process $\mathrm{BES}(0,\beta\downarrow)$, the $\mathbb{R}_+$-valued diffusion whose inverse local time at $0$ is a gamma subordinator and whose radial SDE is $\rho_t=\rho_0+\int_0^t(\frac{1}{2\rho_s}-\sqrt{2\beta}\frac{K_1(\sqrt{2\beta}\rho_s)}{K_0(\sqrt{2\beta}\rho_s)})\,ds+B_t$. The angular part is fixed by the same skew-product representation used for planar Brownian motion: $Z_t=|Z_t|\exp(i\gamma_{\int_0^t ds/|Z_s|^2})$, with an independent circular Brownian motion $\gamma$, which determines the law up to the first hit of zero and is extended by conditioning. The paper's analytical engine consists of explicit integral identities for Macdonald functions, sharp negative-moment estimates with logarithmic corrections (Proposition 4.5), and a Kolmogorov forward equation (Proposition 4.2(3)) that is used to derive the SDE across the zero set. These tools convert the formally infinite delta interaction into a well-defined pathwise drift.

What would settle it

Evaluate the local time at zero of the SDE (4.15) started at the origin and compare its Laplace transform with the paper's identity $\mathbb{E}^{\beta\downarrow}_0[\int_0^\infty e^{-q\tau}\,dL_\tau]=1/\log(1+q/\beta)$ for multiple $q$; equivalently, simulate the SDE and check its one-time marginals against the closed-form density (2.5). A mismatch at any fixed time would directly contradict Theorem 2.1 and the SDE characterization of Proposition 4.2.

Watch

Extended reading notes

Core claim

For every interacting pair $i=(i',i)$ and coupling $\beta_i>0$, the stochastic one-$\delta$ motion is the $\mathbb{C}^N$-valued diffusion obtained by taking the interacting coordinate $Z^i_t$ to be the relative-motion diffusion of the companion paper [11]—a skew-product diffusion whose radial part is the special Bessel-type process $\mathrm{BES}(0,\beta_i\downarrow)$—and by adding independent planar Brownian motions for all other particles. The main theorems establish three supporting facts. First, the one-time marginals are explicitly given by a continuous transition density $p^{\beta\downarrow}_t(z_0,z_1)$ and an invariant probability measure $\mu_0^{\beta\downarrow}(dz)=\frac{2\beta}{\pi}K_0(\sqrt{2\beta}|z|)^2\,dz$; the local-time distributions are also explicit. Second, the bivariate process $(Z_t,W'_t)$ with an independent planar Brownian motion $W'$ is Harris recurrent and reversible with invariant measure $\mu_0^{\beta\downarrow}\otimes\text{Leb}$. Third, under $P^{\beta_i\downarrow,i}_{z_0}$ the motion obeys the singular-drift SDE $$Z^j_t=z^j_0-\frac{(1_{j=i'}-1_{j=i})}{\sqrt{2}}\int_0^t \frac{\widehat K_1(\sqrt{2\beta_i}|Z^i_s|)}{K_0(\sqrt{2\beta_i}|Z^i_s|)}\frac{1}{Z^i_s}\,ds+W^j_t,\qquad 1\le j\le N,$$ where $\widehat K_\nu(x)=x^\nu K_\nu(x)$ and $K_0,K_1$ are Macdonald functions; equivalently the interacting relative coordinate satisfies the same equation with a single singular drift. The SDE is shown to hold through and beyond the first collision time, not merely before it.

Load-bearing premise

The entire construction imports the two-dimensional relative-motion diffusion from the companion paper [11], in particular the recovery of the law at the origin by conditioning on the path up to the first hit of zero; if that underlying diffusion or the conditioning does not pick out a unique process, the explicit formulas and the SDE inherit the failure.

Editorial extensions

If this is right

The explicit invariant measure $\mu_0^{\beta\downarrow}(dz)=\frac{2\beta}{\pi}K_0(\sqrt{2\beta}|z|)^2\,dz$ gives a concrete equilibrium occupation law for the interacting pair, so long-run spatial statistics of the one-delta motion are computable in closed form.
Harris recurrence of $(Z_t,W'_t)$ with invariant measure $\mu_0^{\beta\downarrow}\otimes\text{Leb}$ implies that every set of positive invariant measure is visited infinitely often almost surely, a property directly used as the integrated recurrence bound (3.3) in the later papers of the series.
The SDE (4.1) provides a pathwise model of a single contact interaction that remains meaningful at and beyond the first collision time, because the sharp negative moments render the singular integral absolutely convergent.
The conditional laws (2.7) and (2.8) express the process before and at the collision time through ordinary Wiener measure and local time, furnishing the Feynman–Kac-type formulas that the series aims to prove for the full $N$-body delta-Bose gas.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If this construction is correct, a natural candidate for the full many-$\delta$ stochastic motion is a diffusion whose SDE carries one singular drift term per interacting pair, with the collision times handled by the same negative-moment technology; this is the author's stated plan in the companion papers, not a result proven here.
The explicit invariant density proportional to $K_0(\sqrt{2\beta}|z|)^2$ suggests that, under equilibrium, the interacting pair spends a substantial amount of time at small separations, consistent with an attractive contact interaction; the paper does not offer this physical interpretation.
The proof scheme—defining the law from nonzero initial data by conditioning on the pre-collision path and then using sharp negative moments to extend the SDE through the zero set—could plausibly apply to other strongly singular Schr\"odinger operators whose eigenfunctions have logarithmic behavior, but that extension is not attempted in this paper.
A concrete check of the claimed SDE would be to simulate the radial SDE (4.15) and compare the distribution of the inverse local time at $0$ with the gamma-subordinator identity (2.1); such a numerical test is not part of the paper.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Two things you should know. First, this paper is the real thing: the analytic transition densities, local-time joint laws, Feller property with explicit invariant measure, Harris recurrence of the bivariate process, and the sharp negative moments with log corrections are substantial and, as far as I can tell, new. Second, the central SDE claim as printed is wrong. Theorem 1.1(3°), Theorem 4.1(1°), Proposition 4.2(4°), and (4.15) all state the drift with 1/Z_s. The correct factor is 1/\bar{Z}_s (equivalently, in the generator (4.13), the vector in the inner product should be z/|z|², not z). The radial BES(0,β↓) law and the paper's own skew-product representation force the imaginary-part drift to have the opposite sign from what the displayed 1/Z gives. At z0 = i, the stated SDE pushes the imaginary component upward; the correct dynamics push it downward.

The telling evidence is internal: equations (4.4)-(4.5) for the squared and radial processes use Re(Z^j/Z^i) with the coefficient bK1/K0, which is what you get from the 1/\bar{Z} drift, not from the 1/Z drift. The derivation of (5.4) in Proposition 5.3 also produces e^{iϑ}dAϱ, i.e., the corrected form. So this looks like a systematic typo repeated through the SDE sections, not a conceptual failure. But as it stands, Theorem 1.1(3°) is false, and the paper cannot be used for pathwise dynamics until every occurrence of 1/Z in the SDE statements and in (4.13) is changed.

What the paper does well beyond that: the proofs are detailed and the difficult analysis items are handled honestly. The continuity of convolutions with weakly integrable kernels (Lemma 4.8) is a nice tool. The paper is honest about its scope: it is the degenerate one-delta case, and the many-body payoff sits in [12-14]. The dependence on the BES(0,β↓) machinery from [11] is real but it is a cited external construction, not a circularity.

The reader's soundness of 8 is too generous given the SDE statements are wrong. A corrected version would deserve a much higher score. My own take: this is a salvageable and important stepping stone, but the author needs to fix the SDE statements and the generator before the paper is used.

Recommendation: Send it to a serious referee. The fix is straightforward but must be traced through Section 4, especially the proof of Proposition 4.7 and the continuity argument. I would not cite it in its present form; I would cite the corrected version.

Referee Report

3 major / 3 minor

Summary. This paper is the first in a series on stochastic motions for the two-dimensional N-body delta-Bose gas. It studies the stochastic one-delta motion, a C^N-valued diffusion obtained by coupling a two-dimensional Bessel-type relative motion (BES(0,β↓)) with independent free Brownian particles. The main results are: explicit one-dimensional marginals and an explicit invariant measure (Theorem 2.1), Harris recurrence of the joint process with an independent Brownian motion (Theorem 3.1), and Langevin-type SDEs with singular drift for the interacting coordinate (Theorem 4.1 and Proposition 4.2). Section 5 provides a general framework for transforming radial/angular skew-product diffusions into complex SDEs. The paper is written as a foundation for later papers constructing many-delta motions and Feynman-Kac-type formulas.

Significance. If the corrections below are made, this is a substantial contribution. The paper contains explicitly computable transition densities and invariant measures for a singular diffusion associated with the one-delta specialization of the 2D delta-Bose gas, careful analytic estimates for the singularities (sharp negative moments with logarithmic corrections, continuity of weak-integrable convolutions, and control of differentiation near zeros), and a Harris recurrence result that is likely to be a key tool for the series. The proofs are detailed and generally careful; the paper also gives explicit formulas that can be checked directly. However, a systematic conjugation/sign error in the displayed complex SDEs and in the generator, together with an inconsistency in the definitional equation (1.19), are load-bearing as printed; these issues must be fixed before the central SDE theorem can be accepted.

major comments (3)

[Section 1.3 and Section 4, Eqs. (1.21), (1.22), (4.1), (4.3), (4.15); Section 5, Eq. (5.4)] The complex drift is displayed with 1/Z, but Itô's formula applied to the skew-product representation (1.10) and the radial SDE (1.12) yields 1/\bar{Z}. Concretely, the radial drift term −√(2β)(K1/K0)(Z/|Z|) equals −(bK1/K0)(1/\bar{Z}), not −(bK1/K0)(1/Z); the latter reverses the sign of the imaginary-component drift. For example, at z0 = i the displayed SDE gives an initial upward drift, while the generator (1.18) and radial symmetry require a downward drift. The paper's own equations (4.4)–(4.5) and the intermediate formula (5.7) are consistent with 1/\bar{Z}, so the displayed SDEs are internally inconsistent. This is load-bearing because the SDE is a central claim and is used in the follow-up papers [12]–[14].
[Section 4.2, Eq. (4.13) and Remark 4.3(1◦)] The generator A defined in (4.13) is not equivalent to (1.18) as stated. Since bK1(√(2β)|z1|) = √(2β)|z1|K1(√(2β)|z1|), the drift term in (4.13) is −√(2β)|z1|^2(K1/K0)⟨z1/|z1|, ∇f⟩, which has an extra |z1|^2 factor and the wrong sign relative to the drift of {Z_t}. The correct term should be −√(2β)(K1/K0)⟨z1/|z1|, ∇f⟩. Because Proposition 4.2(2◦)–(3◦) and hence the proof of the SDE in (4.15) rely on this generator, the displayed formula must be corrected for the proof to be valid.
[Section 1.3, Eqs. (1.19) and (1.23)] As printed, the definition of the one-delta motion is not self-consistent. Substituting (1.19) into the definition Z^i_t = (Z^{i'}_t − Z^i_t)/√2 gives Z^i_t = z^i_0 + W^i_t + Z^i_t, where the Z^i_t on the right is the prescribed relative-motion process; this would force W^i_t = −z^i_0 for all t, contradicting that W^i is a standard Brownian motion. The construction needs a corrected formula, or an explicit statement that (1.19) is a representation derived from the SDE rather than a definition.

minor comments (3)

[Section 1.3, Theorem 1.1(2◦)] The word 'bivarite' should be 'bivariate'.
[Section 1.3, paragraph after Eq. (1.22)] 'two-dimensional standard Bronwian motion' should be 'Brownian motion'.
[Section 4.2, Remark 4.3(1◦)] Remark 4.3(1◦) states that (4.13) is equivalent to (1.18); this is incorrect for the reason given in the major comment on Eq. (4.13), and the remark should be updated once the generator is corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper imports an independently established relative-motion diffusion from prior work and derives the one-delta properties by direct computation and proof, without fitting parameters or renaming inputs as predictions.

full rationale

Walked the claimed derivation chain. The stochastic one-delta motion is defined in (1.19) by adding free Brownian components to the relative motion imported from [11], and the main results are then proved rather than assumed. There is no fitted parameter: beta and beta_i are external coupling constants, and the invariant measure's normalization is checked by direct evaluation of the Macdonald-function integral. The explicit marginal formulas in Theorem 2.1 are presented as extensions or restatements of [11, Theorem 2.10] and are then used to prove Feller regularity, recurrence, and the SDEs; this is a derivation from cited prior results, not a circular reduction, because [11] is an independent, parameter-free prior work with stated assumptions that do not include the one-delta construction. The SDEs in Section 4 are obtained via the Kolmogorov forward equation and martingale characterization rather than being inserted as the definition, and the generator is traced to the prior relative-motion generator but the forward equation and SDE are derived in this paper. The self-citations to [11] and to the author's series [12-14] are normal and are not load-bearing in the sense of smuggling in the target result. The apparent 1/Z versus 1/bar{Z} drift discrepancy flagged in the skeptic note is a mathematical consistency or correctness issue, not a circularity pattern under the specified rules. No fitted-input-called-prediction, ansatz-smuggling, uniqueness-imported-from-authors, or renaming step was found. The honest finding is therefore no significant circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters: the only constants are external coupling strengths and fixed auxiliary constants such as delta_4.19 chosen by monotonicity, not fitted. The main axioms are existence, uniqueness and continuous extension of BES(0,beta downarrow) imported from [18, 19, 11], plus the external analytic semigroup representation from [2, 10]. No invented physical entities are needed.

assumptions (5)

domain assumption The diffusion BES(0,beta downarrow) exists, is unique in law, and its law at 0 is the continuous extension of the laws away from 0 via Erickson's theorem.
Section 1.2 defines P^{beta downarrow}_0 this way and the entire Theorem 2.1, especially the z0 = 0 cases in (2.4)-(2.8), depends on it.
domain assumption The radial process admits the skew-product representation Z_t = |Z_t| exp(i gamma_{integral_0^t ds/|Z_s|^2}) with an independent Brownian motion gamma.
Section 1.2, equation (1.10); used for the Feynman-Kac formula and for the pathwise SDE (1.22) before T_0.
domain assumption The local time {L_t} at level 0 is normalized by E_0^{beta downarrow}[integral_0^infty e^{-q tau} dL_tau] = 1/log(1 + q/beta).
Imported from Donati-Martin-Yor [18]; used in the proof of Theorem 2.1 (2 degrees) and in the Markovian local-time computations.
domain assumption The semigroup formulas (1.5)-(1.8) for the two-body relative motion are correct and produce the kernel p_t^{beta downarrow}.
Taken from Albeverio-Gesztesy-Hoegh-Krohn-Holden [2] and Chen [10]; used as external benchmark in the definition of the relative motion and in the Feynman-Kac identity (1.14).
standard math Classical results from Kallenberg, Revuz-Yor, Karatzas-Shreve, and Protter are applied as stated.
Used throughout Sections 3 and 4 for Harris recurrence, Levy characterization, Burkholder-Davis-Gundy inequalities, and stochastic integration.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Stochastic motions of the two-dimensional many-body delta-Bose gas, I: One-$\delta$ motions." pith.science (2026). https://pith.science/paper/KLMC5UYI

@misc{pith2026250501703,
  author       = {Pith},
  title        = {Pith review of: Stochastic motions of the two-dimensional many-body delta-Bose gas, I: One-$\delta$ motions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KLMC5UYI}},
  note         = {Machine review of arXiv:2505.01703}
}

abstract

This paper is the first 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; see [12,13,14] for the remaining of the series. The main results of this paper establish the foundation by studying the stochastic one-$\delta$ motions, which relate to the two-dimensional many-body delta-Bose gas by turning off all but one delta function, and we prove the central distributional properties and the SDEs. The proofs extend the method in [11] for the stochastic relative motions and develop and use analytical formulas of the probability distributions of the stochastic one-$\delta$ motions.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Continuous-time directed polymers to the Critical SHF via moments
math.PR 2026-08 conditional novelty 6.0 of 10

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.
A submartingale for the probability of avoiding the origin in one-point interaction ground-state diffusion: $d \in \{2,3\}$
math.PR 2026-08 conditional novelty 6.0 of 10

For the ground-state one-point interaction diffusion in dimensions 2 and 3, the probability of avoiding the origin up to time T equals a ratio of incomplete Bessel functions, and the first hitting time is generalized ...

Reference graph

Works this paper leans on

42 extracted references · 18 canonical work pages · cited by 2 Pith papers

[11]

and Dol´eans-Dade, C.A

Ash, R.B. and Dol´eans-Dade, C.A. (2000). Probability and Measure Theory . Second edition. Academic Press

work page 2000
[12]

and Cancrini, N

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

doi:10.1007/bf02180136 1995
[14]

Bertoin, J. (1996). L´ evy Processes. Cambridge Tracts in Mathematics 121. Cambridge University Press

work page 1996
[1]

and Dabrowski, L

Albeverio, S., Brzezniak, Z. and Dabrowski, L. (1995). Fundamental solution of the heat and Schr¨ odinger equations with point interaction. Journal of Functional Analysis 130 220–254. doi:10.1006/jfan.1995.1068

arXiv 1995
[2]

C4.36(β,t )

With respect to this q1, we validate (3.17) by choosing small enough γ∈ (0, 2) such that p1γ∈ (0, 2), so (3.12) follows. The proof is complete. ■ End of the proof of Theorem 3.1 (3 ◦). Forz0 = 0, we pass the q↘ 0 limit superior of the corresponding term on the right-hand side of (3.11) and use Lemma 3.2 and the following limit: Z ∞ 0 qe−(q+β)tsβ(t)dt = 4π...

work page
[3]

(4.72) 40 Let us bound the two terms on the right-hand side of (4.72)

+ 1 Z t 2 0 E(0) 0 log( p 2β|Zτ|) ; p 2β|Zτ|≤ ε dτ +C4.72(β,t )E(0) 0 log( p 2β|Zt/2|) ; p 2β|Zt/2|≤ ε , ∀t> 0, ε∈ (0,δ 4.19). (4.72) 40 Let us bound the two terms on the right-hand side of (4.72). For the first term, write E(0) 0 log( p 2β|Zτ|) ; p 2β|Zτ|≤ ε = Z ε√2β 0 | log(√2βr)| τ r exp −r2 2τ dr, τ > 0, (4.73) by the polar coordinates. Hence, for all...

work page
[4]

(4.97) Proof

such that 1− η 2 4ν 4ν− 1 < 2γ. (4.97) Proof. Note that (4.96) holds if and only if ν >2. To justify the existence of (η,γ ), first note 1 2 1− η0 2 η0=ν−1 2ν 4ν 4ν− 1 = 1 2 3ν + 1 4ν 4ν 4ν− 1 = 1 2 3ν + 1 4ν− 1 < 1 2, (4.98) where the last inequality uses (4.96). By (4.98), we can choose η ∈ 0, ν−1 2ν such that 1 2 1− η 2 4ν 4ν−1 < 1

work page
[5]

Hence, we can choose γ∈ (0, 1

work page

Show all 42 references

[6]

sup 0≤s1̸=s2≤t0 |s1−s2|≤ε ||Zs2|2−|Zs1|2|1/2 ε η 2 ;Zs̸= 0,T 0(Z)◦ϑs≤ε # ≤ C(f) ε1−η 2 Eβ↓ z0

such that 1 2 1− η 2 4ν 4ν−1 < γ, which is enough to get (4.97). ■ 44 Proof of Proposition 4.9. For 0<s 0≤s<t ≤t0 with ε =t−s< 1, write 1 ε Eβ↓ z0 [f(Zt)−f(Zs);Zs̸= 0,T 0(Z)◦ϑs≤ε] = 1 ε Eβ↓ z0 f(Zt)−f(Zs+T0(Z)◦ϑs);Zs̸= 0,T 0(Z)◦ϑs≤ε + 1 ε Eβ↓ z0 f(Zs+T0(Z)◦ϑs)−f(Zs);Zs̸= 0,T 0...
[7]

The proof of Proposition 4.15 is complete

4ν 4ν−1) in (4.104) replaced by (γ′,q/ 2) that the right-hand side of (4.123) tends to zero as ε↘ 0. The proof of Proposition 4.15 is complete. ■ 5 Transformations to skew-product diffusions In this section, we comprehensively study transformations to skew-product diffusions b...
[8]

, Gesztesy, F

Albeverio, S. , Gesztesy, F. , Høegh-Krohn, R. and Holden, H. (1987). Point interactions in two dimensions: Basic properties, approximations and applications to solid state physics. Journal f¨ ur die reine und angewandte Mathematik 380 87–107. doi:10.1515/crll.1987.380.87

1987 doi
[9]

, Gesztesy, F

Albeverio, S. , Gesztesy, F. , Høegh-Krohn, R. and Holden, H. (1988). Solv- able Models in Quantum Mechanics: Second Edition . AMS Chelsea Publishing. doi:10.1090/chel/350

1988 doi
[10]

, Khanin, K

Alberts, T. , Khanin, K. and Quastel, J. (2014). The continuum directed random polymer. Journal of Statistical Physics 154 305–326. doi:10.1007/s10955-013-0872-z

2014 doi
[13]

and Cancrini, N

Bertini, L. and Cancrini, N. (1998). The two-dimensional stochastic heat equation: renormalizing a multiplicative noise. Journal of Physics A: Mathematical and General 31 615–622. doi:10.1088/0305-4470/31/2/019

1998 doi
[15]

and Zygouras, N

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

2019 doi
[16]

Chen, Y.-T. (2024). Delta-Bose gas from the viewpoint of the two-dimensional stochastic heat equation. Annals of Probability 52 127–187. doi:10.1214/23-AOP1649

2024 doi
[17]

Chen, Y.-T. (2022+). Two-dimensional delta-Bose gas: skew-product relative motions. To appear in Annals of Applied Probability, available at arXiv:2207.06331

2022 arXiv
[18]

Chen, Y.-T. (2024+). Stochastic motions of the two-dimensional many-body delta-Bose gas, II: Many-δ motions. arXiv:2505.01704

2024 arXiv
[19]

Chen, Y.-T. (2024+). Stochastic motions of the two-dimensional many-body delta-Bose gas, III: Path integrals. arXiv:2505.03006

2024 arXiv
[20]

Chen, Y.-T. (2024+). Stochastic motions of the two-dimensional many-body delta-Bose gas, IV: Transformations of relative motions. arXiv:2401.17243v3

2024 arXiv
[21]

Dalang, R. (1999). Extending the martingale measure stochastic integral with appli- cations to spatially homogeneous S.P.D.E.’s. Electronic Journal of Probability 4 1–29. doi:10.1214/EJP.v4-43. 55

1999 doi
[22]

and Teta, A

Dell’Antonio, G.F., Figari, R. and Teta, A. (1994). Hamiltonians for systems of N particles interacting through point interactions. Annales de l’I.H.P. Physique th´ eorique 60 253–290. Available at http://www.numdam.org/item/AIHPA 1994 60 3 253 0

1994
[23]

and Rajeev, S.G

Dimock, J. and Rajeev, S.G. (2004). Multi-particle Schr¨ odinger operators with point interactions in the plane. Journal of Physics A: Mathematical and General 37 9157–9173. doi:10.1088/0305-4470/37/39/008

2004 doi
[24]

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
[25]

Erickson, K.B. (1990). Continuous extensions of skew product diffusions. Probability Theory and Related Fields 85 73–89. doi:10.1007/BF01377630

1990 doi
[26]

and Michelangeli, A

Gallone, M. and Michelangeli, A. (2023). Self-Adjoint Extension Schemes and Mod- ern Applications to Quantum Hamiltonians . Springer Monographs in Mathematics. Springer. doi:10.1007/978-3-031-10885-3

2023 doi
[27]

and Hofacker, M

Griesemer, M. and Hofacker, M. (2022). From short-range to contact interactions in two-dimensional many-body quantum systems. Annales Henri Poincar´ e23 2769–2818. doi:10.1007/s00023-021-01149-7

2022 doi
[28]

, 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
[29]

and Watanabe, S

Ikeda, N. and Watanabe, S. (1989). Stochastic Differential Equations and Diffusion Processes. 2nd edition. North-Holland Publishing Company

1989
[30]

Kallenberg, O. (2002). Foundations of Modern Probability . Second edition. Springer- Verlag. doi:10.1007/978-1-4757-4015-8

2002 doi
[31]

and Shreve, S

Karatzas, I. and Shreve, S. (1998). Brownian Motion and Stochastic Calculus. Springer Science+Business Media New York. doi:10.1007/978-1-4612-0949-2

1998 doi
[32]

and Zhang, Y.-C

Kardar, M. and Zhang, Y.-C. (1987). Scaling of directed polymers in random media. Physical Review Letters 58 2087–2090. doi:10.1103/PhysRevLett.58.2087

1987 doi
[33]

Knight, F.B. (1981). Characterization of the Levy measures of inverse local times of gap diffusion. In: C ¸ inlar, E., Chung, K.L., Getoor, R.K. (eds) Seminar on Stochas- tic Processes, 1981. Progress in Probability and Statistics, vol 1. Birkh¨ auser Boston. doi:10.1007/978-1...

1981 doi
[34]

and Watanabe, S

Kotani, S. and Watanabe, S. (1982). Krein’s spectral theory of strings and gener- alized diffusion processes. In: Fukushima, M. (eds) Functional Analysis in Markov Processes. Lecture Notes in Mathematics 923. Springer, Berlin, Heidelberg, 235–259. doi:10.1007/BFb0093046

1982 doi
[35]

Lebedev, N.N. (1972). Special Functions & Their Applications . Dover Publication

1972
[36]

Transformations of diffusion and Schr¨ odinger processes.Probability Theory and Related Fields 82 109–136

Nagasawa, M.(1989). Transformations of diffusion and Schr¨ odinger processes.Probability Theory and Related Fields 82 109–136. doi:10.1007/BF00340014

1989 doi
[37]

Nelson, E. (1966). Derivation of the Schr¨ odinger equation from Newtonian mechanics. Physical Review 150 1079–1085. doi:10.1103/PhysRev.150.1079

1966 doi
[38]

and Yor, M

Pitman, J. and Yor, M. (1981). Bessel processes and infinitely divisible laws. In: Williams, D. (eds) Stochastic Integrals. Lecture Notes in Mathematics 851. Springer, Berlin, Heidelberg. doi:10.1007/BFb0088732

1981 doi
[39]

Protter, P.E. (2005). Stochastic Integration and Differential Equations. Second edition. Springer Berlin, Heidelberg. doi:10.1007/978-3-662-10061-5. 56

2005 doi
[40]

and Yor, M

Revuz, D. and Yor, M. (1999). Continuous Martingales and Brownian Motion. 3rd edition. Springer-Verlag, Berlin, Heidelberg. doi:10.1007/978-3-662-06400-9

1999 doi
[41]

Simon, B. (2005). Functional Integration and Quantum Physics . Second edition. AMS Chelsea Publishing. doi:10.1090/chel/351

2005 doi
[42]

Sutherland, B. (2004). Beautiful Models. 70 Years of Exactly Solved Quantum Many- Body Problems. World Scientific Publishing. doi:10.1142/5552. 57

2004 doi

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.

[1] [11]

and Dol´eans-Dade, C.A

Ash, R.B. and Dol´eans-Dade, C.A. (2000). Probability and Measure Theory . Second edition. Academic Press

work page 2000

[2] [12]

and Cancrini, N

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

doi:10.1007/bf02180136 1995

[3] [14]

Bertoin, J. (1996). L´ evy Processes. Cambridge Tracts in Mathematics 121. Cambridge University Press

work page 1996

[4] [1]

and Dabrowski, L

Albeverio, S., Brzezniak, Z. and Dabrowski, L. (1995). Fundamental solution of the heat and Schr¨ odinger equations with point interaction. Journal of Functional Analysis 130 220–254. doi:10.1006/jfan.1995.1068

arXiv 1995

[5] [2]

C4.36(β,t )

With respect to this q1, we validate (3.17) by choosing small enough γ∈ (0, 2) such that p1γ∈ (0, 2), so (3.12) follows. The proof is complete. ■ End of the proof of Theorem 3.1 (3 ◦). Forz0 = 0, we pass the q↘ 0 limit superior of the corresponding term on the right-hand side of (3.11) and use Lemma 3.2 and the following limit: Z ∞ 0 qe−(q+β)tsβ(t)dt = 4π...

work page

[6] [3]

(4.72) 40 Let us bound the two terms on the right-hand side of (4.72)

+ 1 Z t 2 0 E(0) 0 log( p 2β|Zτ|) ; p 2β|Zτ|≤ ε dτ +C4.72(β,t )E(0) 0 log( p 2β|Zt/2|) ; p 2β|Zt/2|≤ ε , ∀t> 0, ε∈ (0,δ 4.19). (4.72) 40 Let us bound the two terms on the right-hand side of (4.72). For the first term, write E(0) 0 log( p 2β|Zτ|) ; p 2β|Zτ|≤ ε = Z ε√2β 0 | log(√2βr)| τ r exp −r2 2τ dr, τ > 0, (4.73) by the polar coordinates. Hence, for all...

work page

[7] [4]

(4.97) Proof

such that 1− η 2 4ν 4ν− 1 < 2γ. (4.97) Proof. Note that (4.96) holds if and only if ν >2. To justify the existence of (η,γ ), first note 1 2 1− η0 2 η0=ν−1 2ν 4ν 4ν− 1 = 1 2 3ν + 1 4ν 4ν 4ν− 1 = 1 2 3ν + 1 4ν− 1 < 1 2, (4.98) where the last inequality uses (4.96). By (4.98), we can choose η ∈ 0, ν−1 2ν such that 1 2 1− η 2 4ν 4ν−1 < 1

work page

[8] [5]

Hence, we can choose γ∈ (0, 1

work page