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 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 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 extend classical coarse-grained entropy, commonly used in many branches of physics, to the quantum realm. We find two coarse grainings, one using measurements of local particle numbers and then total energy, and the second using local energy measurements, which lead to an entropy that is defined outside of equilibrium, is in accord with the thermodynamic entropy for equilibrium systems, and reaches the thermodynamic entropy in the long-time limit, even in genuinely isolated quantum systems. This answers the long-standing conceptual problem, as to which entropy is relevant for the formulation of the second thermodynamic law in closed quantum systems. This entropy could be in principle measured, especially now that experiments on such systems are becoming feasible.
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.
Our everyday descriptions of the universe are highly coarse grained, following only a tiny fraction of the variables necessary for a perfectly fine-grained description. Coarse graining in classical physics is made natural by our limited powers of observation and computation. But in the modern quantum mechanics of closed systems, some measure of coarse graining is inescapable because there are no nontrivial, probabilistic, fine-grained descriptions. This essay explores the consequences of that fact. Quantum theory allows for various coarse-grained descriptions, some of which are mutually incompatible. For most purposes, however, we are interested in the small subset of ``quasiclassical descriptions'' defined by ranges of values of averages over small volumes of densities of conserved quantities such as energy and momentum and approximately conserved quantities such as baryon number. The near-conservation of these quasiclassical quantities results in approximate decoherence, predictability, and local equilibrium, leading to closed sets of equations of motion. In any description, information is sacrificed through the coarse graining that yields decoherence and gives rise to probabilities for histories. In quasiclassical descriptions, further information is sacrificed in exhibiting the emergent regularities summarized by classical equations of motion. An appropriate entropy measures the loss of information. For a ``quasiclassical realm'' this is connected with the usual thermodynamic entropy as obtained from statistical mechanics. It was low for the initial state of our universe and has been increasing since.
Our everyday descriptions of the universe are highly coarse grained, following only a tiny fraction of the variables necessary for a perfectly fine-grained description. Coarse graining in classical physics is made natural by our limited powers of observation and computation. But in the modern quantum mechanics of closed systems, some measure of coarse graining is inescapable because there are no nontrivial, probabilistic, fine-grained descriptions. This essay explores the consequences of that fact. Quantum theory allows for various coarse-grained descriptions, some of which are mutually incompatible. For most purposes, however, we are interested in the small subset of “quasiclassical descriptions” defined by ranges of values of averages over small volumes of densities of conserved quantities such as energy and momentum and approximately conserved quantities such as baryon number. The near-conservation of these quasiclassical quantities results in approximate decoherence, predictability, and local equilibrium, leading to closed sets of equations of motion. In any description, information is sacrificed through the coarse graining that yields decoherence and gives rise to probabilities for histories. In quasiclassical descriptions, further information is sacrificed in exhibiting the emergent regularities summarized by classical equations of motion. An appropriate entropy measures the loss of information. For a “quasiclassical realm” this is connected with the usual thermodynamic entropy as obtained from statistical mechanics. It was low for the initial state of our universe and has been increasing since.
Abstract Observational entropy provides a general notion of quantum entropy that appropriately interpolates between Boltzmann’s and Gibbs’ entropies, and has recently been argued to provide a useful measure of out-of-equilibrium thermodynamic entropy. Here we study the mathematical properties of observational entropy from an information-theoretic viewpoint, making use of recently strengthened forms of the monotonicity property of quantum relative entropy. We present new bounds on observational entropy applying in general, as well as bounds and identities related to sequential and post-processed measurements. A central role in this work is played by what we call the ‘coarse-grained’ state, which emerges from the measurement’s statistics by Bayesian retrodiction, without presuming any knowledge about the ‘true’ underlying state being measured. The degree of distinguishability between such a coarse-grained state and the true (but generally unobservable) one is shown to provide upper and lower bounds on the difference between observational and von Neumann entropies.