Thermodynamics is commonly presented as a theory of macroscopic systems in stable equilibrium, built upon assumptions of extensivity and scaling with system size. In this paper, we present a universal formulation of the elementary foundations of thermodynamics, in which entropy and energy are defined and employed beyond equilibrium and without assuming extensivity. The formulation applies to all systems -- large and small, with many or few particles -- and to all states, whether equilibrium or nonequilibrium, by relying on carefully stated operational definitions and existence principles rather than macroscopic idealizations. Key thermodynamic concepts, including adiabatic availability and available energy, are developed and illustrated using the energy-entropy diagram representation of nonequilibrium states, which provides geometric insight into irreversibility and the limits of work extraction for systems of any size. A substantial part of the paper is devoted to the analysis of entropy transfer in non-work interactions, leading to precise definitions of heat interactions and heat-and-diffusion interactions of central importance in mesoscopic continuum theories of nonequilibrium behavior in simple and complex solids and fluids. As a direct consequence of this analysis, Clausius inequalities and the Clausius statement of the second law are derived in forms explicitly extended to nonequilibrium processes. The resulting framework presents thermodynamics as a universal theory whose concepts apply uniformly to all systems, large and small, and provides a coherent foundation for both teaching and modern applications.
81 pages, 41 figures, 67 footnotes, contents closely related to the first part of 2.43 Advanced Thermodynamics, MIT OpenCourseWare, Spring 2024, https://ocw.mit.edu/courses/2-43-advanced-thermodynamics-spring-2024/ and https://www.youtube.com/playlist?list=PLUl4u3cNGP6309d0oJDiVo1CvxUQXJ2il
Thermodynamics is commonly presented as a theory of macroscopic systems in stable equilibrium, built upon assumptions of extensivity and scaling with system size. In this paper, we present a universal formulation of the elementary foundations of thermodynamics, in which entropy and energy are defined and employed beyond equilibrium and without assuming extensivity. The formulation applies to all systems -- large and small, with many or few particles -- and to all states, whether equilibrium or nonequilibrium, by relying on carefully stated operational definitions and existence principles rather than macroscopic idealizations. Key thermodynamic concepts, including adiabatic availability and available energy, are developed and illustrated using the energy-entropy diagram representation of nonequilibrium states, which provides geometric insight into irreversibility and the limits of work extraction for systems of any size. A substantial part of the paper is devoted to the analysis of entropy transfer in non-work interactions, leading to precise definitions of heat interactions and heat-and-diffusion interactions of central importance in mesoscopic continuum theories of nonequilibrium behavior in simple and complex solids and fluids. As a direct consequence of this analysis, Clausius inequalities and the Clausius statement of the second law are derived in forms explicitly extended to nonequilibrium processes. The resulting framework presents thermodynamics as a universal theory whose concepts apply uniformly to all systems, large and small, and provides a coherent foundation for both teaching and modern applications.
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 central open question in quantum thermodynamics is the identification of thermodynamic entropy away from equilibrium. Although thermodynamic entropy coincides with the von Neumann entropy for a Gibbs state at equilibrium, the thermodynamic role of quantum coherence generated during nonequilibrium evolution remains unclear. Here, we show that von Neumann entropy does not, in general, represent the thermodynamic entropy governing heat exchange in coherent nonequilibrium quantum systems. By integrating the resource theory of quantum coherence with thermodynamic principles, we develop a general framework for nonequilibrium quantum thermodynamics. We identify thermodynamic entropy with the energy entropy derived from energy-measurement statistics and introduce a dynamical temperature extending the equilibrium concept to nonequilibrium states. Consequently, we obtain an exact entropy-balance relation separating the entropy flux associated with heat exchange from the coherence-loss contribution to entropy production, establishing an operational connection between quantum coherence, heat flow, and total entropy change. Unlike approaches relying on equilibrium reference states or stationary Gibbs ensembles, our framework uses instantaneous dynamical quantities and remains valid throughout transient nonequilibrium evolution. It provides consistent dynamical definitions of temperature, work, heat, and free energy. Applying the formalism to an exactly solvable open quantum system, we show that the first and second laws hold throughout transient evolution and that equilibrium thermodynamics emerges dynamically in the weak-coupling long-time limit. Our results establish a unified framework for coherent nonequilibrium quantum thermodynamics and suggest opportunities for controlling heat dissipation through coherence engineering in quantum thermal technologies.
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.
Thermodynamics and information have intricate interrelations. Often thermodynamics is considered to be the logical premise to justify that information is physical - through Landauer's principle -, thereby also linking information and thermodynamics. This approach towards information has been instrumental to understand thermodynamics of logical and physical processes, both in the classical and quantum domain. In the present work, we formulate thermodynamics as an exclusive consequence of information conservation. The framework can be applied to the most general situations, beyond the traditional assumptions in thermodynamics: we allow systems and thermal baths to be quantum, of arbitrary sizes and even possessing inter-system correlations.Here, systems and baths are not treated differently, rather both are considered on an equal footing. This leads us to introduce a ''temperature''-independent formulation of thermodynamics. We rely on the fact that, for a fixed amount of information, measured by the von Neumann entropy, any system can be transformed to a state with the same entropy that possesses minimal energy. This state, known as a completely passive state, acquires Boltzmann-Gibbs canonical form with an intrinsic temperature . We introduce the notions of bound and free energy and use them to quantify heat and work, respectively. Guided by the principle of information conservation, we develop universal notions of equilibrium, heat and work, Landauer's principle and universal fundamental laws of thermodynamics. We demonstrate that the maximum efficiency of a quantum engine with a finite bath is in general lower than that of an ideal Carnot engine. We introduce a resource theoretic framework for our intrinsic temperature based thermodynamics, within which we address the problem of work extraction and state transformations. Finally, the framework is extended to multiple conserved quantities.
Thermodynamics and information have intricate interrelations. Often thermodynamics is considered to be the logical premise to justify that information is physical - through Landauer's principle -, thereby also linking information and thermodynamics. This approach towards information has been instrumental to understand thermodynamics of logical and physical processes, both in the classical and quantum domain. In the present work, we formulate thermodynamics as an exclusive consequence of information conservation. The framework can be applied to the most general situations, beyond the traditional assumptions in thermodynamics: we allow systems and thermal baths to be quantum, of arbitrary sizes and even possessing inter-system correlations.Here, systems and baths are not treated differently, rather both are considered on an equal footing. This leads us to introduce a ''temperature''-independent formulation of thermodynamics. We rely on the fact that, for a fixed amount of information, measured by the von Neumann entropy, any system can be transformed to a state with the same entropy that possesses minimal energy. This state, known as a completely passive state, acquires Boltzmann-Gibbs canonical form with an intrinsic temperature. We introduce the notions of bound and free energy and use them to quantify heat and work, respectively. Guided by the principle of information conservation, we develop universal notions of equilibrium, heat and work, Landauer's principle and universal fundamental laws of thermodynamics. We demonstrate that the maximum efficiency of a quantum engine with a finite bath is in general lower than that of an ideal Carnot engine. We introduce a resource theoretic framework for our intrinsic temperature based thermodynamics, within which we address the problem of work extraction and state transformations. Finally, the framework is extended to multiple conserved quantities.
A system, or a set of systems, is said to be in thermal equilibrium when no net flow of heat energy occurs between its constituent parts when they are connected by a path permeable to heat (a diathermal wall).1 This condition is the endpoint of a spontaneous process: if two bodies at different temperatures are brought into thermal contact, energy will flow from the higher-temperature object to the lower-temperature object until this flow ceases and the equilibrium state is achieved.3 Within a single system, thermal equilibrium is characterized by a temperature that is both spatially uniform (the same at all points) and temporally constant (unchanging over time).4 This uniformity of macroscopic properties—such as temperature and pressure—is what defines the state of the system.1 It is important to distinguish this from the broader state of thermodynamic equilibrium. Thermal equilibrium (uniform temperature) is a necessary component, but full thermodynamic equilibrium also requires mechanical equilibrium (uniform pressure) and diffusive equilibrium (uniform chemical potential).6 Systems can achieve thermal equilibrium without achieving full thermodynamic equilibrium.6 The Zeroth Law of Thermodynamics: The "Discovery" of Temperature The concept of temperature, while intuitive, requires a formal physical principle to exist as a measurable, fundamental property. This principle is the Zeroth Law of Thermodynamics. Although it was formulated and named after the First and Second Laws, its foundational role was recognized as a logical prerequisite for the entire structure of thermodynamics.8 The law states: If system A is in thermal equilibrium with system C, and system B is in thermal equilibrium with system C, then systems A and B are in thermal equilibrium with each other.1 In this construction, system C plays the role of a thermometer.13 The profound implication of this law is mathematical: it establishes thermal equilibrium as a transitive relation 9, or more formally, an equivalence relation.14 In mathematics, any equivalence relation partitioning a set of objects implies the existence of a common, scalar property shared by all members of a given equivalence class. The Zeroth Law thus proves the existence of a scalar function of state—a property we call temperature—that is common to all systems in mutual thermal equilibrium.9 The law is, therefore, the fundamental basis for defining temperature and building consistent, reproducible temperature scales.1 This axiomatic foundation also provides the logical origin for one of temperature's most critical characteristics: it is an intensive property. An intensive property is one that does not depend on the size or amount of the system.15 If a large system 'A' is in internal thermal equilibrium 6, any two parts of it, subsystems 'A1' and 'A2', must also be in thermal equilibrium with each other. By the Zeroth Law, a thermometer 'C' that is in thermal equilibrium with the whole system 'A' must also be in thermal equilibrium with 'A1' and 'A2' individually.13 The thermometer, therefore, gives the same reading for all three. This demonstrates that the temperature of a system in thermal equilibrium is the same as the temperature of any part of it.16