We investigate fundamental connections between thermodynamics and quantum information theory. First, we show that the operational framework of thermal operations is nonequivalent to the framework of Gibbs-preserving maps, and we comment on this gap. We then introduce a fully information-theoretic framework generalizing the above by making further abstraction of physical quantities such as energy. It is technically convenient to work with and reproduces known results for finite-size quantum thermodynamics. With our framework we may determine the minimal work cost of implementing any logical process. In the case of information processing on memory registers with a degenerate Hamiltonian, the answer is given by the max-entropy, a measure of information known from quantum information theory. In the general case, we obtain a new information measure, the "coherent relative entropy", which generalizes both the conditional entropy and the relative entropy. It satisfies a collection of properties which justifies its interpretation as an entropy measure and which connects it to known quantities. We then present how, from our framework, macroscopic thermodynamics emerges by typicality, after singling out an appropriate class of thermodynamic states possessing some suitable reversibility property. A natural thermodynamic potential emerges, dictating possible state transformations, and whose differential describes the physics of the system. The textbook thermodynamics of a gas is recovered as well as the form of the second law relating thermodynamic entropy and heat exchange. Finally, noting that quantum states are relative to the observer, we see that the procedure above gives rise to a natural form of coarse-graining in quantum mechanics: Each observer can consistently apply the formalism of quantum information according to their own fundamental unit of information.
We investigate fundamental connections between thermodynamics and quantum information theory. First, we show that the operational framework of thermal operations is nonequivalent to the framework of Gibbs-preserving maps, and we comment on this gap. We then introduce a fully information-theoretic framework generalizing the above by making further abstraction of physical quantities such as energy. It is technically convenient to work with and reproduces known results for finite-size quantum thermodynamics. With our framework we may determine the minimal work cost of implementing any logical process. In the case of information processing on memory registers with a degenerate Hamiltonian, the answer is given by the max-entropy, a measure of information known from quantum information theory. In the general case, we obtain a new information measure, the "coherent relative entropy", which generalizes both the conditional entropy and the relative entropy. It satisfies a collection of properties which justifies its interpretation as an entropy measure and which connects it to known quantities. We then present how, from our framework, macroscopic thermodynamics emerges by typicality, after singling out an appropriate class of thermodynamic states possessing some suitable reversibility property. A natural thermodynamic potential emerges, dictating possible state transformations, and whose differential describes the physics of the system. The textbook thermodynamics of a gas is recovered as well as the form of the second law relating thermodynamic entropy and heat exchange. Finally, noting that quantum states are relative to the observer, we see that the procedure above gives rise to a natural form of coarse-graining in quantum mechanics: Each observer can consistently apply the formalism of quantum information according to their own fundamental unit of information.
Information-theoretic approaches provide a promising avenue for extending the laws of thermodynamics to the nanoscale. Here, we provide a general fundamental lower limit, valid for systems with an arbitrary Hamiltonian and in contact with any thermodynamic bath, on the work cost for the implementation of any logical process. This limit is given by a new information measure—the coherent relative entropy—which accounts for the Gibbs weight of each microstate. The coherent relative entropy enjoys a collection of natural properties justifying its interpretation as a measure of information and can be understood as a generalization of a quantum relative entropy difference. As an application, we show that the standard first and second laws of thermodynamics emerge from our microscopic picture in the macroscopic limit. Finally, our results have an impact on understanding the role of the observer in thermodynamics: Our approach may be applied at any level of knowledge—for instance, at the microscopic, mesoscopic, or macroscopic scales—thus providing a formulation of thermodynamics that is inherently relative to the observer. We obtain a precise criterion for when the laws of thermodynamics can be applied, thus making a step forward in determining the exact extent of the universality of thermodynamics and enabling a systematic treatment of Maxwell-demon-like situations.
We investigate the detailed properties of observational entropy, introduced by \ifmmode \check{S}\else \v{S}\fi{}afr\'anek et al. [Phys. Rev. A 99, 010101 (2019)] as a generalization of Boltzmann entropy to quantum mechanics. This quantity can involve multiple coarse grainings, even those that do not commute with each other, without losing any of its properties. It is well-defined out of equilibrium, and for some coarse grainings it generically rises to the correct thermodynamic value even in a genuinely isolated quantum system. The quantity contains several other entropy definitions as special cases, it has interesting information-theoretic interpretations, and mathematical properties---such as extensivity and upper and lower bounds---suitable for an entropy. Here we describe and provide proofs for many of its properties, discuss its interpretation and connection to other quantities, and provide numerous simulations and analytic arguments supporting the claims of its relationship to thermodynamic entropy. This quantity may thus provide a clear and well-defined foundation on which to build a satisfactory understanding of the second thermodynamical law in quantum mechanics.
We build a framework for the thermodynamics of macroscopic quantum systems. In contrast with approaches requiring access to the full density matrix, our framework relies on a coarse-grained description, based on measurement statistics of a few observables. When these observables commute, the outcomes define classical macrostates whose entropy is quantified by observational entropy, accounting for uncertainty about both the macrostate and the microstate within it. We extend this notion to non-commuting observables forming a subalgebra of the operator space, and use Jaynes' principle to define an algebra-dependent entropy interpolating between von Neumann and observational entropies. Given initial and final measurement sets, connected by internal and/or environment-induced dynamics, we derive a second law for the coarse-grained dynamics. Unlike formulations based on von Neumann entropy, our inequality captures irreversibility from both non-unitary environment-induced dynamics and internal equilibration. It takes the usual form of a positive entropy production when the system is initially at internal equilibrium, while correction terms capture nonequilibrium resources ignored by the coarse-graining. We also derive fluctuation theorems for coarse-grained thermodynamic quantities. Along a quasi-static path of measurement schemes, we identify quantum macroscopic notions of work and heat fulfilling the first and second laws, including an additional work contribution from manipulating the algebra to which the system is confined, through external constraints or quantum measurement backaction. Finally, we apply our framework to examples illustrating the impact of varying the coarse-graining scheme. Our approach unifies macroscopic and stochastic thermodynamics in a genuinely quantum framework, laying the basis for a versatile, experimentally friendly toolbox to analyze complex quantum dynamics.
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.