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
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
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.
We consider the notion of thermal equilibrium for an individual closed macroscopic quantum system in a pure state, i.e., described by a wave function. The macroscopic properties in thermal equilibrium of such a system, determined by its wave function, must be the same as those obtained from thermodynamics, e.g., spatial uniformity of temperature and chemical potential. When this is true we say that the system is in macroscopic thermal equilibrium (MATE). Such a system may, however, not be in microscopic thermal equilibrium (MITE). The latter requires that the reduced density matrices of small subsystems be close to those obtained from the microcanonical, equivalently the canonical, ensemble for the whole system. The distinction between MITE and MATE is particularly relevant for systems with many-body localization for which the energy eigenfuctions fail to be in MITE while necessarily most of them, but not all, are in MATE. We note, however, that for generic macroscopic systems, including those with MBL, most wave functions in an energy shell are in both MATE and MITE. For a classical macroscopic system, MATE holds for most phase points on the energy surface, but MITE fails to hold for any phase point.
The zeroth law of thermodynamics involves a transitivity relation (pairwise between three objects) expressed either in terms of ``equal temperature'' (ET), or ``in equilibrium'' (EQ) conditions. In conventional thermodynamics conditional on vanishingly weak system-bath coupling these two conditions are commonly regarded as equivalent. In this work we show that for thermodynamics at strong coupling they are inequivalent: namely, two systems can be in equilibrium and yet have different effective temperatures. A recent result [J.-T. Hsiang and B. L. Hu, Phys. Rev. D 103, 065001 (2021) for Gaussian quantum systems shows that an effective temperature T∗ can be defined at all times during a system's nonequilibrium evolution, but because of the inclusion of interaction energy, after equilibration the system's T∗ is slightly higher than the bath temperature TB, with the deviation depending on the coupling. A second object coupled with a different strength with an identical bath at temperature TB will not have the same equilibrated temperature as the first object. Thus $ET\ensuremath{\ne}EQ$ for strong coupling thermodynamics. We then investigate the conditions for dynamical equilibration for two objects 1 and 2 strongly coupled with a common bath B, each with a different equilibrated effective temperature. We show this is possible, and prove the existence of a generalized fluctuation-dissipation relation under this configuration. This affirms that in equilibrium is a valid and perhaps more fundamental notion which the zeroth law for quantum thermodynamics at strong coupling should be based on. Only when the system-bath coupling becomes vanishingly weak that ``temperature'' appearing in thermodynamic relations becomes universally defined and makes better physical sense.
Recent theoretical and experimental work on the foundations of statistical mechanics and thermodynamics has shown that quantum pure states typically evolve to thermal equilibrium. We focus on formulating the second law of thermodynamics for these states. The standard quantum von Neumann quantum entropy is constant during equilibration, S^{vN}=0, in apparent conflict with the entropy increase of the second law, ΔS_{univ} > 0. We explore a recently developed entropy S_{univ}^Q for a pure state and test its behavior in simulations of a model system and environment evolving in time with heat flow to equilibrium. We find that the entropy approaches the correct classical value in a type of classical limit with weak coupling. With stronger coupling, we find a new source of quantum "excess entropy production," which has its origin in the quantum spreading of the wavepacket. Are there quantum thermodynamic effects related to this new source of entropy? To test this, we developed a model for a small variable temperature quantum oscillator bath. We performed simulations where two small baths are linked by a system, with unequal couplings to the baths. The model evolves to a novel type of equilibrium state with unequal temperatures in the baths, with heat flow from cold to hot along the path to equilibrium. We give an account of this behavior in terms of the second law with the quantum entropy S_{univ}^Q. The new formulation of the second law thus appears well-founded and fruitful, with surprising new quantum thermodynamic effects that may still be awaiting discovery, for example in molecules or systems far from equilibrium. \n\nThis dissertation includes previously published and unpublished co-authored material.
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.
An intuitive scheme to assign a temperature to an arbitrary state of a quantum system is to investigate the heat flow resulting from the coupling to a thermometer. We introduce a simple model of a universal thermometer with the following property. When it is prepared in a Gibbs equilibrium state at inverse temperature β∈R and brought into thermal contact with a system in any state, the heat flow between the system and thermometer vanishes for a unique value of β. We call this value the contact temperature βop∈R of the system state. The thermometer is universal in that it yields a unique contact temperature for arbitrary states of finite dimensional quantum systems.