We prove the second law of thermodynamics and the nonequilibrium fluctuation theorem for pure quantum states. The entire system obeys reversible unitary dynamics, where the initial state of the heat bath is not the canonical distribution but is a single energy eigenstate that satisfies the eigenstate-thermalization hypothesis. Our result is mathematically rigorous and based on the Lieb-Robinson bound, which gives the upper bound of the velocity of information propagation in many-body quantum systems. The entanglement entropy of a subsystem is shown connected to thermodynamic heat, highlighting the foundation of the information-thermodynamics link. We confirmed our theory by numerical simulation of hard-core bosons, and observed dynamical crossover from thermal fluctuations to bare quantum fluctuations. Our result reveals a universal scenario that the second law emerges from quantum mechanics, and can be experimentally tested by artificial isolated quantum systems such as ultracold atoms.
We prove the second law of thermodynamics and the nonequilibrium fluctuation theorem for pure quantum states. The entire system obeys reversible unitary dynamics, where the initial state of the heat bath is not the canonical distribution but is a single energy eigenstate that satisfies the eigenstate-thermalization hypothesis. Our result is mathematically rigorous and based on the Lieb-Robinson bound, which gives the upper bound of the velocity of information propagation in many-body quantum systems. The entanglement entropy of a subsystem is shown connected to thermodynamic heat, highlighting the foundation of the information-thermodynamics link. We confirmed our theory by numerical simulation of hard-core bosons, and observed dynamical crossover from thermal fluctuations to bare quantum fluctuations. Our result reveals a universal scenario that the second law emerges from quantum mechanics, and can be experimentally tested by artificial isolated quantum systems such as ultracold atoms.
We show that the second law of thermodynamics holds for isolated genuine quantum systems, where pure quantum states obey unitary dynamics, by a rigorous theoretical proof based on the Lieb-Robinson bound and numerical simulation. The entanglement entropy of a subsystem is shown connected to thermodynamic heat, highlighting the foundation of the information-thermodynamics link. Furthermore, we show that the nonequilibrium fluctuation theorem, characterizing the small probability of occasional entropy decrease, holds true for pure quantum states, which implies that thermal fluctuations emerge from purely quantum fluctuations in nonequilibrium dynamics. Our result establishes a scenario that thermodynamics emerges from quantum mechanics, and can experimentally be tested by ultracold atoms.
The canonical ensemble plays a crucial role in statistical mechanics in and out of equilibrium. For example, the standard derivation of the fluctuation theorem relies on the assumption that the initial state of the heat bath is the canonical ensemble. On the other hand, the recent progress in the foundation of statistical mechanics has revealed that a thermal equilibrium state is not necessarily described by the canonical ensemble but can be a quantum pure state or even a single energy eigenstate, as formulated by the eigenstate thermalization hypothesis (ETH). Then a question raised is how these two pictures, the canonical ensemble and a single energy eigenstate as a thermal equilibrium state, are compatible in the fluctuation theorem. In this paper, we theoretically and numerically show that the fluctuation theorem holds in both of the long- and short-time regimes, even when the initial state of the bath is a single energy eigenstate of a many-body system. Our proof of the fluctuation theorem in the long-time regime is based on the ETH, while it was previously shown in the short-time regime on the basis of the Lieb-Robinson bound and the ETH [Phys. Rev. Lett. 119, 100601 (2017)0031-900710.1103/PhysRevLett.119.100601]. The proofs for these time regimes are theoretically independent and complementary, implying the fluctuation theorem in the entire time domain. We also perform a systematic numerical simulation of hard-core bosons by exact diagonalization and verify the fluctuation theorem in both of the time regimes by focusing on the finite-size scaling. Our results contribute to the understanding of the mechanism that the fluctuation theorem emerges from unitary dynamics of quantum many-body systems and can be tested by experiments with, e.g., ultracold atoms.
Bridging the second law of thermodynamics and microscopic reversible dynamics has been a longstanding problem in statistical physics. Here, we address this problem on the basis of quantum many-body physics, and discuss how the entropy production saturates in isolated quantum systems under unitary dynamics. First, we rigorously prove that the entropy production does indeed saturate in the long time regime, even when the total system is in a pure state. Second, we discuss the non-negativity of the entropy production at saturation, implying the second law of thermodynamics. This is based on the eigenstate thermalization hypothesis, which states that even a single energy eigenstate is thermal. We also numerically demonstrate that the entropy production saturates at a non-negative value even when the initial state of a heat bath is a single energy eigenstate. Our results reveal fundamental properties of the entropy production in isolated quantum systems at late times.
Deriving the laws of thermodynamics from a microscopic picture is a central quest of statistical mechanics.This tutorial focuses on the derivation of the first and second law for isolated and open quantum systems far from equilibrium, where such foundational questions also become practically relevant for emergent nanotechnologies.The derivation is based on a microscopic definition of five essential quantities: internal energy, thermodynamic entropy, work, heat, and temperature.These definitions are shown to satisfy the phenomenological laws of nonequilibrium thermodynamics for a large class of states and processes.The consistency with previous results is demonstrated.The framework applies to multiple baths including particle transport and accounts for processes with, e.g., a changing temperature of the bath, which is determined microscopically.An integral fluctuation theorem for entropy production is satisfied.In summary, this tutorial introduces a consistent and versatile framework to understand and apply the laws of thermodynamics in the quantum regime and beyond.
The second law of thermodynamics for adiabatic operations -- constraints on state transitions in closed systems under external control -- is one of the fundamental principles of thermodynamics. On the other hand, it is recently established that even pure quantum states can represent thermal equilibrium. However, pure quantum states do not satisfy the second law in that they are not passive, i.e., work can be extracted from them if arbitrary unitary operations are allowed. It therefore remains unresolved how quantum mechanics can be reconciled with thermodynamics. Here, based on our key quantum-mechanical notions of thermal equilibrium and adiabatic operations, we address the emergence of the second law for adiabatic operations in the thermodynamics limit. We first introduce infinite-observable macroscopic thermal equilibrium (iMATE); a quantum state, including pure states, is in iMATE if the expectation values of all additive observables agree with their equilibrium values. We also introduce a macroscopic operation as unitary evolution generated by a time-dependent additive Hamiltonian, which is regarded as corresponding to adiabatic operations. Employing these concepts, we show that no extensive work can be extracted from any quantum state in iMATE through any macroscopic operations. Furthermore, we introduce a quantum-mechanical form of entropy density such that it agrees with thermodynamic entropy density for any quantum state in iMATE. We then prove that for any initial state in iMATE, this entropy density cannot be decreased by any macroscopic operations, followed by a time-independent relaxation process. Our theory thus proves two different forms of the second law, by adopting macroscopically reasonable classes of observables, equilibrium states, and operations. We also discuss the time scales of macroscopic operations in these results.
Fluctuation theorems are cornerstones of modern statistical mechanics and their standard derivations routinely rely on the crucial assumption of a canonical equilibrium state. Yet rigorous derivations of certain fluctuation theorems for microcanonical states and pure energy eigenstates in isolated quantum systems are still lacking and constitute a major challenge to theory. In this work we tackle this challenge and present such a derivation of an integral fluctuation theorem (IFT) by invoking two central and physically natural conditions, i.e., the so-called "stiffness" and "smoothness" of transition probabilities. Our analytical arguments are additionally substantiated by numerical simulations for archetypal many-body quantum systems, including integrable as well as nonintegrable models of interacting spins and hard-core bosons on a lattice. These simulations strongly suggest that "stiffness" and "smoothness" are indeed of vital importance for the validity of the IFT for microcanonical and pure states. Our work contrasts with recent approaches to the IFT based on Lieb-Robinson speeds and the eigenstate thermalization hypothesis.