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

Infinite Dimensional Analysis Quantum Probability and Related Topics

Mathematical aspects of Bose–Einstein condensation in equilibrium and local equilibrium conditions

Luigi Accardi, Carlo Pandiscia

Published Dec 1, 2017• 0 citations
Publisher

Abstract

In the paper4 the notion of local KMS condition, introduced in Ref. 3 and extended in Ref. 2, was shown to open new possibilities in the study of the problem of Bose–Einstein Condensation (BEC). In this paper we analyze the general structure of states on the CCR algebra over a pre-Hilbert space that satisfies the local KMS condition with respect to a free Hamiltonian [Formula: see text] and to a given inverse temperature function [Formula: see text]. The replacement of Hilbert space by a pre-Hilbert space allows one to deal with test functions more singular than those usually considered in the theory of distributions (thus allowing e.g., fractal critical surfaces) and is equivalent (in the language of Weyl algebras) to consider a degenerate symplectic form. It is precisely this degeneracy that allows one to introduce in an intrinsic way the notions of [Formula: see text]-critical subspace (resp. [Formula: see text]-critical surface) and of states exhibiting BEC, independently of infinite volume limits and of boundary conditions. We prove that the covariance of any local KMS state is uniquely determined by the pair [Formula: see text], through a nonlinear extension of the Planck factor. For a large class of such states (including all known examples) the covariance splits into a sum of two mutually singular terms: one corresponding to a regular state, the other one with support on a critical surface (or more generally a critical subspace) uniquely determined by [Formula: see text] and [Formula: see text]. In particular we prove that, if such a state is gauge invariant Gaussian (quasi-free), then the [Formula: see text]-equilibrium condition uniquely determines the regular part of the state, while the singular part is arbitrary.

DOI
10.1142/s0219025717500242

Related papers

On Classical Aspects of Bose–Einstein Condensation

Lorenzo Pettinari

Abstract Berezin and Weyl quantization are renowned procedures for mapping commutative Poisson algebras of observables to their non-commutative, quantum counterparts. The latter is famous for its use on Weyl algebras, while the former is more appropriate for continuous functions decaying at infinity. In this work, we define a variant of the Berezin quantization map, which acts on the classical Weyl algebra $$\mathcal {W}(E,0)$$ W ( E , 0 ) and constitutes a positive strict deformation quantization . This construction provides a natural framework to compare classical and quantum thermal equilibrium states of a Bose gas through the computation of their semi-classical limit. To this end, we first introduce a purely algebraic notion of KMS states for the classical Weyl algebra and establish that, in finite volume, there exists a unique such state, which can be interpreted as the Fourier transform of a Gibbs measure on a Hilbert space. We then construct a new class of classical KMS states that realize representations of the canonical commutation relations with infinite local density. These states arise as the semi-classical high-density limit of the quantum equilibrium states originally studied by Araki and Woods [5]. A key feature of our approach is that it preserves the macroscopic ground-state occupation of the Bose gas in the classical regime. Finally, we demonstrate that the infinite-volume classical states can be obtained as thermodynamic limits of finite-volume Gibbs states.

arXiv:2411.02626•Annales Henri Poincaré•Oct 30, 2025•2 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

Algebraic Approaches to Bose-Einstein Condensation

Lorenzo Pettinari

Abstract We review two recent applications of operator-algebraic methods to the analysis of homogeneous Bose gases at finite temperature. The first part concerns the semiclassical description of Bose–Einstein condensation in the framework of Weyl $$C^*$$ C ∗ -algebras. In this setting, the semiclassical parameter is naturally linked to the density of the system, and the classical weak KMS condition emerges as the limit of quantum equilibrium states. We show in particular that the condensate structure is preserved in a suitable large-density regime. The second part discusses a joint work with Prof. Jan Dereziński which the Araki–Woods representation is used to formulate a systematic perturbative theory for interacting Bose gases at positive temperature. Within this representation, thermal effects are encoded directly in the field operators, allowing for a transparent implementation of Wick’s theorem and the computation of damping coefficients via the Fermi Golden Rule. The review synthesizes results obtained in two recent works presented at IQSA2025, emphasizing the conceptual role of algebraic methods in connecting semiclassical analysis, equilibrium states, and finite-temperature perturbation theory.

International Journal of Theoretical Physics•Aug 10, 2026•0 citations

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

Yoshitsugu Sekine

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.

arXiv:2604.01424•Apr 1, 2026•0 citations

Bose–Einstein condensation of a Gaussian random field in the thermodynamic limit

Philippe Mounaix, Satya N. Majumdar, Abhimanyu Banerjee

We derive the criterion for the Bose–Einstein condensation (BEC) of a Gaussian field φ (real or complex) in the thermodynamic limit. The field is characterized by its covariance function, and the control parameter is the intensity u = ||φ|| 2 2 / V , where V is the volume of the box containing the field. We show that for any dimension d (including d = 1), there is a class of covariance functions for which φ exhibits a BEC as u is increased through a critical value u c . In this case, we investigate the probability distribution of the part of u contained in the condensate. We show that depending on the parameters characterizing the covariance function and the dimension d , there can be two distinct types of condensate: a Gaussian distributed 'normal' condensate with fluctuations scaling as and a non-Gaussian-distributed 'anomalous' condensate. A detailed analysis of the anomalous condensate is performed for a one-dimensional system ( d = 1). Extending this one-dimensional analysis to exactly the point of transition between normal and anomalous condensations, we find that the condensate at the transition point is still Gaussian distributed but with anomalously large fluctuations scaling as , where L is the system length. The conditional spectral density of φ, knowing u , is given for all the regimes (with and without BEC).

arXiv:1111.3229•Journal of Physics A Mathematical and Theoretical•Feb 28, 2012•7 citations

Finite temperature quantum condensations in the space of states: general proof

Massimo Ostilli, Carlo Presilla A

Abstract We formalize and prove the extension to finite temperature of a class of quantum phase transitions, acting as condensations in the space of states, recently introduced and discussed at zero temperature (Ostilli and Presilla 2021 J. Phys. A: Math. Theor. 54 055005). In details, we find that if, for a quantum system at canonical thermal equilibrium, one can find a partition of its Hilbert space into two subspaces, and , such that, in the thermodynamic limit, dim ℋ cond / dim ℋ → 0 and the free energies of the system restricted to these subspaces cross each other for some value of the Hamiltonian parameters, then, the system undergoes a first-order quantum phase transition driven by those parameters. The proof is based on an exact probabilistic representation of quantum dynamics at an imaginary time identified with the inverse temperature of the system. We also show that the critical surface has universal features at high and low temperatures.

arXiv:2209.13244•Journal of Physics A Mathematical and Theoretical•Dec 16, 2022•1 citation
In the paper4 the notion of local KMS condition, introduced in Ref. 3 and extended in Ref. 2, was shown to open new possibilities in the study of the problem of Bose–Einstein Condensation (BEC). In this paper we analyze the general structure of states on the CCR algebra over a pre-Hilbert space that satisfies the local KMS condition with respect to a free Hamiltonian [Formula: see text] and to a given inverse temperature function [Formula: see text]. The replacement of Hilbert space by a pre-Hilbert space allows one to deal with test functions more singular than those usually considered in the theory of distributions (thus allowing e.g., fractal critical surfaces) and is equivalent (in the language of Weyl algebras) to consider a degenerate symplectic form. It is precisely this degeneracy that allows one to introduce in an intrinsic way the notions of [Formula: see text]-critical subspace (resp. [Formula: see text]-critical surface) and of states exhibiting BEC, independently of infinite volume limits and of boundary conditions. We prove that the covariance of any local KMS state is uniquely determined by the pair [Formula: see text], through a nonlinear extension of the Planck factor. For a large class of such states (including all known examples) the covariance splits into a sum of two mutually singular terms: one corresponding to a regular state, the other one with support on a critical surface (or more generally a critical subspace) uniquely determined by [Formula: see text] and [Formula: see text]. In particular we prove that, if such a state is gauge invariant Gaussian (quasi-free), then the [Formula: see text]-equilibrium condition uniquely determines the regular part of the state, while the singular part is arbitrary.
Abstract Berezin and Weyl quantization are renowned procedures for mapping commutative Poisson algebras of observables to their non-commutative, quantum counterparts. The latter is famous for its use on Weyl algebras, while the former is more appropriate for continuous functions decaying at infinity. In this work, we define a variant of the Berezin quantization map, which acts on the classical Weyl algebra W(E,0)\mathcal {W}(E,0)W(E,0) W ( E , 0 ) and constitutes a positive strict deformation quantization . This construction provides a natural framework to compare classical and quantum thermal equilibrium states of a Bose gas through the computation of their semi-classical limit. To this end, we first introduce a purely algebraic notion of KMS states for the classical Weyl algebra and establish that, in finite volume, there exists a unique such state, which can be interpreted as the Fourier transform of a Gibbs measure on a Hilbert space. We then construct a new class of classical KMS states that realize representations of the canonical commutation relations with infinite local density. These states arise as the semi-classical high-density limit of the quantum equilibrium states originally studied by Araki and Woods [5]. A key feature of our approach is that it preserves the macroscopic ground-state occupation of the Bose gas in the classical regime. Finally, we demonstrate that the infinite-volume classical states can be obtained as thermodynamic limits of finite-volume Gibbs states.
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.
Abstract We review two recent applications of operator-algebraic methods to the analysis of homogeneous Bose gases at finite temperature. The first part concerns the semiclassical description of Bose–Einstein condensation in the framework of Weyl C∗C^*C∗ C ∗ -algebras. In this setting, the semiclassical parameter is naturally linked to the density of the system, and the classical weak KMS condition emerges as the limit of quantum equilibrium states. We show in particular that the condensate structure is preserved in a suitable large-density regime. The second part discusses a joint work with Prof. Jan Dereziński which the Araki–Woods representation is used to formulate a systematic perturbative theory for interacting Bose gases at positive temperature. Within this representation, thermal effects are encoded directly in the field operators, allowing for a transparent implementation of Wick’s theorem and the computation of damping coefficients via the Fermi Golden Rule. The review synthesizes results obtained in two recent works presented at IQSA2025, emphasizing the conceptual role of algebraic methods in connecting semiclassical analysis, equilibrium states, and finite-temperature perturbation theory.
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 derive the criterion for the Bose–Einstein condensation (BEC) of a Gaussian field φ (real or complex) in the thermodynamic limit. The field is characterized by its covariance function, and the control parameter is the intensity u = ||φ|| 2 2 / V , where V is the volume of the box containing the field. We show that for any dimension d (including d = 1), there is a class of covariance functions for which φ exhibits a BEC as u is increased through a critical value u c . In this case, we investigate the probability distribution of the part of u contained in the condensate. We show that depending on the parameters characterizing the covariance function and the dimension d , there can be two distinct types of condensate: a Gaussian distributed 'normal' condensate with fluctuations scaling as and a non-Gaussian-distributed 'anomalous' condensate. A detailed analysis of the anomalous condensate is performed for a one-dimensional system ( d = 1). Extending this one-dimensional analysis to exactly the point of transition between normal and anomalous condensations, we find that the condensate at the transition point is still Gaussian distributed but with anomalously large fluctuations scaling as , where L is the system length. The conditional spectral density of φ, knowing u , is given for all the regimes (with and without BEC).
Abstract We formalize and prove the extension to finite temperature of a class of quantum phase transitions, acting as condensations in the space of states, recently introduced and discussed at zero temperature (Ostilli and Presilla 2021 J. Phys. A: Math. Theor. 54 055005). In details, we find that if, for a quantum system at canonical thermal equilibrium, one can find a partition of its Hilbert space into two subspaces, and , such that, in the thermodynamic limit, dim ℋ cond / dim ℋ → 0 and the free energies of the system restricted to these subspaces cross each other for some value of the Hamiltonian parameters, then, the system undergoes a first-order quantum phase transition driven by those parameters. The proof is based on an exact probabilistic representation of quantum dynamics at an imaginary time identified with the inverse temperature of the system. We also show that the critical surface has universal features at high and low temperatures.