{"id":"d4ec9be7-49ad-4b55-aa5c-93e737adfaf5","arxiv_id":"2607.10283","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Limits of canonical ensembles of trapped interacting bosons are KMS or ground states for any interaction, and stationarity under the unconfined dynamics holds whenever n/L^8 → 0.","lead":"Using the resolvent-algebra framework, this paper proves that very large ensembles of interacting bosons in a harmonic trap settle into equilibrium states or ground states, no matter whether the forces attract or repel. It also derives a condition linking trap size to particle number that covers the scaling assumptions used in studies of Bose-Einstein condensates.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.5's n/L^8→0 condition is proven for regularized dynamics; the physical Gibbs states of Eq. (2.10) are stationary under unregularized dynamics, and Lemma 3.3's fixed-n convergence does not control the ε–n joint limit.","rationale":"The reader's verdict (CONDITIONAL) correctly identifies the same weak point: the transition from regularized to physical dynamics rests on Lemma 3.3, which is a fixed-n result and does not control the ε–n joint limit. My stress-test confirms that this is exactly where the paper's central thermodynamic-limit claim is least secure. The theorem as formally stated for regularized dynamics may be correct; the gap is in the physical interpretation and in the claim that the derived scaling condition applies to the original Bose gas. This does not invalidate the earlier KMS result (Theorem 2.3), which concerns confined dynamics and is supported by the algebraic structure. Nor does it invalidate the qualitative stationarity of limit states under homogeneous dynamics, which is already obtained from Corollary 3.2 and Lemma 3.1 without the explicit n/L^8 scaling. Thus the issue is best handled as a condition: the quantitative scaling claim should be conditional on either (a) a proof that physical Gibbs states are suitably close to regularized ones in the joint limit, or (b) a reformulation of Theorem 3.5 that states its regularized-domain scope explicitly. I therefore recommend no change to the reader's CONDITIONAL verdict, while emphasizing that this is the load-bearing assumption to revisit.","tokens_in":18859,"tokens_out":8639,"duration_ms":99036,"concrete_test":"For a concrete two-body potential (e.g., s=1, V(x)=e^{-x^2}) and a basic resolvent A_0=R_μ(f), compute the physical Gibbs expectation ω_{β,n}(i[H^{ε}_{L,n}, A_0]) = ω_{β,n}(i[H^{ε}_{L,n} - H_{L,n}, A_0]) using the physical canonical ensemble of Eq. (2.10), with L_n = n^{1/8} and any sequence ε_n→0. If this quantity does not tend to 0 as n→∞, then Theorem 3.5 cannot be applied to the physical Gibbs states, and the n/L^8→0 condition is an artifact of the regularization. Alternatively, analytically estimate the trace-norm distance between the physical Gibbs state and the regularized Gibbs state with H^{ε_n}_{L_n,n}; if the distance fails to vanish under n/L_n^8→0, the transfer from regularized to physical dynamics fails in the joint limit.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central quantitative claim of Section 3 — that n/L_n^8 → 0 suffices for stationarity of thermodynamic-limit states under the homogeneous dynamics — is proven only for a regularized interaction. Theorem 3.5 explicitly begins with a 'fixed regularized two-body interaction potential'; the dynamics α_L are generated by H_{0,L,n} + V^{ε,n}, where V^{ε,n} is the time-averaged potential of Eq. (3.7). The proof of (3.14) uses the stationarity of ω_{L,n} under these regularized dynamics and the derivation bound (3.17)–(3.19), which is independent of V only because the interaction has already been regularized. But the canonical Gibbs–von Neumann ensembles of Eq. (2.10) are defined with the physical Hamiltonian H_{L,n} of Eq. (1.3), i.e., with V, not V^{ε,n}. They are stationary under the physical dynamics, not under the regularized dynamics. Lemma 3.3 shows only that, for each fixed n, e^{itH^{ε,n}} → e^{itH^n} in norm uniformly in t as ε→0. It does not imply that a physical stationary state is stationary under the regularized dynamics; nor does it provide any bound on the difference |ω_{β,n}(i[H^{ε,n}, A_0])| that would survive the joint limit n→∞, ε→0. In fact, the Dyson-series estimates in Appendix B involve ∥V_n∥_n ∼ n^2, so the approximation errors can grow with n. Therefore, the derived n/L^8 condition may characterize the regularized model rather than the Bose gas. This is not a demonstrated inconsistency, but it is the point where the paper's thermodynamic-limit conclusion is least secure.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies limit states of large-n canonical ensembles of interacting bosons in harmonic traps, within the resolvent-algebra framework. Section 2 constructs a regularized C*-dynamical system (C_{α_L}, α_L) for confined dynamics and proves that all weak-*-limit points of the Gibbs–von Neumann ensembles are KMS states (or ground states) at the given temperature, independent of the interaction sign. It also analyzes the fate of basic resolvents in the presence of proper condensates. Section 3 turns to the thermodynamic limit L→∞. After proving norm convergence of the confined to the homogeneous dynamics on finite-particle representations (Lemma 3.1), the paper regularizes the interaction (Eq. 3.7) to make derivations well-defined, and proves (Theorem 3.5) that if n/L_n^8→0, any sequence of n-particle states stationary for the regularized confined dynamics is annihilated by the homogeneous derivation in the limit. The paper concludes that this condition encompasses standard BEC scalings.","tokens_in":19206,"tokens_out":27435,"duration_ms":276318,"significance":"If the main quantitative claim held for the physical dynamics, the paper would provide a model-independent sufficient condition for stationarity of thermodynamic limit states of trapped interacting bosons. Theorem 2.3 is a clean packaging of the standard closure of KMS states with resolvent-algebra tools. Theorem 3.5 contributes an explicit, falsifiable scaling condition (n/L^8→0) via a transparent derivation estimate (Eqs. 3.17–3.19). The proper-condensate model is instructive and the observation that observables can vanish from limit representations is conceptually valuable. However, the central quantitative result is proven only for regularized interactions; the bridge from regularized to physical dynamics is not established uniformly in the particle number. The paper does not ship machine-checked proofs, but the core estimates are sufficiently explicit to be checkable by hand.","major_comments":[{"comment":"The central quantitative result is proven for a fixed regularized interaction V^{ε,n} (Eq. 3.7), while the canonical Gibbs ensembles of Eq. (2.10) are stationary under the physical dynamics generated by H_{L,n}. Lemma 3.3 gives norm convergence of e^{itH^{ε,n}} to e^{itH^n} only for fixed n; the Appendix B estimate is of order ε∥V_n∥_n ∼ ε n^2 (Eq. B.4). No bound survives the joint limit ε→0, n→∞, and no argument shows that a physical stationary state is uniformly close to a regularized stationary state. Thus the derivation of n/L^8→0 from (3.17)–(3.19) does not apply to the physical Bose gas. The sentence preceding Lemma 3.4 claiming that Lemma 3.3 'justifies' restricting to regularized potentials is unsupported. This affects the abstract's claim and Section 4's conclusion. Please add a uniform-in-n regularization estimate with a chosen ε_n, or restrict the claim to regularized dynamics","section":"§3, Lemma 3.3 and Theorem 3.5"}],"minor_comments":[{"comment":"The displayed formulas have typos: the superscript -1 is missing in the resolvent expressions, and the parentheses in Eq. (2.25) are unbalanced.","section":"§2, Eqs. (2.24)–(2.25)"},{"comment":"The notation ∥a(Q^2f)∥_n is ambiguous: a(Q^2f) maps F_n to F_{n-1}, so it is not an operator norm on F_n. State explicitly that this is the map norm F_n → F_{n-1}.","section":"§3, Eq. (3.16)"},{"comment":"Typo: 'respulsive' should be 'repulsive'.","section":"§4"},{"comment":"Reference [11]: 'Solovey' should be 'Solovej'.","section":"References"},{"comment":"The assertion that Eq. (2.24) holds for arbitrary f∈S(R^s) is delegated to 'some estimates, which are omitted here'. Since this is an illustrative model, either include a brief sketch of those estimates or explicitly label the model as heuristic.","section":"§2, example"},{"comment":"In Eq. (2.17) there is a bracket typo: '[Z A[' should read '[Z A]'.","section":"§2, Lemma 2.4"},{"comment":"The text calls (3.13) a 'general test' for stationarity under the homogeneous dynamics, but the paper does not prove that (3.14) implies invariance of weak-*-limit points under the automorphism group for the physical dynamics. Corollary 3.2 provides such an implication under the different choice of L_n from Lemma 3.1. Please clarify in what exact sense (3.14) constitutes stationarity in the abstract and conclusions.","section":"§3, after Eq. (3.13)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is likely publishable after revision, but the advertised claim about the physical Bose gas is not yet supported. The reviewer's main concern is the regularization-to-physical transfer in the joint limit ε→0, n→∞. The paper relies heavily on the author's own framework (7 of 13 references are self-citations), but the new results do not reduce to those references; the KMS result is standard and the derivation estimate is new. No circularity concern. Recommend asking the authors to either close the gap with a joint estimate or restate the central theorem as a result about regularized dynamics."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The core of this paper is Theorem 2.3: for any continuous two-body potential, every weak-* limit of confined canonical ensembles is a KMS state or ground state. That is a solid, new result in the resolvent-algebra framework, and the proof is a clean reduction to Bratteli-Robinson once the regularized algebra C_{alpha_L} is built. The ideal-theoretic treatment of proper condensates (Lemma 2.4, Prop. 2.5, the P(f) projections) is also a genuine contribution, not just window dressing. The paper is honest: it flags the omitted estimates in Eq. (2.24), says Lemma 2.4 follows after applying relations a few times, and clearly states where proofs are deferred to appendices. The heavy self-citation (7/13) is fine because the new theorems do not reduce to prior work; they lean on an external standard result. The soft spots are real but not fatal. The main one is the gap the stress-test note identifies. Theorem 3.5 is stated for a fixed regularized interaction V^{epsilon,n}, while the physical Gibbs ensembles are defined with the unregularized V. Lemma 3.3 shows e^{itH^{epsilon,n}} -> e^{itH^n} in norm for each fixed n, but the bound in (3.17)-(3.19) is uniform in n only after regularization is fixed, and the Dyson estimates in Appendix B involve ||V_n|| ~ n^2. So the joint limit epsilon->0, n->infinity is not controlled, and the n/L^8 -> 0 condition strictly applies to the regularized dynamics. The paper claims the regularization has only a minor impact on dynamics, but that is not enough to justify the thermodynamic-limit conclusion for the physical Bose gas. This does not invalidate Theorem 3.5 as a statement about regularized interactions, but it does mean the physically phrased result needs more work - either a joint-limit estimate or an explicit statement that the condition is for the regularized model. Other soft spots: the model in Section 2 relies on the omitted estimates in (2.24), and the derivation of the n/L^8 condition is tied to a stationarity criterion (3.13) that is motivated but not forced. None of these is a demonstrated error, and the paper deserves a serious referee rather than a desk rejection. I would send it to peer review with a request to address the epsilon-n joint limit and fill in the missing estimates.","headline":"The KMS/ground-state limit theorem is a real, clean result; the n/L^8 condition is proved for a regularized interaction, and the paper does not control the epsilon-n joint limit needed to transfer it to the physical Bose gas - still worth refereeing.","tokens_in":803,"tokens_out":1820,"would_cite":true,"duration_ms":30787,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L60","81V73","82B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that every weak-*-limit point of the confined canonical Gibbs–von Neumann ensembles of interacting bosons is a KMS equilibrium state (or ground state) for the confined dynamics, regardless of force sign, and that in the the","keywords":["resolvent algebra","KMS states","Bose-Einstein condensation","thermodynamic limit","canonical ensembles","confinement scaling","derivations","proper condensates"],"falsifier":"One concrete check: compute the limit of ω_{L_n,n}(δ(A_0)) in an exactly solvable model with attractive contact interaction, with n/L^8 → 0; if the limit fails to vanish for some basic resolvent A_0, the stationarity theorem is false. Alternatively, find a sequence with n/L^8 → 0 where the limit state of the physical (unregularized) dynamics is not stationary while the regularized dynamics is, exposing the gap between the two.","tokens_in":18524,"feed_emoji":"⚛️","tokens_out":5011,"duration_ms":53303,"temperature":0.7,"pith_summary":"The paper studies what happens to canonical ensembles of many interacting bosons in a harmonic trap as the particle number grows, using the resolvent algebra to track observables that survive the limit. It tries to prove two structural statements. First, every weak-*-limit point of the finite-n Gibbs–von Neumann ensembles is a KMS equilibrium state (or ground state) for the confined dynamics, no matter whether the two-body force is attractive or repulsive. Second, if the trap is turned off while the particle number grows, the limit states are stationary under the homogeneous dynamics provided the confinement length grows fast enough, n/L^8 → 0. A sympathetic reader would care because these claims make rigorous statements about the nature of thermodynamic limits of trapped Bose gases, including condensates.","feed_headline":"Trapped boson limits settle into equilibrium states","feed_subtitle":"Resolvent-algebra proof covers attractive and repulsive forces; n/L^8 → 0 controls the thermodynamic limit","key_machinery":"The resolvent algebra and its projective limit: the algebra generated by resolvents (µ+a*(f)a(f))^{-1}, whose representations on n-particle spaces carry the dynamics. The paper regularizes the interaction by time-averaging, V^{ε,n} = (1/ε)∫_0^ε α_{0,n}(s)(V_n) ds, so that derivations stay inside the algebra, and proves that the basic resolvents form a core for the derivations δ_L. The key identity is (δ−δ_L)(R_µ(f)) = L^{-4} R_µ(f)[a*(Q^2f)a(f) − a*(f)a(Q^2f)]R_µ(f), whose norm on n-particle space is bounded by 2µ^{-3/2}‖Q^2f‖ n^{1/2}/L^4; combined with the Jacobi identity this gives the n/L^8 condition.","core_discovery":"The central claim is that in the resolvent-algebra framework, the confusing features of infinite-particle limits—attractive collapse, proper condensates, loss of observables—are absorbed by the ideal structure of the algebra. The paper proves that limit points of the n-particle canonical ensembles are KMS states at inverse temperature β, or ground states for β = ∞, with respect to the regularized confined dynamics on a C*-subalgebra C_{α_L} generated by time-smoothed elements. It then introduces derivations for the confined and homogeneous dynamics and proves, for a fixed regularized two-body potential, the estimate ∥(δ−δ_L)(A_0)∥_n ≤ C_{A_0} n^{1/2}/L^4 on a core of basic resolvents. Conseq","pith_inferences":["The n/L^8 condition is a sufficient bound derived from a crude n^{1/2}/L^4 estimate; stronger estimates might lower the required growth of L, so the condition may not be optimal.","The regularization of the interaction is shown to be harmless only for fixed n; if ε is kept fixed as n → ∞, the n/L^8 condition should be read as a condition on the regularized system unless the joint limit is controlled.","The ideal-structure picture suggests a general principle: in any infinite-particle limit, physical observables are those that survive as bounded resolvents; this could be tested on lattice or spin models with similar confinement.","The paper hints at symmetry breaking in crystals; the same derivational machinery may yield criteria for spatial symmetry breaking in the thermodynamic limit."],"forward_implications":["All confined canonical ensemble limit states, including attractive ones, satisfy the KMS condition or are ground states; collapse is compatible with equilibrium because the observables that become meaningless move into the kernel of the representation.","Proper condensates (single-particle states occupied infinitely) are inevitable as n grows with fixed trap; such condensates appear as ideals in the kernel, so only excitations, not individual condensate particles, are observable.","If n/L^8 → 0, the thermodynamic limit states are stationary under the homogeneous dynamics; this condition covers the commonly used n/L^6 constraint and allows for various density profiles.","The interaction regularization V^{ε,n} is close to the physical dynamics in norm for each fixed n, suggesting the regularization scheme has independent use for studying dynamics of many-body systems."],"fun_headline_variants":["Boson limits always land in equilibrium or ground states","Resolvent algebra shows boson limits reach KMS or ground states","Trapped boson limits: KMS or ground, regardless of interaction","Infinite boson ensembles converge to KMS or ground states"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The main theorems use a regularized interaction potential, and the proof that the regularization has only a minor effect on the dynamics is made for each fixed particle number, not uniformly as the particle number and the regularization parameter tend to infinity together.","fun_headline_variants_meta":{"raw":{"variants":["Boson limits always land in equilibrium or ground states","Resolvent algebra shows boson limits reach KMS or ground states","Trapped boson limits: KMS or ground, regardless of interaction","Infinite boson ensembles converge to KMS or ground states"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000209,"raw_usage":{"total_tokens":1280,"prompt_tokens":813,"completion_tokens":467,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":557,"completion_tokens_details":{"reasoning_tokens":394}},"tokens_in":557,"tokens_out":467,"duration_ms":5622,"temperature":1.0,"reasoning_tokens":394,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T07:20:13.874951+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One concrete check: compute the limit of ω_{L_n,n}(δ(A_0)) in an exactly solvable model with attractive contact interaction, with n/L^8 → 0; if the limit fails to vanish for some basic resolvent A_0, the stationarity theorem is false. Alternatively, find a sequence with n/L^8 → 0 where the limit state of the physical (unregularized) dynamics is not stationary while the regularized dynamics is, exposing the gap between the two.","supporting_citations":[],"review_version":2}