{"id":"7092f0a8-2820-4823-986f-3ae996cc3095","arxiv_id":"1908.09188","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Using an operator version of the Bogoliubov inequality, the authors rigorously rule out Bose-Einstein condensation in the 1D and 2D Bose-Hubbard model at positive temperature.","lead":"This paper proves that the Bose-Hubbard model on one- and two-dimensional lattices cannot have Bose-Einstein condensation at any positive temperature, for any filling, under standard assumptions. It fills a gap between common physical intuition and rigorous mathematics by adapting the Bogoliubov inequality to unbounded bosonic operators.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"The paper aims to prove absence of Bose–Einstein condensation in the d=1,2 Bose-Hubbard model with translationally invariant, sufficiently fast-decaying hopping at positive temperature. I checked the main chain: Prop. 7 and Prop. 11 give self-adjointness and trace-class Gibbs weights; Prop. 15 and Prop. 17 justify a finite-dimensional Bogoliubov inequality and the passage M→∞; Theorem 21 supplies convergence for the needed thermal averages of c†(0) and of the number operator; the commutator identities (67)–(71) are algebraically consistent; the estimate leading to (80) correctly bounds the positive double-commutator average; and Prop. 25 gives lattice-size-independent density bounds via convexity. Equation (83) then shows that the upper bound on the order parameter is controlled by a Riemann sum whose continuum limit diverges as λ→0 in d=1 and d=2, yielding Prop. 26. The fast-decay assumption (77) is precisely what makes that divergence possible; it is an explicit hypothesis, not a hidden weakness. I also considered whether the theorem only proves vanishing of the anomalous U(1) average rather than Penrose–Onsager macroscopic occupation. The paper defines the condensate density as |⟨c†(0)⟩|²/|Λ|, which is the standard quasiaverage criterion in the Mermin–Wagner/Bogoliubov context and matches the approach of [17]; the double limit λ→0 followed by N→∞ is the usual way to probe spontaneous symmetry breaking. Since I found no internal inconsistency or missing necessary argument, the reader's ACCEPT verdict should stand unchanged.","tokens_in":22970,"tokens_out":42719,"duration_ms":459473,"concrete_test":"Independently re-derive inequality (83) from (81), and verify that the discrete Riemann sum (2π/N)^d Σ_k 1/(M2|k|²+α) is bounded below by the corresponding continuum integral ∫_{[0,2π]^d} d^d k /(M2|k|²+α) for every finite N. If monotone domination fails for some N, Prop. 26 would need a separate uniform-in-N argument; if it holds, the λ→0 divergence is fully justified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing concern identified. The central argument is internally consistent: the finite-dimensional Bogoliubov inequality (73), the convergence theorem (57), the uniform density bounds of Prop. 25, and the divergent Riemann-sum/integral estimate (83) together imply Prop. 26. The fast-decay condition (77) is an explicit scope assumption, not a hidden gap; without some second-moment control of the hopping the momentum integral would not diverge as λ→0, so the condition is necessary and is stated in the theorem. The only point that could be pressed is that the order parameter is the U(1) quasiaverage |⟨c†(0)⟩|²/|Λ| rather than the Penrose–Onsager occupation of the zero-momentum single-particle state. However, the paper explicitly defines this quantity as the condensate density, and this is the standard criterion in the Mermin–Wagner/Bogoliubov literature followed by the cited reference [17]. I therefore do not treat it as a gap in the proof.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents a rigorous proof of the absence of Bose-Einstein condensation in the Bose-Hubbard model on d-dimensional cubic lattices for d=1 and 2, with periodic boundary conditions and translationally invariant hopping amplitudes satisfying a finite second-moment condition, at any positive temperature and for any filling. The proof combines a Bogoliubov inequality adapted to infinite-dimensional bosonic systems, finite-dimensional truncations with a convergence theorem for thermal averages, and a Mermin-Wagner-type estimate. The key result, Proposition 26, shows that the U(1) quasiaverage order parameter m_Λ(λ)=|⟨c†(0)⟩|²/|Λ| can be made arbitrarily small for large lattices and small symmetry-breaking fields. The paper also establishes uniform density bounds (Proposition 25) that are needed for the thermodynamic limit.","tokens_in":23122,"tokens_out":29660,"duration_ms":244300,"significance":"The result is a natural lattice analogue of the classical no-BEC theorem for continuum bosons in d≤2, and it fills a gap in the literature where the absence of BEC in the Bose-Hubbard model was widely believed but not rigorously established. The main technical contribution is the careful treatment of the infinite-dimensional bosonic Hilbert space: self-adjointness of the Hamiltonian via Kato-Rellich, trace-class Gibbs states, and convergence of finite-dimensional thermal averages to the true thermal averages. The proof is detailed and self-contained, with no fitted parameters or ad-hoc assumptions beyond the explicitly stated fast-decay condition on the hopping amplitudes. The uniform density bounds derived in Proposition 25 are also of independent interest.","major_comments":[],"minor_comments":[{"comment":"The abstract and summary claim 'no Bose-Einstein condensation', but the proof controls the U(1) quasiaverage m_Λ(λ)=|⟨c†(0)⟩|²/|Λ|. The authors should add a brief discussion clarifying how this quasiaverage criterion relates to the standard Penrose-Onsager definition of condensation, since the logical connection is not immediate to all readers.","section":"Abstract and Section 6"},{"comment":"In Lemma 34 the small parameter is denoted λ, but in the application to Proposition 25 it corresponds to |λ|, the modulus of the symmetry-breaking field. This notational mismatch may confuse readers; consider renaming the parameter in Lemma 34 (e.g., to η) or adding an explicit remark that the lemma is applied with η=|λ|.","section":"Section 5.1, Lemma 34"},{"comment":"There are frequent typos that should be corrected in a revision: 'anihilation' in Section 2, 'possess' in Section 2, 'Begolyubov' after Eq. (79), and 'Te get' in Section 5. A careful proofread is needed.","section":"Throughout"},{"comment":"The lower bound on γ(u) in Eq. (18) is written in a convoluted and likely misprinted form, with a plus sign preceding a negative term. Consider simplifying or rederiving this expression for readability.","section":"Theorem 3(ii), Eq. (18)"},{"comment":"The passage from the Riemann sum to the integral as N→∞ is asserted without proof. A one-sentence justification, noting that the integrand is continuous away from k=0 and that the relevant uniformity in λ follows from monotonicity in α, would improve the exposition.","section":"Section 5, Eq. (83)"}],"recommendation":"minor_revision","confidential_remarks":"The paper is technically sound, the proof is self-contained, and the main result fills a real gap in the literature. My only substantive reservation is that the authors should make the connection between the quasiaverage order parameter and the standard definition of Bose-Einstein condensation explicit, so that the abstract's claim is not overstated. The remaining issues are presentational and can be addressed without affecting the mathematical content."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is the rigorous Mermin-Wagner statement for lattice bosons that a lot of people assumed but hadn't proved: no U(1) symmetry breaking in 1D/2D Bose-Hubbard at positive temperature, with unbounded occupation, any chemical potential, and sufficiently fast-decaying translation-invariant hopping. As far as I can tell, the claim of novelty is credible.\n\nWhat is actually new is the technical machinery, not the physical expectation. The paper handles the infinite-dimensional single-site Hilbert space by truncating at particle number M, proving finite-dimensional Bogoliubov inequalities, and then showing the truncated thermal averages converge to the true Gibbs averages (Thm. 21). The self-adjointness and trace-class proofs (Sec. 2) and the uniform density bounds (Prop. 25) are careful and self-contained. The density estimate is a nice byproduct: rho_Lambda(mu,lambda) is bounded above and below independent of Lambda for small lambda, which justifies the final bound. No fitted parameters, no hidden use of the conclusion; the logic is straightforward.\n\nThe main soft spot is semantics, not mathematics. The order parameter is the quasiaverage |<c^dagger(0)>|^2/|Lambda|, not the Penrose-Onsager largest eigenvalue of the one-body density matrix. For the continuous Bose gas this is exactly the standard [17] criterion, so it is a legitimate route, but the title/abstract says 'no Bose-Einstein condensation' and a careful reader should understand that the theorem rules out spontaneous U(1) long-range order of this type. Also, the fast-decay hopping condition (77) is essential: without it the momentum integral may not diverge, and for genuinely long-range hopping BEC can survive. The paper states this, so it is a scope condition rather than a gap. The summary phrase 'arbitrary hoppings, which fall-off sufficiently fast' is fine but could be clearer: arbitrary amplitudes with a uniform second-moment bound.\n\nThe finite-volume bound in Prop. 26 does the right thing: uniform in Lambda for small lambda, then lambda to 0. I did not find a circular step or an omitted proof that matters. The paper is written in a somewhat old-fashioned style and is dense, but it is readable.\n\nWho should read it: mathematical physicists working on lattice bosons and anyone citing 'folk theorem' no-BEC for BHM in 1D/2D. It deserves a serious referee; I would send it, with a request to add a remark distinguishing quasiaverage condensation from full ODLRO. It is a solid paper, not a spectacular one.","headline":"A rigorous, self-contained proof that the 1D/2D Bose-Hubbard model has no U(1) quasiaverage at positive temperature; the physics is expected, but the technical execution is solid and worth refereeing.","tokens_in":23669,"tokens_out":3164,"would_cite":true,"duration_ms":36415,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B10","82B20","82B26"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the one- and two-dimensional Bose–Hubbard model has no Bose–Einstein condensation at any positive temperature and any filling, provided particle jumps decay fast enough with distance.","keywords":["Bose–Hubbard model","Bose–Einstein condensation","Bogoliubov inequality","long-range order","low-dimensional lattice systems","thermodynamic limit","quantum statistical mechanics","no-order theorem"],"falsifier":"Exhibit a one- or two-dimensional lattice boson model with translationally invariant jump amplitudes violating the second-moment bound, for example $|t_z|\\sim |z|^{-(d+1)}$, and show numerically or analytically that the condensate fraction stays nonzero as the symmetry-breaking field tends to zero and the lattice grows; that would show the fast-decay condition is not merely technical.","tokens_in":22772,"feed_emoji":"🧊","tokens_out":11607,"duration_ms":112235,"temperature":0.7,"pith_summary":"This paper turns a widely held piece of physics folklore into a theorem: in the Bose–Hubbard model on a one- or two-dimensional lattice, with translationally invariant hopping that falls off fast enough with distance and periodic boundary conditions, there is no Bose–Einstein condensation at any positive temperature or any filling. The proof uses a version of the Bogoliubov inequality adapted to bosonic operators, where the Hilbert space is infinite-dimensional even on a finite lattice, and passes carefully from finite-dimensional approximations to the thermodynamic limit. Along the way it proves that the particle density is bounded above and below uniformly in the lattice size, a fact the paper says it could not find proved elsewhere. If correct, the result justifies the common assumption that low-dimensional lattice bosons never condense and sharpens the question of what kind of order, if any, survives in two dimensions.","feed_headline":"No Bose–Einstein condensation in 1D or 2D Bose–Hubbard model","feed_subtitle":"Rigorous proof covers every filling and every positive temperature, provided hopping falls off fast enough.","key_machinery":"The load-bearing object is an infinite-dimensional operator version of the Bogoliubov inequality, which bounds a thermal average of a commutator by a product of two other thermal averages. The paper applies it with $A=c^{\\dagger}(k)$, a momentum creation operator, and $C=|\\Lambda|^{-1/2}\\sum_x e^{ik\\cdot x}n_x$, a density-wave operator. The commutator $[C,A]=|\\Lambda|^{-1/2}c^{\\dagger}(0)$ makes the condensate order parameter appear, while the double commutator $[[C,H],C^{\\dagger}]$ is controlled by the second-moment bound on hopping. After summing over momenta, the inequality reads $m_\\Lambda$ times a momentum sum bounded by a constant depending on $\\beta$ and the density; in $d=1,2$ that sum diverges as the symmetry-breaking field tends to zero, which squeezes $m_\\Lambda$ to zero. A separate convexity argument applied to the logarithm of the partition function supplies the uniform density estimates needed to take that limit.","core_discovery":"On the paper's own terms, the central result is that the order parameter $m_\\Lambda(\\lambda)=|\\langle c^{\\dagger}(0)\\rangle|^2/|\\Lambda|$ — the squared magnitude of the zero-momentum annihilation operator's thermal average per site, i.e. the condensate density — can be made arbitrarily small by taking the symmetry-breaking field $\\lambda$ small and the lattice $\\Lambda$ large, for dimensions $d=1$ and $d=2$. This holds for every filling and every positive temperature, under the assumptions that hopping is translationally invariant and satisfies the uniform second-moment bound $\\sum_z |t_z||z|^2 \\le M_2$. The proof obtains an operator Bogoliubov inequality, computes the relevant commutators with a density-wave operator and a momentum creation operator, sums the resulting bound over momenta, and shows that in one and two dimensions the momentum sum diverges as $\\lambda\\to0$, forcing the order parameter to zero.","pith_inferences":["The same commutator pair should work for any U(1)-symmetric lattice boson model whose hopping satisfies the same uniform second-moment bound, because only the commutator identities and that bound enter the proof.","The fast-decay condition is probably close to a threshold: a model with hopping decaying like $|z|^{-(d+2)}$ sits at the boundary of the second-moment condition, and numerics could test whether condensation reappears there.","The argument is inherently at positive temperature, so zero-temperature Bose–Einstein condensation in the two-dimensional Bose–Hubbard model is not excluded; the result and a possible $T=0$ superfluid can coexist.","Tracking the constants in the momentum sum would turn the order-parameter estimate into a quantitative rate as $\\lambda\\to0$, likely logarithmic in two dimensions."],"forward_implications":["In one and two dimensions, the Bose–Hubbard model with finite-range or sufficiently fast-decaying hopping has zero condensate density at every positive temperature and every filling.","Models with a hard upper bound on site occupation inherit the no-condensation result, since they are a special case of the same estimates.","The grand-canonical particle density is bounded uniformly in the lattice size and in small symmetry-breaking fields, so the thermodynamic limit of these thermal averages is well behaved.","Any low-temperature ordering in two dimensions cannot be off-diagonal long-range order; if order exists it must be of a different kind, and the paper leaves the Kosterlitz–Thouless-type transition as an open problem.","The finite-dimensional approximation plus trace-class convergence strategy gives a template for rigorous no-order proofs in other lattice boson models."],"supporting_citations":[{"why":"States the Bogoliubov inequality whose finite-dimensional version is the proof's starting point.","marker":"[19]"},{"why":"Gives the continuum-boson proof of no condensation in one and two dimensions and the operator-inequality strategy adapted here.","marker":"[17]"},{"why":"Supplies the choice of the density-wave operator C and momentum creation operator A used in the inequality.","marker":"[31]"},{"why":"Provides the perturbation theorems used to prove self-adjointness and trace-class properties of the Bose–Hubbard Hamiltonian.","marker":"[26]"},{"why":"Supplies the trace inequality used to show the perturbed Gibbs operator is trace class.","marker":"[28]"},{"why":"Provides the trace-norm convergence lemma that lets finite-dimensional thermal averages pass to the thermodynamic limit.","marker":"[29]"},{"why":"Supplies the convexity and derivative identities used to bound the density uniformly.","marker":"[32]"},{"why":"Provides the comparison lemma used to sandwich the partition function and obtain the density bounds.","marker":"[34]"}],"fun_headline_variants":["Rigorous proof: no BEC in 1D/2D Bose-Hubbard","BEC impossible in 1D and 2D Bose-Hubbard","No BEC in 1D/2D Bose-Hubbard at any positive temperature","1D/2D Bose-Hubbard: no BEC for any filling, T>0"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that particle jumps between lattice sites become weak fast enough with distance that the total jump strength times squared distance stays bounded as the lattice grows; with longer-ranged jumps the argument no longer forces the condensate to zero.","fun_headline_variants_meta":{"raw":{"variants":["Rigorous proof: no BEC in 1D/2D Bose-Hubbard","BEC impossible in 1D and 2D Bose-Hubbard","No BEC in 1D/2D Bose-Hubbard at any positive temperature","1D/2D Bose-Hubbard: no BEC for any filling, T>0"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001257,"raw_usage":{"total_tokens":5076,"prompt_tokens":795,"completion_tokens":4281,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":411,"completion_tokens_details":{"reasoning_tokens":4186}},"tokens_in":411,"tokens_out":4281,"duration_ms":29436,"temperature":1.0,"reasoning_tokens":4186,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:19:16.722728+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a one- or two-dimensional lattice boson model with translationally invariant jump amplitudes violating the second-moment bound, for example $|t_z|\\sim |z|^{-(d+1)}$, and show numerically or analytically that the condensate fraction stays nonzero as the symmetry-breaking field tends to zero and the lattice grows; that would show the fast-decay condition is not merely technical.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"States the Bogoliubov inequality whose finite-dimensional version is the proof's starting point."},{"cited_title":"Bouziane and Ph","cited_arxiv_id":null,"evidence_quote":"Gives the continuum-boson proof of no condensation in one and two dimensions and the operator-inequality strategy adapted here."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the choice of the density-wave operator C and momentum creation operator A used in the inequality."},{"cited_title":"Kato: Perturbation Theory for Linear Operators , Springer-Verlag, Berlin, Heidelberg, New York 1980","cited_arxiv_id":null,"evidence_quote":"Provides the perturbation theorems used to prove self-adjointness and trace-class properties of the Bose–Hubbard Hamiltonian."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the trace inequality used to show the perturbed Gibbs operator is trace class."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the trace-norm convergence lemma that lets finite-dimensional thermal averages pass to the thermodynamic limit."},{"cited_title":"Ginibre: Commun","cited_arxiv_id":null,"evidence_quote":"Supplies the convexity and derivative identities used to bound the density uniformly."},{"cited_title":"Ruelle: Helv","cited_arxiv_id":null,"evidence_quote":"Provides the comparison lemma used to sandwich the partition function and obtain the density bounds."}],"review_version":1}