{"id":"acf72089-370f-456b-99e3-b303d806cbee","arxiv_id":"2608.13402","paper_version":1,"verdict":"UNVERDICTED","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A fictional debate compares two criteria for Bose-Einstein condensation and presents the author's prior 'proper condensate' concept as more flexible, with no new results.","lead":"This paper is a written argument between two fictional physicists about how to define Bose-Einstein condensation mathematically. It contrasts the established Onsager-Penrose rule with a newer 'proper condensate' idea, but offers no new experiments or calculations.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The counterexample is constructible from the text, but the step from 'satisfies PC' to 'real condensate' is a definitional stipulation without an independent observable.","rationale":"The reader flagged the external reference [6] as the load-bearing premise. I partially disagree: the debate text gives enough information to construct the counterexample directly—any fixed normalized φ0 and a complete orthonormal set containing φ0 suffice, with occupation √n in φ0 and one particle in each of n−√n distinct excited modes. The PC/OP split follows from elementary counting, so the citation is not the weak point. The genuinely load-bearing issue is semantic: 'true condensate' is not given an independent operational characterization. The same state has no ODLRO in the limit, so Alice's standard experimental signature is absent; Bob's only certification of the condensate is the PC condition itself, which makes the argument circular. The paper's honesty about being a debate and its epilogue's 'no prospect of reaching consensus' support keeping the verdict as UNVERDICTED rather than treating this as a resolved mathematical-physics claim. The suggested calculation would make the absence of ODLRO explicit and force the paper to identify a different falsifiable observable.","tokens_in":6077,"tokens_out":20992,"duration_ms":227255,"concrete_test":"Re-derive Bob's resolvent-difference formula in §2 for the explicit state with m(n)=⌊√n⌋ particles in φ0 and single occupancies in distinct orthonormal modes. Compute n^{-1}⟨a^*(f1)a(f2)+a^*(f2)a(f1)⟩_n for fixed f1,f2 with support inside the ball and nonzero overlap with φ0; it is O(n^{-1/2}), while the two resolvent factors n(n+N(f1±f2))^{-1} tend to 1, so the claimed long-range correlation limit is 0. If the same calculation is repeated with m(n)=κn, the limit is nonzero. This contrast shows that the PC condition alone does not imply the ODLRO used to justify calling a state a condensate; the author would then need to specify a different measurable signature for the √n state.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Bob's assertion that the OP criterion is too restrictive. The mathematical counterexample can be verified from the text: in the non-interacting model, take m(n)=⌊√n⌋ particles in the fixed mode φ0 and one particle in each of n−m(n) distinct orthonormal modes. Then the largest eigenvalue of the one-particle density matrix is m(n), so max_f ⟨N(f)⟩_n/n → 0 and the OP criterion fails, while ⟨(µ+N(φ0))^{-1}⟩ = 1/(µ+m(n)) → 0, so the PC condition holds. Thus the reader's concern about reliance on [6] is not the decisive issue: the construction is essentially present in the text. The load-bearing weakness is the interpretive step from 'satisfies the PC condition' to 'is a genuine condensate'. In this same state, for fixed f1,f2, n^{-1}⟨a^*(f1)a(f2)⟩ is O(n^{-1/2}) and the resolvent factors in Bob's §2 formula tend to 1, so the ODLRO expression vanishes; the state has no long-range order of the type Alice cites. Without an independent observable that separates this state from a non-condensed state with the same reduced one-particle density matrix, calling it a 'real condensate' is a definitional stipulation. The epilogue concedes no consensus, so the article does not establish the central claim as physics.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":6419,"tokens_out":9238,"duration_ms":91869,"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":[{"comment":"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":"Section 2, wall-condensate paragraph"},{"comment":"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":"Section 1 (Prologue) versus Section 2 (The debate)"},{"comment":"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.","section":"Section 2, ODLRO discussion and epilogue"}],"minor_comments":[{"comment":"The name 'Cauchy-Schwartz' should be 'Cauchy-Schwarz'.","section":"Section 2"},{"comment":"The phrase 'mathematician have developed' should be 'mathematicians have developed'; similarly, Section 1 contains 'taking about' where 'talking about' is intended.","section":"Section 2"},{"comment":"The symbols κ_f and σ_f are introduced but never used in the subsequent discussion; they should either be used or removed.","section":"Section 2"},{"comment":"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.","section":"Section 2"},{"comment":"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.","section":"Epilogue"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a single-author fictional dialogue in which one of the two protagonists, Bob, is used to advance the author's own research program, and the key example is drawn from the author's own recent preprint [6]. This is not in itself improper, but the debate format risks presenting a self-referential argument as if it were an independent exchange. Given the journal's standards, this piece would be more suitable as a perspective or commentary contribution than as a regular research article unless the missing technical details and the definitional inconsistency are addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nThe 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.\n\nIf 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.","headline":"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.","tokens_in":6859,"tokens_out":7189,"would_cite":false,"duration_ms":68931,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B10","46L60","81R15"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["Bose-Einstein condensation","Onsager-Penrose criterion","proper condensate","resolvent algebra","one-particle density matrix","long-range order","thermodynamic limit","quantum statistical mechanics"],"falsifier":"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.","tokens_in":5909,"feed_emoji":"🧊","tokens_out":9832,"duration_ms":87966,"temperature":0.7,"pith_summary":"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.","feed_headline":"Onsager-Penrose criterion can miss wall condensates","feed_subtitle":"A debate argues that scaled resolvents catch surface condensates that grow too slowly for the OP test to see.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"supplies the baseline definition of condensation that the debate challenges.","marker":"[10]"},{"why":"introduces the proper-condensate condition and its resolvent-based definition.","marker":"[4]"},{"why":"provides the model of non-interacting bosons with a wall condensate whose occupation grows like $n^{1/2}$, the load-bearing counterexample to the Onsager-Penrose criterion.","marker":"[6]"},{"why":"introduces the resolvent algebra whose ideals encode classical features in the large-$n$ limit.","marker":"[7]"},{"why":"extends the resolvent algebra to non-relativistic Bose fields and many-body dynamics.","marker":"[2]"},{"why":"shows how Bose fields and sectors can be recovered from the resolvent algebra.","marker":"[3]"},{"why":"describes the container with soft boundaries used in the wall-condensate model.","marker":"[8]"},{"why":"gives conditions under which long-range correlations remain visible in large bounded regions.","marker":"[5]"}],"fun_headline_variants":["OP misses wall condensates, proper ones don't","OP sufficient, not necessary for BEC","Proper condensates catch wall states OP misses","Resolvents reveal wall condensates OP can't see","Debate: Onsager-Penrose misses wall condensates"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["OP misses wall condensates, proper ones don't","OP sufficient, not necessary for BEC","Proper condensates catch wall states OP misses","Resolvents reveal wall condensates OP can't see","Debate: Onsager-Penrose misses wall condensates"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001819,"raw_usage":{"total_tokens":7094,"prompt_tokens":818,"completion_tokens":6276,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":434,"completion_tokens_details":{"reasoning_tokens":6210}},"tokens_in":434,"tokens_out":6276,"duration_ms":43028,"temperature":1.0,"reasoning_tokens":6210,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:41:11.301001+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Onsager and O","cited_arxiv_id":null,"evidence_quote":"supplies the baseline definition of condensation that the debate challenges."},{"cited_title":"Buchholz, Proper condensates.J","cited_arxiv_id":null,"evidence_quote":"introduces the proper-condensate condition and its resolvent-based definition."},{"cited_title":"Resolvent algebras and limit states of interacting canonical ensembles","cited_arxiv_id":"2607.10283","evidence_quote":"provides the model of non-interacting bosons with a wall condensate whose occupation grows like $n^{1/2}$, the load-bearing counterexample to the Onsager-Penrose criterion."},{"cited_title":"Buchholz and H","cited_arxiv_id":null,"evidence_quote":"introduces the resolvent algebra whose ideals encode classical features in the large-$n$ limit."},{"cited_title":"Buchholz, The resolvent algebra of non-relativistic Bose fields: observ- ables, dynamics and states.Commun","cited_arxiv_id":null,"evidence_quote":"extends the resolvent algebra to non-relativistic Bose fields and many-body dynamics."},{"cited_title":"Buchholz, The resolvent algebra of non-relativistic Bose fields: sectors, morphisms, fields and dynamics.Commun","cited_arxiv_id":null,"evidence_quote":"shows how Bose fields and sectors can be recovered from the resolvent algebra."},{"cited_title":"Buchholz and J","cited_arxiv_id":null,"evidence_quote":"describes the container with soft boundaries used in the wall-condensate model."},{"cited_title":"Buchholz, Proper condensates and long range order.J","cited_arxiv_id":null,"evidence_quote":"gives conditions under which long-range correlations remain visible in large bounded regions."}],"review_version":1}