pith. machine review for the scientific record. sign in

arxiv: 2604.10838 · v1 · submitted 2026-04-12 · 🧮 math-ph · cond-mat.stat-mech· math.MP

Recognition: unknown

No-Go Theorem for Quasiparticle BEC

Authors on Pith no claims yet

Pith reviewed 2026-05-10 15:02 UTC · model grok-4.3

classification 🧮 math-ph cond-mat.stat-mechmath.MP
keywords no-go theoremBose-Einstein condensationquasiparticlesvan Hove modelKMS statesinfrared divergencesoperator algebrastime cluster properties
0
0 comments X

The pith

Bose-Einstein condensation of quasiparticles is precluded in the van Hove model either by time cluster properties of the equilibrium states or by the reduction of the observable algebra from infrared divergences under nonlinear dispersion.

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

The paper proves that quasiparticles cannot undergo Bose-Einstein condensation under specific conditions in the van Hove model treated with operator algebras. Although the beta-KMS states meet a self-consistency condition for the field definition, this alone does not prevent condensation. Adding time cluster properties to these states rules out condensation, as does handling infrared divergences in cases of nonlinear dispersion where the exponent exceeds 2, which shrinks the algebra of physical observables and excludes condensation on that smaller algebra. This clarifies the mathematical barriers to condensation for phonons and similar quasiparticles.

Core claim

We prove the no-go theorem for BEC via two routes. First, imposing time cluster properties on the β-KMS states precludes BEC. Second, under nonlinear dispersion with s > 2, the treatment of infrared divergences automatically reduces the algebra of physical observables, and BEC is mathematically excluded on the reduced algebra. In particular, the latter property admits an interpretation in terms of the ideal theory of the resolvent algebra.

What carries the argument

The β-KMS states of the van Hove model together with the reduction of the algebra of physical observables that occurs when infrared divergences are treated for nonlinear dispersion relations with s > 2.

If this is right

  • Imposing time cluster properties on β-KMS states rules out BEC.
  • Nonlinear dispersion relations with s > 2 lead to a reduced algebra where BEC is excluded.
  • The self-consistency condition on the field definition is not enough by itself to establish the no-go result.
  • The exclusion on the reduced algebra can be understood through the ideal theory of the resolvent algebra.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If time cluster properties do not hold, other approaches might be needed to investigate possible condensation in related models.
  • The algebra reduction mechanism could apply to other quantum field models that encounter infrared divergences.
  • These results point toward checking whether concrete quasiparticle systems meet the clustering or dispersion conditions to assess the theorem's physical reach.

Load-bearing premise

The beta-KMS states must satisfy time cluster properties or the dispersion must be nonlinear with s greater than 2 so that infrared divergences reduce the algebra of observables.

What would settle it

A concrete counterexample would be a β-KMS state of the van Hove model that lacks time cluster properties yet shows Bose-Einstein condensation, or a nonlinear dispersion model with s > 2 where the unreduced algebra permits condensation without the reduction taking effect.

read the original abstract

We discuss a no-go theorem for Bose-Einstein condensation (BEC) of quasiparticles (phonons) from the viewpoint of operator algebras, using the van Hove model. The $\beta$-KMS states of the van Hove model satisfy the self-consistency condition of arXiv:1207.4621. However, the self-consistency condition is a constraint concerning the definition of the field, and is insufficient to establish the no-go theorem for BEC. In this paper, we prove the no-go theorem for BEC via two routes. First, imposing time cluster properties on the $\beta$-KMS states precludes BEC. Second, under nonlinear dispersion with $s > 2$, the treatment of infrared divergences automatically reduces the algebra of physical observables, and BEC is mathematically excluded on the reduced algebra. In particular, the latter property admits an interpretation in terms of the ideal theory of the resolvent algebra.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript establishes a no-go theorem for Bose-Einstein condensation of quasiparticles in the van Hove model from the perspective of operator algebras. While the self-consistency condition on β-KMS states (from prior work) is shown to be insufficient by itself, the paper proves exclusion of BEC via two routes: (i) imposition of time-cluster properties on the β-KMS states, and (ii) for nonlinear dispersion relations with exponent s > 2, automatic reduction of the physical observable algebra due to infrared divergences, with BEC excluded on the reduced algebra and interpreted via ideals in the resolvent algebra.

Significance. If the derivations hold, the result supplies rigorous algebraic constraints on quasiparticle condensation under standard ergodicity-type conditions and for physically relevant dispersion relations, complementing existing literature on KMS states and resolvent algebras. The explicit link to ideal theory in the resolvent algebra constitutes a technical strength that may extend to other infrared-sensitive models in algebraic QFT.

major comments (1)
  1. The second route (§ describing the IR-regularized reduced algebra) asserts that BEC is excluded on the reduced algebra for s > 2, but the precise mechanism by which the condensate operator is removed from the physical observables (via resolvent-algebra ideals) requires an explicit verification that the reduction is not merely a redefinition of the field but genuinely precludes the order parameter; without this step the exclusion does not automatically follow from the algebra reduction alone.
minor comments (2)
  1. The abstract and introduction refer to 'the self-consistency condition of arXiv:1207.4621' without restating its precise form; a brief equation or restated definition would improve readability for readers unfamiliar with the cited work.
  2. Notation for the dispersion exponent s and the precise statement of the nonlinear dispersion relation should be introduced once in a dedicated paragraph or equation before being used in the second proof route.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment and the detailed comment on the second route of the no-go theorem. We address the point below and will incorporate a clarification in the revised manuscript.

read point-by-point responses
  1. Referee: The second route (§ describing the IR-regularized reduced algebra) asserts that BEC is excluded on the reduced algebra for s > 2, but the precise mechanism by which the condensate operator is removed from the physical observables (via resolvent-algebra ideals) requires an explicit verification that the reduction is not merely a redefinition of the field but genuinely precludes the order parameter; without this step the exclusion does not automatically follow from the algebra reduction alone.

    Authors: We appreciate the referee drawing attention to the need for explicitness here. In the manuscript the reduction for nonlinear dispersion with s > 2 proceeds by quotienting the resolvent algebra by the closed two-sided ideal generated by the infrared-divergent terms; the would-be condensate operator (the zero-mode field operator whose non-vanishing expectation value would signal BEC) lies in this ideal and therefore vanishes in the quotient. Consequently, every state on the reduced algebra automatically has vanishing order parameter, which is a structural feature of the algebra rather than a redefinition of the field. This is already implicit in the ideal-theoretic interpretation stated in the paper, but we agree that a short additional paragraph or lemma spelling out the membership of the condensate operator in the ideal will make the exclusion fully transparent. We will add this clarification in the relevant section. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on two independent external conditions (time-cluster properties of β-KMS states, standard in algebraic QFT, and automatic algebra reduction under nonlinear dispersion s>2 via resolvent algebra ideals) that are not derived from the target no-go result itself. The cited self-consistency condition from prior work is explicitly stated to be insufficient for the theorem, so the proof does not reduce to it. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citation chains appear in the claimed routes.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard axioms of quantum statistical mechanics and operator algebras with no new free parameters or invented entities introduced.

axioms (2)
  • standard math beta-KMS states describe thermal equilibrium states of the van Hove model
    Invoked throughout as the relevant class of states for the no-go analysis.
  • domain assumption The van Hove model is defined via its field operators and dispersion relation as in prior literature
    Basis for applying the self-consistency condition and infrared analysis.

pith-pipeline@v0.9.0 · 5452 in / 1417 out tokens · 50416 ms · 2026-05-10T15:02:46.001704+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. No-Go Theorem for Quasiparticle BEC in the Spin-Boson Model

    math-ph 2026-04 unverdicted novelty 6.0

    A no-go theorem establishes that quasiparticles do not undergo Bose-Einstein condensation in the spin-boson model at finite temperature for moderate equilibrium states.

  2. No-Go Theorem for Quasiparticle BEC in the Spin-Boson Model

    math-ph 2026-04 unverdicted novelty 4.0

    Quasiparticles in the spin-boson model do not exhibit Bose-Einstein condensation at finite temperature for moderate equilibrium states.

  3. A Note on the Resolvent Algebra and Functional Integral Approach to the van Hove Model

    math-ph 2026-04 unverdicted

    The paper is a set of notes on the van Hove model that covers cutoff removal, existence of ground and KMS states for a point source, and Bose-Einstein condensation in infinite volume, but states it contains no essenti...

Reference graph

Works this paper leans on

16 extracted references · 2 canonical work pages · cited by 2 Pith papers · 2 internal anchors

  1. [1]

    Arai and M

    A. Arai and M. Hirokawa. On the existence and uniqueness of ground states of generalized spin-boson model. J. Funct. Anal. , 151:455–503, 1997

  2. [2]

    Mathematical Principles of Quantum Statistical Mechanics (in Japanese)

    Asao Arai. Mathematical Principles of Quantum Statistical Mechanics (in Japanese) . Kyoritsu publishing, 7 2008

  3. [3]

    Analysis on Fock Spaces and Mathematical Theory of Quantum Fields: An Introduction to Mathematical Analysis of Quantum Fields

    Asao Arai. Analysis on Fock Spaces and Mathematical Theory of Quantum Fields: An Introduction to Mathematical Analysis of Quantum Fields . World Scientific Pub Co Inc, 2 2018

  4. [4]

    Ground states of a general class of quantum field hamil- tonians

    Asao Arai and Masao Hirokawa. Ground states of a general class of quantum field hamil- tonians. Reviews in Mathematical Physics , 12:1085–1135, 2000

  5. [5]

    Bratteli and D

    O. Bratteli and D. Robinson. Operator Algebras and Quantum Statistical Mechanics , vol- ume 1 of Theoretical and Mathematical Physics . Springer Berlin Heidelberg, 11 2010

  6. [6]

    Bratteli and D

    O. Bratteli and D. Robinson. Operator Algebras and Quantum Statistical Mechanics , vol- ume 2 of Theoretical and Mathematical Physics . Springer Berlin Heidelberg, 7 2013

  7. [7]

    The resolvent algebra: Ideals and dimension

    Detlev Buchholz. The resolvent algebra: Ideals and dimension. J. Funct. Anal. , 266:3286– 3302, March 2014

  8. [8]

    The resolvent algebra: A new approach to canon- ical quantum systems

    Detlev Buchholz and Hendrik Grundling. The resolvent algebra: A new approach to canon- ical quantum systems. Journal of Functional Analysis , 254:2725–2779, June 2008

  9. [9]

    Fannes, B

    M. Fannes, B. Nachtergaele, and A. Verbeure. The equilibrium states of the spin-boson model. Commun. Math. Phys. , 114:537–548, 1988

  10. [10]

    Lörinczi and F

    J. Lörinczi and F. Hiroshima. Feynman-Kac-Type Theorems and Gibbs Measures on Path Space: Applications in Rigorous Quantum Field Theory (2) , volume 2. Walter De Gruyter, 3 2020

  11. [11]

    A unified scheme for generalized sectors based on selection criteria: Order parameters of symmetries and of thermality and physical meanings of adjunctions

    Izumi Ojima. A unified scheme for generalized sectors based on selection criteria: Order parameters of symmetries and of thermality and physical meanings of adjunctions. Open Systems and Information Dynamics , 10:235–279, September 2003

  12. [12]

    Y. Sekine. Magnetism and infrared divergence in a hubbard-phonon interacting system. arxiv:10082056, pages 1–9, 8 2010

  13. [13]

    Y. Sekine. Phonon bose-einstein condensation in a hubbard-phonon interacting system with infrared divergence. arxiv:13085589, pages 1–14, 8 2013. 24

  14. [14]

    Constructive Quantum Field Theory and Rigorous Statistical Mechanics via Operator Algebras and Probability Theory -- Guiding Principles and Research Perspectives

    Yoshitsugu Sekine. Constructive quantum field theory and rigorous statistical mechanics via operator algebras and probability theory – guiding principles and research perspectives. arxiv:2604.05300, page 13, 4 2026

  15. [15]

    A Note on the Resolvent Algebra and Functional Integral Approach to the Free Bose Einstein Condensation

    Yoshitsugu Sekine. A note on the resolvent algebra and functional integral approach to the free bose einstein condensation. arxiv:2604.01424, page 47, 4 2026

  16. [16]

    V. I. Yukalov. Difference in bose-einstein condensation of conserved and unconserved particles. Laser Phys. , 22:1145–1168, June 2012. 25