The second law of thermodynamics states that for a thermally isolated system entropy never decreases. Most physical processes we observe in nature involve variations of macroscopic quantities over spatial and temporal scales much larger than microscopic molecular collision scales and thus can be considered as in local equilibrium. For a many-body system in local equilibrium a stronger version of the second law applies which says that the entropy production at each spacetime point should be non-negative. In this paper we provide a proof of the second law for such systems and a first derivation of the local second law. For this purpose we develop a general non-equilibrium effective field theory of slow degrees of freedom from integrating out fast degrees of freedom in a quantum many-body system and consider its classical limit. The key elements of the proof are the presence of a $Z_2$ symmetry, which can be considered as a proxy for local equilibrium and micro-time-reversibility, and a classical remnant of quantum unitarity. The $Z_2$ symmetry leads to a local current from a procedure analogous to that used in the Noether theorem. Unitarity leads to a definite sign of the divergence of the current. We also discuss the origin of an arrow of time, as well as the coincidence of causal and thermodynamical arrows of time. Applied to hydrodynamics, the proof gives a first-principle derivation of the phenomenological entropy current condition and provides a constructive procedure for obtaining the entropy current.
The second law of thermodynamics states that for a thermally isolated system entropy never decreases. Most physical processes we observe in nature involve variations of macroscopic quantities over spatial and temporal scales much larger than microscopic molecular collision scales and thus can be considered as in local equilibrium. For a many-body system in local equilibrium a stronger version of the second law applies which says that the entropy production at each spacetime point should be non-negative. In this paper we provide a proof of the second law for such systems and a first derivation of the local second law. For this purpose we develop a general non-equilibrium effective field theory of slow degrees of freedom from integrating out fast degrees of freedom in a quantum many-body system and consider its classical limit. The key elements of the proof are the presence of a Z2 symmetry, which can be considered as a proxy for local equilibrium and micro-time-reversibility, and a classical remnant of quantum unitarity. The Z2 symmetry leads to a local current from a procedure analogous to that used in the Noether theorem. Unitarity leads to a definite sign of the divergence of the current. We also discuss the origin of an arrow of time, as well as the coincidence of causal and thermodynamical arrows of time. Applied to hydrodynamics, the proof gives a first-principle derivation of the phenomenological entropy current condition and provides a constructive procedure for obtaining the entropy current.
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.
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.
We study the dynamics of a locally conserved energy in ergodic, local many-body quantum systems on a lattice with no additional symmetry. The resulting dynamics is well approximated by a coarse grained, classical linear functional diffusion equation for the probability of all spatial configurations of energy. This is equivalent to nonlinear stochastic hydrodynamics, describing the diffusion of energy in physical spacetime. We find the absence of nonhydrodynamic slow degrees of freedom, a nonlinear fluctuation-dissipation theorem, and the emergence of a (weakly interacting) kinetic theory for hydrodynamic modes near thermal equilibrium. The observable part of the microscopic entropy obeys the local second law of thermodynamics, and quantitatively agrees with the phenomenological predictions of hydrodynamics. Our approach naturally generalizes to ergodic systems with additional symmetries, may lead to numerical algorithms to calculate diffusion constants for lattice models, and implies sufficiency conditions for a rigorous derivation of hydrodynamics in quantum systems.
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.
Thermodynamics is a phenomenological theory describing the energy conversion of work and heat. At its origins thermodynamics was developed in order to understand and improve heat engines. In conventional thermodynamics, however, only such processes are completely describable which are slow enough to keep the system of interest in an equilibrium state with its thermal environment at all times. On the contrary, all real physical processes are accompanied by non-equilibrium phenomena. These are mathematically described with the help of the irreversible entropy production, i.e. the dissipated work divided by the temperature of the bath. The second law of thermodynamics merely states that the irreversible entropy production is on average always positive. The modern trend of miniaturization, however, leads to smaller and smaller devices. On short length scales thermal noise as well as quantum fluctuations become important. Thus, usual thermodynamic quantities as work and heat acquire stochastic nature. Moreover, in the quantum regime a completely new theory had to be invented, since classical notions of work and heat are no longer valid. The present dissertation contributes to this prevailing field by the derivation of analytical expressions for the entropy production in open and closed quantum system far from thermal equilibrium. The theoretical treatment is motivated by an experimental point of view. The obtained results were derived from the reduced dynamics of the quantum mechanical system, which may be coupled to a thermal bath. To this end, it was dealt with methods and approaches of statistical physics, conventional thermodynamics, quantum information theory and the theory of open quantum systems. In this dissertation the most important physical systems are treated. First, an isolated system is considered before later on a heat bath is included. The limit of weak as well as of strong coupling are analyzed in detail. For isolated systems it turns out that a geometric approach is able to capture the thermodynamic properties, completely. To this end, the irreversible entropy production is sharply estimated from below by the angle between the real non-equilibrium state and the corresponding equilibrium one. Further, it is shown that the Heisenberg uncertainty relation for energy and time can be formulated more precisely in terms of that angle. As experimental system cold ion traps are introduced, in which the theoretical predictions can be verified. For weakly coupled systems, then, the irreversible entropy production is identified and a fluctuation theorem is derived by merely thermodynamic arguments. As experimental system we, again, propose the cold ion traps, where the heat bath can be simulated with the help of LASER light. In the limit of strong coupling a semiclassical description of the reduced quantum system is discussed. Again, an analytically exact expression for the entropy production and the corresponding fluctuation theorem is derived. A physical system, in which strong coupling to the environment can be analyzed, is given by Josephson junctions. This dissertation discusses the entropy production for isolated, weakly coupled, and overdamped quantum systems. For these physical regimes analytical relation are derived and experimental systems proposed, with which the predictions can be verified.
The macroscopic hydrodynamic equations are derived for many-body systems in the local-equilibrium approach, using the Schrödinger picture of quantum mechanics. In this approach, statistical operators are defined in terms of microscopic densities associated with the fundamentally conserved quantities and other slow modes possibly emerging from continuous symmetry breaking, as well as macrofields conjugated to these densities. Functional identities can be deduced, allowing us to identify the reversible and dissipative parts of the mean current densities, to obtain general equations for the time evolution of the conjugate macrofields, and to establish the relationship to projection-operator methods. The entropy production is shown to be nonnegative by applying the Peierls-Bogoliubov inequality to a quantum integral fluctuation theorem. Using the expansion in the gradients of the conjugate macrofields, the transport coefficients are given by Green-Kubo formulas and the entropy production rate can be expressed in terms of quantum Einstein-Helfand formulas, implying its nonnegativity in agreement with the second law of thermodynamics. The results apply to multicomponent fluids and can be extended to condensed matter phases with broken continuous symmetries.