Abstract We take advantage of the simplifications made possible by assuming the system to be infinite from the beginning, to study some exactly solvable models in statistical mechanics. (1) For fermi lattice systems with quadratic hamiltonians the unifying concept of our treatment is a precise formulation of the idea of a linear system. This concept makes it possible to define a dynamical matrix which incorporates all the information one needs for equilibrium and non‐equilibrium problems. As an example, we consider the alternating X Y chain. Furthermore we pay some attention to ergodicity, pointing out the similarity to the infinite harmonic crystal. (2) For molecular field models, including the BCS model, the method is to consider an arbitrary extremal homogeneous state, to construct the dynamics in the representation determined by that state, and then to use the KMS condition to single out the equilibrium state of the infinite system. A synthesis of these methods – (1) and (2) – enables us to give a new simple treatment of the BCS model and a direct analysis of its mathematical structure. In addition we show the equivalence of Kac and van der Waals (spin) systems in the so‐called van der Waals limit. Finally we indicate briefly how to deal with molecular field models with polynomial and more general interactions.
Abstract We take advantage of the simplifications made possible by assuming the system to be infinite from the beginning, to study some exactly solvable models in statistical mechanics. (1) For fermi lattice systems with quadratic hamiltonians the unifying concept of our treatment is a precise formulation of the idea of a linear system. This concept makes it possible to define a dynamical matrix which incorporates all the information one needs for equilibrium and non‐equilibrium problems. As an example, we consider the alternating X Y chain. Furthermore we pay some attention to ergodicity, pointing out the similarity to the infinite harmonic crystal. (2) For molecular field models, including the BCS model, the method is to consider an arbitrary extremal homogeneous state, to construct the dynamics in the representation determined by that state, and then to use the KMS condition to single out the equilibrium state of the infinite system. A synthesis of these methods – (1) and (2) – enables us to give a new simple treatment of the BCS model and a direct analysis of its mathematical structure. In addition we show the equivalence of Kac and van der Waals (spin) systems in the so‐called van der Waals limit. Finally we indicate briefly how to deal with molecular field models with polynomial and more general interactions.
We extend Araki's well-known results on the equivalence of the KMS condition and the variational principle for equilibrium states of quantum lattice systems with short-range interactions, to a large class of models possibly containing mean-field interactions (representing an extreme form of long-range interactions). This result is reminiscent of van Hemmen's work on equilibrium states for mean-field models. The extension was made possible by our recent outcomes on states minimizing the free energy density of mean-field models on the lattice, as well as on the infinite volume dynamics for such models.
We presents a unified and concise exposition of key topics in the mathematical theory of open quantum systems, developed within the framework of operator algebras. The manuscript consolidates and extends a series of invited articles originally prepared for the Modern Encyclopedia of Mathematical Physics, combining foundational material with modern perspectives on non-equilibrium quantum statistical mechanics. After introducing the C*- and W*-algebraic formulation of quantum mechanics, the paper reviews quantum dynamical systems, KMS states, and Tomita-Takesaki modular theory, as well as CCR and CAR algebras for bosonic and fermionic systems. Particular emphasis is placed on infinite systems, non-equilibrium steady states, entropy production, and linear response theory. The later sections develop a systematic treatment of small systems coupled to reservoirs, open lattice quantum spin systems, culminating in a detailed discussion of competing notions of quantum entropy production. The presentation highlights structural insights, conceptual clarity, and connections between equilibrium and non-equilibrium phenomena, providing a self-contained reference for researchers and graduate students in mathematical physics.
We presents a unified and concise exposition of key topics in the mathematical theory of open quantum systems, developed within the framework of operator algebras. The manuscript consolidates and extends a series of invited articles originally prepared for the Modern Encyclopedia of Mathematical Physics, combining foundational material with modern perspectives on non-equilibrium quantum statistical mechanics. After introducing the C*- and W*-algebraic formulation of quantum mechanics, the paper reviews quantum dynamical systems, KMS states, and Tomita-Takesaki modular theory, as well as CCR and CAR algebras for bosonic and fermionic systems. Particular emphasis is placed on infinite systems, non-equilibrium steady states, entropy production, and linear response theory. The later sections develop a systematic treatment of small systems coupled to reservoirs, open lattice quantum spin systems, culminating in a detailed discussion of competing notions of quantum entropy production. The presentation highlights structural insights, conceptual clarity, and connections between equilibrium and non-equilibrium phenomena, providing a self-contained reference for researchers and graduate students in mathematical physics.
The study of quantum dynamics is an increasingly important aspect of atomic, molecular and optical physics, as well as condensed-matter physics and other disciplines. It is essential in order to understand non-equilibrium phenomena which do not fit within the framework of equilibrium thermodynamics, such as many-body localization, dynamical quantum phase transitions, and non-equilibrium steady states in driven-dissipative systems. However, the exact calculation of dynamical observables is extremely difficult in general for several reasons, which makes it challenging for theoretical predictions and analyses to keep pace with rapidly advancing experiments. In this thesis I use and develop several computational methods to investigate the dynamics of quantum many-body systems, with the two goals of better understanding the evolution of local observables and correlation functions in spin and Fermion systems as well as creating and testing more effective numerical methods for solving quantum dynamics problems. I explore quantum dynamics by using Hamiltonian parameter quenches in several commonly-used models in AMO physics and elsewhere: the Fermi-Hubbard model, the XXZ model, and the transverse-Ising model. The first represents a system of short-range interacting Fermions, while the latter two represent spin systems with different spin-spin couplings and magnetic field terms. All of these models can be realized in current experiments. First, I derive an exact solution for an extreme interaction quench in the Fermi-Hubbard model, from a strongly-interacting initial state to a noninteracting final Hamiltonian. From this result I show that there are nontrivial transient connected correlations, despite the fact that the system has very high temperature and a noninteracting Hamiltonian. Those features would suppress such correlations in equilibrium, but the dynamical correlations are still significant. Then, I develop and examine two numerical methods for solving dynamics of the spin expectation values and correlation functions in the transverse-Ising and XXZ models. Both methods rely on approximating a thermodynamically large system with a much smaller and more computationally tractable cluster of lattice sites, or a series of clusters. The first method is a dynamical numerical linked cluster expansion (NLCE). NLCEs have already been used successfully on systems in thermodynamic equilibrium, and I extended the technique to directly compute the dynamics of an observable after a quantum quench. I review the general NLCE method, describe my dynamical variant of it, and compute the quench dynamics of spin and correlation observables in the transverse-Ising and XXZ models. The second method, which I term the adaptive-boundary cluster method, relies on recently refined bounds on information propagation in quantum systems to choose a cluster of lattice sites that minimizes the finite size error bound of a dynamical computation. I briefly review these bounds, and describe a new algorithm which uses them to construct a cluster whose boundary is chosen according to a related error estimate. Such an adaptive-boundary cluster has the property that there exists a computable upper bound on the finite size error of observables measured at the cluster center, and this error bound is nearly minimal when compared to that of other clusters of the same size. I then compute the quench dynamics of spin and correlation observables in the transverse-Ising model using the adaptive boundary clusters. I apply this method to both uniform and strongly disordered systems. To evaluate the effectiveness of both dynamical NLCE and adaptive-boundary clusters, I compare the results obtained using them to results from a standard and general purpose numerical method: exact solvers applied a rectangular cluster with periodic boundary conditions. Both of the new methods usually converge faster and are more accurate than the standard method for comparable cluster sizes. This thesis illustrates that choosing numerical methods which take advantage of the geometric and entanglement structure of the initial state and Hamiltonian can substantially enhance our ability to study quantum dynamics, by reducing the computational cost of numerically exact solutions. I conclude with a discussion of various avenues for future research to build on this work.
Introduction In this chapter, we shall discuss a unified axiomatic treatment of quantum lattice systems and quasi-free dynamics in Fermion field theory within the framework of C*-dynamical systems. In these systems, time evolution, equilibrium states (KMS states), ground states, stability under bounded perturbations and phase transitions are important physical notions. Here we shall present an abstract treatment of these notions within the theory of C*-dynamical systems. About time evolution, we shall emphasize the approximate innerness property for the corresponding time automorphism group in a given C*-dynamical system. In fact, the approximate innerness assures the existence of a ground state, and the existence of a KMS state at each inverse temperature under the assumption of ‘the existence of a tracial state’, which is always satisfied in quantum lattice systems and in canonical anticommutation relation algebras. We shall also discuss in detail one of the most important open problems (the Powers-Sakai conjecture) in C*-dynamical systems. In each section we shall explain relations between C*-dynamical systems and physical systems. For simplicity we shall assume that every C*-algebra has an identity (unless otherwise stated). Approximately inner C*-dynamics A quantum lattice system consists of a set of particles confined to a lattice and interacting at distance. There are two physical interpretations of these models. One is a lattice gas and the other is a spin system. The lattice gas views each point of the lattice as a possible site for a finite number of AT-particles, i.e. each point of the configuration space can be empty or occupied by 1, 2, …, N -particles.