pith. machine review for the scientific record. sign in

arxiv: 2605.06844 · v1 · submitted 2026-05-07 · 🧮 math-ph · math.MP

Recognition: 2 theorem links

· Lean Theorem

A Note on the Construction of Trial States for the Dilute Bose Gas

Diane Saint Aubin, Jakob Oldenburg, Morris Brooks

Pith reviewed 2026-05-11 01:06 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords dilute Bose gasLee-Huang-Yang correctiontrial statesground state energylocal particle number cutoffthermodynamic limitupper bound
0
0 comments X

The pith

Trial states built with a local particle number cutoff achieve the Lee-Huang-Yang correction as an upper bound for the ground-state energy of the dilute Bose gas.

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

The paper shows how a local particle number cutoff can be used to build trial states for the dilute Bose gas. These states incorporate the important correlations present in the true ground state at low density. The construction yields a simplified derivation that the ground state energy lies at or below the value given by the Lee-Huang-Yang formula. A reader cares because this supplies a rigorous upper bound that confirms the leading correction term without solving the full many-body Schrödinger equation.

Core claim

The authors review the use of the local particle number cutoff to construct trial states that capture the substantial correlation structure of the ground state in the thermodynamic limit. With these states they derive the Lee-Huang-Yang correction as an upper bound on the ground-state energy of the dilute Bose gas.

What carries the argument

The local particle number cutoff, which restricts occupation numbers in small spatial regions so that the resulting trial wave functions encode the essential two-body correlations of the dilute regime.

If this is right

  • The ground-state energy of the dilute Bose gas is rigorously bounded from above by the expression that includes the Lee-Huang-Yang correction.
  • Trial states for the Bose gas can be built with a simpler cutoff procedure while still accounting for the leading correlation effects.
  • The method works in the thermodynamic limit at low density without requiring more elaborate correlation operators.
  • The Lee-Huang-Yang term is isolated as the first correction beyond the mean-field energy.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same local-cutoff technique could be tested on related models such as the anyonic gas or lattice bosons to obtain analogous energy bounds.
  • The construction suggests that global correlation effects in dilute gases can be approximated by enforcing local number constraints.

Load-bearing premise

The local particle number cutoff is sufficient to capture the substantial correlation structure of the ground state in the thermodynamic limit.

What would settle it

Direct evaluation of the Hamiltonian expectation value on the constructed trial states that returns an energy strictly larger than the claimed Lee-Huang-Yang upper bound would show the derivation to be incorrect.

read the original abstract

We review how the local particle number cutoff introduced in [11] is used to build trial states for the dilute Bose gas that capture the substantial correlation structure of the ground state in the thermodynamic limit. In particular, we provide a simplified derivation of the Lee-Huang-Yang correction as an upper bound for the ground state energy.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript reviews the use of the local particle number cutoff introduced in [11] to construct trial states for the dilute Bose gas. It claims to provide a simplified derivation showing that these states yield a variational upper bound on the ground state energy whose next-order term is precisely the Lee-Huang-Yang correction in the thermodynamic limit.

Significance. If the cutoff error is rigorously controlled below the LHY scale, the note clarifies how a local cutoff can capture the leading pair correlations (at the healing length) while taking the thermodynamic limit, thereby simplifying the proof of the LHY upper bound. This is a useful technical clarification in the literature on dilute Bose gases.

major comments (1)
  1. The load-bearing step is the control of the cutoff-induced error in the kinetic and interaction energies. The manuscript must explicitly show that this error is o((a^3 rho)^{1/2} rho) (i.e., smaller than the LHY term) uniformly in the thermodynamic limit; without such an estimate the claimed upper bound does not establish the precise coefficient.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation of our note and for the detailed comment on the control of cutoff errors. We address the major comment below and will revise the manuscript accordingly to strengthen the presentation.

read point-by-point responses

  1. Referee: The load-bearing step is the control of the cutoff-induced error in the kinetic and interaction energies. The manuscript must explicitly show that this error is o((a^3 rho)^{1/2} rho) (i.e., smaller than the LHY term) uniformly in the thermodynamic limit; without such an estimate the claimed upper bound does not establish the precise coefficient.

    Authors: We agree that an explicit estimate of the cutoff-induced error is necessary to rigorously establish the precise LHY coefficient in the thermodynamic limit. The original manuscript sketches the construction and refers to the estimates in [11] for brevity, but does not derive the o((a^3 rho)^{1/2} rho) bound in full detail. In the revised version we will add a self-contained subsection deriving this bound: using the local cutoff definition and the smallness of a rho^{1/3}, we bound the kinetic-energy discrepancy by C (a rho^{1/3})^{1/2} rho times a factor that vanishes as the cutoff threshold tends to infinity, and similarly control the interaction-energy error via the rapid decay of the pair correlation function outside the healing length. This yields the required o((a^3 rho)^{1/2} rho) remainder uniformly in the thermodynamic limit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation of LHY upper bound is self-contained

full rationale

The paper reviews the local particle number cutoff construction introduced in the cited reference [11] and then performs an explicit simplified derivation of the variational upper bound on the ground-state energy that isolates the Lee-Huang-Yang correction. This derivation consists of direct computation of the kinetic and interaction energy expectations on the constructed trial states in the thermodynamic limit; the resulting LHY term emerges from that calculation rather than being inserted by definition or by a fitted parameter. The self-citation supplies the cutoff technique but does not carry the load-bearing algebraic steps that produce the coefficient 4πaρ(1 + (128/15√π)√(a³ρ) + …). No self-definitional loop, fitted-input prediction, or ansatz smuggling is present in the provided derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no explicit free parameters, axioms, or invented entities can be extracted. The work relies on standard quantum many-body assumptions and the cutoff method of reference [11].

pith-pipeline@v0.9.0 · 5339 in / 1108 out tokens · 29391 ms · 2026-05-11T01:06:03.499372+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

37 extracted references · 4 canonical work pages

  1. [1]

    Adhikari, C

    A. Adhikari, C. Brennecke, B. Schlein. Bose-Einstein Condensation Beyond the Gross-Pitaevskii Regime.Ann. Henri Poincar´ e22(2021), 1163–1233

    2021

  2. [2]

    G. Basti. A second order upper bound on the ground state energy of a Bose gas beyond the Gross–Pitaevskii regime.J. Math. Phys.63(2022), no. 7, 071902

    2022

  3. [3]

    Basti, M

    G. Basti, M. Brooks, S. Cenatiempo, A. Olgiati, B. Schlein. The Lee-Huang-Yang energy for a dilute gas of hard spheres: an upper bound. Preprint arXiv:2603.13084

    work page arXiv

  4. [4]

    Basti, S

    G. Basti, S. Cenatiempo, A. Giuliani, A. Olgiati, G. Pasqualetti, B. Schlein. Upper bound for the ground state energy of a dilute Bose gas of hard spheres.Arch. Ration. Mech. Anal.248(2024), 1–21. 32

    2024

  5. [5]

    Basti, S

    G. Basti, S. Cenatiempo, A. Olgiati, G. Pasqualetti, B. Schlein. A second order upper bound for the ground state energy of a hard-sphere gas in the Gross-Pitaevskii regime.Commun. Math. Phys.399(2023), 1–55

    2023

  6. [6]

    Basti, S

    G. Basti, S. Cenatiempo, B. Schlein. A new second-order upper bound for the ground state energy of dilute Bose gases.Forum of Mathematics, Sigma9(2021) , e74

    2021

  7. [7]

    Boccato, C

    C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein. Optimal Rate for Bose- Einstein Condensation in the Gross-Pitaevskii Regime.Comm. Math. Phys.376, (2020), 1311–1395

    2020

  8. [8]

    Boccato, C

    C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein. Bogoliubov Theory in the Gross-Pitaevskii limit.Acta Math.222(2019), no. 2, 219–335

    2019

  9. [9]

    Boccato, A

    C. Boccato, A. Deuchert, D. Stocker. Upper bound for the grand canonical free energy of the Bose gas in the Gross-Pitaevskii limit.SIAM J. Math. Anal.56, 2611–2660

  10. [10]

    N. N. Bogoliubov. On the theory of superfluidity.Izv. Akad. Nauk. USSR11(1947),

    1947

  11. [11]

    Transl.J

    Engl. Transl.J. Phys. (USSR)11(1947), 23

    1947

  12. [12]

    Brooks, J

    M. Brooks, J. Oldenburg, D. Saint Aubin, B. Schlein. Third Order Upper Bound for the Ground State Energy of the Dilute Bose Gas. Preprint arXiv:2506.04153

    work page arXiv

  13. [13]

    Brennecke, M

    C. Brennecke, M. Brooks, C. Caraci, J. Oldenburg. A Short Proof of Bose–Einstein Condensation in the Gross–Pitaevskii Regime and Beyond.Ann. Henri Poincar´ e, 26(2024), 1353–1373

    2024

  14. [14]

    Brennecke, M

    C. Brennecke, M. Caporaletti, B. Schlein. Excitation spectrum for Bose gases be- yond the Gross-Pitaevskii regime. Reviews in Mathematical Physics 34, no. 09 (2022), 2250027

    2022

  15. [15]

    Brennecke, B

    C. Brennecke, B. Schlein, S. Schraven. Bose-Einstein Condensation with Optimal Rate for Trapped Bosons in the Gross-Pitaevskii Regime.Mathematical Physics, Analysis and Geometry25, no. 2 (2022), 12

    2022

  16. [16]

    Brennecke, B

    C. Brennecke, B. Schlein, S. Schraven. Bogoliubov Theory for Trapped Bosons in the Gross-Pitaevskii Regime.Ann. Henri Poincar´ e23(2022), 1583–1658

    2022

  17. [17]

    M. Brooks. Diagonalizing Bose Gases in the Gross-Pitaevskii Regime and Beyond. Comm. Math. Phys.406(2024), 1–59

    2024

  18. [18]

    Caraci, A

    C. Caraci, A. Olgiati, D. Saint Aubin, B. Schlein. Third order corrections to the ground state energy of a Bose gas in the Gross-Pitaevskii regime.Comm. Math. Phys.406(2025), 1–76

    2025

  19. [19]

    F.J. Dyson. Ground-State Energy of a Hard-Sphere Gas.Phys. Rev.106(1957), 20–26. 33

    1957

  20. [20]

    Erd˝ os, B

    L. Erd˝ os, B. Schlein, and H.-T. Yau. The ground state energy of a low density Bose gas: a second order upper bound.Phys. Rev. A78(2008), no. 5, 053627

    2008

  21. [21]

    Fournais, T

    S. Fournais, T. Girardot, L. Junge, L. Morin, and M. Olivieri. Lower bounds on the energy of the Bose gas.Reviews in Mathematical Physics: 36, 2024

    2024

  22. [22]

    Fournais, L

    S. Fournais, L. Junge, T. Girardot, L. Morin, M. Olivieri, A. Triay. The free energy of dilute Bose gases at low temperatures interacting via strong potentials. Preprint arXiv:2408.14222

    work page arXiv

  23. [23]

    Fournais, J.P

    S. Fournais, J.P. Solovej. The energy of dilute Bose gases.Ann. Math.192(2020), 893–976

    2020

  24. [24]

    Fournais, J.P

    S. Fournais, J.P. Solovej. The energy of dilute Bose gases II: The general case.Inv. Math.232, no. 2, (2023), 863–994

    2023

  25. [25]

    T.Nam, R.Seiringer, and A.Triay, The free energy of dilute Bose gases at low temperatures, arXiv:2304.02405 (2023)

    F. Haberberger, C. Hainzl, P. T. Nam, R. Seiringer, A. Triay. The free energy of dilute Bose gases at low temperatures. Preprint arXiv:2304.02405

    work page arXiv

  26. [26]

    Haberberger, C

    F. Haberberger, C. Hainzl, B. Schlein, A. Triay. Upper Bound for the Free Energy of Dilute Bose Gases at Low Temperature.Adv. Math.490 (2026)

    2026

  27. [27]

    Hainzl, B

    C. Hainzl, B. Schlein, A. Triay. Bogoliubov theory in the Gross-Pitaevskii limit: a simplified approach.Forum of Math. Sigma10(2022), e90

    2022

  28. [28]

    N. M. Hugenholtz, D. Pines. Ground-State Energy and Excitation Spectrum of a System of Interacting Bosons.Phys. Rev.116(1959), no. 3, 489–506

    1959

  29. [29]

    T. D. Lee, K. Huang, C. N. Yang. Eigenvalues and Eigenfunctions of a Bose System of Hard Spheres and Its Low-Temperature Properties.Phys. Rev.106(1957), 6, 1135–1145

    1957

  30. [30]

    E. H. Lieb and R. Seiringer. Proof of Bose-Einstein condensation for dilute trapped gases.Phys. Rev. Lett.88(2002), 170409

    2002

  31. [31]

    E. H. Lieb, J. Yngvason. Ground State Energy of the low density Bose Gas.Phys. Rev. Lett.80(1998), 2504–2507

    1998

  32. [32]

    P. T. Nam, M. Napi´ orkowski, J. Ricaud, A. Triay. Optimal rate of condensation for trapped bosons in the Gross–Pitaevskii regime.Anal. PDE15, no. 6 (2022), 1585–1616

    2022

  33. [33]

    P. T. Nam, A. Triay. Bogoliubov excitation spectrum of trapped Bose gases in the Gross-Pitaevskii regime.J. de Math. Pur. App.176(2023), 18–101

    2023

  34. [34]

    Ruelle.Statistical Mechanics - Rigorous Results

    D. Ruelle.Statistical Mechanics - Rigorous Results. World Scientific, Imperial Col- lege Press (1999). 34

    1999

  35. [35]

    K. Sawada. Ground-State Energy of Bose-Einstein Gas with Repulsive Interaction. Phys. Rev.116(1959), no. 6, 1344–1358

    1959

  36. [36]

    H.-T. Yau, J. Yin. The second order upper bound for the ground state energy of a Bose gas.J. Stat. Phys.136(2009), no. 3, 453–503

    2009

  37. [37]

    T.T. Wu. Ground State of a Bose System of Hard Spheres.Phys. Rev.115(1959), no. 6, 1390–1404. 35

    1959