We provide a characterization of energy in the form of exchanged heat and work between two interacting constituents of a closed, bipartite, correlated quantum system. By defining a binding energy we derive a consistent quantum formulation of the first law of thermodynamics, in which the role of correlations becomes evident, and this formulation reduces to the standard classical picture in relevant systems. We next discuss the emergence of the second law of thermodynamics under certain—but fairly general—conditions such as the Markovian assumption. We illustrate the role of correlations and interactions in thermodynamics through two examples.

No abstract

Thermodynamics connects our knowledge of the world to our capability to manipulate and thus to control it. This crucial role of control is exemplified by the third law of thermodynamics, Nernst's unattainability principle, stating that infinite resources are required to cool a system to absolute zero temperature. But what are these resources? And how does this relate to Landauer's principle that famously connects information and thermodynamics? We answer these questions by providing a framework for identifying the resources that enable the creation of pure quantum states. We show that perfect cooling is possible with Landauer energy cost given infinite time or control complexity. Within the context of resource theories of quantum thermodynamics, we derive a Carnot-Landauer limit, along with protocols for its saturation. This generalises Landauer's principle to a fully thermodynamic setting, leading to a unification with the third law and emphasising the importance of control in quantum thermodynamics.

Correlations lie at the heart of almost all scientific predictions. It is therefore of interest to ask whether there exist general limitations to the amount of correlations that can be created at a finite amount of invested energy. Within quantum thermodynamics such limitations can be derived from first principles. In particular, it can be shown that establishing correlations between initially uncorrelated systems in a thermal background has an energetic cost. This cost, which depends on the system dimension and the details of the energy-level structure, can be bounded from below but whether these bounds are achievable is an open question. Here, we put forward a framework for studying the process of optimally correlating identical (thermal) quantum systems. The framework is based on decompositions into subspaces that each support only states with diagonal (classical) marginals. Using methods from stochastic majorisation theory, we show that the creation of correlations at minimal energy cost is possible for all pairs of three-and four-dimensional quantum systems. For higher dimensions we provide sufficient conditions for the existence of such optimally correlating operations, which we conjecture to exist in all dimensions. * These authors contributed equally to this work. †