Proper condensates versus the Onsager-Penrose criterion: A friendly debate on Bose-Einstein condensation

Detlev Buchholz

Proper condensates versus the Onsager-Penrose criterion: A friendly debate on Bose-Einstein condensation

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read A debate transcript argues that the standard Onsager-Penrose test for Bose-Einstein condensation is too restrictive, because a cited model of non-interacting bosons forms a wall condensate that the test misses but the proper-condensate…

desk verdict A readable debate that makes a valid mathematical point about OP vs PC, but it conflates two versions of the PC condition and the 'true condensate' claim is a definitional stipulation. read the letter →

arxiv 2608.13402 v2 pith:E3N67DRM submitted 2026-08-13 math-ph math.MP

Detlev Buchholz This is my paper · ORCID

classification math-phmath.MP MSC 82B1046L6081R15

keywords Bose-EinsteincondensationOnsager-Penrosecriterionpropercondensateresolventalgebraone-particledensitymatrixlong-rangeorderthermodynamiclimitquantumstatisticalmechanics

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper stages a debate between two physicists over how to recognize Bose-Einstein condensation. The defender of the Onsager-Penrose criterion says a condensate exists when the average number of particles in some single-particle wave function grows linearly with total particle number; the proponent of proper condensates says one should instead ask whether, in the limit of infinite particle density, the condensate becomes a classical, non-fluctuating object, detected through resolvents of the number operator. The paper's central argument is that the proper-condensate condition is more specific and can certify condensation where Onsager-Penrose fails, notably in a cited model of non-interacting bosons forming a wall condensate whose occupation grows only like $n^{1/2}$. This matters because the Onsager-Penrose criterion is ubiquitous in the condensed-matter literature, and if a genuine condensate can evade it, then the criterion is a sufficient test rather than a definition of the phenomenon. The debate is left unresolved, but the epilogue connects the issue to the resolvent algebra, whose ideals encode the possible appearance of such classical condensates.

What carries the argument

The central object is the scaled resolvent $n(n+N(f))^{-1}$ of the particle-number operator $N(f)=a(f)^*a(f)$, together with the resolvent algebra generated by all such resolvents. These operators are monotonically increasing in $n$ and bounded by the unit operator, so their limits are projection operators that behave as classical observables with sharp values 0 or 1. The machinery does two jobs: via the Cauchy-Schwarz inequality it shows that a value below 1 implies a positive Onsager-Penrose condensate fraction, and in the opposite regime it characterizes a proper condensate as the state component where the resolvent vanishes. The same resolvent differences recover long-range correlations between Bose fields, showing that off-diagonal long-range order can be studied without leaving the resolvent algebra.

What would settle it

One could settle the central claim by writing out the model of [6] and computing both the largest eigenvalue of the scaled one-particle density matrix and the expectation values $\langle n(n+N(f))^{-1}\rangle_n$ for wave functions with a ground-state component. If the eigenvalue grows like $\kappa n$ rather than $n^{1/2}$, or if the resolvent expectations stay away from 0, the claimed wall condensate would not be a proper condensate and the OP criterion would not be shown too restrictive.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that "proper condensate" is not merely a reformulation of the Onsager-Penrose criterion; it is a stricter, density-based characterization that can certify condensation where OP fails. The argument runs through the scaled resolvent $n(n+N(f))^{-1}$, which in any state converges to a projection operator that is classical, taking only the values 0 or 1. A proper condensate corresponds to the component where this projection is 0, meaning the resolvent vanishes because the particle density in the mode is effectively infinite. In the presented model, $m(n)$ particles occupy the ground state while the remaining particles occupy distinct excited states, so any wave function $f$ orthogonal to the ground state has $\langle N(f)\rangle_n<1$, and even the ground-state occupation diverges only like $n^{1/2}$; OP therefore sees no condensate, while the resolvents identify the ground state as a classical wall. The paper thus claims that the OP criterion is sufficient but not necessary, and that true condensates can be invisible to particle counting.

Load-bearing premise

The whole case that the Onsager-Penrose criterion can miss a true condensate rests on a cited model, not described in this paper, in which a wall condensate's occupation grows like the square root of the particle number rather than like the particle number itself.

Editorial extensions

If this is right

If the proper-condensate condition is accepted, wall and surface condensates count as genuine Bose-Einstein condensates even when the largest eigenvalue of the one-particle density matrix grows sublinearly with particle number.
Proper condensates become classical systems in the infinite-density limit: all observables sensitive to the condensate take sharp, non-fluctuating values, and quantum correlations between the condensate and the remaining excitations are suppressed.
The scaled resolvents provide a practical route to off-diagonal long-range order: long-distance correlations $\langle a^*(f_1)a(f_2)\rangle$ can be read off from resolvent differences without constructing the Bose fields separately.
The resolvent algebra's ideals carry the classical structure that appears in the large-$n$ limit, so the possible existence of proper condensates is a structural feature of the algebra rather than an accident of a particular model.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A conservative reading of the cited model suggests that any condensate localized on a boundary will generically hold a subextensive fraction of particles, so particle-counting criteria will tend to miss surface condensation; the resolvent test is the natural detector in that regime.
The debate points to an experimental handle: in systems with soft boundaries or trapping potentials, one could look for a component whose measured occupation grows more slowly than the total atom number while a suitably scaled inverse-counting observable saturates, which would be evidence for a proper condensate.
If the resolvent-algebra picture is right, "condensate" is better understood as a classical limit phenomenon than as a large eigenvalue of a density matrix, which might change how one defines Bose-Einstein condensation in finite systems and in the thermodynamic limit.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The thing to know: this is a well-written fictional debate between Alice (Onsager–Penrose) and Bob (proper condensate), used as a vehicle to promote the author's prior work on resolvent algebras. There is no new theorem. But unlike most such pieces, the central example—a wall condensate with occupation growing like sqrt(n)—is actually reconstructible from the text. That is the paper's real value.

The Cauchy–Schwarz step is correct as stated. The construction is described in enough detail: put m(n)=floor(sqrt(n)) particles in the ground mode and one particle in each of n−m(n) distinct excited modes. Then the largest eigenvalue of the one-particle density matrix is m(n), so OP fails; while for any f with a ground-state component, <(μ+N(f))^{-1}> ~ 1/(μ+√n) → 0, so the prologue's PC condition holds. The debate also makes honest concessions: Alice's objection that this requires an infinite-density limit is a real issue, and the epilogue admits no consensus.

The soft spot is not the citation to [6]; it is the interpretation. Calling this a 'true condensate' is a definitional stipulation. The state has no ODLRO (the resolvent factors in Bob's §2 formula tend to 1, not to finite values below 1), and its reduced one-particle density matrix is not macroscopically occupied. Whether that deserves the word 'condensate' is a matter of taste, not fact. More troubling, the paper runs together two different PC conditions. The prologue defines PC as <(μ+N(f))^{-1}> → 0; in the debate Bob uses the scaled resolvent n(n+N(f))^{-1} and claims PC implies OP via Cauchy–Schwarz. Those are not equivalent: the wall condensate satisfies the first, but the scaled resolvent tends to 1, so the CS argument does not produce a positive κ_f. Bob's later 'whence the OP-condition' is therefore wrong for the very example he cites. This needs to be untangled before the text can be taken as reliable exposition.

If the author fixes that conflation, this would be a useful pedagogic note for mathematical physicists interested in the foundations of BEC. As it stands, it is an opinion piece that advertises the author's program; Alice's skepticism is not really answered. A serious referee could help. I would send it to review if the venue publishes conceptual or expository pieces, but I would not cite it as a research result.

Referee Report

3 major / 5 minor

Summary. The manuscript is a fictional transcript of a debate between Alice, a proponent of the Onsager-Penrose (OP) criterion for Bose-Einstein condensation, and Bob, a proponent of the proper-condensate (PC) condition. The prologue defines both criteria; Section 2 presents the debate, including a Cauchy-Schwarz argument intended to show that the PC condition implies the OP criterion, a discussion of resolvent algebras and classical projections, and a wall-condensate example, attributed to reference [6], that allegedly satisfies the PC condition but not the OP criterion. The epilogue discusses the resolvent algebra and suggests directions for an 'algebraic many-body theory'. The paper's central provocative claim is Bob's assertion that the OP criterion is too restrictive and misses some genuine condensates, but the epilogue concedes that no consensus is reached.

Significance. The manuscript has one clean and correct mathematical observation: the Cauchy-Schwarz inequality in Section 2 correctly shows that if the scaled resolvent expectation value is strictly less than 1 in the limit, then the occupied fraction of the mode f is bounded below by a positive constant, so the OP criterion is satisfied. The debate format also has the virtue of making explicit that the OP criterion is an operational sufficient condition rather than a self-evidently necessary one. If the wall-condensate example from [6] could be established and independently justified as a genuine condensate, the paper would illustrate a real limitation of the standard criterion. However, as it stands, the example is only cited, not proved, and the manuscript does not supply an independent observable that separates the wall state from a non-condensed state. The paper is therefore best read as a conceptual proposal or perspective piece; its central physical claim is not established within the manuscript itself. Credit is due for the honest acknowledgment in the epilogue that the two positions remain unreconciled.

major comments (3)

[Section 2, wall-condensate paragraph] Bob's central counterexample is only described verbally and attributed to reference [6]; the manuscript does not state the Hamiltonian, the external potential, the orthonormal basis of excited states, or a proof that the n-particle states with m(n) of order n^{1/2} exist for that model. Since the claim that the OP criterion is too restrictive rests entirely on this example, the paper should either reproduce the construction or state the precise theorem from [6] in enough detail that the reader can verify the stated occupation-number statistics and the PC condition.
[Section 1 (Prologue) versus Section 2 (The debate)] The PC condition is defined in two inequivalent ways. In the prologue, a proper condensate is signaled by expectation values ⟨(µ+N(f))^{-1}⟩_n approaching 0 for fixed µ>0; in Section 2, Bob's criterion is that the scaled resolvents ⟨n(n+N(f))^{-1}⟩_n are smaller than 1 in the limit. For the wall condensate with m(n)∼n^{1/2}, these two definitions disagree: for f equal to the ground state, the prologue resolvent tends to 0, while the scaled resolvent tends to 1. The manuscript must specify which version is the PC condition and explain why the wall example satisfies it, especially because the 'PC implies OP' argument in Section 2 uses the scaled version.
[Section 2, ODLRO discussion and epilogue] The paper does not resolve Alice's operational challenge. In Bob's own formula for long-range correlations, the ODLRO quantity is proportional to n^{-1}⟨a^*(f1)a(f2)⟩, which for the wall-state construction is O(n^{-1/2}) and vanishes in the limit, while the accompanying resolvent factors tend to 1. The wall state therefore exhibits no off-diagonal long-range order, the standard observable Alice cites. Calling it a genuine condensate is a definitional stipulation rather than an empirically grounded claim, and the epilogue's admission that no consensus is reached reinforces this. The manuscript should either identify an independent observable that distinguishes the wall state from a non-condensed state with the same reduced one-particle density matrix, or explicitly reframe the claim as a proposed definition rather than a demonstrated physical fact.

minor comments (5)

[Section 2] The name 'Cauchy-Schwartz' should be 'Cauchy-Schwarz'.
[Section 2] The phrase 'mathematician have developed' should be 'mathematicians have developed'; similarly, Section 1 contains 'taking about' where 'talking about' is intended.
[Section 2] The symbols κ_f and σ_f are introduced but never used in the subsequent discussion; they should either be used or removed.
[Section 2] The displayed resolvent identity is presented without derivation and with the heuristic replacement of resolvents by their mean values; it should be labeled explicitly as a heuristic argument or proved carefully.
[Epilogue] The connection between the resolvent algebra and the PC condition is stated in general terms but not defined precisely; a concise formal definition would help the reader understand the claimed structural encoding of proper condensates.

Circularity Check

2 steps flagged · score 8.0 of 10

The paper's central counterexample is a 'proper condensate' only by definition, with the decisive model taken from the author's own unpublished preprint [6].

self definitional [Section 2, exchange after 'And why does that define a condensate?']
"It satisfies theP C-condition; because there is a space of wave functions for which the resolvents do not vanish in the limit. The ground state is determined by the orthogonal complement. Thus, by definition, it is a proper condensate. The OP-criterion (and you) say that it can not be interpreted as a condensate."

The paper's central assertion that the n^(1/2)-occupation model is a genuine condensate, and hence that OP is too restrictive, is made true by stipulation. The prologue defines a 'proper condensate' as a state whose scaled resolvents tend to zero, and Bob then labels any state satisfying that condition a condensate 'by definition.' No independent observable, such as ODLRO or a momentum-space peak, is shown to separate this state from a non-condensed state with the same reduced one-particle density matrix. Alice explicitly rejects the identification, and Bob's only reply is to invoke the idealization under which PC states become classical.
self citation load bearing [Section 2, model of wall condensate; Section 3 epilogue]
"Such a model was presented in a recent paper [6]. There, non-interacting bosons are considered. Under suitable conditions, they form condensates which are not covered by the OP-criterion, but they satisfy the PC-condition."

The decisive counterexample to the OP criterion is imported from the author's own unpublished preprint [6], and the epilogue adds 'It has been shown in [6] that any basic resolvent with a given wave function determines such an ideal.' The present paper gives only a sketch of the construction—m(n) particles in the ground state, the rest in distinct excited modes—and no proof of the asserted limiting properties. The existence of a state that is simultaneously a PC-condensate and not an OP-condensate is therefore supported by a self-citation that is not independently verified in the text. Even granting the mathematical construction, the interpretive step from PC-condition to 'true condensate' remains a stipulation rather than a conclusion drawn from shared physical criteria.

full rationale

The mathematical portions of the transcript are largely self-contained: Bob's Cauchy-Schwarz bound shows that a resolvent expectation below 1 forces a positive κ_f and hence an OP-condensate, and the resolvent algebra identity in Section 2 is a direct operator computation, not a disguised input. The circularity enters at the interpretive step that carries the paper's strongest claim. Bob defines a 'proper condensate' as a state in which the scaled resolvents vanish in the limit, and then asserts that the n^(1/2)-occupation model is a condensate 'by definition.' The only evidence that OP is too restrictive is that this model satisfies the PC-condition; but whether satisfying PC makes it a 'true condensate' is exactly what Alice denies, and the paper supplies no independent observable, such as ODLRO, momentum-space peak, or any experimental signature, that distinguishes it from a non-condensed state with the same reduced one-particle density matrix. The decisive model is also imported from the author's own preprint [6], so the counterexample is load-bearing self-citation. The epilogue's admission that 'there is no prospect of reaching a consensus' confirms that the claim is not established by shared criteria; it is a stipulated definition dressed as a finding. Score 8 reflects that the central assertion is forced by definition and by the author's own citation chain, even though the surrounding algebra is not circular.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No new entities or fitted numbers appear. The paper's argument rests on standard inequalities, domain assumptions about the thermodynamic limit, and on the author's prior cited work for the central counterexample.

assumptions (4)

standard math Cauchy-Schwarz inequality bounds the scaled resolvent below by (1 + n^{-1}⟨N(f)⟩_n)^{-1}.
Used in Section 2 to show PC implies OP; valid in any Hilbert space.
domain assumption Analyzing the infinite-density limit (n to infinity in a finite container) is physically meaningful for condensates.
Bob's definition of PC requires this limit; Alice explicitly challenges it as 'a very unusual idealization' (Section 2). The paper adopts it without proof.
domain assumption The condensate wave function remains stable (shape unchanged) as n goes to infinity.
Stated in Section 2: 'It is assumed that the wave function does not change its shape in this limit.'
ad hoc to paper A model exists of non-interacting bosons forming a wall condensate that satisfies PC but not OP.
Bob's central counterexample is cited to reference [6], the author's own recent preprint; no model details are given.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Proper condensates versus the Onsager-Penrose criterion: A friendly debate on Bose-Einstein condensation." pith.science (2026). https://pith.science/paper/E3N67DRM

@misc{pith2026260813402,
  author       = {Pith},
  title        = {Pith review of: Proper condensates versus the Onsager-Penrose criterion: A friendly debate on Bose-Einstein condensation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E3N67DRM}},
  note         = {Machine review of arXiv:2608.13402}
}

read the original 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.

Discussion (0). Continue with ORCID to comment.

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.