We consider a number of proposals for the entropy of sets of classical coarse-grained histories based on the procedures of Jaynes, and we prove a series of inequalities relating these measures. We then examine these as a function of the coarse-graining for various classical systems, and show explicitly that the entropy is minimized by the finest-grained description of a set of histories. We propose an extension of the second law of thermodynamics to the entropy of histories. We briefly discuss the implications for decoherent or consistent history formulations of quantum mechanics.
We consider a number of proposals for the entropy of sets of classical coarse-grained histories based on the procedures of Jaynes, and we prove a series of inequalities relating these measures. We then examine these as a function of the coarse-graining for various classical systems, and show explicitly that the entropy is minimized by the finest-grained description of a set of histories. We propose an extension of the second law of thermodynamics to the entropy of histories. We briefly discuss the implications for decoherent or consistent history formulations of quantum mechanics.
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.
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 study a formulation of quantum mechanics in which the central notion is that of a quantum-mechanical history---a sequence of events at a succession of times. The primary aim is to identify sets of ``decoherent'' (or ``consistent'') histories for the system. These are quantum-mechanical histories suffering negligible interference with each other, and, therefore, to which probabilities may be assigned. These histories may be found for a given system using the so-called decoherence functional. When the decoherence functional is exactly diagonal, probabilities may be assigned to the histories, and all probability sum rules are satisfied exactly. We propose a condition for approximate decoherence, and argue that it implies that most probability sum rules will be satisfied to approximately the same degree. We also derive an inequality bounding the size of the off-diagonal terms of the decoherence functional. We calculate the decoherence functional for some simple one-dimensional systems, with a variety of initial states. For these systems, we explore the extent to which decoherence is produced using two different types of coarse graining. The first type of coarse graining involves imprecise specification of the particle's position. The second involves coupling the particle to a thermal bath of harmonic oscillators and ignoring the details of the bath (the Caldeira-Leggett model). We argue that both types of coarse graining are necessary in general. We explicitly exhibit the degree of decoherence as a function of the temperature of the bath, and of the width to within which the particle's position is specified. We study the diagonal elements of the decoherence functional, representing the probabilities for the possible histories of the system. To the extent that the histories decohere, we show that the probability distributions are peaked about the classical histories of the system, with the distribution of their initial positions and momenta given by a smeared version of the Wigner function. We discuss this result in connection with earlier uses of the Wigner function in this context. We find that there is a certain amount of tension between the demands of decoherence and peaking about classical paths.
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.