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.
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.
The second law of thermodynamics states that the entropy of an isolated system can only increase over time. This appears to conflict with the reversible evolution of isolated quantum systems under the Schrödinger equation, which preserves the von Neumann entropy. Nonetheless, one finds that with respect to many observables, expectation values approach a fixed value—their equilibrium value. This ultimately raises the question: ? For classical systems, one introduces the assumption of a low-entropy initial state along with the concept of ignorance about the microscopic details of the physical system, leading to a statistical interpretation of the second law. By considering the observables through which we examine quantum systems, both these assumptions can be incorporated, building upon recent studies of the of observables. While the statistical behavior of observable expectation values is well established, a quantitative connection to entropy increase has been lacking so far. In deriving novel bounds for the equilibration of observables, and considering the entropy of the system relative to observables, we recover a variant of the second law: the entropy with respect to a given observable tends toward its equilibrium value in the course of the system’s unitary evolution. These results also support recent findings that question the necessity of nonintegrability for equilibration in quantum systems. We further illustrate our bounds using numerical results from the paradigmatic example of a quantum Ising model on a chain of spins. There, we observe entropy increasing up to equilibrium values, as well as fluctuations, which expose the underlying reversible evolution in accordance with the derived bounds.
We build a framework for the thermodynamics of macroscopic quantum systems. In contrast with approaches requiring access to the full density matrix, our framework relies on a coarse-grained description, based on measurement statistics of a few observables. When these observables commute, the outcomes define classical macrostates whose entropy is quantified by observational entropy, accounting for uncertainty about both the macrostate and the microstate within it. We extend this notion to non-commuting observables forming a subalgebra of the operator space, and use Jaynes' principle to define an algebra-dependent entropy interpolating between von Neumann and observational entropies. Given initial and final measurement sets, connected by internal and/or environment-induced dynamics, we derive a second law for the coarse-grained dynamics. Unlike formulations based on von Neumann entropy, our inequality captures irreversibility from both non-unitary environment-induced dynamics and internal equilibration. It takes the usual form of a positive entropy production when the system is initially at internal equilibrium, while correction terms capture nonequilibrium resources ignored by the coarse-graining. We also derive fluctuation theorems for coarse-grained thermodynamic quantities. Along a quasi-static path of measurement schemes, we identify quantum macroscopic notions of work and heat fulfilling the first and second laws, including an additional work contribution from manipulating the algebra to which the system is confined, through external constraints or quantum measurement backaction. Finally, we apply our framework to examples illustrating the impact of varying the coarse-graining scheme. Our approach unifies macroscopic and stochastic thermodynamics in a genuinely quantum framework, laying the basis for a versatile, experimentally friendly toolbox to analyze complex quantum dynamics.
To understand in detail the relation between unitary quantum theory that describes our world at the microscopic scale and thermodynamics, which was long believed only to apply to macroscopic objects, is one of the most interesting and long-standing problems in physics. Recently, this problem has received renewed attention, in particular from the community of quantum information theory, but also from the field of statistical mechanics, inspired from stochastic thermodynamics. These results suggest that thermodynamics is also relevant for individual quantum systems, provided that they can be brought into contact with thermal baths. In this thesis, I use recently developed tools to provide new results both on fundamental questions, but also on questions which are of practical relevance for potential miniaturized thermal machines. In terms of fundamental questions, the results in this thesis contribute to understanding how the basic laws of thermodynamics and statistical mechanics can be understood directly from unitary quantum mechanics. In particular, I discuss and answer the following questions: i) How can we quantify the third law of thermodynamics using information theoretic methods? ii) How can we quantify the "thermodynamic value" of a state-transition in quantum systems? iii) How can we axiomatically characterize the non-equilibrium free energy and relative entropy? iv) How can we justify statistical ensembles from an operational perspective, without having to introduce either some probability measures or an information theoretic entropy measure? v) How can we understand the equilibration of closed quantum systems, how long does it take and how difficult is it to avoid? In the second part of the thesis I discuss in detail how experimental restrictions, which become important at the quantum scale, influence the ultimate thermodynamic bounds for thermal machines. In particular, the results in this thesis provide thermodynamic bounds on work-extraction and efficiencies of thermal machines in situations where 1.) an experimenter only has limited field strengths available, 2.) an experimenter cannot control the interactions between particles, but external fields arbitrarily well, and 3.) situations in which a small quantum system can only be strongly coupled to heat baths. These bounds are tight and I provide explicit examples illustrating the different behaviours. Finally, I come back to a classic problem in statistical physics: The emergence of spontaneous symmetry breaking. Here, I provide general and rigorous new results that show how symmetry-breaking stationary states emerge from fluctuations in order parameters in dissipative lattice models.
We improve on our version of the second law of thermodynamics as a deterministic theorem for quantum spin systems [ 1 ] in two basic aspects. The first concerns the general statement of the second law: spontaneous changes in an adiabatically closed system will always be in the direction of increasing (mean) entropy, which rises to a maximal value. In order to arrive at this statement, we have to extend the previous definition of adiabatic transformation, in order to include sudden interactions, and thereby generalize the “barrier model”. The cornerstone of the second law is then seen to be the fact that the dynamics may induce a basic structural transition between states of infinite systems in the limit of large times, which, physically, represent times much larger than specific relaxation times. Two specific examples concern the transition from pure to mixed states in two different universality classes of dynamics in one dimension, one being the exponential model, which has exactly soluble dynamics and does not display a phase transition, the other the Dyson model(s), for which neither the dynamics nor the statistical mechanics are exactly soluble, and which do exhibit a (ferromagnetic) phase transition, first demonstrated by Dyson. It is also shown, as a consequence of results of Albert and Kiessling on the Cloitre function, that there is strong graphical evidence that the dynamics of the Dyson models are chaotic for large times, and, thereby, that the mechanisms of approach to equilibrium differ for these two universality classes in a profound way, which depend exclusively on the dynamics, and not on the states and observables.
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.
A consistent theory of non-equilibrium thermodynamics for Markovian open quantum systems has been developed in the late seventies in analogy with Classical Irreversible Thermodynamics. The time-evolution of these open systems is usually described by means of effective master equations in Lindblad form, that turn out to be reliable when there is a separation of time-scales between system and environment, such that memory effects are negligible and the so-called Markovian approximation is justified. In this framework, the variations of energy and entropy in the system are consistently described, distinguishing between heat and work contributions and providing a statement of the second law of thermodynamics as positivity of the entropy production.\nHowever, there is empirical evidence that many physical systems like photosynthetic complexes,\nopto-mechanical resonators and superconducting qubits, just to mention a few, experience more general non-Markovian dynamics. The formulation of the laws of thermodynamics in a non-Markovian setting is matter of current research and represents the main topic of the present work. As a first step, we show that the entropy production defined as in the Markovian case can be negative for a class of non-Markovian dynamics. We argue that this outcome should not be interpreted as a violation of the second law of thermodynamics because the environment must be explicitly taken into account in the balance of entropy in the non-Markovian setting. In order to justify this claim we adopt a more general point of view, studying a closed bipartite quantum system, such that each of the two subsystems plays the role of a finite environment out of equilibrium for the other one. We concentrate on the balance of energy first and construct an effective Hamiltonian for each subsystem using physically reasonable requirements; then we define heat and work as in the standard Markovian treatment, with the effective Hamiltonian replacing the free Hamiltonian. It turns out that, in our framework, the work power is perfectly balanced between subsystems, while the correlations can store a part of energy locally inaccessible and exchange it with both subsystems in the form of heat.\nConcerning the balance of entropy, a quite general formulation of the second law of thermodynamics can be given as follows: under the assumption of a factorized initial state for the compound system, the sum of the total variations of the entropies in the two subsystems is always nonnegative. We show with an explicit example that this general formulation does not correspond to the statement presented in the framework of Markovian master equations, which should not be considered a priori the second law of thermodynamics.\nIn the last part of the thesis we concentrate of the so-called fluctuation relations, that are results extending the thermodynamic formalism beyond the behavior of average quantities. After reviewing the main theoretical outcomes, such as the Jarzynski equality and the Crooks fluctuation theorem, we describe a proposal to access experimentally the work performed on an ensemble of diatomic molecules by a time-dependent electric field coupled with their vibrational degree of freedom. This procedure could then be used to test the quantum Jarzynski equality. With respect to the results so far appeared in the literature, in which the left-hand side of the equality is inferred from an experiment and the right-hand side is computed according to a model, in our proposed setting we should be able to estimate from the experiment both the left-hand side and the right-hand side of the equality, independently.