Condensation of a repulsive Bose gas in the thermodynamic limit · revision history

Revision 2

Accepted · core change · record

Changes against revision 1:

Title
Condensation of a repulsive Bose gas in the thermodynamic limit
Plain
Prove that a gas of mutually repelling bosons at low temperature puts a finite fraction of its particles into one quantum state when the container is infinitely large at fixed density. Without interactions this is a textbook calculation; with them there is no accepted proof.
Precise · changed · core
Revision 1: $N$ bosons in a box of side $L$ in $R^{3}$, $H = \operatorname{sum}_i -\operatorname{Lap}_i + \operatorname{sum}_{i<j} v(x_i - x_j)$ with $v \ge 0$ compactly supported, density $\rho = N/L^{3}$ fixed, $L \to \infty$. Prove at $T = 0$ or at small $T > 0$ that the one-body density matrix has off-diagonal long-range order, lim_{|x-y| -> infinity} gamma^(1)(x,y) = $\rho$_0 > 0. Answer: a proof for some open range of rho and $T$.
Revision 2: $N$ bosons in a box of side $L$ in $R^{3}$, $H = \sum_i -\operatorname{Lap}_i + \sum_{i<j} v(x_i - x_j)$ with $v \ge 0$ compactly supported, density $\rho = N/L^{3}$ fixed, $L \to \infty$. Prove at $T = 0$ or at small $T > 0$ that the one-body density matrix has off-diagonal long-range order, lim_{|x-y| -> infinity} gamma^(1)(x,y) = $\rho$_0 > 0. Answer: a proof for some open range of rho and $T$.
Settled by
A proof of a nonzero condensate density in the thermodynamic limit for one continuum model.
Kind
well-posed
Answer type
proof
References
(empty)
Literature status
open
Status note
Proven in the Gross-Pitaevskii scaling (Lieb and Seiringer, 2002) and for lattice hard-core bosons at half filling (Dyson, Lieb and Simon, 1978), not for continuum gases in the thermodynamic limit; a preprint by Suto (arXiv 1710.04441, 2017) claims a proof via Feynman-Kac permutation cycles and lists no journal publication.
Posed since
(empty)

Decisions