This paper is a contribution to the general theory of quantum spin systems. We deal with a general theory in the sense that no concrete interaction shows up but an arbitrary relatively short-range interaction is chosen. It is well known that the mean entropy plays an important role in the thermodynamics of quantum spin systems: it is one of the ingredients of the Lanford–Ruelle–Robinson variational principle. We show that in the background of the existence of the mean entropy, there is an operator convergence which resembles the McMillan theorem from information theory. Asymptotic equipartition property and several entropy densities are investigated, in particular, the relation of the Gibbs condition to relative entropies. Although this paper is not intended to be a review, we try to give an overview of the theory of quantum Gibbs states in the mathematical sense. The paper is organized as follows. Section 1 provides an introduction and further sections contain our new results. Each section is closed with a short discussion on sources and references.
This paper is a contribution to the general theory of quantum spin systems. We deal with a general theory in the sense that no concrete interaction shows up but an arbitrary relatively short-range interaction is chosen. It is well known that the mean entropy plays an important role in the thermodynamics of quantum spin systems: it is one of the ingredients of the Lanford–Ruelle–Robinson variational principle. We show that in the background of the existence of the mean entropy, there is an operator convergence which resembles the McMillan theorem from information theory. Asymptotic equipartition property and several entropy densities are investigated, in particular, the relation of the Gibbs condition to relative entropies. Although this paper is not intended to be a review, we try to give an overview of the theory of quantum Gibbs states in the mathematical sense. The paper is organized as follows. Section 1 provides an introduction and further sections contain our new results. Each section is closed with a short discussion on sources and references.
We review our approach to the second law of thermodynamics as a theorem asserting the growth of the mean (Gibbs–von Neumann) entropy of quantum spin systems undergoing automorphic (unitary) adiabatic transformations. Non-automorphic interactions with the environment, although known to produce on the average a strict reduction of the entropy of systems with finite number of degrees of freedom, are proved to conserve the mean entropy on the average. The results depend crucially on two properties of the mean entropy, proved by Robinson and Ruelle for classical systems and Lanford and Robinson for quantum lattice systems: upper semicontinuity and affinity.
This chapter begins with the discussion of various meanings of the entropy: Boltzmann entropy, Shannon entropy, von Neumann entropy. It then presents the basic properties of the von Neumann entropy such as concavity, sub-additivity, strong sub-additivity, and continuity. It proves the existence of mean entropy for shift-invariant states on quantum spin chains, and then derives the expression for the mean entropy for quasi-free Fermions on a chain. The chapter defines the quantum relative entropy and presents its basic properties, including behaviour with respect to completely positive maps. The maximum entropy principle defines thermal equilibrium states (Gibbs states). This variational principle is illustrated by the Hartree–Fock approximation for a model of interacting Fermions. The entropy of an equilibrium state for a free quantum particle on a compact Riemannian manifold is also estimated. Finally, the notion of relative entropy is formulated in the algebraic setting using the relative modular operator.
The dynamical convergence of a system to the thermal distribution, or Gibbs state, is a standard assumption across all of the physical sciences. The Gibbs state is determined just by temperature and energies of the system. However, at decreasing system sizes, i.e., for nanoscale and quantum systems, the interaction with their environments is not negligible. The question then arises: Is the system's steady state still the Gibbs state? If not, how may the steady state depend on the interaction details? Here, we provide an overview of recent progress on answering these questions. We expand on the state of the art along two general avenues: First, we take the static point-of-view, which postulates the so-called mean force Gibbs state. This view is commonly adopted in the field of strong coupling thermodynamics, where modified laws of thermodynamics and nonequilibrium fluctuation relations are established on the basis of this modified state. Second, we take the dynamical point of view, originating from the field of open quantum systems, which examines the time-asymptotic steady state within two paradigms. We describe the mathematical paradigm, which proves return to equilibrium, i.e., convergence to the mean force Gibbs state, and then discuss a number of microscopic physical methods, particularly master equations. We conclude with a summary of established links between statics and equilibration dynamics and provide an extensive list of open problems. This comprehensive overview will be of interest to researchers in the wider fields of quantum thermodynamics, open quantum systems, mesoscopic physics, statistical physics, and quantum optics and will find applications whenever energy is exchanged on the nanoscale, from quantum chemistry and biology to magnetism and nanoscale heat management.
In these decades, it has been revealed that there is rich information-theoretic structure in thermodynamics of out-of-equilibrium systems in both the classical and quantum regimes. This has led to the fruitful interplay among statistical physics, quantum information theory, and mathematical theories including matrix analysis and asymptotic probability theory. The main purpose of this book is to clarify how information theory works behind thermodynamics and to shed modern light on it. We focus on both of purely information-theoretic concepts and their physical implications: We present self-contained and rigorous proofs of several fundamental properties of entropies, divergences, and majorization. We also discuss the modern formulations of thermodynamics, especially from the perspectives of stochastic thermodynamics and resource theory of thermodynamics. Resource theory is a recently-developed field as a branch of quantum information theory in order to quantify (energetically or information-theoretically) "useful resources." We show that resource theory has an intrinsic connection to various fundamental ideas of mathematics and information theory. This book is not intended to be a comprehensive review of the field, but would serve as a concise introduction to several important ingredients of the information-theoretic formulation of thermodynamics.
We prove a large deviation principle for the expectation of macroscopic observables in quantum (and classical) Gibbs states. Our proof is based on Ruelle-Lanford functions and direct subadditivity arguments, as in the classical case, instead of relying on Gärtner-Ellis theorem, and cluster expansion or transfer operators as done in the quantum case. In this approach we recover, expand, and unify quantum (and classical) large deviation results for lattice Gibbs states. In the companion paper \cite{OR} we discuss the characterization of rate functions in terms of relative entropies.
We study the relation between quantum mechanical and classical Gibbs states of spin systems with spin quantum number s. It is known that quantum states and observables can be represented by functions defined on the phase space S, which in our case is the N-fold product of unit spheres. Therefore, the classical limit s→∞ of (suitably scaled) quantum Gibbs states can be described as the limit of functions defined on S. We choose to approximate the exponential function of the Hamiltonian by a polynomial of degree n and thus have to deal with the problem of the limit of double sequences (depending on n and s) treated in the theorem of Moore-Osgood. The convergence of quantum Gibbs states to classical ones is illustrated by the example of the Heisenberg dimer. We apply our method to the explicit calculation of the phase space function describing spin monomials, and finally add some general remarks on the theory of spin coherent states.