Gibbs states play a central role in quantum statistical mechanics as the standard description of thermal equilibrium. Traditionally, their use is justified either by a heuristic, a posteriori reasoning, or by derivations based on notions of typicality or passivity. In this work, we show that Gibbs states are completely characterized by assuming dynamical stability of the system itself and of the system in weak contact with an arbitrary environment. This builds on and strengthens a result by Frigerio, Gorini, and Verri (1986), who derived Gibbs states from dynamical stability using an additional assumption that they referred to as the "zeroth law of thermodynamics", as it concerns a nested dynamical stability of a triple of systems. We prove that this zeroth law is redundant and that an environment consisting solely of harmonic oscillators is sufficient to single out Gibbs states as the only dynamically stable states.
Gibbs states play a central role in quantum statistical mechanics as the standard description of thermal equilibrium. Traditionally, their use is justified either by a heuristic, a posteriori reasoning, or by derivations based on notions of typicality or passivity. In this work, we show that Gibbs states are completely characterized by assuming dynamical stability of the system itself and of the system in weak contact with an arbitrary environment. This builds on and strengthens a result by Frigerio, Gorini, and Verri (1986), who derived Gibbs states from dynamical stability using an additional assumption that they referred to as the "zeroth law of thermodynamics", as it concerns a nested dynamical stability of a triple of systems. We prove that this zeroth law is redundant and that an environment consisting solely of harmonic oscillators is sufficient to single out Gibbs states as the only dynamically stable states.
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.
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
Passivity is a fundamental concept that constitutes a necessary condition for any quantum system to attain thermodynamic equilibrium, and for a notion of temperature to emerge. While extensive work has been done that exploits this, the transition from passivity at a single-shot level to the completely passive Gibbs state is technically clear but lacks a good over-arching intuition. Here, we reformulate passivity for quantum systems in purely geometric terms. This description makes the emergence of the Gibbs state from passive states entirely transparent. Beyond clarifying existing results, it also provides novel analysis for non-equilibrium quantum systems. We show that, to every passive state, one can associate a simple convex shape in a 2 -dimensional plane, and that the area of this shape measures the degree to which the system deviates from the manifold of equilibrium states. This provides a novel geometric measure of athermality with relations to both ergotropy and β --athermality.
We study two small quantum systems coupled to the same reservoir which is in thermal equilibrium. By studying the particle density and the energy density in the two systems before and after they contact each other, we find that the two systems are not in thermal equilibrium with each other. Our result shows that the zeroth law of thermodynamics is broken in small quantum systems at low temperatures. Therefore, the traditional way of defining temperature fails due to the breakdown of the transitive relation of thermal equilibrium. Then we show a different way of defining temperature by attaching an auxiliary site, which plays the role of a thermometer, to the small quantum system.
Passivity is a fundamental concept that constitutes a necessary condition for any quantum system to attain thermodynamic equilibrium, and for a notion of temperature to emerge. While extensive work has been done that exploits this, the transition from passivity at a single-shot level to the completely passive Gibbs state is technically clear but lacks a good over-arching intuition. Here, we reformulate passivity for quantum systems in purely geometric terms. This description makes the emergence of the Gibbs state from passive states entirely transparent. Beyond clarifying existing results, it also provides novel analysis for non-equilibrium quantum systems. We show that, to every passive state, one can associate a simple convex shape in a 2-dimensional plane, and that the area of this shape measures the degree to which the system deviates from the manifold of equilibrium states. This provides a novel geometric measure of athermality with relations to both ergotropy and β--athermality.
Based on quantum statistical mechanics and microscopic quantum dynamics, we prove Planck's and Kelvin's principles for macroscopic systems in a general and realistic setting. We consider a hybrid quantum system that consists of the thermodynamic system, which is initially in thermal equilibrium, and the "apparatus" which operates on the former, and assume that the whole system evolves autonomously. This provides a satisfactory derivation of the second law for macroscopic systems.