Pith. sign in

REVIEW 4 minor 45 references

Phase transition for weakly interacting focusing Gibbs measures with harmonic potential

T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read A critical threshold for the coupling strength decides whether weakly focusing critical Gibbs measures with harmonic potential collapse to the free Gaussian field or fail to converge.

desk verdict Solid, sharp phase-transition threshold for focusing harmonic Gibbs measures at the L2-critical power; the new Hermite/Laguerre estimates make the adaptation work. read the letter →

arxiv 2607.11608 v1 pith:S4G2NOAP submitted 2026-07-13 math.PR math-phmath.APmath.MP

Damiano Greco , Yuzhao Wang This is my paper · ORCID
classification math.PRmath-phmath.APmath.MP MSC 60H3081T0835Q5335Q5535L71
keywords GibbsmeasurefocusingNLSharmonicpotentialphasetransitionweakcouplingWickrenormalizationvariationalmethodcriticalthreshold
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 paper asks what happens to frequency-truncated focusing Gibbs measures for the nonlinear Schrödinger equation with harmonic potential when the interaction strength λ_N is allowed to tend to zero while the L^{2} cut-off K_N may grow. At the mass-critical power p*=2+4/d the authors identify a sharp threshold of order (K_N+log N)^{-2/d}. Below the threshold the truncated measures converge in total variation to the free Gaussian free field (or to the same field restricted by a renormalized L^{2} cut-off). Above the threshold the partition function diverges, so no total-variation limit exists even along subsequences. The result answers, in the harmonic setting, the critical-coupling question first raised by Brydges–Slade for the two-dimensional Φ^{4} model, and shows that the critical measures essentially trivialise.

What carries the argument

The Boué–Dupuis variational formula applied to carefully chosen drifts that approximate –Y_N plus a rescaled blow-up profile f_M; the same formula yields both the uniform bound on the partition function in the subcritical regime and its divergence in the supercritical regime.

What would settle it

Construct an explicit sequence of coupling constants sitting exactly on the critical curve λ_N = c(K_N+log N)^{-2/d} and check whether the partition function remains bounded or diverges for that particular constant c; any finite nonzero limit would contradict the claimed sharp dichotomy.

Watch

Extended reading notes

Core claim

There exist positive constants λ*≥λ_*>0 such that, for the L^{2}-critical nonlinearity p*=2+4/d, the frequency-truncated focusing Gibbs measures ρ_N converge in total variation to the free Gaussian measure (possibly with a renormalized L^{2} cut-off) whenever λ_N ≤ λ*(K_N+log N)^{-2/d}, while the partition function diverges (hence no total-variation limit exists even along subsequences) whenever λ_N ≥ λ_*(K_N+log N)^{-2/d}.

Load-bearing premise

The argument for dimensions greater than one requires the fields to be radial, so that the eigenfunctions of the harmonic oscillator form a complete basis of the radial L^{2} space and the spectral projectors stay under control.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper constructs and analyzes frequency-truncated focusing Gibbs measures for the nonlinear Schrödinger equation with harmonic potential on R^d, at the L^2-critical power p^*=2+4/d, when the coupling λ_N tends to zero. Under a radial assumption for d≥2, Theorem 1.3 establishes a phase transition: if λ_N ≤ λ^*(K_N+log N)^{-2/d} then the truncated measures ρ_N converge in total variation to the base Gaussian free field (or the same field with a renormalized L^2 cut-off), while if λ_N ≥ λ_*(K_N+log N)^{-2/d} the partition function diverges, so no total-variation limit exists even along subsequences. The proofs rely on the Boué–Dupuis variational formula, new decay estimates for Hermite/Laguerre coefficients of rescaled profiles (Lemma 2.3, Corollary 2.4), explicit drifts for the supercritical regime, and a dyadic decomposition controlling the critical GNS term in the subcritical regime (Proposition 4.1).

Significance. The work answers, in the harmonic-potential setting, the Brydges–Slade question on weakly interacting focusing measures and complements the fixed-coupling normalizability theory of Robert–Seong–Tolomeo–Wang as well as the log-correlated analysis of Greco–Oh–Tao–Tolomeo. The new analytic inputs (coefficient decay, approximation of blow-up profiles by spectral projections, and absorption of the critical interaction by Dirichlet energy) are cleanly isolated and close without circularity. The result is a solid, self-contained contribution to the constructive theory of focusing Gibbs measures and invariant measures for dispersive PDEs.

minor comments (4)
  1. Several typographical slips should be corrected: “sequence sequence” (Theorem 1.3 statement), “main main idea” (p. 17), “te reader” (p. 19), “daydic” for “dyadic” (p. 24), and occasional missing spaces or duplicated words.
  2. In the statement of Theorem 1.3 the relation λ^* ≥ λ_* > 0 is written with the same symbol family; a brief remark that the method yields only a possibly non-sharp gap between the two constants would help the reader.
  3. The definition of β^* in (2.6) and the subsequent restriction M^β ∼ N appear only in the strong-coupling section; a forward reference in the introduction or in Corollary 2.4 would improve readability.
  4. Notation for the Wick product and the spectral projector is consistent, but the shorthand Θ_N = P_N I(θ)(1) is introduced twice (after (3.1) and again in §4); a single global definition would avoid minor confusion.

Circularity Check

1 steps flagged · score 2.0 of 10

Minor non-load-bearing self-citations to the authors' circle for black-box lemmas and techniques; the critical threshold itself is derived independently from GNS scaling and new Hermite/Laguerre coefficient estimates.

  1. self citation load bearing [Section 1 (after (1.10)) and proof of Theorem 1.3(ii) (Case 1, around (3.4)–(3.9))]
    "When λ_N ≡ λ > 0 (focusing case) and K_N ≡ K, it has been proved that the Gibbs measure ρ is normalizable if and only if p < p∗(d) := 2 + 4/d, cf. [38, Theorems 1.4-1.6]. … Next, we define a drift θ_0 of the form θ_0(t) := L^{1/2}(d/dt Z_M(t) + √α_{M,N} f_M), … similarly to [38, Lemma 4.4]"

    The fixed-λ normalizability theory and the form of the approximating process Z_M are taken from the authors' prior work [38] (and the variational strategy from the same circle [23]). These are used as black boxes to justify the setting and the drift construction, but the statements of [38] do not contain the vanishing-coupling threshold; the new scaling analysis that produces λ∗ is independent. The citation is therefore only mildly load-bearing and does not force the main claim by construction.

full rationale

The paper's central claim (existence of a sharp threshold λ∗ ≥ λ∗ > 0 for λ_N ∼ (K_N + log N)^{-2/d} separating total-variation convergence of the truncated focusing measures to the free Gaussian/cut-off Gaussian from divergence of the partition function) is established by direct variational estimates. The weak-coupling bound (Proposition 4.1) absorbs the critical GNS term into the Dirichlet energy precisely when the stated smallness of λ_N holds, using only the paper's own estimates on Wick powers and the free field. The strong-coupling divergence constructs explicit drifts (3.4) and (3.11) whose free-energy lower bound blows up by the same scaling, relying on the new decay of Hermite/Laguerre coefficients of the rescaled profile f_M (Lemma 2.3) and the resulting approximation P_N f_M o f_M (Corollary 2.4). Prior results of the same circle ([38] for fixed-λ normalizability, [23] for the log-correlated analogue, Boué-Dupuis variational formula) are invoked only as black-box tools whose statements do not encode the threshold being proved; no equation reduces the claimed critical constant to a previously fitted or self-defined quantity. The radial restriction for d ≥ 2 is an explicit hypothesis, not a circular smuggling. Hence only a mild self-citation score of 2 is warranted.

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

The result rests on classical functional-analytic inequalities, the spectral theory of the harmonic oscillator, and the Boué-Dupuis variational formula. No free parameters are fitted to data; the only “constants” λ*, λ_* are pure existence statements. No new physical entities are postulated.

assumptions (4)
  • standard math Gagliardo-Nirenberg-Sobolev inequality on Rd with optimal constant achieved in H1 (Proposition 1.2)
    Used repeatedly to convert L2 and H1 norms into Lp* norms of the drifts; invoked in both the weak- and strong-coupling regimes.
  • standard math Boué-Dupuis variational formula for the log-partition function (Lemma 2.5)
    The entire proof strategy reduces the normalizability question to a variational problem over drifts; the formula is taken from the literature without re-proof.
  • domain assumption Completeness of the Hermite (d=1) / Laguerre (radial d≥2) eigenbasis of the harmonic oscillator and the associated spectral projector PN
    Defines the frequency truncation and the Gaussian free field; for d≥2 the radial restriction is essential for the basis to remain complete in the radial subspace.
  • domain assumption Wick renormalization of the L2 mass is well-defined as an Lr(µ) limit (Lemma 2.9 / Corollary 2.9)
    Makes the cut-off indicator measurable; taken from earlier harmonic-oscillator work.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Phase transition for weakly interacting focusing Gibbs measures with harmonic potential." pith.science (2026). https://pith.science/paper/S4G2NOAP

@misc{pith2026260711608,
  author       = {Pith},
  title        = {Pith review of: Phase transition for weakly interacting focusing Gibbs measures with harmonic potential},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/S4G2NOAP}},
  note         = {Machine review of arXiv:2607.11608}
}
abstract

In this paper, we study the Gibbs measures on Euclidean spaces associated to the focusing nonlinear Schr\"odinger equation with harmonic potential and critical non linearity whose coupling constant tends to 0, a question initially posed by Brydges-Slade (1996) for the $\Phi^4_2$-model on $\mathbb{T}^2$. In dimension one and in the higher dimensional cases (with radial assumption), we establish a critical threshold below which the frequency-truncated measures converge to the base Gaussian measure (possibly with a renormalized $L^2$ cut-off) while, in the supercritical regime, we prove non-convergence of the frequency-truncated measures, even up to a subsequence.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 2 linked inside Pith

  1. [1]

    Barashkov, M

    N. Barashkov, M. Gubinelli,A variational method forΦ 4 3, Duke Math. J. 169 (2020), no. 17, 3339–3415

    2020

  2. [2]

    Barashkov, M

    N. Barashkov, M. Gubinelli,On the variational method for Euclidean quantum fields in infinite volume, Probab. Math. Phys.4(2023), no. 4, 761–801

    2023

  3. [3]

    Barashkov, P

    N. Barashkov, P. Laarne,Invariance ofΦ 4 measure under nonlinear wave and Schr¨ odinger equations on the plane, arXiv:2211.16111 [math.AP]

    arXiv

  4. [4]

    Bellazzini, R.L

    J. Bellazzini, R.L. Frank, N. Visciglia,Maximizers for Gagliardo-Nirenberg inequalities and related non-local problems, Math. Ann. 360 (2014), no. 3-4, 653–673

    2014

  5. [5]

    Blakie, A.S

    P.B. Blakie, A.S. Bradley, M.J. Davis, R.J. Ballagh, C.W. Gardiner,Dynamics and statistical mechanics of ultra-cold Bose gases using c-field techniques, Adv. in Phys., 57 (2008), pp. 363–455

    2008

  6. [6]

    Bogachev,Gaussian measures, Mathematical Surveys and Monographs, 62

    V. Bogachev,Gaussian measures, Mathematical Surveys and Monographs, 62. American Mathematical Society, Providence, RI, 1998. xii+433 pp

    1998

  7. [7]

    Boyd,Asymptotic coefficients of hermite function series, J

    J.P. Boyd,Asymptotic coefficients of hermite function series, J. Math. Phys., 54 (1984), no. 3, 382–410

    1984

  8. [8]

    Bou´ e, P

    M. Bou´ e, P. Dupuis,A variational representation for certain functionals of Brownian motion, Ann. Probab. 26 (1998), no. 4, 1641–1659

    1998

Show all 45 references
  1. [9]

    Bourgain, A

    J. Bourgain, A. Bulut,Almost sure global well posedness for the radial nonlinear Schr¨ odinger equation on the unit ball I: the 2D case.,Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire 31 (2014), no. 6, 1267–1288

    2014

  2. [10]

    Bourgain,Periodic nonlinear Schr¨ odinger equation and invariant measures, Comm

    J. Bourgain,Periodic nonlinear Schr¨ odinger equation and invariant measures, Comm. Math. Phys. 166 (1994), no. 1, 1–26

    1994

  3. [11]

    Bourgain,Invariant measures for the 2D-defocusing nonlinear Schr¨ odinger equation, Comm

    J. Bourgain,Invariant measures for the 2D-defocusing nonlinear Schr¨ odinger equation, Comm. Math. Phys. 176 (1996), no. 2, 421–445

    1996

  4. [12]

    Bourgain,Invariant measures for the Gross-Piatevskii equation,J

    J. Bourgain,Invariant measures for the Gross-Piatevskii equation,J. Math. Pures Appl. 76 (1997), no. 8, 649–702

    1997

  5. [13]

    Brydges, G

    D.C. Brydges, G. Slade,Statistical mechanics of the 2-dimensional focusing nonlinear Schr¨ odinger equation, Comm.Math. Phys. 182, (1996), 485–504

    1996

  6. [14]

    N. Burq, L. Thomann, N. Tzvetkov,Long time dynamics for the one dimensional non linear Schr¨ odinger equation,Ann. Inst. Fourier (Grenoble) 63 (2013), no. 6, 2137–2198. 27

    2013

  7. [15]

    Carlen, J

    E. Carlen, J. Fr¨ ohlich, J. Lebowitz,Exponential relaxation to equilibrium for a one-dimensional focusing non-linear Schr¨ odinger equation with noise, Comm. Math. Phys. 342 (2016), no. 1, 303–332

    2016

  8. [16]

    Carlitz,The relationship of the Hermite to the Laguerre polynomials, Boll

    L. Carlitz,The relationship of the Hermite to the Laguerre polynomials, Boll. Un. Mat. Ital., Serie 3, 16 (1961), no. 4, 386–390

    1961

  9. [17]

    Deng,Two-dimensional nonlinear Schr¨ odinger equation with random radial data, Anal

    Y. Deng,Two-dimensional nonlinear Schr¨ odinger equation with random radial data, Anal. PDE 5 (2012), no. 5, 913–960

    2012

  10. [18]

    Y. Deng, A. Nahmod, H. Yue,Invariant Gibbs measures and global strong solu- tions for nonlinear Schr¨ odinger equations in dimension two, Ann. of Math. 200 (2024), no. 2, 399–486

    2024

  11. [19]

    Y. Deng, A. Nahmod, H. Yue,Random tensors, propagation of randomness, and nonlinear dispersive equations, Invent. math. 228 (2022), no. 2, 539–686

    2022

  12. [20]

    Duine, H

    R. Duine, H. Stoof,Stochastic dynamics of a trapped Bose-Einstein condensate, Phys. Rev. A, 65 (2001) 013603

    2001

  13. [21]

    Forlano, T

    J. Forlano, T. Oh, Y. Wang,Invariant Gibbs dynamics for the nonlinear Schr¨ odinger equations on the disc, preprint

  14. [22]

    Frank, E

    R. Frank, E. Lenzmann, L. Silvestre,Uniqueness of radial solutions for the fractional Laplacian, Comm. Pure Appl. Math. 69 (2016), no. 9, 1671–1726

    2016

  15. [23]

    Greco, T

    D. Greco, T. Oh, L. Tao, L. Tolomeo,Critical threshold for weakly interacting log-correlated focusing Gibbs measures, Proc. Amer. Math. Soc. Ser. B12(2025), 150–165

    2025

  16. [24]

    Greco, G

    D. Greco, G. Li, R. Liang, T. Oh, Y. Wang,Optimal divergence rate of the focusing Gibbs measures, arXiv:2310.08783 [math.PR]

    arXiv

  17. [25]

    Gubinelli and M

    M. Gubinelli and M. Hofmanov´ a,A PDE construction of the Euclideanϕ 4 3 quantum field theory, Comm. Math. Phys.384(2021), no. 1, 1–75

    2021

  18. [26]

    Hardy, J.E

    G.H. Hardy, J.E. Littlewood, G. P´ olya,Inequalities, Reprint of the 1952 edition. Cambridge Mathematical Library. Cambridge University Press, Cambridge, 1988. xii+324 pp

    1952

  19. [27]

    Imekraz, D

    R. Imekraz, D. Robert, L. Thomann,On random Hermite series, Trans. Amer. Math. Soc. 368 (2016), no. 4, 2763-2792

    2016

  20. [28]

    Koornwinder,The Addition Formula for Laguerre Polynomials, SIAM J

    T. Koornwinder,The Addition Formula for Laguerre Polynomials, SIAM J. Math. Anal. 8 (1977), no. 3, 535–540

    1977

  21. [29]

    Liang, Y

    R. Liang, Y. Wang,Gibbs measure for the focusing fractional NLS on the torus, SIAM. J. Math. Anal. 54 (2022), no. 6, 6096–6118. 28

    2022

  22. [30]

    Lebowitz, P

    J. Lebowitz, P. Mounaix, W.-M. Wang,Approach to equilibrium for the stochastic NLS,Comm. Math. Phys. 321 (2013), no. 1, 69–84

    2013

  23. [31]

    Lebowitz, H

    J. Lebowitz, H. Rose, E. Speer,Statistical mechanics of the nonlinear Schr¨ odinger equation, J. Statist. Phys. 50 (1988), no. 3-4, 657–687

    1988

  24. [32]

    Nagy, ¨Uber Integralgleichungen zwischen einer Funktion und ihrer Ableitung,Acta Univ

    B.V.Sz. Nagy, ¨Uber Integralgleichungen zwischen einer Funktion und ihrer Ableitung,Acta Univ. Szeged. Sect. Sci. Math 10 (1941), 64–74

    1941

  25. [33]

    T. Oh, M. Okamoto, L. Tolomeo,FocusingΦ 4 3-model with a Hartree-type nonlinearity, Mem. Amer. Math. Soc. 304 (2024), no. 1529, vi+143 pp

    2024

  26. [34]

    T. Oh, M. Okamoto, L. Tolomeo,Stochastic quantization of theΦ 3 3-model, Mem. Eur. Math. Soc., 16. EMS Press, Berlin, 2025, viii+145 pp

    2025

  27. [35]

    T. Oh, J. Quastel, B. Valk´ o,Interpolation of Gibbs measures and white noise for Hamiltonian PDE, J. Math. Pures Appl. 97 (2012), no. 4, 391–410

    2012

  28. [36]

    T. Oh, K. Seong, L. Tolomeo,A remark on Gibbs measures with log-correlated Gaussian fields, Forum Math. Sigma 12 (2024), Paper No. e50

    2024

  29. [37]

    T. Oh, P. Sosoe, L. Tolomeo,Optimal integrability threshold for Gibbs measures associated with focusing NLS on the torus,Invent. Math. 227 (2022), no. 3, 1323– 1429

    2022

  30. [38]

    Robert, K

    T. Robert, K. Seong, L. Tolomeo, Y. Wang,Focusing Gibbs measure with har- monic potential, Ann. Inst. Henri Poincar´ e Probab. Stat. 61 (2025), no. 1, 571–598

    2025

  31. [39]

    Simon,TheP(φ) 2 Euclidean (quantum) field theory,Princeton Series in Physics

    B. Simon,TheP(φ) 2 Euclidean (quantum) field theory,Princeton Series in Physics. Princeton University Press, Princeton, N.J., 1974. xx+392 pp

    1974

  32. [40]

    Tolomeo, H

    L. Tolomeo, H. Weber,Phase transition for invariant measures of the focusing Schr¨ odinger equation, arXiv:2306.07697 [math.AP]

  33. [41]

    Tzvetkov,Invariant measures for the nonlinear Schr¨ odinger equation on the disc, Dyn

    N. Tzvetkov,Invariant measures for the nonlinear Schr¨ odinger equation on the disc, Dyn. Partial Differ. Equ. 3 (2006), no. 2, 111–160

    2006

  34. [42]

    Tzvetkov,Invariant measures for the defocusing nonlinear Schr¨ odinger equation, Ann

    N. Tzvetkov,Invariant measures for the defocusing nonlinear Schr¨ odinger equation, Ann. Inst. Fourier (Grenoble) 58 (2008), no. 7, 2543–2604

    2008

  35. [43]

    ¨Ust¨ unel,Variational calculation of Laplace transforms via entropy on Wiener space and applications, J

    A. ¨Ust¨ unel,Variational calculation of Laplace transforms via entropy on Wiener space and applications, J. Funct. Anal. 267 (2014), no. 8, 3058–3083

    2014

  36. [44]

    Weinstein,Nonlinear Schr ¨dinger equations and sharp interpolation estimates, Comm

    M. Weinstein,Nonlinear Schr ¨dinger equations and sharp interpolation estimates, Comm. Math. Phys. 87 (1982/83), no. 4, 567–576. 29

    1982

  37. [45]

    Zhang,A variational representation for random functionals on abstract Wiener spaces, J

    X. Zhang,A variational representation for random functionals on abstract Wiener spaces, J. Math. Kyoto Univ. 49 (2009), no. 3, 475–490. 30

    2009

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.