Positive-temperature Bose–Einstein condensation and exact quantum depletion

What OpenAI claims

Proves Bose–Einstein condensation for the exact canonical Gibbs state of the three-dimensional hard-sphere gas: each fixed exclusion distance and sufficiently small fixed density admit a strictly positive temperature, independent of volume, with positive condensate fraction in the thermodynamic limit. At zero temperature, proves the Bogoliubov leading quantum-depletion law for hard spheres and fixed bounded nonnegative radial finite-range potentials of positive scattering length, taking the thermodynamic limit before the dilute limit. (Lean)

Papers (5)

1. Bose–Einstein condensation at positive temperature in the dilute hard-sphere gas

   5 October 2026 · Preprint, not peer reviewed · PDF

   We prove Bose–Einstein condensation at positive temperature in the three-dimensional dilute hard-sphere gas. For each fixed exclusion distance and every sufficiently small fixed density, there is a strictly positive temperature, independent of the volume, at which the exact canonical Gibbs state has a positive condensate fraction in the thermodynamic limit. The condensate occupies the constant orbital.

2. Quantum Depletion and Momentum Distribution in the Dilute Hard-Sphere Bose Gas

   5 October 2026 · Preprint, not peer reviewed · PDF

   We prove the full scaled Bogoliubov momentum distribution for the depleted particles in the three-dimensional hard-sphere Bose gas at zero temperature. The thermodynamic limit is taken at each fixed density before the dilute limit, uniformly over all pure and mixed ground states. All thermodynamic accumulation values have the same dilute asymptotic: the limiting nonzero-momentum occupation measure has total mass 8/(3√π), giving the depletion fraction 8/(3√π)√(ρ a³)+o(√(ρ a³)) for density ρ and hard-sphere exclusion distance a.

3. Quantum Depletion for Fixed Bounded Repulsive Potentials

   5 October 2026 · Preprint, not peer reviewed · PDF

   We prove the Bogoliubov quantum-depletion asymptotic for the ground state of a three-dimensional Bose gas with a fixed bounded, nonnegative, radial interaction of finite range and positive scattering length a. The thermodynamic limit is taken at each fixed density ρ before the dilute limit. Every thermodynamic accumulation value of the fraction outside the constant mode is 8/(3√π)√(ρ a³)+o(√(ρ a³)) as ρ↓0. The assertion is uniform over ground-state density matrices and does not require the occupation to have a unique thermodynamic limit.

4. A density-uniform condensate bound for dilute Bose gases

   27 September 2026 · Preprint, not peer reviewed · PDF

   For each fixed bounded measurable, nonnegative, radial interaction of finite range in three dimensions that is not zero almost everywhere, we prove a positive lower bound on the constant-orbital condensate fraction that is uniform over all sufficiently small densities and all temperatures between zero and the square of the density. The interaction and density remain fixed in the thermodynamic limit.

5. Ground-state condensation in the dilute hard-sphere gas

   24 September 2026 · Preprint, not peer reviewed · PDF

   We prove Bose–Einstein condensation in every ground state of a dilute three-dimensional hard-sphere Bose gas. At every sufficiently small fixed gas parameter, the constant orbital contains a positive fraction of the particles in the thermodynamic limit. The fraction can be chosen independently of the gas parameter, and the conclusion holds for arbitrary complex ground states.

Status

Preprint. The papers have not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.