Table of Contents
Fetching ...

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

Yoshitsugu Sekine

Abstract

In this paper, 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.

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

Abstract

In this paper, 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.

Paper Structure

This paper contains 25 sections, 42 theorems, 206 equations.

Key Result

Proposition 2.1

For a symplectic space $\left( X,\sigma \right)$ of arbitrary dimension, let $S \subset X$ be a non-degenerate finite-dimensional subspace. In particular, the center of the full resolvent algebra is trivial. $\blacktriangleleft$$\blacktriangleleft$

Theorems & Definitions (92)

  • Proposition 2.1: BuchholzGrundling2
  • Proposition 2.2
  • Theorem 2.3
  • Corollary 2.4
  • Remark 2.5: What the BEC representation should be
  • Remark 3.1
  • Remark 3.2
  • Lemma 3.3
  • Definition 3.4
  • Lemma 3.5
  • ...and 82 more