Pith. sign in

REVIEW 1 major objections 1 minor 60 references

Assumptions of radial symmetry and compact support can be removed from proofs of Bose-Einstein condensation and Bogoliubov spectrum convergence for dilute gases on the torus.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.3

2026-07-02 04:31 UTC pith:WGUVJH72

load-bearing objection This short note legitimately drops radial symmetry and compact support from the potential in the Gross-Pitaevskii regime proofs, via a sketch adapting their prior work. the 1 major comments →

arxiv 2607.00859 v1 pith:WGUVJH72 submitted 2026-07-01 math-ph math.MP

On the spherical symmetry and finite-range assumptions of the interaction potential in the low energy study of dilute Bose gases

Lukas Reichmann , Arnaud Triay This is my paper
classification math-ph math.MP
keywords Bose-Einstein condensationGross-Pitaevskii regimeBogoliubov spectruminteraction potentialdilute Bose gasthree-dimensional torusexcitation spectrum
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper shows how to establish Bose-Einstein condensation and convergence of the low-lying excitation spectrum to Bogoliubov's prediction for a Bose gas in the Gross-Pitaevskii regime without requiring the interaction potential to be radially symmetric or of finite range. It does so by sketching the necessary adaptations to an existing proof that previously relied on those restrictions. A sympathetic reader would care because the removed assumptions were technical barriers that had limited the mathematical results to a narrower class of potentials than those encountered in physical systems.

Core claim

We consider a Bose gas on the three-dimensional torus in the Gross--Pitaevskii regime and explain how to remove the assumptions of radiality and compact support on the interaction potential in the proof of Bose--Einstein condensation and convergence of the excitation spectrum to Bogoliubov's prediction. In particular, we sketch the proof of the referenced prior result once those assumptions are dropped.

What carries the argument

Direct adaptation of techniques from the referenced prior proof to interaction potentials lacking radial symmetry or compact support.

Load-bearing premise

The interaction potential belongs to a class that permits direct adaptation of the techniques from the referenced prior proof once radiality and compact support are dropped.

What would settle it

A concrete counterexample where the adapted proof steps fail for some non-radial potential with infinite range that still satisfies the other conditions of the Gross-Pitaevskii regime.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Bose-Einstein condensation holds for interaction potentials that are neither radially symmetric nor compactly supported.
  • The excitation spectrum converges to the Bogoliubov prediction for the same broader class of potentials.
  • The proof sketch applies on the three-dimensional torus in the Gross-Pitaevskii regime without the prior restrictions.

Where Pith is reading between the lines

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

  • Similar adaptations could extend to other scaling regimes or higher dimensions where radiality was previously imposed.
  • The result opens the possibility of treating potentials with slow decay at infinity that arise in certain physical models.
  • Numerical or experimental checks of the spectrum for asymmetric potentials could test the extended claims.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 1 minor

Summary. The manuscript is a short note claiming to explain how the assumptions of radial symmetry and compact support on the interaction potential can be removed from the proof of Bose-Einstein condensation and convergence of the excitation spectrum to Bogoliubov's prediction, for a dilute Bose gas on the three-dimensional torus in the Gross-Pitaevskii regime. It consists of an abstract plus a high-level sketch indicating that the techniques of the referenced prior work [50] adapt once the potential belongs to a suitable (non-radial, non-compactly-supported) class.

Significance. If the sketched adaptation is valid and the required estimates carry over, the result would extend the applicability of the BEC and Bogoliubov-spectrum theorems to a broader class of potentials, removing two restrictive assumptions that are not physically essential. This constitutes a modest but useful technical generalization within the mathematical theory of many-body quantum systems.

major comments (1)
  1. [Sketch of the proof of [50]] The sketch of the proof of [50] asserts without further derivation that the estimates adapt once the potential is placed in a suitable class, but supplies no modified bounds, no verification that the scattering-length or interaction-operator estimates survive the loss of radiality and compact support, and no indication of how the non-radial terms are controlled. This is load-bearing for the central claim.
minor comments (1)
  1. The note would benefit from explicit pointers to the specific lemmas or propositions in [50] whose proofs are being adapted, rather than a generic statement that the techniques carry over.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed reading and the constructive comment. The manuscript is a short note whose purpose is to indicate how the radiality and compact-support assumptions can be removed from the arguments of [50]. We address the single major comment below.

read point-by-point responses

  1. Referee: [Sketch of the proof of [50]] The sketch of the proof of [50] asserts without further derivation that the estimates adapt once the potential is placed in a suitable class, but supplies no modified bounds, no verification that the scattering-length or interaction-operator estimates survive the loss of radiality and compact support, and no indication of how the non-radial terms are controlled. This is load-bearing for the central claim.

    Authors: We agree that the note supplies only a high-level indication rather than a complete re-derivation of every estimate. The central observation is that radial symmetry is used in [50] only to simplify certain angular integrations and to obtain explicit decay rates for the scattering solution, while compact support is used to localize the interaction operator. Both can be replaced by the weaker assumptions that the potential belongs to a class with sufficient integrability and decay at infinity (e.g., |V(x)| ≲ (1+|x|)^{-3-ε} together with a mild regularity condition). Under these hypotheses the scattering length remains well-defined and positive, the associated scattering solution satisfies the same L^∞ and weighted L^1 bounds needed for the Bogoliubov transformation, and the non-radial cross terms that appear in the interaction operator are controlled by the same Schur-test or Young-type inequalities already present in [50], with constants that depend only on the L^1 and L^∞ norms of V rather than on its support or symmetry. Because the note is deliberately concise, we did not reproduce these (standard) modifications in full. We are prepared to insert a short additional paragraph that records the precise function-space assumptions on V and states the modified bounds for the scattering length and the interaction operator. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The manuscript is a short note whose central claim is an explanation of how the radiality and compact-support assumptions can be dropped from the argument in the referenced prior work [50]. The provided text consists of the abstract plus a high-level sketch indicating that the techniques adapt once the potential is placed in a suitable (non-radial, non-compactly-supported) class. No internal contradiction, hidden assumption, or unsupported step is visible in the sketch itself; the load-bearing step remains the existence of that adapted class, which the note asserts without supplying new estimates. No derivation reduces by construction to its inputs, no self-definitional loop is present, and the reference to [50] does not render the present claim equivalent to its own premises.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields limited visibility into technical assumptions; the central claim rests on the existence of a suitable class of potentials that admit the adaptation of [50].

axioms (1)
  • domain assumption The interaction potential satisfies conditions allowing adaptation of the proof from [50] without radiality or compact support.
    Invoked in the abstract when stating that the assumptions can be removed while preserving the conclusions.

pith-pipeline@v0.9.1-grok · 5577 in / 1219 out tokens · 28882 ms · 2026-07-02T04:31:07.654747+00:00 · methodology

0 comments
read the original abstract

We consider a Bose gas on the three-dimensional torus in the Gross--Pitaevskii regime and explain how to remove the assumptions of radiality and compact support on the interaction potential in the proof of Bose--Einstein condensation and convergence of the excitation spectrum to Bogoliubov's prediction. In particular, we sketch the proof of [50].

discussion (0)

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

Reference graph

Works this paper leans on

60 extracted references · 60 canonical work pages · 1 internal anchor

  1. [1]

    Adhikari, C

    A. Adhikari, C. Brennecke, and B. Schlein.Bose–Einstein condensation beyond the Gross–Pitaevskii regime. Ann. Henri Poincaré 22.4 (2021), 1163–1233

    work page 2021

  2. [2]

    Basti, C

    G. Basti, C. Boccato, S. Cenatiempo, and A. Deuchert.A new upper bound on the specific free energy of dilute Bose gases. 2025. arXiv:2507.20877

    work page arXiv 2025

  3. [3]

    Basti, M

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

    work page 2026

  4. [4]

    Basti, S

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

    work page 2021

  5. [5]

    Boccato, C

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

    work page 2019

  6. [6]

    Boccato, C

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

    work page 2020

  7. [7]

    Boccato, A

    C. Boccato, A. Deuchert, and D. Stocker.Upper bound for the grand canonical free energy of the Bose gas in the Gross–Pitaevskii limit. SIAM Journal on Mathematical Analysis 56.2 (2024), 2611–2660

    work page 2024

  8. [8]

    N. N. Bogoliubov.On the theory of superfluidity. J. Phys. (USSR) 11.1 (1947), 23–32. 26

    work page 1947

  9. [9]

    Bose.Plancks Gesetz und Lichtquantenhypothese

    S. Bose.Plancks Gesetz und Lichtquantenhypothese. Z. Phys. 26.1 (1924), 178–181

    work page 1924

  10. [10]

    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é 26.4 (2025), 1353–1373

    work page 2025

  11. [11]

    Brennecke, B

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

    work page 2022

  12. [12]

    Brietzke, S

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

    work page 2020

  13. [13]

    Brooks.Diagonalizing Bose Gases in the Gross–Pitaevskii Regime and Beyond

    M. Brooks.Diagonalizing Bose Gases in the Gross–Pitaevskii Regime and Beyond. Comm. Math. Phys. 406.1 (2024), 17

    work page 2024

  14. [14]

    Brooks, J

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

    work page arXiv 2025

  15. [15]

    Caporaletti and A

    M. Caporaletti and A. Deuchert.Upper Bound for the Grand Canonical Free Energy of the Bose Gas in the Gross–Pitaevskii Limit for General Interaction Potentials. Ann. Henri Poincaré 26.10 (2025), 3767–3827

    work page 2025

  16. [16]

    Caraci, A

    C. Caraci, A. Olgiati, D. Saint Aubin, and B. Schlein.Third Order Corrections to the Ground State Energy of a Bose Gas in the Gross–Pitaevskii Regime. Comm. Math. Phys. 406 (2025), 153

    work page 2025

  17. [17]

    Chomaz, I

    L. Chomaz, I. Ferrier-Barbut, F. Ferlaino, B. Laburthe-Tolra, B. L. Lev, and T. Pfau.Dipolar physics: a review of experiments with magnetic quantum gases. Reports on Progress in Physics 86.2 (2023), 026401

    work page 2023

  18. [18]

    Deuchert and R

    A. Deuchert and R. Seiringer.Gross–Pitaevskii limit of a homogeneous Bose gas at positive temperature. Archive for Rational Mechanics and Analysis 236.3 (2020), 1217–1271

    work page 2020

  19. [19]

    Deuchert, R

    A. Deuchert, R. Seiringer, and J. Yngvason.Bose–Einstein Condensation in a Dilute, Trapped Gas at Positive Temperature. Comm. Math. Phys. 368 (2019), 723–776

    work page 2019

  20. [20]

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

    work page 1957

  21. [21]

    Einstein.Quantentheorie des einatomigen idealen Gases

    A. Einstein.Quantentheorie des einatomigen idealen Gases. Sitzber. Kgl. Preuss. Akad. Wiss., 1924, 261–267

    work page 1924

  22. [22]

    Einstein.Quantentheorie des einatomigen idealen Gases

    A. Einstein.Quantentheorie des einatomigen idealen Gases. Sitzber. Kgl. Preuss. Akad. Wiss., 1925, 3–14

    work page 1925

  23. [23]

    Length scales for BEC in the dilute Bose gas

    S. Fournais. “Length scales for BEC in the dilute Bose gas”.Partial Differential Equations, Spectral Theory, and Mathematical Physics. European Mathematical Society-EMS-Publishing House GmbH, 2021, 115–133

    work page 2021

  24. [24]

    Fournais and J

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

    work page 2020

  25. [25]

    Fournais and J

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

    work page 2023

  26. [26]

    R. L. Frank, A. Laptev, and T. Weidl.Schrödinger Operators: Eigenvalues and Lieb– Thirring Inequalities. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2022

    work page 2022

  27. [27]

    Grech and R

    P. Grech and R. Seiringer.The Excitation Spectrum for Weakly Interacting Bosons in a Trap. Comm. Math. Phys. 322.2 (2013), 559–591

    work page 2013

  28. [28]

    E. P. Gross.Structure of a quantized vortex in boson systems. Nuovo Cimento 20 (1961), 454–477

    work page 1961

  29. [29]

    E. P. Gross.Hydrodynamics of a Superfluid Condensate. J. Math. Phys. 4 (1963), 195–207

    work page 1963

  30. [30]

    Haberberger, C

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

    work page arXiv 2024

  31. [31]

    Haberberger, C

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

    work page 2026

  32. [32]

    Hainzl, B

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

    work page 2022

  33. [33]

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

    work page 1959

  34. [34]

    Lampart and A

    J. Lampart and A. Triay.The excitation spectrum of a Bose gas with an impurity in the Gross–Pitaevskii regime. Archive for Rational Mechanics and Analysis 249.4 (2025), 1–98

    work page 2025

  35. [35]

    Landau.Theory of the Superfluidity of Helium II

    L. Landau.Theory of the Superfluidity of Helium II. Phys. Rev. 60.4 (1941), 356– 358

    work page 1941

  36. [36]

    J. O. Lee.Ground State Energy of Dilute Bose Gas in Small Negative Potential Case. J. Stat. Phys. 134 (2009), 1–18

    work page 2009

  37. [37]

    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 (1957), 1135–1145

    work page 1957

  38. [38]

    M.Lewin,P.T.Nam,S.Serfaty,andJ.P.Solovej.Bogoliubov spectrum of interacting Bose gases. Comm. Pure Appl. Math. 68.3 (2015), 413–471

    work page 2015

  39. [39]

    E. H. Lieb and M. Loss.Analysis. 2nd ed. Vol. 14. Graduate studies in mathematics. American Mathematical Society, 2001

    work page 2001

  40. [40]

    E. H. Lieb and R. Seiringer.Derivation of the Gross-Pitaevskii equation for rotating Bose gases. Comm. Math. Phys. 264.2 (2006), 505–537

    work page 2006

  41. [41]

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

    work page 2002

  42. [42]

    E. H. Lieb, R. Seiringer, J. P. Solovej, and J. Yngvason.The Mathematics of the Bose Gas and its Condensation. Oberwolfach Seminars. Birkhäuser, 2005

    work page 2005

  43. [43]

    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 (2000), 043602

    work page 2000

  44. [44]

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

    work page 1998

  45. [45]

    P. T. Nam, J. Ricaud, and A. Triay.Ground state energy of the low density Bose gas with three-body interactions. J. Math. Phys. 63.7 (2022), 071903

    work page 2022

  46. [46]

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

    work page 2023

  47. [47]

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

    work page 2016

  48. [48]

    P. T. Nam and A. Triay.Bogoliubov excitation spectrum of trapped Bose gases in the Gross–Pitaevskii regime. Journal de Mathématiques Pures et Appliquées 176 (2023), 18–101

    work page 2023

  49. [49]

    L. P. Pitaevskii.Vortex Lines in an Imperfect Bose Gas. Sov. Phys. JETP 13.2 (1961), 451–454

    work page 1961

  50. [50]

    Reichmann.The Excitation Spectrum of Bose Gases in the Gross–Pitaevskii Regime

    L. Reichmann.The Excitation Spectrum of Bose Gases in the Gross–Pitaevskii Regime. Master’s thesis, LMU Munich, available online athttps://www.math.fau. de/wp- content/uploads/2026/06/Masters- Thesis- Lukas- Reichmann.pdf . 2025

    work page 2026

  51. [51]

    Sawada.Ground-State Energy of Bose-Einstein Gas with Repulsive Interaction

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

    work page 1959

  52. [52]

    Seiringer.Free Energy of a Dilute Bose Gas: Lower Bound

    R. Seiringer.Free Energy of a Dilute Bose Gas: Lower Bound. Comm. Math. Phys. 279.3 (2008), 595–636

    work page 2008

  53. [53]

    Seiringer.The Excitation Spectrum for Weakly Interacting Bosons

    R. Seiringer.The Excitation Spectrum for Weakly Interacting Bosons. Comm. Math. Phys. 306.2 (2011), 565–578

    work page 2011

  54. [54]

    J. P. Solovej.Many Body Quantum Mechanics. Lecture notes at the Erwin Schrödinger Institute, available online athttps://web.math.ku.dk/solovej/ MANYBODY/mbnotes-ptn-5-3-14.pdf. 2014

    work page 2014

  55. [55]

    Derivation of the dipolar Gross-Pitaevskii energy

    A. Triay.Derivation of the dipolar Gross-Pitaevskii energy. arXiv e-prints. 2017. arXiv:1703.03746

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  56. [56]

    F. L. A. Visconti.Ground State Energy of Dilute Bose Gases with Two-Body and Three-Body Interactions. Ann. Henri Poincaré (2026)

    work page 2026

  57. [57]

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

    work page 1959

  58. [58]

    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 (2009), 453–503. 29

    work page 2009

  59. [59]

    Yin.Free Energies of Dilute Bose Gases: Upper Bound

    J. Yin.Free Energies of Dilute Bose Gases: Upper Bound. J. Stat. Phys. 141.4 (2010), 683–726

    work page 2010

  60. [60]

    Yin.The ground state energy of dilute Bose gas in potentials with positive scattering length

    J. Yin.The ground state energy of dilute Bose gas in potentials with positive scattering length. Comm. Math. Phys. 295.1 (2010), 1–27. 30

    work page 2010