We ask how quantum theory compares to more general physical theories from the point of view of dimension. To do so, we first give two model-independent definitions of the dimension of physical systems, based on measurements and the capacity of storing information. While both definitions are equivalent in classical and quantum mechanics, they are different in generalized probabilistic theories. We discuss in detail the case of a theory known as 'boxworld', and show that such a theory features systems with dimension mismatch. This dimension mismatch can be made arbitrarily large using an amplification procedure. Furthermore, we show that the dimension mismatch of boxworld has strong consequences on its power for performing information-theoretic tasks, leading to the collapse of communication complexity and to the violation of information causality. Finally, we discuss the consequences of a dimension mismatch from the perspective of thermodynamics, and ask whether this effect could break Landauerʼs erasure principle and thus the second law.
We ask how quantum theory compares to more general physical theories from the point of view of dimension. To do so, we first give two model-independent definitions of the dimension of physical systems, based on measurements and the capacity of storing information. While both definitions are equivalent in classical and quantum mechanics, they are different in generalized probabilistic theories. We discuss in detail the case of a theory known as 'boxworld', and show that such a theory features systems with dimension mismatch. This dimension mismatch can be made arbitrarily large using an amplification procedure. Furthermore, we show that the dimension mismatch of boxworld has strong consequences on its power for performing information-theoretic tasks, leading to the collapse of communication complexity and to the violation of information causality. Finally, we discuss the consequences of a dimension mismatch from the perspective of thermodynamics, and ask whether this effect could break Landauerʼs erasure principle and thus the second law.
We review a general theory of thermodynamics of information processing. The background of this topic is the recently-developed nonequilibrium statistical mechanics and quantum (and classical) information theory. These theories are closely related to the modern technologies to manipulate and observe small systems; for example, macromolecules and colloidal particles in the classical regime, and quantum-optical systems and quantum dots in the quantum regime. First, we review a generalization of the second law of thermodynamics to the situations in which small thermodynamic systems are subject to quantum feedback control. The generalized second law is expressed in terms of an inequality that includes the term of information obtained by the measurement, as well as the thermodynamic quantities such as the free energy. This inequality leads to the fundamental upper bound of the work that can be extracted by a “Maxwell's demon”, which can be regarded as a feedback controller with a memory that stores measurement outcomes. Second, we review generalizations of the second law of thermodynamics to the measurement and information erasure processes of the memory of the demon that is a quantum system. The generalized second laws consist of inequalities that identify the lower bounds of the energy costs that are needed for the measurement and the information erasure. The inequality for the erasure leads to the celebrated Landauer's principle for a special case. Moreover, these inequalities enable us to reconcile Maxwell's demon with the second law of thermodynamics. In these inequalities, thermodynamic quantities and information contents are treated on an equal footing. In fact, the inequalities are model-independent, so that they can be applied to a broad class of information processing. Therefore, these inequalities can be called the second law of “information thermodynamics”.
Generalized probabilistic theories (GPTs) provide a unified framework for describing probabilistic physical theories, encompassing classical and quantum theories as well as hypothetical theories beyond quantum mechanics. Since most GPTs are highly unrealistic and far removed from known physical theories, it is important to constrain them by physically reasonable principles. One of the most important such principles is consistency with thermodynamics, which has been extensively studied through toy models involving semipermeable membranes (SPMs) implementing measurements. On the other hand, information thermodynamics, which plays a central role in understanding the relationship between measurement and thermodynamics in classical and quantum theory, has remained largely undeveloped in GPTs. In this work, we construct information thermodynamics in GPTs and provide a unified framework for analyzing the relationship between measurement, feedback, information erasure, and the second law of thermodynamics. We also formulate a general framework for SPM models and analyze the thermodynamic cost of measurements implemented by SPMs. As a result, we show that no work can be extracted in contradiction with the second law as long as the measurement processes are consistent with entropy nondecrease, and derive sufficient conditions for this property for several entropy definitions proposed in GPTs. Moreover, by considering measurement processes violating these conditions, we construct explicit GPT systems realizing isothermal SPM cycles from which positive work can be extracted. These results demonstrate that violations of the second law can arise from the lack of fundamental entropy properties or discrepancies between entropy definitions, and provide a unified and model-independent foundation for understanding the relationship between thermodynamics and measurement in GPTs.
This thesis investigates the connection between quantum theory, thermodynamics and information theory. Theories with structure similar to that of quantum theory are considered, mathematically described by the framework of "Generalized Probabilistic Theories". For these theories, a thought experiment by von Neumann is adapted to obtain a natural thermodynamic entropy definition, following a proposal by J. Barrett. Mathematical properties of this entropy are compared to physical consequences of the thought experiment. The validity of the second law of thermodynamics is investigated. In that context, observables and projective measurements are generalized to prove an entropy increase for projective measurements of ensembles. Information-theoretically motivated definitions of the entropy are compared to the entropy from the thermodynamic thought experiment. The conditions for the thermodynamic entropy to be well-defined are considered in greater detail. Several further properties of the theories under consideration (e.g. whether there is higher order interference, Pfister's state discrimination principle) and their relation to entropy are investigated.
This thesis explores various perspectives on quantum phenomena, and how our understanding of these phenomena is informed by the study of general probabilistic theories. Particular attention is given to quantum nonlocality, and its interaction with areas of physical and mathematical interest such as entropy, reversible dynamics, information-based games and the idea of negative probability. We begin with a review of non-signaling distributions and convex operational theories, including “black box” descriptions of experiments and the mathematics of convex vector spaces. In Chapter 3 we derive various classical and quantum-like quasiprobabilistic representations of arbitrary non-signaling distributions. Previously, results in which the density operator is allowed to become non-positive [1] have proved useful in derivations of quantum theory from physical requirements [2]; we derive a dual result in which the measurement operators instead are allowed to become non-positive, and show that the generation of any non-signaling distribution is possible using a fixed separable state with negligible correlation. We also derive two distinct “quasi-local” models of non-signaling correlations. Chapter 4 investigates non-local games, in particular the game known as Information Causality. By analysing the probability of success in this game, we prove the conjectured tightness of a bound given in [3] concerning how well entanglement allows us to perform the task of random access coding, and introduce a quadratic bias bound which seems to capture a great deal of information about the set of quantum-achievable correlations. By reformulating Information Causality in terms of entropies, we find that a sensible measure of entropy precludes many general probabilistic theories whose non-locality is stronger than that of quantum theory. Chapter 5 explores the role that reversible transitivity (the principle that any two pure states are joined by a reversible transformation) plays as a characteristic feature of quantum theory. It has previously been shown that in Boxworld, the theory allowing for the full set of non-signaling correlations, any reversible transformation on a restricted class of composite systems is merely a composition of relabellings of measurement choices and outcomes, and permutations of subsystems [4]. We develop a tabular description of Boxworld states and effects first introduced in [5], and use this to extend this reversibility result to any composite Boxworld system in which none of the subsystems are classical.
Thermodynamics is a highly successful macroscopic theory widely used across the natural sciences and for the construction of everyday devices, from car engines to solar cells. With thermodynamics predating quantum theory, research now aims to uncover the thermodynamic laws that govern finite size systems which may in addition host quantum effects. Recent theoretical breakthroughs include the characterisation of the efficiency of quantum thermal engines, the extension of classical non-equilibrium fluctuation theorems to the quantum regime and a new thermodynamic resource theory has led to the discovery of a set of second laws for finite size systems. These results have substantially advanced our understanding of nanoscale thermodynamics, however putting a finger on what is genuinely quantum in quantum thermodynamics has remained a challenge. Here we identify information processing tasks, the so-called projections, that can only be formulated within the framework of quantum mechanics. We show that the physical realisation of such projections can come with a non-trivial thermodynamic work only for quantum states with coherences. This contrasts with information erasure, first investigated by Landauer, for which a thermodynamic work cost applies for classical and quantum erasure alike. Repercussions on quantum work fluctuation relations and thermodynamic single-shot approaches are also discussed.
Thermodynamics is a highly successful macroscopic theory widely used across the natural sciences and for the construction of everyday devices, from car engines to solar cells. With thermodynamics predating quantum theory, research now aims to uncover the thermodynamic laws that govern finite size systems which may in addition host quantum effects. Recent theoretical breakthroughs include the characterisation of the efficiency of quantum thermal engines, the extension of classical non-equilibrium fluctuation theorems to the quantum regime and a new thermodynamic resource theory has led to the discovery of a set of second laws for finite size systems. These results have substantially advanced our understanding of nanoscale thermodynamics, however putting a finger on what is genuinely quantum in quantum thermodynamics has remained a challenge. Here we identify information processing tasks, the so-called projections, that can only be formulated within the framework of quantum mechanics. We show that the physical realisation of such projections can come with a non-trivial thermodynamic work only for quantum states with coherences. This contrasts with information erasure, first investigated by Landauer, for which a thermodynamic work cost applies for classical and quantum erasure alike. Repercussions on quantum work fluctuation relations and thermodynamic single-shot approaches are also discussed.