pith. sign in

arxiv: 2603.20776 · v3 · submitted 2026-03-21 · 🧮 math-ph · math.MP· math.SP

Propagation of Condensation via Neumann Localization in the Dilute Bose Gas

Lukas Junge This is my paper

Pith reviewed 2026-05-15 07:21 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.SP
keywords Neumann localizationBose gas condensationspectral gapdilute limitGross-Pitaevskii scalefree energy boundsoperator inequalityLaplacian localization
0
0 comments X

The pith

A Neumann localization inequality with spectral gap propagates strong condensation estimates in the dilute Bose gas from the Gross-Pitaevskii scale to larger boxes of side length R ∼ a(ρ a³)^{-3/4−η}.

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

The paper establishes a localization inequality for the Neumann Laplacian that includes a quantitative spectral gap. It does so by partitioning a cube into overlapping families of smaller subcubes, studying the associated projection operators, and reducing the problem to a discrete Neumann Laplacian on the lattice of those boxes. Applied to the dilute Bose gas with Neumann boundary conditions, the inequality combines with existing free-energy lower bounds to carry strong condensation results forward from the smallest scale to boxes whose linear size grows as a power of the diluteness parameter. A sympathetic reader would care because this step bridges the regime where condensation is already controlled to intermediate system sizes where direct proofs remain difficult.

Core claim

The central claim is that the Neumann localization inequality, obtained by analyzing projections onto overlapping subcubes and yielding a spectral gap via the associated discrete Laplacian, permits the propagation of strong condensation estimates for the dilute Bose gas. When combined with recently established free-energy lower bounds, these estimates extend from the Gross-Pitaevskii scale to boxes of side length R ∼ a(ρ a³)^{-3/4−η}.

What carries the argument

The Neumann localization inequality, produced by partitioning the cube into overlapping subcubes and reducing the operator inequality to a discrete Neumann Laplacian that supplies a quantitative spectral gap.

If this is right

  • Strong condensation persists for the dilute Bose gas in boxes whose side length reaches R ∼ a(ρ a³)^{-3/4−η}.
  • The localization method supplies an explicit spectral gap bound for the Neumann Laplacian on finite cubes.
  • Condensation estimates can be transferred across scales without altering the input free-energy bounds for Neumann conditions.

Where Pith is reading between the lines

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

  • The same overlapping-subcube construction might be adapted to periodic boundary conditions to obtain analogous propagation results.
  • The method could be tested on systems with weak external traps to see whether condensation propagates similarly at intermediate scales.
  • Numerical checks of the condensation fraction exactly at the critical scaling exponent would directly probe the sharpness of the propagation range.

Load-bearing premise

The recently established free-energy lower bounds apply directly and without modification to the Neumann boundary conditions and the dilute regime considered here.

What would settle it

A direct computation or simulation of the condensate fraction for the dilute Bose gas at box side lengths R comparable to a(ρ a³)^{-3/4} that shows whether the strong condensation fraction persists at the level established on the Gross-Pitaevskii scale or drops below it.

read the original abstract

We prove a Neumann localization inequality for the Laplacian that includes a spectral gap. This result is obtained by partitioning a cube into overlapping families of subcubes and analysing the associated projection operators. The resulting operator inequality goes through a discrete Neumann Laplacian on the lattice of boxes and yields a quantitative spectral gap estimate. As an application, we consider the dilute Bose gas with Neumann boundary conditions. Combining the localization method with recently established free-energy lower bounds, we propagate strong condensation estimates from the Gross Pitaevskii scale to larger boxes of side length $R\sim a(\rho a^3)^{-\frac{3}{4}-\eta}$.

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 proves a Neumann localization inequality for the Laplacian that includes a spectral gap. This is obtained by partitioning a cube into overlapping families of subcubes and analysing the associated projection operators. The resulting operator inequality goes through a discrete Neumann Laplacian on the lattice of boxes and yields a quantitative spectral gap estimate. As an application, the localization method is combined with recently established free-energy lower bounds for the dilute Bose gas with Neumann boundary conditions to propagate strong condensation estimates from the Gross-Pitaevskii scale to larger boxes of side length R∼a(ρa³)^{-3/4−η}.

Significance. If the localization inequality holds with the stated quantitative gap and the free-energy bounds transfer without modification, the result extends rigorous condensation estimates in the dilute Bose gas to a new intermediate length scale. This is a meaningful technical advance in mathematical many-body quantum mechanics, as it provides a systematic way to propagate microscopic control to larger domains via spectral-gap localization. The partitioning-plus-projection technique may also be of independent interest for other Neumann problems.

major comments (2)
  1. [Application to the dilute Bose gas] Application section: the claim that the recently established free-energy lower bounds apply directly to the Neumann Laplacian on the partitioned subcubes (with the stated overlaps and discrete Neumann operator) is load-bearing for the final condensation scaling. No explicit verification is provided that boundary corrections or interaction adjustments remain negligible at R∼a(ρa³)^{-3/4−η}; any such terms would propagate into the error control and could invalidate the claimed range.
  2. [Localization inequality] Derivation of the localization inequality: the quantitative spectral gap obtained from the projection analysis onto the lattice of boxes and the discrete Neumann Laplacian must be stated with explicit dependence on the overlap parameter and partition size. Without this, it is impossible to confirm that the gap is sufficient to absorb the errors when the inequality is inserted into the free-energy bounds.
minor comments (2)
  1. [Abstract] The abstract states the scaling R∼a(ρa³)^{-3/4−η} but does not specify the admissible range for η; this should be made explicit in the statement of the main theorem.
  2. Notation for the overlap families of subcubes and the discrete Neumann operator on the lattice should be introduced with a short table or diagram for clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the points that require additional clarification. We address both major comments below and will revise the manuscript accordingly to strengthen the presentation and error control.

read point-by-point responses

  1. Referee: [Application to the dilute Bose gas] Application section: the claim that the recently established free-energy lower bounds apply directly to the Neumann Laplacian on the partitioned subcubes (with the stated overlaps and discrete Neumann operator) is load-bearing for the final condensation scaling. No explicit verification is provided that boundary corrections or interaction adjustments remain negligible at R∼a(ρa³)^{-3/4−η}; any such terms would propagate into the error control and could invalidate the claimed range.

    Authors: We agree that an explicit verification of the error terms is necessary for the claimed range. In the revised manuscript we will insert a new subsection (in the application part) that bounds the boundary corrections arising from the overlaps and the discrete Neumann operator. Using the quantitative spectral gap from the localization inequality, we show that these corrections are O(δ) smaller than the main term, where δ is the overlap parameter; for the chosen scaling R∼a(ρa³)^{-3/4−η} they remain negligible and are absorbed into the η-loss. The interaction adjustments are controlled by the same dilute-gas assumptions already used for the free-energy lower bounds. revision: yes

  2. Referee: [Localization inequality] Derivation of the localization inequality: the quantitative spectral gap obtained from the projection analysis onto the lattice of boxes and the discrete Neumann Laplacian must be stated with explicit dependence on the overlap parameter and partition size. Without this, it is impossible to confirm that the gap is sufficient to absorb the errors when the inequality is inserted into the free-energy bounds.

    Authors: We accept the referee’s observation. In the revised proof of the localization inequality we will state the spectral gap explicitly: it is bounded below by c(δ)/R², where δ is the relative overlap and c(δ)>0 is a positive constant that can be computed from the projection analysis (c(δ)∼δ² for small δ). With this formula the reader can directly verify that the gap is large enough to absorb the error terms appearing when the inequality is substituted into the free-energy bounds at the stated length scale. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained via explicit partitioning and external bounds

full rationale

The Neumann localization inequality is constructed explicitly by partitioning the cube into overlapping subcubes, defining associated projection operators, and obtaining a discrete Neumann Laplacian on the lattice of boxes that yields a quantitative spectral gap; this step does not reduce to any fitted input or prior result by definition. The condensation propagation then combines this new operator inequality with cited free-energy lower bounds from independent prior work, without the final scaling estimate being forced by self-definition, renaming, or a load-bearing self-citation chain. No ansatz is smuggled and the derivation remains independent of the target condensation quantities.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on a new operator inequality derived in the paper plus external free-energy lower bounds; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Existence and applicability of recently established free-energy lower bounds for the dilute Bose gas under Neumann conditions
    Invoked directly for the application to condensation propagation.

pith-pipeline@v0.9.0 · 5391 in / 1186 out tokens · 86187 ms · 2026-05-15T07:21:21.779681+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.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We prove a Neumann localization inequality for the Laplacian that includes a spectral gap. This result is obtained by partitioning a cube into overlapping families of subcubes and analysing the associated projection operators. The resulting operator inequality goes through a discrete Neumann Laplacian on the lattice of boxes

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

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

  1. [1]

    A Short Proof of Bose–Einstein Condensation in the Gross–Pitaevskii Regime and Beyond

    Christian Brennecke, Morris Brooks, Cristina Caraci, and Jakob Oldenburg. “A Short Proof of Bose–Einstein Condensation in the Gross–Pitaevskii Regime and Beyond”. In:Annales Henri Poincar´ e(2025).doi: 10.1007/s00023-024-01465-8.url:https://doi.org/10.1007/s00023-024-01465-8

    work page doi:10.1007/s00023-024-01465-8.url:https://doi.org/10.1007/s00023-024-01465-8 2025

  2. [2]

    The Second-Order Correction to the Ground State Energy of the Dilute Bose Gas

    Birger Brietzke and Jan Solovej. “The Second-Order Correction to the Ground State Energy of the Dilute Bose Gas”. In:Ann. Inst. Henri Poincar´ e21 (Jan. 2020).doi:10.1007/s00023-019-00875-3

    work page doi:10.1007/s00023-019-00875-3 2020

  3. [3]

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

    Jacky J. Chong, Hao Liang, and Phan Th` anh Nam.Kinetic localization via Poincar´ e-type inequalities and applications to the condensation of Bose gases. 2025. arXiv:2510.20493 [math-ph].url:https: //arxiv.org/abs/2510.20493. 7 REFERENCES REFERENCES

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  4. [4]

    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. 2024. arXiv:2408.14222 [math-ph].url: https://arxiv.org/abs/2408.14222

    work page arXiv 2024

  5. [5]

    Length scales for BEC in the dilute Bose gas

    Søren Fournais. “Length scales for BEC in the dilute Bose gas”. In:Partial Differential Equations, Spec- tral Theory, and Mathematical Physics(2020).url:https://api.semanticscholar.org/CorpusID: 260436492

    work page 2020

  6. [6]

    The energy of dilute Bose gases

    Søren Fournais and Jan Philip Solovej. “The energy of dilute Bose gases”. In:Ann. of Math.192.3 (2020), pp. 893–976.doi:10.4007/annals.2020.192.3.5.url:https://doi.org/10.4007/annals. 2020.192.3.5

    work page doi:10.4007/annals.2020.192.3.5.url:https://doi.org/10.4007/annals 2020

  7. [7]

    The energy of dilute Bose gases II: general case

    Søren Fournais and Jan Philip Solovej. “The energy of dilute Bose gases II: general case”. In:Inven- tiones mathematicae(2022).doi:10.1007/s00222-022-01175-0.url:https://doi.org/10.1007/ s00222-022-01175-0

    work page doi:10.1007/s00222-022-01175-0.url:https://doi.org/10.1007/ 2022

  8. [8]

    Florian Haberberger, Christian Hainzl, Phan Th` anh Nam, Robert Seiringer, and Arnaud Triay.The free energy of dilute Bose gases at low temperatures. 2024. arXiv:2304.02405 [math-ph].url:https: //arxiv.org/abs/2304.02405

    work page arXiv 2024

  9. [9]

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

    Florian Haberberger, Christian Hainzl, Benjamin Schlein, and Arnaud Triay. “Upper bound for the free energy of dilute Bose gases at low temperature”. In:Advances in Mathematics490 (2026), p. 110825. issn: 0001-8708.doi:https : / / doi . org / 10 . 1016 / j . aim . 2026 . 110825.url:https : / / www . sciencedirect.com/science/article/pii/S0001870826000472

    work page 2026

  10. [10]

    Proof of Bose-Einstein Condensation for Dilute Trapped Gases

    Elliott H. Lieb and Robert Seiringer. “Proof of Bose-Einstein Condensation for Dilute Trapped Gases”. In:Phys. Rev. Lett.88 (17 Apr. 2002), p. 170409.doi:10 . 1103 / PhysRevLett . 88 . 170409.url: https://link.aps.org/doi/10.1103/PhysRevLett.88.170409

    work page doi:10.1103/physrevlett.88.170409 2002

  11. [11]

    Lieb, Robert Seiringer, Jan Philip Solovej, and Jakob Yngvason.The Mathematics of the Bose Gas and its Condensation

    Elliott H. Lieb, Robert Seiringer, Jan Philip Solovej, and Jakob Yngvason.The Mathematics of the Bose Gas and its Condensation. 2005.url:https://doi.org/10.1007/b137508

    work page doi:10.1007/b137508 2005

  12. [12]

    Ground State Energy of the Low Density Bose Gas

    Elliott H. Lieb and Jakob Yngvason. “Ground State Energy of the Low Density Bose Gas”. In:Phys. Rev. Lett.80.12 (Mar. 1998), pp. 2504–2507.doi:10.1103/physrevlett.80.2504

    work page doi:10.1103/physrevlett.80.2504 1998

  13. [13]

    Bose-Einstein Condensation and Liquid Helium

    Oliver Penrose and Lars Onsager. “Bose-Einstein Condensation and Liquid Helium”. In:Phys. Rev. 104 (3 Nov. 1956), pp. 576–584.doi:10.1103/PhysRev.104.576.url:https://link.aps.org/doi/ 10.1103/PhysRev.104.576. Deparment of mathematics, Ludwig-Maximilians-Universit¨ at-M¨ unchen, Germany Email:lukas.junge@math.lmu.de 8

    work page doi:10.1103/physrev.104.576.url:https://link.aps.org/doi/ 1956