pith. sign in

arxiv: 2510.20493 · v3 · submitted 2025-10-23 · 🧮 math-ph · math.MP

Kinetic localization via Poincar\'e-type inequalities and applications to the condensation of Bose gases

Jacky J. Chong , Hao Liang , Phan Th\`anh Nam This is my paper

Pith reviewed 2026-05-18 05:00 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords Bose-Einstein condensationdilute Bose gasesPoincaré inequalitykinetic localizationGross-Pitaevskii scalingmany-body wave functionsquantum many-body systems
0
0 comments X

The pith

A Poincaré-type inequality localizes kinetic energy in Bose gases to derive condensation beyond Gross-Pitaevskii scaling

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

The paper introduces a localization method for Bose gases that relies on a Poincaré-type inequality. This inequality controls the kinetic energy directly in many-body wave functions. The result is a new derivation of Bose-Einstein condensation for dilute gases in scaling regimes that extend past the standard Gross-Pitaevskii limit. A sympathetic reader cares because the approach reduces technical overhead in proving condensation for quantum many-body systems.

Core claim

We propose a simplified localization method for Bose gases, based on a Poincaré-type inequality, which leads to a new derivation of Bose-Einstein condensation for dilute Bose gases beyond the Gross-Pitaevskii scaling regime.

What carries the argument

Poincaré-type inequality applied directly to many-body wave functions to localize kinetic energy

If this is right

  • Bose-Einstein condensation holds for dilute gases in a wider class of scaling regimes.
  • Kinetic energy localization becomes available through a single inequality rather than multiple estimates.
  • The method simplifies earlier proofs of condensation for interacting Bose systems.

Where Pith is reading between the lines

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

  • The inequality might adapt to trapped or inhomogeneous Bose gases with minimal changes.
  • Similar localization could apply to other quantum particle systems with repulsive interactions.
  • Numerical checks of the inequality on model wave functions could test the range of validity.

Load-bearing premise

The Poincaré-type inequality applies directly to the many-body wave functions of the dilute Bose gas to control kinetic energy localization in regimes beyond Gross-Pitaevskii scaling.

What would settle it

A calculation showing that the Poincaré-type inequality fails to bound kinetic energy for some many-body states in the dilute regime beyond Gross-Pitaevskii scaling would invalidate the condensation derivation.

read the original abstract

We propose a simplified localization method for Bose gases, based on a Poincare-type inequality, which leads to a new derivation of Bose--Einstein condensation for dilute Bose gases beyond the Gross--Pitaevskii scaling regime.

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

2 major / 2 minor

Summary. The manuscript proposes a simplified localization method for Bose gases based on a Poincaré-type inequality. This is used to derive a new proof of Bose-Einstein condensation for dilute Bose gases in regimes beyond the Gross-Pitaevskii scaling, where the interaction strength scales such that the scattering length a_N tends to zero more slowly than in the standard GP regime.

Significance. If the central derivation holds with uniform control, the approach could simplify existing proofs of condensation and extend them to a broader class of dilute regimes. The reliance on a standard inequality rather than more involved techniques would be a methodological strength, potentially aiding further applications in many-body quantum mechanics.

major comments (2)
  1. [§3.1] §3.1, statement and proof of the Poincaré-type inequality: the constant C in the inequality must be shown to remain uniform under the specific dilute scaling (a_N → 0 slower than GP). Without an explicit estimate controlling the dependence on the interaction potential in the many-body setting, the extension beyond GP scaling rests on an unverified assumption.
  2. [§4] §4, application to the N-body wave function ψ_N: the step from the single-particle or reduced inequality to direct control of the kinetic energy localization for the full correlated many-body state lacks a detailed error estimate. This is load-bearing for the central claim, as any implicit reduction to mean-field or GP-type bounds would invalidate the beyond-GP result.
minor comments (2)
  1. [Introduction] The notation for the scaling parameter in the interaction potential should be introduced earlier and used consistently throughout the estimates.
  2. [Figure 1] Figure 1 (schematic of localization) would benefit from clearer labeling of the dilute regime boundaries relative to GP scaling.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comments on our manuscript. We address each major point below and have revised the manuscript to strengthen the uniformity estimates and error controls.

read point-by-point responses

  1. Referee: [§3.1] §3.1, statement and proof of the Poincaré-type inequality: the constant C in the inequality must be shown to remain uniform under the specific dilute scaling (a_N → 0 slower than GP). Without an explicit estimate controlling the dependence on the interaction potential in the many-body setting, the extension beyond GP scaling rests on an unverified assumption.

    Authors: We agree that explicit uniformity of C is essential. The Poincaré-type inequality is obtained by combining the standard Poincaré inequality on the domain with a correction term controlled by the scattering length a_N. In the revised version we have inserted a new lemma in §3.1 that provides an explicit bound C ≤ C_0(‖V‖_{L^1}, diam(Ω)), where C_0 is independent of N and of the scaling parameter as long as a_N → 0 (which is satisfied in the regime considered). The proof of the lemma uses only the positivity and integrability of the potential and does not invoke any mean-field reduction, thereby justifying the extension beyond the Gross-Pitaevskii regime. revision: yes

  2. Referee: [§4] §4, application to the N-body wave function ψ_N: the step from the single-particle or reduced inequality to direct control of the kinetic energy localization for the full correlated many-body state lacks a detailed error estimate. This is load-bearing for the central claim, as any implicit reduction to mean-field or GP-type bounds would invalidate the beyond-GP result.

    Authors: We thank the referee for highlighting this point. The inequality is applied directly to the full N-body wave function ψ_N ∈ H^1(Ω^N), which is admissible for the Poincaré-type estimate without any reduction to one-body densities. The error incurred by the interaction-induced correlations is estimated in the revised §4 by splitting the kinetic-energy localization into a main term controlled by the Poincaré constant and a remainder that is bounded using the a-priori energy bound and the dilute condition a_N N^{1/3} → 0. The resulting remainder vanishes in the thermodynamic limit under the stated scaling, without relying on Gross-Pitaevskii or mean-field approximations. We have added the full expansion of this error term together with the necessary a-priori estimates. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies standard Poincaré inequality to many-body states

full rationale

The paper's central derivation applies a Poincaré-type inequality directly to the N-body wave function of the dilute Bose gas to obtain kinetic energy localization and condensation beyond the GP regime. This step is presented as a simplification using an external inequality without reduction to fitted parameters, self-definitional loops, or load-bearing self-citations that presuppose the target result. The method remains self-contained against external mathematical benchmarks for the inequality, with no evidence that the many-body application is forced by construction from the paper's own inputs or prior author work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only abstract available; no specific free parameters, axioms, or invented entities are identifiable beyond the general use of a Poincaré-type inequality as a standard mathematical tool.

axioms (1)
  • standard math Poincaré-type inequality for localization of kinetic energy
    Invoked as the foundation for the simplified localization method in the abstract.

pith-pipeline@v0.9.0 · 5556 in / 1168 out tokens · 34456 ms · 2026-05-18T05:00:36.496897+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. Propagation of Condensation via Neumann Localization in the Dilute Bose Gas

    math-ph 2026-03 unverdicted novelty 6.0

    A new Neumann localization inequality with spectral gap is proven via overlapping subcubes and used to propagate strong Bose-Einstein condensation estimates in the dilute gas to larger length scales.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages · cited by 1 Pith paper

  1. [1]

    Adhikari, C

    A. Adhikari, C. Brennecke, and B. Schlein. Bose–Einstein condensation beyond the Gross–Pitaevskii regime.Ann. Henri Poincar´ e, 22(4):1163–1233, 2021

    work page 2021

  2. [2]

    Armstrong, T

    S. Armstrong, T. Kuusi, and J.-C. Mourrat. Mesoscopic higher regularity and subadditivity in elliptic homogenization.Comm. Math. Phys., 347(2):315–361, 2016

    work page 2016

  3. [3]

    Boccato, C

    C. Boccato, C. Brennecke, S. Cenatiempo, and B. Schlein. Complete Bose–Einstein condensation in the Gross–Pitaevskii regime.Commun. Math. Phys., 359(3):975–1026, 2018

    work page 2018

  4. [4]

    Boccato, C

    C. Boccato, C. Brennecke, S. Cenatiempo, and B. Schlein. Bogoliubov theory in the Gross–Pitaevskii limit.Acta Math., 222(2):219–335, June 2019

    work page 2019

  5. [5]

    Boccato, C

    C. Boccato, C. Brennecke, S. Cenatiempo, and B. Schlein. Optimal rate for Bose–Einstein conden- sation in the Gross–Pitaevskii regime.Commun. Math. Phys., 376:1311–1395, 2020

    work page 2020

  6. [6]

    Boccato and R

    C. Boccato and R. Seiringer. The Bose gas in a box with Neumann boundary conditions.Ann. Henri Poincar´ e, 24(5):1505–1560, 2023

    work page 2023

  7. [7]

    N. N. Bogoliubov. On the theory of superfluidity.Proc. Inst. Math. Kiev, (9):89–103, 1947. Eng. Trans.J. Phys. (USSR),11, 23–32 (1947). Rus. Trans.Izv. Akad. Nauk USSR,11, 77–90 (1947)

    work page 1947

  8. [8]

    Brennecke, M

    C. Brennecke, M. Brooks, C. Caraci, and J. Oldenburg. A short proof of Bose–Einstein condensation in the Gross–Pitaevskii regime and beyond.Ann. Henri Poincar´ e, 26(4):1353–1373, 2024

    work page 2024

  9. [9]

    Brennecke, B

    C. Brennecke, B. Schlein, and S. Schraven. Bose–Einstein condensation with optimal rate for trapped bosons in the Gross–Pitaevskii regime.Math. Phys. Anal. Geom., 25(2):12, 2022

    work page 2022

  10. [10]

    Brietzke, S

    B. Brietzke, S. Fournais, and J. P. Solovej. A simple 2nd order lower bound to the energy of dilute Bose gases.Commun. Math. Phys., 376(1):323–351, 2020

    work page 2020

  11. [11]

    Brietzke and J

    B. Brietzke and J. P. Solovej. The second-order correction to the ground state energy of the dilute Bose gas.Ann. Henri Poincar´ e, 21(2):571–626, 2020

    work page 2020

  12. [12]

    Caraci, S

    C. Caraci, S. Cenatiempo, and B. Schlein. Bose–Einstein condensation for two dimensional bosons in the Gross–Pitaevskii regime.J. Stat. Phys., 183(3):39, 2021

    work page 2021

  13. [13]

    F. R. K. Chung.Spectral graph theory, volume 92 ofCBMS Regional Conference Series in Mathe- matics. American Mathematical Soc., 1997

    work page 1997

  14. [14]

    J. G. Conlon, E. H. Lieb, and H.-T. Yau. TheN 7/5 law for charged bosons.Commun. Math. Phys., 116(3):417–448, 1988

    work page 1988

  15. [15]

    F. J. Dyson. Ground-state energy of a hard-sphere gas.Phys. Rev., 106(1):20, 1957

    work page 1957

  16. [16]

    Fournais

    S. Fournais. Length scales for BEC in the dilute Bose gas.Partial Differ. Equ., Spectral Theory Math. Phys., Ari Laptev Anniversary Volume:115–133, 2021

    work page 2021

  17. [17]

    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(09):2360004, 2024

    work page 2024

  18. [18]

    The free energy of dilute Bose gases at low temperatures interacting via strong potentials,

    S. Fournais, L. Junge, T. Girardot, L. Morin, M. Olivieri, and A. Triay. The free energy of dilute Bose gases at low temperatures interacting via strong potentials.arXiv preprint arXiv:2408.14222, pages 1–33, 2024

    work page arXiv 2024

  19. [19]

    Fournais and J

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

    work page 2020

  20. [20]

    Fournais and J

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

    work page 2023

  21. [21]

    Funaki, C

    T. Funaki, C. Gu, and H. Wang. Quantitative homogenization and hydrodynamic limit of non- gradient exclusion process.arXiv preprint arXiv:2404.12234, pages 1–83, 2024

    work page arXiv 2024

  22. [22]

    The free energy of dilute Bose gases at low temperatures,

    F. Haberberger, C. Hainzl, P. T. Nam, R. Seiringer, and A. Triay. The free energy of dilute bose gases at low temperatures.arXiv preprint arXiv:2304.02405, pages 1–68, 2023

    work page arXiv 2023

  23. [23]

    Upper bound for the free energy of dilute Bose gases at low temperature,

    F. Haberberger, C. Hainzl, B. Schlein, and A. Triay. Upper bound for the free energy of dilute bose gases at low temperature.arXiv preprint arXiv:2405.03378, pages 1–54, 2024

    work page arXiv 2024

  24. [24]

    C. Hainzl. Another proof of BEC in the GP-limit.J. Math. Phys., 62(5):051901, 2021. KINETIC LOCALIZATION IN BOSE GASES 19

    work page 2021

  25. [25]

    T. D. Lee, K. Huang, and C. N. Yang. Eigenvalues and eigenfunctions of a Bose system of hard spheres and its low-temperature properties.Phys. Rev., 106(6):1135, 1957

    work page 1957

  26. [26]

    E. H. Lieb and M. Loss.Analysis, volume 14 ofGraduate Studies in Mathematics. American Math- ematical Soc., 2nd edition, 2001

    work page 2001

  27. [27]

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

    work page 2002

  28. [28]

    E. H. Lieb and R. Seiringer. Derivation of the Gross–Pitaevskii equation for rotating Bose gases. Commun. Math. Phys., 264(2):505–537, 2006

    work page 2006

  29. [29]

    E. H. Lieb, R. Seiringer, and J. Yngvason. Bosons in a trap: A rigorous derivation of the Gross– Pitaevskii energy functional.Phys. Rev. A, 61(4):043602, 2000

    work page 2000

  30. [30]

    E. H. Lieb, R. Seiringer, and J. Yngvason. Poincar´ e inequalities in punctured domains.Ann. Math., 158(3):1067–1080, 2003

    work page 2003

  31. [31]

    E. H. Lieb and J. P. Solovej. Ground state energy of the one-component charged Bose gas.Commun. Math. Phys., 217(1):127–163, 2001

    work page 2001

  32. [32]

    E. H. Lieb and J. P. Solovej. Ground state energy of the two-component charged Bose gas.Commun. Math. Phys., 252(1):485–534, 2004

    work page 2004

  33. [33]

    E. H. Lieb, J. P. Solovej, R. Seiringer, and J. Yngvason.The mathematics of the Bose gas and its condensation, volume 34 ofOberwolfach Seminars. Birkh¨ auser Basel, 2005

    work page 2005

  34. [34]

    E. H. Lieb and J. Yngvason. Ground State Energy of the Low Density Bose Gas.Phys. Rev. Lett., 80(12):2504, 1998

    work page 1998

  35. [35]

    Matouˇ sek

    J. Matouˇ sek. On embedding expanders intoℓp spaces.Isr. J. Math., 102(1):189–197, 1997

    work page 1997

  36. [36]

    Michelangeli, P

    A. Michelangeli, P. T. Nam, and A. Olgiati. Ground state energy of mixture of Bose gases.Rev. Math. Phys., 31(02):1950005, 2019

    work page 2019

  37. [37]

    P. T. Nam, M. Napi´ orkowski, J. Ricaud, and A. Triay. Optimal rate of condensation for trapped bosons in the Gross–Pitaevskii regime.Analysis & PDE, 15(6):1585–1616, 2022

    work page 2022

  38. [38]

    P. T. Nam, J. Ricaud, and A. Triay. The condensation of a trapped dilute Bose gas with three-body interactions.Probab. Math. Phys., 4(1):91–149, 2023

    work page 2023

  39. [39]

    P. T. Nam, N. Rougerie, and R. Seiringer. Ground states of large bosonic systems: the Gross– Pitaevskii limit revisited.Analysis & PDE, 9(2):459–485, 2016

    work page 2016

  40. [40]

    Yau and J

    H.-T. Yau and J. Yin. The second order upper bound for the ground energy of a Bose gas.J. Stat. Phys., 136(3):453–503, 2009. School of Mathematical Sciences, Peking University, Beijing, China Email address:jwchong@math.pku.edu.cn School of Mathematical Sciences, Peking University, Beijing, China Email address:leunghao@stu.pku.edu.cn Department of Mathemat...

    work page 2009