Proper condensates and the Onsager-Penrose condition: A friendly debate on Bose-Einstein condensation

Abstract: This article contrasts the concepts of a proper condensate and the Onsager-Penrose criterion for Bose-Einstein condensation in the form of a debate between two proponents of the respective concepts. The prologue briefly introduces the two criteria. The epilogue contains remarks on properties of the underlying resolvent algebra that are physically relevant in this context.

• The paper shows that the proper-condensate condition implies Onsager–Penrose condensation through a Cauchy–Schwarz bound, while the converse fails for states whose largest occupation grows sublinearly rather than proportionally to particle number.
• The paper demonstrates that scaled resolvents provide classical observables, support probabilistic detection of condensates with generic probe functions, and reproduce off-diagonal long-range order without reconstructing Bose fields.
• The paper uses a non-interacting model with ground-state occupation proportional to the square root of particle number to expose a conceptual divide: the proper-condensate criterion identifies boundary-like classical accumulation that the Onsager–Penrose criterion excludes, leaving its physical status unresolved.

This paper presents a fictional debate between two theoretical physicists — Alice and Bob — over the correct conceptual framework for Bose-Einstein condensation. Authored by Detlev Buchholz, the transcript contrasts the classical Onsager-Penrose (OP) criterion (2608.13402), based on eigenvalues of the scaled one-particle density matrix, with the author's own notion of a proper condensate (PC), formulated within the resolvent algebra. The dialogue format allows a candid airing of objections and rebuttals that would be awkward to present in a conventional research article, while an epilogue situates the controversy in the broader context of algebraic many-body theory.

The two criteria

The OP criterion, established by Onsager and Penrose in 1956, characterizes condensation through the number operator $N(f)$ counting bosons with wave function $f$. For a sequence of $n$-particle states, condensation is present if $\langle N(f)\rangle_n$ grows like $\kappa n$ with $0 < \kappa \leq 1$, where $\kappa$ is the largest eigenvalue of the one-particle density matrix scaled by $1/n$. This criterion underpins most rigorous work on condensates, including its connection to off-diagonal long-range order (ODLRO).

The PC condition instead uses resolvents $(\mu + N(f))^{-1}$ for fixed $\mu > 0$. A sequence of states contains a proper condensate if $f$0 for large $f$1; the space of wave functions for which the limit does not vanish determines the condensate wave function via its orthogonal complement. The essential idea is that a true condensate should become trivially identifiable as its density grows without bound: at infinite density it behaves as a classical system whose observables take sharp, non-fluctuating values.

Bob's argument: resolvents imply OP condensation

Bob's central technical claim is that the PC condition implies the OP criterion. Using the Cauchy-Schwarz inequality, he derives

$f$2

so that if the left-hand side is strictly less than 1 in the limit, then $f$3 is bounded below by some positive $f$4, establishing OP condensation. He defines the "sensitivity" $f$5 of the probe $f$6.

Alice immediately identifies a weakness: choosing $f$7 orthogonal to the condensate wave function gives $f$8. Bob counters on two grounds. First, the condensate wave function is generally unknown, so constructing such an $f$9 exactly is impractical — any tiny spurious component along the condensate direction makes $n$0. Second, invoking measure theory on Hilbert spaces, the orthogonal complement of a proper closed subspace has measure zero, so a randomly chosen $n$1 detects the condensate with probability 1. This probabilistic robustness is a genuine practical advantage of the resolvent method: one can test for condensation without first solving the diagonalization problem that the OP criterion requires.

Classical observables and mixtures

A deeper structural point concerns the scaled resolvents $n$2, which are monotone in $n$3, bounded by the identity, and converge — in any given state and its excitations — to a projection $n$4 commuting with all other resolvents. Such projections are classical observables: individual measurements yield only 0 or 1. A state in which $n$5 lies strictly between 0 and 1 admits a unique decomposition into a mixture of a state containing a proper condensate of infinite density (where the resolvent vanishes) and a state with only finitely many particles of wave function $n$6.

Alice objects that such mixtures are laboratory artifacts, and Bob concedes the point partially — his whimsical example of combining weekday data from a filled container with weekend data from an evacuated one yields $n$7 purely by preparation. His defense is that nature itself produces such mixtures, and that the idealizations involved (infinitely many particles in a finite container, or infinite density in the thermodynamic limit) are no more peculiar than the thermodynamic limit itself, under which the condensate wave function tends weakly to zero and must be probed by volume-scaled operators.

ODLRO from resolvents

Against Alice's objection that experiments probe momentum space and ODLRO rather than particle counts, Bob shows that long-range correlations are accessible within the resolvent framework alone. For wave functions $n$8 supported in distant regions, the difference of resolvents with arguments $n$9 and $\langle N(f)\rangle_n$0 factorizes, and evaluated in states satisfying the PC condition yields, in the large-$\langle N(f)\rangle_n$1 limit,

$\langle N(f)\rangle_n$2

Thus ODLRO can be computed using only resolvents, without reconstructing the Bose fields. Notably, the formula shows the correlations weaken as the condensate density increases, since the resolvent factors decrease — consistent with experimental observations and with the PC picture in which quantum correlations vanish entirely at infinite density.

A model outside the OP criterion

The sharpest point of disagreement concerns a model from recent work (Buchholz, 11 Jul 2026) involving non-interacting bosons in a confining potential whose ground-state wave function is constant in a ball and decays rapidly outside, with countably many excited states. One constructs $\langle N(f)\rangle_n$3-particle states in which $\langle N(f)\rangle_n$4 particles occupy the ground state and each remaining particle occupies a distinct orthonormal excited state. Then $\langle N(f)\rangle_n$5 whenever $\langle N(f)\rangle_n$6 is orthogonal to the ground state, but diverges like $\langle N(f)\rangle_n$7 otherwise.

Since the maximal occupation grows only as $\langle N(f)\rangle_n$8, the OP criterion denies that this is a condensate — and Alice agrees. Bob argues it satisfies the PC condition and therefore is a proper condensate. His physical interpretation is suggestive: an observer restricted to observables supported inside the ball sees only excitations, but upon moving any observable across the boundary, the non-fluctuating value 0 signals something classical — effectively a wall formed by the condensed ground-state particles. This connects to the heuristic case of particles condensing on the walls of a container, where the surface-to-volume ratio vanishes and the OP criterion would likewise report no condensate. Whether such boundary or sub-extensive accumulation phenomena deserve the name "condensate" is precisely the definitional question the debate leaves unresolved; Alice's final objection — that the model involves no interactions — remains unanswered in the transcript.

Limitations and open questions

The paper is explicit that the dispute admits no resolution within its pages: Alice will continue using the OP criterion, which matches her intuitive picture of condensation, while Bob regards the PC condition as conceptually superior without contesting its computational aspects. Several substantive limitations deserve note. The illustrative model is non-interacting, so the claim that the PC condition captures physically genuine condensates missed by OP rests on an idealized setting. The claimed advantage of random probing assumes genericity of wave functions, which may fail in structured problems. And the epilogue's expectation that canonical ensembles of interacting bosons in a fixed harmonic potential generically satisfy the PC condition in the large-$\langle N(f)\rangle_n$9 limit — with clusters forming at the potential minimum and residual particles outside — is presented as a heuristic conjecture, not a theorem, though the existence of KMS limit states for these ensembles has been established via general operator-algebraic results (Buchholz, 11 Jul 2026). Whether mean-field-type approximations can be avoided when the external potential is held fixed remains open.

Conclusion

The paper accomplishes two things at once. As a pedagogical document, it lays out with unusual clarity the precise logical relationship between the OP and PC criteria — including the Cauchy-Schwarz argument showing that PC implies OP, and the counterexample showing the converse fails for sub-linear occupation growth. As a programmatic statement, it argues that the resolvent algebra (2608.13402) provides a natural home for the PC condition: basic resolvents generate ideals whose vanishing on certain states encodes proper condensates directly in the algebraic structure, and the algebra accommodates a broad family of dynamics stably. The debate format honestly registers that the community need not adopt the new criterion; what it does establish is that the choice between OP and PC is not merely technical but turns on what one is willing to call a condensate — a question the paper deliberately leaves to its readers.