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

Journal of Mathematical Physics

The dynamics of a class of quantum mean-field theories

Pavel Bóna

Published Oct 1, 1988• 47 citations
Publisher

Abstract

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.

DOI
10.1063/1.528152

Related papers

Phase-spaces and dynamical descriptions of infinite mean-field quantum systems

Thomas Unnerstall

Following the work of P. Bona [J. Math. Phys. 29, 2223 (1988)], a class of infinite mean-field quantum lattice systems is considered within the framework of algebraic quantum mechanics, and the following question is discussed: Which are the possible dynamical descriptions of the system, i.e., in which representations π of the system’s quasilocal C*-algebra 𝒜 do the local time evolutions converge in the thermodynamic limit to an automorphism group of a certain enlarged C*-algebra 𝒞π containing π(𝒜) and (some of) the classical observables of the system in π. To this end we associate a ‘‘classical state space’’ Eπ to any representation π (which is a subset of the phase-space E⊇RL defined by Bona for the largest possible representation), and show how it is characterized by the π-normal states, thereby obtaining a way to determine Eπ explicitly in many cases. The answer to the question posed then reads: The limiting (Heisenberg) dynamics exists in π on 𝒞π if and only if the set Eπ is invariant under the flow φQt on E which describes the time evolution of classical observables. Conversely, to any invariant, closed subset B of E, there exists a dynamical description of the quantum system with classical state space B.

Journal of Mathematical Physics•Mar 1, 1990•12 citations

Equilibrium states of a class of quantum mean-field theories

Pavel Bóna

The general structure and existence of equilibrium and ground states of infinite spin systems with the mean-field type interaction of Hepp and Lieb [Helv. Phys. Acta 46, 573 (1973)] is investigated. The form and the role of the ‘‘Bogoliubov–Haag’’ Hamiltonians is cleared. The analysis is based on a recent mathematically correct definition of the corresponding time automorphism group τQ (specified by a classical Hamiltonian Q) of an appropriately defined ‘‘physical’’ C*-algebra of observables 𝒞 containing an abelian subalgebra 𝒩 of classical macroscopic quantities as well as the conventional ‘‘bare’’ quasilocal (sub-) algebra 𝒜, 𝒞=𝒜⊗𝒩 [P. Bóna, J. Math. Phys. 29, 2223 (1988)]. A Lie group G of ‘‘hidden symmetries’’ acting nontrivially (also) on 𝒩 plays an essential role in the presented theory. The applications to the quasispin strong-coupling version of the BCS model of superconductivity, and to the corresponding model of the Josephson junction illustrate possibilities of the developed formalism as well as an easy manipulation with it. A simple mathematical description of ‘‘symmetry breaking’’ is sketched for the considered class of mathematical models of large quantal systems.

Journal of Mathematical Physics•Dec 1, 1989•21 citations

Global cocycle dynamics for infinite mean field quantum systems interacting with the boson gas

Reinhard Honegger

In the framework of operator algebraic quantum statistical mechanics, the global nonequilibrium dynamics for a general class of interactions of infinite mean field quantum lattice systems with the boson field is investigated. The associated interaction operators consist of arbitrary powers of the collective density operators of the mean field system and are linear with respect to the bosonic field operators. Instead of the usual perturbation expansions, here the interacting dynamics are studied by means of cocycle techniques. The cocycle methods are more appropriate to the considered class of interactions, and lead to explicit closed expressions for the dynamical automorphism groups. The cocycle equations connect the classical, collective dynamical behavior of the mean field system with the one-boson dynamics. In physical applications such systems are due to collectively ordered finite-level atoms or the Josephson junction in the thermodynamic limit weakly interacting with the electromagnetic field.

Journal of Mathematical Physics•Jan 1, 1996•7 citations

On the Global Quantum Dynamics of Multi- Lattice Systems with Non-linear Classical Effects

Eberhard Duffner, Alfred Rieckers

Abstract The microscopic dynamics for a class of long range interacting multi-lattice quantum systems is constructed in the thermodynamical limit by means of operator algebraic concepts. By direct estimations the existence of the limiting Schrödinger dynamics is proven for a set of states, which comprises also globally non-equilibrium situations. The expectation values of the classical observables in the pure phase states are shown to satisfy a set of coupled non-linear differential equations. The limiting Heisenberg dynamics is derived as a W*-automorphism group in the partially universal von Neumann algebra which corresponds to the selected set of states; it is in general, however, not σ-weakly continuous in the time parameter.

Zeitschrift für Naturforschung A•Jun 1, 1988•16 citations

Algebraic mean field theory

Ts. Dankova, George Rosensteel

Mean field theory has an unexpected group theoretic mathematical foundation. Instead of representation theory which applies to most group theoretic quantum models, Hartree-Fock and Hartree-Fock-Bogoliubov have been formulated in terms of coadjoint orbits for the groups U(n) and O(2n). The general theory of mean fields is formulated for any arbitrary Lie algebra {\textbf g} of fermion operators. The moment map provides the correspondence between the Hilbert space of microscopic wave functions and the dual space {\textbf g}$^\ast$ of densities. The coadjoint orbits of the group in the dual space are phase spaces on which time-dependent mean field theory is equivalent to a classical Hamiltonian dynamical system. Indeed it forms a finite-dimensional Lax system. The SU(3) mean field theory is constructed explicitly in the coadjoint orbit framework.

arXiv:nucl-th/9909072•APS Division of Nuclear Physics Meeting Abstracts•Sep 29, 1999•0 citations

Dynamics and potentials

Huzihiro Araki

A dynamics (i.e. a one-parameter group of automorphisms) of a system described by a C *-algebra with a local structure in terms of C *-subalgebras A ( I ) for local domains I of the physical space (a discrete lattice) is normally constructed out of potentials P ( I ), each of which is a self-adjoint element of the subalgebra A ( I ), such that the the first time derivative of the dynamical change of any local observable A is i times the convergent sum of the commutator [ P ( I ), A ] over all finite regions I . We will invert this relation under the assumption (obviously assumed in the usual approach) that local observables all have the first time derivative, i.e. we prove the existence of potentials for any given dynamics satisfying the above-stated condition. Furthermore, by imposing a further condition for the potential P ( I ) to be chosen for each I that it does not have a portion which can be shifted to potentials for any proper subset of I , we also show (1) the existence, (2) uniqueness, (3) an automatic convergence property for the sum over I , and (4) a quite convenient property for the chosen potential. The so-obtained properties (3) and (4) are not assumed and are very useful, though they were never noticed nor used before. We consider a system of finite kinds of finite spins and fermions on a discrete lattice, local regions being all finite subsets of the lattice and all local algebras being full matrix algebras of finite dimensions. For all dynamics for which all elements of any local algebra is once time differentiable, we prove that there exist a system of potentials which describe the time derivative of the given dynamics by a convergent sum stated above. The fundamental technique for finding such potentials is a non-commutative expectation which is defined on the basis of a product state of the algebra. For each choice of a product state, we obtain one expectation which produces one set of potentials, all of which satisfy what we call the standardness condition and the convergence condition. We call this family of potentials standard potentials (corresponding to any specific choice of the product state). The standard potentials corresponding to different product states are different but produces the same time derivative, known as equivalent potentials.

Physics of Particles and Nuclei•Nov 1, 2010•0 citations
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.
Following the work of P. Bona [J. Math. Phys. 29, 2223 (1988)], a class of infinite mean-field quantum lattice systems is considered within the framework of algebraic quantum mechanics, and the following question is discussed: Which are the possible dynamical descriptions of the system, i.e., in which representations π of the system’s quasilocal C*-algebra 𝒜 do the local time evolutions converge in the thermodynamic limit to an automorphism group of a certain enlarged C*-algebra 𝒞π containing π(𝒜) and (some of) the classical observables of the system in π. To this end we associate a ‘‘classical state space’’ Eπ to any representation π (which is a subset of the phase-space E⊇RL defined by Bona for the largest possible representation), and show how it is characterized by the π-normal states, thereby obtaining a way to determine Eπ explicitly in many cases. The answer to the question posed then reads: The limiting (Heisenberg) dynamics exists in π on 𝒞π if and only if the set Eπ is invariant under the flow φQt on E which describes the time evolution of classical observables. Conversely, to any invariant, closed subset B of E, there exists a dynamical description of the quantum system with classical state space B.
The general structure and existence of equilibrium and ground states of infinite spin systems with the mean-field type interaction of Hepp and Lieb [Helv. Phys. Acta 46, 573 (1973)] is investigated. The form and the role of the ‘‘Bogoliubov–Haag’’ Hamiltonians is cleared. The analysis is based on a recent mathematically correct definition of the corresponding time automorphism group τQ (specified by a classical Hamiltonian Q) of an appropriately defined ‘‘physical’’ C*-algebra of observables 𝒞 containing an abelian subalgebra 𝒩 of classical macroscopic quantities as well as the conventional ‘‘bare’’ quasilocal (sub-) algebra 𝒜, 𝒞=𝒜⊗𝒩 [P. Bóna, J. Math. Phys. 29, 2223 (1988)]. A Lie group G of ‘‘hidden symmetries’’ acting nontrivially (also) on 𝒩 plays an essential role in the presented theory. The applications to the quasispin strong-coupling version of the BCS model of superconductivity, and to the corresponding model of the Josephson junction illustrate possibilities of the developed formalism as well as an easy manipulation with it. A simple mathematical description of ‘‘symmetry breaking’’ is sketched for the considered class of mathematical models of large quantal systems.
In the framework of operator algebraic quantum statistical mechanics, the global nonequilibrium dynamics for a general class of interactions of infinite mean field quantum lattice systems with the boson field is investigated. The associated interaction operators consist of arbitrary powers of the collective density operators of the mean field system and are linear with respect to the bosonic field operators. Instead of the usual perturbation expansions, here the interacting dynamics are studied by means of cocycle techniques. The cocycle methods are more appropriate to the considered class of interactions, and lead to explicit closed expressions for the dynamical automorphism groups. The cocycle equations connect the classical, collective dynamical behavior of the mean field system with the one-boson dynamics. In physical applications such systems are due to collectively ordered finite-level atoms or the Josephson junction in the thermodynamic limit weakly interacting with the electromagnetic field.
Abstract The microscopic dynamics for a class of long range interacting multi-lattice quantum systems is constructed in the thermodynamical limit by means of operator algebraic concepts. By direct estimations the existence of the limiting Schrödinger dynamics is proven for a set of states, which comprises also globally non-equilibrium situations. The expectation values of the classical observables in the pure phase states are shown to satisfy a set of coupled non-linear differential equations. The limiting Heisenberg dynamics is derived as a W*-automorphism group in the partially universal von Neumann algebra which corresponds to the selected set of states; it is in general, however, not σ-weakly continuous in the time parameter.
Mean field theory has an unexpected group theoretic mathematical foundation. Instead of representation theory which applies to most group theoretic quantum models, Hartree-Fock and Hartree-Fock-Bogoliubov have been formulated in terms of coadjoint orbits for the groups U(n) and O(2n). The general theory of mean fields is formulated for any arbitrary Lie algebra {\textbf g} of fermion operators. The moment map provides the correspondence between the Hilbert space of microscopic wave functions and the dual space {\textbf g}∗^\ast∗ of densities. The coadjoint orbits of the group in the dual space are phase spaces on which time-dependent mean field theory is equivalent to a classical Hamiltonian dynamical system. Indeed it forms a finite-dimensional Lax system. The SU(3) mean field theory is constructed explicitly in the coadjoint orbit framework.
A dynamics (i.e. a one-parameter group of automorphisms) of a system described by a C *-algebra with a local structure in terms of C *-subalgebras A ( I ) for local domains I of the physical space (a discrete lattice) is normally constructed out of potentials P ( I ), each of which is a self-adjoint element of the subalgebra A ( I ), such that the the first time derivative of the dynamical change of any local observable A is i times the convergent sum of the commutator [ P ( I ), A ] over all finite regions I . We will invert this relation under the assumption (obviously assumed in the usual approach) that local observables all have the first time derivative, i.e. we prove the existence of potentials for any given dynamics satisfying the above-stated condition. Furthermore, by imposing a further condition for the potential P ( I ) to be chosen for each I that it does not have a portion which can be shifted to potentials for any proper subset of I , we also show (1) the existence, (2) uniqueness, (3) an automatic convergence property for the sum over I , and (4) a quite convenient property for the chosen potential. The so-obtained properties (3) and (4) are not assumed and are very useful, though they were never noticed nor used before. We consider a system of finite kinds of finite spins and fermions on a discrete lattice, local regions being all finite subsets of the lattice and all local algebras being full matrix algebras of finite dimensions. For all dynamics for which all elements of any local algebra is once time differentiable, we prove that there exist a system of potentials which describe the time derivative of the given dynamics by a convergent sum stated above. The fundamental technique for finding such potentials is a non-commutative expectation which is defined on the basis of a product state of the algebra. For each choice of a product state, we obtain one expectation which produces one set of potentials, all of which satisfy what we call the standardness condition and the convergence condition. We call this family of potentials standard potentials (corresponding to any specific choice of the product state). The standard potentials corresponding to different product states are different but produces the same time derivative, known as equivalent potentials.