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:2505.13170

Dynamics and equilibrium states of infinite systems of lattice bosons

Andreas Deuchert, Jonas Lampart, Marius Lemm

Published May 19, 2025• 0 citations
arXivHTMLPDF

Abstract

We consider the dynamics of systems of lattice bosons with infinitely many degrees of freedom. We show that their dynamics defines a group of automorphisms on a $C^*$--algebra introduced by Buchholz, which extends the resolvent algebra of local field operators. For states that admit uniform bounds on moments of the local particle number, we derive propagation bounds of Lieb--Robinson type. Using these bounds, we show that the dynamics of local observables gives rise to a strongly continuous unitary group in the GNS representation. Moreover, accumulation points of finite-volume Gibbs states satisfy the KMS condition with respect to this group. This, in particular, proves the existence of KMS states.

DOI
10.48550/arxiv.2505.13170

Related papers

Lieb-Robinson bounds in classical oscillating lattice systems

Ian Koot, Christiaan J. F. van de Ven

The aim of this paper is two-fold. First, we prove the existence of Lieb-Robinson bounds for classical particle systems describing harmonic oscillators interacting with arbitrarily many neighbors, both on lattices and on more general structures. Second, we prove the existence of a global dynamical system on the commutative resolvent algebra, a C*-algebra of bounded continuous functions on an infinite dimensional vector space, which serves as the classical analog of the Buchholz--Grundling resolvent algebra.

arXiv:2510.27495•Oct 31, 2025•0 citations

Dynamics and phase transitions for a continuous system of quantum particles in a box

Guy Battle

A particular type of continuous quantum system with infinitely many particles is analyzed, and the existence of dynamics is proven in the GNS representations of certain states. The dynamics is not a group of automorphisms on the original algebra, so equilibrium states are defined in terms of the KMS condition in the representations of the states. The basic theorems about KMS states do not apply here. Nevertheless, for a special class of interactions it is proven that the central decomposition of an equilibrium state is concentrated on a Borel set of equilibrium factor states and that such factor states are precisely the extremal equilibrium states. Furthermore, the equilibrium factor states are in one-to-one correspondence with sets of functions satisfying a certain system of trace equations. This explicit correspondence is then used to show that there are no phase transitions for high temperature, and an example of a phase transition is constructed for low temperature. The phase transition also provides an example of continuous symmetry breaking.

Journal of Mathematical Physics•Jan 1, 1978•3 citations

Interacting Lattice Bosons on the Concrete Buchholz Algebra -- All-Temperature Equilibrium States from Functional-Integral Local-Number Bounds

Yoshitsugu Sekine

Interacting Bose--Hubbard dynamics is formulated on the concrete Buchholz algebra in Fock space. Under repulsive finite-range interactions and a low-activity gap, a discrete functional integral gives volume-uniform exponential local-number bounds at all temperatures. These bounds remove the local-moment hypothesis and yield finite-volume approximation and KMS accumulation states in arXiv:2505.13170.

arXiv:2608.22362•Aug 23, 2026•0 citations

Quasi-locality bounds for quantum lattice systems. I. Lieb-Robinson bounds, quasi-local maps, and spectral flow automorphisms

Bruno Nachtergaele, Robert Sims, Amanda Young

Lieb-Robinson bounds show that the speed of propagation of information under the Heisenberg dynamics in a wide class of nonrelativistic quantum lattice systems is essentially bounded. We review works of the past dozen years that has turned this fundamental result into a powerful tool for analyzing quantum lattice systems. We introduce a unified framework for a wide range of applications by studying quasilocality properties of general classes of maps defined on the algebra of local observables of quantum lattice systems. We also consider a number of generalizations that include systems with an infinite-dimensional Hilbert space at each lattice site and Hamiltonians that may involve unbounded on-site contributions. These generalizations require replacing the operator norm topology with the strong operator topology in a number of basic results for the dynamics of quantum lattice systems. The main results in this paper form the basis for a detailed proof of the stability of gapped ground state phases of frustrationfree models satisfying a local topological quantum order condition, which we present in a sequel to this paper.

arXiv:1810.02428•Journal of Mathematical Physics•Jun 1, 2019•92 citations

The dynamics of a class of quantum mean-field theories

Pavel Bóna

An infinite quantum system with correctly defined dynamics τQ as an automorphism group of a C*-algebra 𝒞 of observables is determined by any continuous unitary representation U(G) of a connected Lie group G, as well as by an arbitrary differentiable real function Q on the dual space 𝔤* to the Lie algebra 𝔤 of G with the canonically defined Poisson flow φQ on 𝔤*. For specific choices of Q and G, the system can be obtained as the thermodynamic limit of a net of finite lattice systems with the mean-field type interaction of Hepp and Lieb [Helv. Phys. Acta 46, 573 (1973)]. A simple nontrivial model of this type is the quasispin BCS model of superconductivity in the strong coupling limit, or a corresponding model of the Josephson junction. A peculiar feature of the considered models is τQ noninvariance of the usually considered C*-algebra 𝒜 of quasilocal observables, as well as an important role of classical dynamics of a set of macroscopic (intensive) observables Qφ in the description of τQ. The work is restricted here to norm-continuous representations U(G), in which case 𝒞 is isomorphic to the tensor product 𝒜⊗𝒩, where 𝒩 is the commutative algebra of classical (intensive) observables of the considered infinite quantum system.

Journal of Mathematical Physics•Oct 1, 1988•47 citations

A compellingly simple proof of the speed of sound for interacting bosons

J. Eisert

On physical grounds, one expects locally interacting quantum many-body systems to feature a finite group velocity. This intuition is rigorously underpinned by Lieb-Robinson bounds that state that locally interacting Hamiltonians with finite-dimensional constituents on suitably regular lattices always exhibit such a finite group velocity. This also implies that causality is always respected by the dynamics of quantum lattice models. It had been a long-standing open question whether interacting bosonic systems also feature finite speeds of sound in information and particle propagation, which was only recently resolved. This work proves a strikingly simple such bound for particle propagation - shown in literally a few elementary, yet not straightforward, lines - for generalized Bose-Hubbard models defined on general lattices, proving that appropriately locally perturbed stationary states feature a finite speed of sound in particle numbers.

quant-pharXiv:2601.00111•Jan 2, 2026•0 citations
We consider the dynamics of systems of lattice bosons with infinitely many degrees of freedom. We show that their dynamics defines a group of automorphisms on a C∗C^*C∗--algebra introduced by Buchholz, which extends the resolvent algebra of local field operators. For states that admit uniform bounds on moments of the local particle number, we derive propagation bounds of Lieb--Robinson type. Using these bounds, we show that the dynamics of local observables gives rise to a strongly continuous unitary group in the GNS representation. Moreover, accumulation points of finite-volume Gibbs states satisfy the KMS condition with respect to this group. This, in particular, proves the existence of KMS states.
The aim of this paper is two-fold. First, we prove the existence of Lieb-Robinson bounds for classical particle systems describing harmonic oscillators interacting with arbitrarily many neighbors, both on lattices and on more general structures. Second, we prove the existence of a global dynamical system on the commutative resolvent algebra, a C*-algebra of bounded continuous functions on an infinite dimensional vector space, which serves as the classical analog of the Buchholz--Grundling resolvent algebra.
A particular type of continuous quantum system with infinitely many particles is analyzed, and the existence of dynamics is proven in the GNS representations of certain states. The dynamics is not a group of automorphisms on the original algebra, so equilibrium states are defined in terms of the KMS condition in the representations of the states. The basic theorems about KMS states do not apply here. Nevertheless, for a special class of interactions it is proven that the central decomposition of an equilibrium state is concentrated on a Borel set of equilibrium factor states and that such factor states are precisely the extremal equilibrium states. Furthermore, the equilibrium factor states are in one-to-one correspondence with sets of functions satisfying a certain system of trace equations. This explicit correspondence is then used to show that there are no phase transitions for high temperature, and an example of a phase transition is constructed for low temperature. The phase transition also provides an example of continuous symmetry breaking.
Lieb-Robinson bounds show that the speed of propagation of information under the Heisenberg dynamics in a wide class of nonrelativistic quantum lattice systems is essentially bounded. We review works of the past dozen years that has turned this fundamental result into a powerful tool for analyzing quantum lattice systems. We introduce a unified framework for a wide range of applications by studying quasilocality properties of general classes of maps defined on the algebra of local observables of quantum lattice systems. We also consider a number of generalizations that include systems with an infinite-dimensional Hilbert space at each lattice site and Hamiltonians that may involve unbounded on-site contributions. These generalizations require replacing the operator norm topology with the strong operator topology in a number of basic results for the dynamics of quantum lattice systems. The main results in this paper form the basis for a detailed proof of the stability of gapped ground state phases of frustrationfree models satisfying a local topological quantum order condition, which we present in a sequel to this paper.
An infinite quantum system with correctly defined dynamics τQ as an automorphism group of a C*-algebra 𝒞 of observables is determined by any continuous unitary representation U(G) of a connected Lie group G, as well as by an arbitrary differentiable real function Q on the dual space 𝔤* to the Lie algebra 𝔤 of G with the canonically defined Poisson flow φQ on 𝔤*. For specific choices of Q and G, the system can be obtained as the thermodynamic limit of a net of finite lattice systems with the mean-field type interaction of Hepp and Lieb [Helv. Phys. Acta 46, 573 (1973)]. A simple nontrivial model of this type is the quasispin BCS model of superconductivity in the strong coupling limit, or a corresponding model of the Josephson junction. A peculiar feature of the considered models is τQ noninvariance of the usually considered C*-algebra 𝒜 of quasilocal observables, as well as an important role of classical dynamics of a set of macroscopic (intensive) observables Qφ in the description of τQ. The work is restricted here to norm-continuous representations U(G), in which case 𝒞 is isomorphic to the tensor product 𝒜⊗𝒩, where 𝒩 is the commutative algebra of classical (intensive) observables of the considered infinite quantum system.
On physical grounds, one expects locally interacting quantum many-body systems to feature a finite group velocity. This intuition is rigorously underpinned by Lieb-Robinson bounds that state that locally interacting Hamiltonians with finite-dimensional constituents on suitably regular lattices always exhibit such a finite group velocity. This also implies that causality is always respected by the dynamics of quantum lattice models. It had been a long-standing open question whether interacting bosonic systems also feature finite speeds of sound in information and particle propagation, which was only recently resolved. This work proves a strikingly simple such bound for particle propagation - shown in literally a few elementary, yet not straightforward, lines - for generalized Bose-Hubbard models defined on general lattices, proving that appropriately locally perturbed stationary states feature a finite speed of sound in particle numbers.