{"id":"aae7acd4-8cba-4185-aa8d-ddf220e35101","arxiv_id":"2501.03029","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The author proposes an approximate proof that zero-momentum Bose-Einstein condensation is impossible in an interacting boson system at temperatures far above the ideal-gas critical temperature.","lead":"This paper argues that a Bose-Einstein condensate cannot form in an interacting gas of bosons at temperatures far above the ideal-gas condensation temperature. It offers a sketch of a proof based on the idea that at such temperatures the dominant quantum states contain the maximum number of quasiparticles, none of which sit at zero momentum.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof's key step, Eq. (19), misrepresents N-quasiparticle states even for an ideal gas, so the dominant-state contribution to Eq. (7) is unestablished.","rationale":"The paper's exact starting point, Eq. (7), is correct, but the route to N0 ~ 1 depends on a specific structural claim about the dominant excited states. The reader identified the zero-order approximation (15)-(19) as the weakest assumption; I agree and sharpen it: this approximation is not merely unproved for strong interactions or high temperature, it is demonstrably incorrect for an ideal gas, where the exact N-excited-particle state is a permanent of plane waves and not a product of density-fluctuation operators. Since the paper's own logic treats the dilute-gas zero-order wavefunctions as the baseline and then extrapolates to interactions, failure of the baseline in the noninteracting limit is a load-bearing correctness risk. The other major premise, that states with N quasiparticles dominate the canonical sums at ultrahigh T, is plausible on physical grounds and could be tested separately, but the wavefunction step is more fundamental: even if the dominance is granted, the occupancy of those states is not shown to be ~1. Thus the conclusion, while likely true physically, is not established by the argument. The verdict REJECT is appropriate; the paper is explicit that the proof is sketchy, and the central approximation fails a basic consistency check.","tokens_in":8809,"tokens_out":6715,"duration_ms":68526,"concrete_test":"For N=3 and N=4 in a periodic box with distinct nonzero momenta p_1,...,p_N, construct (a) the exact Fock state |F> = a^\\dagger_{p_1}...a^\\dagger_{p_N}|vac> and (b) the normalized product state |P> = \\rho_{-p_1}...\\rho_{-p_N}|\\Omega>, where |\\Omega> is the N-boson k=0 state. Compute the squared overlap |<F|P>|^2 and the expectation <P|a^\\dagger_0 a_0|P>. If the overlap is not O(1) or if <P|a^\\dagger_0 a_0|P> differs from 0 (the exact ideal-gas value), then Eq. (19) is invalid even in the noninteracting limit, undermining the derivation of N0 ~ 1 for N-quasiparticle states.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires two things: (1) at T >> T_c^(i), the dominant states in Eq. (7) contain N quasiparticles, and (2) such states have N0^(\\wp) ~ 1 << N. Part (1) is physically plausible, but part (2) rests entirely on the zero-order wavefunction approximation, Eq. (19), \\Psi_{p_1...p_N} ~ \\rho_{-p_1}...\\rho_{-p_N} with \\Psi_0 ~ 1. This approximation is uncontrolled and is in fact already wrong for a noninteracting gas, the limit in which it should be exact. The exact N-boson state with momenta p_1,...,p_N is a symmetrized permanent of plane waves; it is not obtained by applying N density-fluctuation operators to the k=0 condensate. Acting with N density operators produces, with appreciable weight, configurations in which multiple operators act on the same particle, so the state is not a state of N well-defined quasiparticles. Consequently, the inference that N0^(\\wp) ~ 1 for the dominant states is not justified, and Eq. (7) does not lead to the paper's conclusion. The later claim that interactions only add further 'blurring' does not repair this gap, since the zero-order basis itself fails even where interactions are absent.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes an approximate mathematical proof that in a finite, nonrelativistic, periodic system of N interacting spinless bosons at temperatures T >> T_c^(i) (the ideal-gas Bose-Einstein condensation temperature), the zero-momentum occupation N0 satisfies N0 ~ 1 << N, so that no Bose-Einstein condensate of zero-momentum atoms exists. The argument starts from the exact canonical-ensemble expression (7) for N0, asserts that at ultrahigh temperatures the dominant contribution to the partition function comes from states containing N elementary quasiparticles, and then uses the zero-order wavefunctions (15)-(19) to claim that such states have N0 ~ 1. The paper concludes that an ultrahigh temperature 'blurs' the condensate. The author explicitly acknowledges that the reasoning is not rigorous.","tokens_in":9123,"tokens_out":8080,"duration_ms":65798,"significance":"If the claim were established, the paper would fill a recognized gap in the literature, since the absence of BEC at ultrahigh temperatures is widely believed but, according to the author, not rigorously proven for interacting systems. The manuscript correctly identifies the exact formula (7) as a useful starting point and is transparent about the approximate nature of the proof. However, the central derivation rests on unproven and questionable assumptions, and the presented arguments do not constitute a sound proof of the main claim. The paper is thus more a research sketch than a complete proof, and its significance as a citable result is limited by the lack of rigor in the load-bearing steps.","major_comments":[{"comment":"The zero-order wavefunction for N quasiparticles is not correct even in the ideal-gas limit, which is the limit in which the approximation should be most accurate. For an ideal gas, the N-particle state with momenta p1,...,pN is a symmetrized permanent of plane waves. The product rho_{-p1}...rho_{-pN} (with Psi0=1) contains terms in which two or more density operators act on the same particle, for example e^{-i(p1+p2)r_j}; such terms are absent from the permanent. For N=2, this is readily verified explicitly. Consequently, the expectation value of N0 computed from (19) does not represent the true N0 of the corresponding eigenstates. Since the central conclusion that N-quasiparticle states have N0 ~ 1 is derived directly from (19), the proof fails at its key step.","section":"Sec. II, Eq. (19)"},{"comment":"The assertion that at T >> T_c^(i) the main contribution to the partition function comes from states containing exactly N quasiparticles is not derived. The paper presents a qualitative counting argument ('such states constitute the majority among all possible states') but provides no quantitative estimate of the number of states or of the Boltzmann weights e^{-E/kT}. Without such an estimate, the exact formula (7) cannot be reduced to the N-quasiparticle sector, and the necessity/sufficiency argument for the conclusion is not established.","section":"Sec. II, around Eq. (7) and the paragraph after properties (i)-(iii)"},{"comment":"The extrapolation from a dilute gas to arbitrary interaction strength is uncontrolled. The zero-order wavefunctions (15)-(19) are justified only in the dilute-gas limit where Sg ≈ 0. The claim that interactions cause only 'additional blurring' of the condensate is qualitative and is not supported by any estimate of N0 for strongly interacting states. Since the abstract states the result for interacting bosons in general, this gap is material to the paper's central claim.","section":"Sec. II, paragraph 'The formulae (15)-(19) do not take into account the interatomic interaction'"},{"comment":"Two load-bearing premises—the maximum possible number of elementary quasiparticles being N, and the form of multi-quasiparticle wavefunctions—are cited from the author's prior works (refs [18,19,29]) and are not derived or independently verified in this manuscript. While citing prior work is common, these premises are the substantive content of the proof; without their derivation or an explicit statement that they are assumptions, the argument is not self-contained. The paper's own admission that the reasoning is 'not rigorous' (Conclusion) is consistent with this limitation.","section":"Sec. II, discussion of maximum quasiparticle number"}],"minor_comments":[{"comment":"There are typographical errors in the title/header, such as 'in teracting' and 'condensa te', which appear to be hyphenation artifacts and should be corrected.","section":"Title and header"},{"comment":"The notation for the state-dependent occupation number, written as 'N (℘ ) 0', is typeset inconsistently and is hard to read; a consistent notation such as N0^(wp) would improve clarity.","section":"Throughout"},{"comment":"The sentence 'properties (i), (ii) and (iii) jointly imply...' reads as a derivation, but the text actually presents a heuristic argument. The authors should label this as an assumption or conjecture to avoid overstating the logical status of the claim.","section":"Sec. II, paragraph after properties (i)-(iii)"},{"comment":"Ref. [19] is an arXiv preprint; if the proof depends on results from that preprint, the manuscript should indicate whether those results have undergone peer review, given their centrality to the argument.","section":"References"}],"recommendation":"reject","confidential_remarks":"The manuscript relies heavily on the author's own prior publications for the two decisive premises (maximum quasiparticle number and multi-quasiparticle wavefunctions), and one of these (ref [19]) is an arXiv preprint posted shortly before this submission. This self-citation pattern, combined with the non-rigorous nature of the central argument, suggests the paper would not meet the standards of the journal, even though the topic is within scope. The main claim may be true, but the presented proof is not adequate for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper claims an approximate proof that interacting bosons at T >> Tc have no BEC. The conclusion is certainly true, but the proof does not hold up. The exact formula (7) is fine, and it is a fair point that a rigorous proof for interacting systems is missing. The author deserves credit for being explicit that the argument is approximate and sketchy.\n\nThe load-bearing step is the zero-order wavefunction (19): a state with N quasiparticles is written as a product of N density fluctuation operators acting on a constant ground state. This is not a controlled approximation, and it is actually wrong in the limit where it should be exact — the noninteracting gas. The exact N-boson state with distinct momenta is a permanent of plane waves. Applying N density operators produces a sum in which many terms have two or more operators acting on the same particle, meaning fewer than N excited particles and some particles with combined momenta. For N operators on N particles, the permutation terms that give the correct permanent are a vanishing fraction of all terms (N!/N^N ~ e^{-N}). So the state in (19) is dominated by multiple-occupancy configurations and is not the state of N well-defined quasiparticles. Consequently the assertion that N0 ~ 1 for these states is unsupported. The argument that interactions 'blur' the condensate further does not repair this; the zero-order basis is already wrong without interactions.\n\nThere are softer problems as well. The dominance of N-quasiparticle states in the partition function is asserted by counting, not proven. The extrapolation from a dilute gas to arbitrary interactions is hand-wavy, as the author admits. The author's prior papers are cited for the maximum quasiparticle number and the complete wavefunction set; self-citation is not automatically a flaw, but here those premises are exactly what is not established independently.\n\nSo the paper is honest, clearly written, and addresses a genuine gap in the literature. But the central derivation is not a proof, and the error in Eq. (19) is fatal to the argument. I would not send this to a referee; it would be more appropriate as an explicitly heuristic preprint than as a research paper. My recommendation is to reject with no invitation to revise, unless the author can provide a correct treatment of the N-quasiparticle states.","headline":"The conclusion is true, but the proof is not: the key approximation for N-quasiparticle states is wrong even in the ideal-gas limit.","tokens_in":9585,"tokens_out":4429,"would_cite":false,"duration_ms":42429,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper argues that a finite periodic system of interacting spinless bosons at temperatures far above the ideal-gas Bose-Einstein condensation temperature has zero-momentum occupation N0 ~ 1, so no condensate of zero-momentum atoms forms.","keywords":["Bose-Einstein condensate","ultrahigh temperatures","interacting bosons","zero-momentum occupation","elementary quasiparticles","density fluctuation operators","canonical ensemble","periodic boundary conditions"],"falsifier":"A direct numerical computation of the one-body density matrix for a finite periodic system of interacting bosons, for example via path-integral Monte Carlo for N = 256 particles at T = 10 Tc^(i) with a short-range repulsive potential, would settle the claim: if the zero-momentum occupation grows with N instead of staying of order 1, the proposed mechanism fails.","tokens_in":8618,"feed_emoji":"⚛️","tokens_out":6285,"duration_ms":54754,"temperature":0.7,"pith_summary":"The paper argues that a spatially uniform system of interacting spinless bosons, held at temperatures far above the ideal-gas Bose-Einstein condensation temperature, cannot sustain a condensate of zero-momentum atoms. The author starts from the exact canonical-ensemble formula for the zero-momentum occupation number and claims that at such ultrahigh temperatures the states that dominate the thermal average are those containing the maximum number N of elementary quasiparticles, each with large momentum. In the zero-order approximation used here, those N-quasiparticle states have negligible zero-momentum occupation, of order 1 rather than order N. If the argument holds, it would supply the missing interacting-system counterpart of the well-known ideal-gas result that N0 vanishes above Tc^(i).","feed_headline":"Interacting bosons lose their condensate at ultrahigh temperatures","feed_subtitle":"An approximate proof says zero-momentum occupation stays at order 1, not N, far above the ideal-gas transition temperature.","key_machinery":"The load-bearing object is the exact occupation formula (7), together with the zero-order wavefunction approximation (15)-(19) in which the ground state is treated as a constant and an N-quasiparticle state is approximated by the product ρ_{-p1}ρ_{-p2}···ρ_{-pN} of density-fluctuation operators. This approximation, originally motivated for a dilute gas, converts the statement that the statistical sum is dominated by N-quasiparticle states into the statement that each dominant state has zero-momentum occupation near unity. The paper also relies on the claim, taken from earlier work, that the maximum possible number of elementary quasiparticles is N, and on the standard quasiparticle dispersion law to argue that quasiparticles at large momenta behave like free atoms.","core_discovery":"On the paper's own terms, the central discovery is that the exact thermal average N0 = (1/Z) Σ_℘ $e^{{-E_℘/k_BT}}$ <Ψ_℘|a0^+ a0|Ψ_℘> can be evaluated by identifying which stationary states contribute at ultrahigh temperatures. The paper claims that for T >> Tc^(i) the dominant states contain N elementary quasiparticles with large momenta, and that in the zero-order approximation these states are represented by wavefunctions built from products of density-fluctuation operators acting on a constant ground state, so each such state has N0^(℘) ~ 1. Since the majority of significant terms in the sum are of this type, the weighted average N0 remains of order 1, not of order N, implying the absence of a Bose-Einstein condensate of zero-momentum atoms.","pith_inferences":["A stricter test of the zero-order approximation, such as solving the few-quasiparticle wavefunctions beyond the dilute-gas limit, would determine whether the extrapolation to arbitrary interactions is justified; this is a gap the paper leaves open.","The claim that N0 ~ 1 for finite periodic systems suggests that in a finite box the condensate never strictly vanishes but becomes a microscopic occupation; experimental probes of the momentum distribution in trapped gases at high temperature could look for this residue.","If the mechanism is right, it may also apply to other quasiparticle condensates, such as magnons or polaritons, at temperatures far above their 'ideal-gas' transition scales, though the paper does not make that extension."],"forward_implications":["At ultrahigh temperatures the momentum distribution of an interacting Bose gas should approach a Maxwell-Boltzmann form with no macroscopic zero-momentum peak.","The crossover from condensate to no condensate is smooth, driven by the increasing occupation of N-quasiparticle states, rather than by a sharp transition.","The same reasoning, if extended to the grand canonical ensemble as the paper suggests, would predict the same absence of a condensate.","The 'blurring' of the condensate is monotone in temperature: as the number of quasiparticles rises toward N, the zero-momentum occupation drops from order N to order 1."],"supporting_citations":[{"why":"Supplies the canonical-ensemble statistical averaging formula used to define N0 in Eq. (7).","marker":"[13]"},{"why":"Provides the quasiparticle dispersion law whose high-momentum limit identifies quasiparticles with free atoms.","marker":"[15]"},{"why":"Supplies the multi-quasiparticle wavefunctions and the result that the maximum number of elementary quasiparticles is N.","marker":"[18]"},{"why":"Gives the dilute-gas ground-state wavefunction coefficients used to justify the zero-order approximation Ψ0 ≈ 1.","marker":"[26]"},{"why":"Provides the single-quasiparticle wavefunction ρ_{-p}Ψ0 on which the product approximations (16)-(19) are built.","marker":"[28]"},{"why":"Supports the maximum number N of quasiparticles and the discussion of condensates at nonzero momentum.","marker":"[29]"},{"why":"Establishes the completeness of the density-fluctuation basis functions used in the exact wavefunction expansions.","marker":"[25]"}],"fun_headline_variants":["Ultrahigh temperatures rule out Bose-Einstein condensate","Interacting bosons lose BEC at extreme heat","Bose-Einstein condensate cannot survive ultrahigh T","Condensate fades for interacting bosons at ultrahigh T"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument's load-bearing assumption is that the zero-order approximation for highly excited states, developed for a dilute gas, remains valid for arbitrary interactions at ultrahigh temperatures, so that N-quasiparticle states indeed have zero-momentum occupation of order 1 rather than order N.","fun_headline_variants_meta":{"raw":{"variants":["Ultrahigh temperatures rule out Bose-Einstein condensate","Interacting bosons lose BEC at extreme heat","Bose-Einstein condensate cannot survive ultrahigh T","Condensate fades for interacting bosons at ultrahigh T"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000403,"raw_usage":{"total_tokens":2120,"prompt_tokens":983,"completion_tokens":1137,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":599,"completion_tokens_details":{"reasoning_tokens":1067}},"tokens_in":599,"tokens_out":1137,"duration_ms":9546,"temperature":1.0,"reasoning_tokens":1067,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:58:10.698452+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct numerical computation of the one-body density matrix for a finite periodic system of interacting bosons, for example via path-integral Monte Carlo for N = 256 particles at T = 10 Tc^(i) with a short-range repulsive potential, would settle the claim: if the zero-momentum occupation grows with N instead of staying of order 1, the proposed mechanism fails.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the quasiparticle dispersion law whose high-momentum limit identifies quasiparticles with free atoms."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the multi-quasiparticle wavefunctions and the result that the maximum number of elementary quasiparticles is N."},{"cited_title":"Tomchenko, Fiz","cited_arxiv_id":null,"evidence_quote":"Gives the dilute-gas ground-state wavefunction coefficients used to justify the zero-order approximation Ψ0 ≈ 1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the single-quasiparticle wavefunction ρ_{-p}Ψ0 on which the product approximations (16)-(19) are built."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supports the maximum number N of quasiparticles and the discussion of condensates at nonzero momentum."},{"cited_title":"Reatto and G","cited_arxiv_id":null,"evidence_quote":"Establishes the completeness of the density-fluctuation basis functions used in the exact wavefunction expansions."}],"review_version":1}