Resolvent algebras and limit states of interacting canonical ensembles

Abstract: The limit states of canonical ensembles of a large number of interacting bosons at a given temperature, which are confined by harmonic forces, are studied in the framework of the resolvent algebra. It is shown that the limits satisfy the KMS condition or are ground states, regardless of the type of interaction. In case of attractive forces, where the ensembles collapse, observables that become meaningless in the limit disappear from the limit representations. For repulsive forces, this can also happen if condensates with an infinite number of particles in the same state (proper condensates) appear in the limit. The resulting structures and their interpretation are illustrated by a simple model. The study of vanishing harmonic forces (thermodynamic limit) involves changes of the dynamics. It is conveniently based on derivations acting on the algebra. They are given by the commutator of the Hamiltonians with the elements of the algebra. To ensure that the images remain in the algebra, the interaction must be regularized. This is accomplished in a manner that has only a minor impact on the dynamics and may be of broader interest. With this input a relation between the strength of the confining harmonic forces and the number of particles in the ensembles is derived from the condition that the limit states are to be stationary (invariant) under the adjoint action of the unconfined, spatially homogeneous limit dynamics. This relation encompasses the conditions that are frequently used in studies of Bose-Einstein condensates.

• The paper demonstrates that any weak-* limit of confined canonical Gibbs ensembles transitions to a KMS or ground state in the thermodynamic limit.
• It employs a projective limit representation of the resolvent algebra to rigorously establish norm convergence of finite-volume Hamiltonian dynamics under specific scaling conditions.
• The analysis reveals that for repulsive interactions, observables linked to condensates vanish in the limiting algebra, rendering only collective excitations physically accessible.

Resolvent Algebras and Limits of Interacting Canonical Ensembles

Introduction and Context

This work systematically investigates the structure of limit states of canonical ensembles comprised of large, interacting bosonic systems within the algebraic C*-framework provided by the resolvent algebra. Emphasizing systems confined by harmonic forces at finite temperature, the analysis is focused on the behavior of the system as the particle number approaches infinity, encompassing both attractive and repulsive two-body potentials. A central tenet is that the resolvent algebra’s ideal structure robustly accommodates the emergent properties of infinite systems, including equilibrium and ground states, Bose-Einstein condensation, and the physical consequences of the thermodynamic limit.

Methodological Advances: Algebraic Formulation and Dynamics

The resolvent algebra, as introduced in previous works [BuGr, Bu1, Bu2], is employed as the foundational C*-algebra generated by resolvents of canonical Bose field operators. Its projective limit representation allows description of both finite and infinite particle systems, accommodating interactions through its non-trivial ideal structure. This construction yields a unital C*-algebra that is dynamically stable under a broad class of automorphisms, including those generated by both finite and infinite volume Hamiltonians with two-body interactions.

The Hamiltonians considered are of the form

$$H_L = \int d x \left( \nabla a^*(x)\nabla a(x) + L^{-4} |x|^2 a^*(x)a(x) \right) + \int d x\, d y\, a^*(x)a^*(y) V(x-y)a(x)a(y),$$

ensuring gauge invariance and the analytic tractability necessary for taking the thermodynamic limit ($L \to \infty$). The deterministic mapping between the automorphisms for finite $L$ and the limiting homogeneous dynamics is analyzed primarily in representations on Fock space.

To guarantee the compatibility of the algebra with the time-evolution automorphisms, a regularization procedure is defined via convolution with Schwartz-class test functions, enforcing norm continuity and extending the scope of accessible observables in the algebra.

Limit States, KMS Condition, and Ground States

The primary result is that, independent of the interaction’s sign or range, any weak-* limit of confined canonical (finite-$n$) Gibbs ensembles is again a KMS state (for positive temperature) or a ground state (for zero temperature) with respect to the limiting homogeneous dynamics. In the presence of attractive forces, which classically result in collapse, the associated observables are shown to vanish in the limiting representation—they move into the kernel of the representation, a direct consequence of the algebra’s ideal structure. This vanishing is formalized through a study of the basic resolvents and their associated ideals.

For repulsive interactions, proper Bose-Einstein condensates may emerge in the limit as observables associated with macroscopically occupied single particle states become singular. The corresponding observables vanish from the limiting algebra, and only excitation observables (those insensitive to the individual state of the condensate) persist. The implication is that the condensate’s physical role is accessible exclusively via its collective excitations, not through the direct occupation of single-particle states, a manifestation reminiscent of the treatment of vacua in field theory.

Thermodynamic Limit and Regularized Derivations

A rigorous passage to the thermodynamic limit is established: as $L \to \infty$, the automorphisms induced by the finite-volume Hamiltonians converge in norm (within suitable representations) to those generated by the spatially homogeneous Hamiltonian, provided the particle number $n$ and confinement length $L_n$ obey a specified scaling relation. The critical scaling for the $n$-particle confined system to admit stationary limit states under the homogeneous dynamics is shown to be $n / L_n^8 \to 0$, which both encompasses and generalizes previous scaling results, such as $n / L_n^6 = \text{const}$ in the context of Bose-Einstein condensation [LiSeSoYn].

To facilitate analytic control, the generator of the dynamics is formulated as a regularized derivation on the algebra. This regularization is shown to have negligible dynamic effect for finite times, offering a robust tool for the investigation of stationary properties in the limit.

Analysis of Condensate Structure via Central Decomposition

A refined analysis of the central decomposition of states emphasizes the role of the basic resolvents in distinguishing pure thermodynamic phases. In factorial representations of the algebra, the projections resulting from resolving the limit of scaled resolvents are either $L \to \infty$0 or $L \to \infty$1, reflecting the absence or presence of infinitely occupied states (proper condensates). The algebraic framework here abstracts the structure of condensation and provides a method to detect it that surpasses the sensitivity of one-particle density matrices.

The discussion includes explicit non-interacting models illustrating the emergence of a proper condensate: when an infinite number of particles occupies a spatially localized ground state, resolvents for test functions with support in this region vanish in the limit, and the remaining observable algebra becomes effectively restricted to excitations orthogonal to the condensate.

Implications and Future Directions

These results provide a comprehensive algebraic mechanism for describing both equilibrium properties and condensate formation in confined and unconfined bosonic systems with arbitrary interactions. The resolvent algebra exhibits advantages over traditional approaches, unifying the treatment of dynamics, observables, and state space structure across all particle numbers, and effectively handling the passage to infinite systems and thermodynamic limits without ad hoc modifications.

By tying the physical properties of the limit states directly to the algebraic structure—in particular, the ideals specified by the basic resolvents—the analysis opens pathways for rigorous studies of symmetry breaking, phase transitions, and localized versus delocalized phenomena in continuous bosonic many-body systems. Notably, the methods are sufficiently general to accommodate singular and long-range interaction potentials.

Potential expansions include systematic applications to the analysis of symmetry breaking (e.g., translational or rotational symmetry in crystals), extensions to grand canonical ensembles, and the interplay between the algebraic structure and topological phases in the context of many-body localization.

Conclusion

This paper establishes resolvent algebra as a robust and encompassing framework for the algebraic analysis of large and infinite interacting bosonic ensembles, covering equilibrium and ground state properties, condensate structure, and the profound effects of the thermodynamic limit. The results unify and extend prior treatments of operators, dynamics, and state space decomposition in quantum statistical mechanics of many-body systems, setting a foundation for future studies of complex collective phenomena in quantum gases (2607.10283).