Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2604.01424

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

Yoshitsugu Sekine

Published Apr 1, 2026• 0 citations
arXivHTMLPDF

Abstract

We present a systematic description of the structure of Bose-Einstein condensation (BEC) in the free Bose gas from the viewpoint of the correspondence between the operator-algebraic formulation based on the resolvent algebra and the functional integral representation. By clarifying the representation-theoretic structure of finite-temperature BEC states and rigorously analyzing the correspondence between their direct integral decomposition and the ergodic decomposition of the associated probability measures, we provide a framework in which general features of phase transitions-such as the emergence of order parameters, the decomposition of states, and clustering properties-are explicitly described using BEC in the free Bose gas as a concrete example. Furthermore, we construct in detail the correspondence between the decomposition of measures in the functional integral approach and that of operator-algebraic representations, thereby establishing the equivalence between the probabilistic and algebraic aspects, and providing a guiding principle for isolating the essential structures by disentangling the additional mathematical complications arising from the treatment of infrared singularities in interacting systems. These results lay a foundation for the rigorous analysis of phase transitions in non-relativistic constructive quantum field theory and quantum statistical mechanics, and serve as a starting point for extensions to interacting models.

DOI
10.48550/arxiv.2604.01424

Related papers

Ideal Structure of the Resolvent Algebra and Bose-Einstein Condensation

Robin Bisht

We present a comprehensive analysis of the ideal structure of the resolvent algebra for interacting bosonic quantum field theories. The resolvent algebra, introduced by Buchholz and Grundling as a $C^*$-algebraic alternative to the Weyl algebra, possesses a rich ideal structure that faithfully reflects the quantum-mechanical properties of bosonic many-body systems. Our main results establish a complete characterization of the closed two-sided ideals for the van Hove model and the generalized spin-boson model, proving that the singular subspace associated with infrared divergences corresponds to a unique maximal proper ideal. We show that the quotient by this ideal cleanly separates regular and singular contributions, and that Bose-Einstein condensation (BEC) can be characterized entirely in terms of the emergence of a nontrivial center in the von Neumann algebra obtained from the GNS representation of equilibrium states. Furthermore, we prove a no-go theorem establishing that quasiparticle excitations in the spin-boson model do not undergo Bose-Einstein condensation at finite temperature, resolving a long-standing question in the rigorous formulation of quantum statistical mechanics. The proofs draw on spectral analysis of the van Hove and spin-boson Hamiltonians, Tomita-Takesaki modular theory, the Araki-Woods direct integral decomposition, and functional integra representations of thermal equilibrium states.

•Jul 1, 2026•0 citations

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

Yoshitsugu Sekine

We present a hierarchical viewpoint on the operator-algebraic formulation of quantum systems, in which $C^{*}$-algebras are responsible for the universal and intrinsic description, whereas von Neumann algebras provide the detailed account obtained after fixing a state compatible with the dynamics. From this standpoint, for bosonic many-body systems the resolvent algebra, rather than the Weyl algebra, is the natural object; in particular, its nuclearity, trivial center, and rich ideal structure faithfully reflect purely quantum-mechanical structures. Macroscopic variables or sector structures associated with phase transitions are captured as the center appearing in the weak closure of the GNS representation. Moreover, the equivalence between representations of operator algebras and functional integrals allows powerful probabilistic methods to be employed. Taking these as guiding principles, we outline research perspectives on concrete objects in constructive quantum field theory and rigorous statistical mechanics.

arXiv:2604.05300•Apr 7, 2026•0 citations

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

Yoshitsugu Sekine

This paper is a collection of the author's computational notes on the van Hove model and contains no essentially new results. We discuss, from both the operator-algebraic perspective via the Weyl algebra and the resolvent algebra and the functional integral approach, the removal of infrared and ultraviolet cutoffs and the existence of the ground state and $β$-KMS states in the case of a point source. In the infinite-volume system at finite temperature, Bose--Einstein condensation can arise.

arXiv:2604.23497•Apr 26, 2026•0 citations

Algebraic Quantum Statistical Mechanics and Bose-Einstein Condensation

Kalle Matias Koskinen

This thesis can be regarded as a light, but thorough, introduction to the algebraic approach to quantum statistical mechanics and a subsequent test of this framework in the form of an application to Bose-Einstein condensates. The success of the algebraic approach to quantum statistical mechanics hinges upon the remarkable properties of special operator algebras known as C^*-algebras. These algebras have unique characterization properties which allows one to readily identify the mathematical counterparts of concepts in physics while at the same time maintaining mathematical rigour and clarity. In the first half of this thesis, we focus on abstract C^*-algebras known as the canonical commutation relation algebras (CCR algebras) which are generated by elements satisfying specific commutation relations. The main result in this section is the proof of a certain kind of algebraic uniqueness of these algebras. The main idea of the proof is to utilise the underlying common structure of any of the CCR algebras and explicitly construct an isomorphism between the generators of these algebras. The construction of this isomorphism involves the use of abstract Fourier analysis on groups and various arguments concerning bounded operators. The second half of the thesis concerns the rigorous set-up of the formation of Bose-Einstein condensation. First, one defines the Gibbs grand canonical equilibrium states, and then we specialize to studying the taking of the thermodynamic limit of these systems in various contexts. The main result of this section involves two main elements. The first is that by fixing the temperature and density of the system while varying its activity and volume, there exists a limiting state corresponding to the taking of the thermodynamic limit. The second element concerns the existence of a critical density after which the limiting state begins to show the physical characteristics of Bose-Einstein condensation. The mathematical issues one faces with Bose-Einstein condensation are mainly related to the unboundedness of the creation and annihilation operators and the definition of the algebra that we are working on. The first issue is relevant to all areas of mathematical physics, and one deals with it in the standard ways. The second issue is more nuanced and is a direct result of the first issue we mentioned. In particular, we would like to define the states on an algebra which contains the operators that we are interested in. The problem is that these operators are unbounded, and, as a result, one must instead use the CCR algebra and show by extension that we can, in fact, also use the unbounded operators in this state.

Työväentutkimus Vuosikirja•Jan 1, 2018•0 citations

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

Yoshitsugu Sekine

We analyze the possibility of Bose-Einstein condensation (BEC) at finite temperature in the spin-boson model within the frameworks of functional integral representations and the resolvent algebra. Because a sesquilinear form arising from the zero mode appears, analogous to the case of the free Bose gas, a BEC-type component is also formally present in the spin-boson model. However, according to arxiv:1207.4621, quasiparticles do not undergo BEC, so we have to exclude this possibility. A no-go theorem for BEC is obtained, but we find that the spin-boson model is not a model that follows the criterion in arxiv:1207.4621.

arXiv:2604.27904•Apr 30, 2026•0 citations

Approaching Bose–Einstein condensation

L. Ferrari

Bose–Einstein condensation (BEC) is discussed at the level of an advanced course of statistical thermodynamics, clarifying some formal and physical aspects that are usually not covered by the standard pedagogical literature. The non-conventional approach adopted starts by showing that the continuum limit, in certain cases, cancels out the crucial role of the bosonic ground level. If so, a correct treatment of the problem, including the ground level population N 0 by construction, leads to BEC in a straightforward way. For a density of states of the form G ( )∝ γ , the chemical potential µ is explicitly calculated as a function of the temperature T and of the number N of bosons, for various significant values of the positive exponent γ. In the thermodynamic limit, in which the boson number N diverges and BEC is a sharp process, the chemical potential µ is a singular function of T at the critical temperature T B , determined by an appropriate critical exponent. The condensate population N 0 is studied analytically and numerically as a function of the temperature, for various values of N and for different γ. This provides an accurate description of the way BEC approaches the character of a sharp phase transition. Some aspects of the real experiments on BEC, involving a finite number of bosons, are also illustrated.

European Journal of Physics•Oct 4, 2011•5 citations
We present a systematic description of the structure of Bose-Einstein condensation (BEC) in the free Bose gas from the viewpoint of the correspondence between the operator-algebraic formulation based on the resolvent algebra and the functional integral representation. By clarifying the representation-theoretic structure of finite-temperature BEC states and rigorously analyzing the correspondence between their direct integral decomposition and the ergodic decomposition of the associated probability measures, we provide a framework in which general features of phase transitions-such as the emergence of order parameters, the decomposition of states, and clustering properties-are explicitly described using BEC in the free Bose gas as a concrete example. Furthermore, we construct in detail the correspondence between the decomposition of measures in the functional integral approach and that of operator-algebraic representations, thereby establishing the equivalence between the probabilistic and algebraic aspects, and providing a guiding principle for isolating the essential structures by disentangling the additional mathematical complications arising from the treatment of infrared singularities in interacting systems. These results lay a foundation for the rigorous analysis of phase transitions in non-relativistic constructive quantum field theory and quantum statistical mechanics, and serve as a starting point for extensions to interacting models.
We present a comprehensive analysis of the ideal structure of the resolvent algebra for interacting bosonic quantum field theories. The resolvent algebra, introduced by Buchholz and Grundling as a C∗C^*C∗-algebraic alternative to the Weyl algebra, possesses a rich ideal structure that faithfully reflects the quantum-mechanical properties of bosonic many-body systems. Our main results establish a complete characterization of the closed two-sided ideals for the van Hove model and the generalized spin-boson model, proving that the singular subspace associated with infrared divergences corresponds to a unique maximal proper ideal. We show that the quotient by this ideal cleanly separates regular and singular contributions, and that Bose-Einstein condensation (BEC) can be characterized entirely in terms of the emergence of a nontrivial center in the von Neumann algebra obtained from the GNS representation of equilibrium states. Furthermore, we prove a no-go theorem establishing that quasiparticle excitations in the spin-boson model do not undergo Bose-Einstein condensation at finite temperature, resolving a long-standing question in the rigorous formulation of quantum statistical mechanics. The proofs draw on spectral analysis of the van Hove and spin-boson Hamiltonians, Tomita-Takesaki modular theory, the Araki-Woods direct integral decomposition, and functional integra representations of thermal equilibrium states.
We present a hierarchical viewpoint on the operator-algebraic formulation of quantum systems, in which C∗C^{*}C∗-algebras are responsible for the universal and intrinsic description, whereas von Neumann algebras provide the detailed account obtained after fixing a state compatible with the dynamics. From this standpoint, for bosonic many-body systems the resolvent algebra, rather than the Weyl algebra, is the natural object; in particular, its nuclearity, trivial center, and rich ideal structure faithfully reflect purely quantum-mechanical structures. Macroscopic variables or sector structures associated with phase transitions are captured as the center appearing in the weak closure of the GNS representation. Moreover, the equivalence between representations of operator algebras and functional integrals allows powerful probabilistic methods to be employed. Taking these as guiding principles, we outline research perspectives on concrete objects in constructive quantum field theory and rigorous statistical mechanics.
This paper is a collection of the author's computational notes on the van Hove model and contains no essentially new results. We discuss, from both the operator-algebraic perspective via the Weyl algebra and the resolvent algebra and the functional integral approach, the removal of infrared and ultraviolet cutoffs and the existence of the ground state and βββ-KMS states in the case of a point source. In the infinite-volume system at finite temperature, Bose--Einstein condensation can arise.
This thesis can be regarded as a light, but thorough, introduction to the algebraic approach to quantum statistical mechanics and a subsequent test of this framework in the form of an application to Bose-Einstein condensates. The success of the algebraic approach to quantum statistical mechanics hinges upon the remarkable properties of special operator algebras known as C^*-algebras. These algebras have unique characterization properties which allows one to readily identify the mathematical counterparts of concepts in physics while at the same time maintaining mathematical rigour and clarity. In the first half of this thesis, we focus on abstract C^*-algebras known as the canonical commutation relation algebras (CCR algebras) which are generated by elements satisfying specific commutation relations. The main result in this section is the proof of a certain kind of algebraic uniqueness of these algebras. The main idea of the proof is to utilise the underlying common structure of any of the CCR algebras and explicitly construct an isomorphism between the generators of these algebras. The construction of this isomorphism involves the use of abstract Fourier analysis on groups and various arguments concerning bounded operators. The second half of the thesis concerns the rigorous set-up of the formation of Bose-Einstein condensation. First, one defines the Gibbs grand canonical equilibrium states, and then we specialize to studying the taking of the thermodynamic limit of these systems in various contexts. The main result of this section involves two main elements. The first is that by fixing the temperature and density of the system while varying its activity and volume, there exists a limiting state corresponding to the taking of the thermodynamic limit. The second element concerns the existence of a critical density after which the limiting state begins to show the physical characteristics of Bose-Einstein condensation. The mathematical issues one faces with Bose-Einstein condensation are mainly related to the unboundedness of the creation and annihilation operators and the definition of the algebra that we are working on. The first issue is relevant to all areas of mathematical physics, and one deals with it in the standard ways. The second issue is more nuanced and is a direct result of the first issue we mentioned. In particular, we would like to define the states on an algebra which contains the operators that we are interested in. The problem is that these operators are unbounded, and, as a result, one must instead use the CCR algebra and show by extension that we can, in fact, also use the unbounded operators in this state.
We analyze the possibility of Bose-Einstein condensation (BEC) at finite temperature in the spin-boson model within the frameworks of functional integral representations and the resolvent algebra. Because a sesquilinear form arising from the zero mode appears, analogous to the case of the free Bose gas, a BEC-type component is also formally present in the spin-boson model. However, according to arxiv:1207.4621, quasiparticles do not undergo BEC, so we have to exclude this possibility. A no-go theorem for BEC is obtained, but we find that the spin-boson model is not a model that follows the criterion in arxiv:1207.4621.
Bose–Einstein condensation (BEC) is discussed at the level of an advanced course of statistical thermodynamics, clarifying some formal and physical aspects that are usually not covered by the standard pedagogical literature. The non-conventional approach adopted starts by showing that the continuum limit, in certain cases, cancels out the crucial role of the bosonic ground level. If so, a correct treatment of the problem, including the ground level population N 0 by construction, leads to BEC in a straightforward way. For a density of states of the form G ( )∝ γ , the chemical potential µ is explicitly calculated as a function of the temperature T and of the number N of bosons, for various significant values of the positive exponent γ. In the thermodynamic limit, in which the boson number N diverges and BEC is a sharp process, the chemical potential µ is a singular function of T at the critical temperature T B , determined by an appropriate critical exponent. The condensate population N 0 is studied analytically and numerically as a function of the temperature, for various values of N and for different γ. This provides an accurate description of the way BEC approaches the character of a sharp phase transition. Some aspects of the real experiments on BEC, involving a finite number of bosons, are also illustrated.