Constructive Quantum Field Theory and Rigorous Statistical Mechanics via Operator Algebras and Probability Theory -- Guiding Principles and Research Perspectives
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.
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.
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∗-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.
A central problem in modern mathematical physics is to study interacting systems beyond the reach of perturbation theory. This thesis studies interacting quantum systems using the mathematical theory of operator algebras. In the first part of this thesis, we consider how to construct quantum many-body systems from one-particle systems. This problem has a well-established solution - namely, the second quantization (or the Gaussian functor). However, it seems difficult for the second quantization to go beyond generalized free field constructions without the help of perturbation theory. The second quantization takes real Hilbert spaces as inputs. Using only information from one-particle Hilbert spaces, it is mathematically impossible for the second quantization to produce connected higher-point correlation functions. Moreover, from the perspectives of mathematical quantization and operator algebra theory, it is more natural to have a quantization procedure that takes an algebra along with a functional as the input. Such a pair of mathematical objects contains more information about the underlying one-particle system and includes the Hilbert space of states (via the GNS construction) as part of the data. Inspired by quantum probability theory, we introduce an alternative approach to construct quantum many-body systems. This approach is based on a noncommutative generalization of the classical Poisson random measure. We call this construction Poissonization. Mathematically, Poissonization is a functor from the category of von Neumann algebras with normal semi nite faithful weights to the category of von Neumann algebras with normal faithful states. It is a natural adaptation of the second quantization to the context of von Neumann algebras. This thesis discusses several properties of Poissonization, and uses Poissonization as a tool to construct various toy models of algebraic quantum field theories relevant to high energy physics. This collection of examples aims at demonstrating the versatility of Poissonization. In the second part of this thesis, we study the noisy interactions between an open quantum system and its environment. One of the challenges in quantum information science is to control open quantum systems with a large number of qubits. An important aspect of many-body systems is the emergence of collective phenomena. One collective noise model is an open atomic system in an electromagnetic environment. This model was considered by Dicke in the 50's. In this thesis, we study the entropic decay in Dicke's model and other related collective noise models. Specifically, we develop a general framework to estimate the spectral gap and modified logarithmic Sobolev constant of these collective noise models. In addition, we study the necessary mixing conditions a general Dicke's model must satisfy in order to have a unique equilibrium state.
This work develops a conceptual framework for the foundations of quantum physics, linking two main approaches: the algebraic formulation and quantum probability. Rather than proposing new axioms or theories, the text reorganizes and synthesizes existing models, highlighting their assumptions, conceptual structures, and operational significance. The analysis begins with von Neumann's measurement theory and its subsequent developments by Mackey, emphasizing the role of experimentally feasible procedures and the need for a statistical model grounded in laboratory practice. The work adopts an operational perspective, according to which physical quantities are defined solely through experimental measurement methods, and the corresponding probabilistic measures are derived from measurement outcomes. The introduction critically examines the limitations of purely mathematical formulations - such as the algebraic method - when separated from experimental interpretation. The text argues for a clear distinction between axioms, postulates, and presuppositions, and for a reconstruction of quantum theory that respects both empirical constraints and conceptual clarity.
Overall, the goal is to provide a coherent path from operational principles to algebraic structures, offering a basis for an axiomatic reformulation of quantum mechanics that remains faithful to physical practice.
This paper explores the intricate connections between various algebraic structures—Banach algebras, C*-algebras, and von Neumann algebras—and their profound implications for the theory of quantum entanglement and quantum information. We establish a comprehensive framework that bridges the abstract concepts of functional analysis with the concrete demands of quantum mechanics. Beginning with the foundational properties of Banach algebras, we progressively introduce C*-algebras as a natural setting for quantum observables and states, followed by von Neumann algebras, which are essential for describing quantum measurement and infinite-dimensional quantum systems. A central focus is to delineate how quantum entanglement, a cornerstone resource in quantum information science, can be rigorously characterized and quantified within this hierarchical algebraic framework. We integrate recent game-theoretic approaches to quantum information, providing new perspectives on quantum relative entropy, mutual information, and channel capacity. By demonstrating how the rich structure of C*-algebras acts as a pivotal bridge, we illuminate the mathematical coherence underlying the transition from general algebraic concepts to the specialized domain of quantum information processing, offering a unified view of quantum phenomena. The work also delves into the operational justifications for these algebraic descriptions, particularly in the context of infinite quantum systems.
PT-symmetry, invariance under the combined operations of spatial reflection and time reversal, arises naturally in non-Hermitian physics and has been attracting an increasing amount of attention in the literature. Here, we examine probabilistic structures within the unbroken and broken PT-symmetric regimes from a C*-algebraic perspective. We show that PT-unbroken probability is directly compatible with the operator-algebraic formulation of standard QM. However, though PT-broken Hamiltonians may generate well-defined non-unitary dynamics, basic structural properties required for quantum probability typically fail. We analyze this failure via relation to the GNS construction, ultimately demonstrating that an extension to a C*-algebraic probability theory on a Hermitian supersystem is required to define a meaningful probability calculus within the PT-broken system itself. Thereby, consistent probability assignment must be extrinsic to the PT-broken phase, and must be inherited from a dilation to a Hermitian system. We offer a novel interpretation of the broken PT-symmetric regime as a non-ordered, non-probabilistic subalgebra of a larger Hermitian, fully quantum system. Additionally, our work clarifies the structural importance of positivity in standard quantum mechanics.