The fundamental lower bounds of the thermodynamic energy cost (work) needed for the measurement and the erasure of information are found. The lower bound for the erasure vindicates the "Landauer's principle" for a special case, but otherwise implies its breakdown, indicating that no unique relationship exists between logical reversibility and physical one. Our results constitute the second law of "information thermodynamics", in which the information content and thermodynamic variables are treated on an equal footing.
In this work we explore the use of thermodynamic length to improve the performance of experimental protocols. In particular, we implement Landauer erasure on a driven electron level in a semiconductor quantum dot, and compare the standard protocol in which the energy is increased linearly in time with the one coming from geometric optimisation. The latter is obtained by choosing a suitable metric structure, whose geodesics correspond to optimal finite-time thermodynamic protocols in the slow driving regime. We show experimentally that geodesic drivings minimise dissipation for slow protocols, …
We consider two bottlenecks in quantum computing: limited memory size and noise caused by heat dissipation. Trying to optimize both, we investigate "on-the-go erasure" of quantum registers that are no longer needed for a given algorithm: freeing up auxiliary qubits as they stop being useful would facilitate the parallelization of computations. We study the minimal thermodynamic cost of erasure in these scenarios, applying results on the Landauer erasure of entangled quantum registers. For the class of algorithms solving the Abelian hidden subgroup problem, we find optimal on-the-go erasure pro…
We consider the generalized second law of black hole thermodynamics in the light of quantum information theory, in particular information erasure and Landauer's principle (namely, that erasure of information produces at least the equivalent amount of entropy). A small quantum system outside a black hole in the Hartle-Hawking state is studied, and the quantum system comes into thermal equilibrium with the radiation surrounding the black hole. For this scenario, we present a simple proof of the generalized second law based on quantum relative entropy. We then analyze the corresponding informatio…
Thermodynamics with multiple-conserved quantities offers a promising direction for designing novel devices. For example, Vaccaro and Barnett's [J. A. Vaccaro and S. M. Barnett, Proc. R. Soc. A 467, 1770 (2011); S. M. Barnett and J. A. Vaccaro, Entropy 15, 4956 (2013)] proposed information erasure scheme, where the cost of erasure is solely in terms of a conserved quantity other than energy, allows for new kinds of heat engines. In recent work, we studied the discrete fluctuations and average bounds of the erasure cost in spin angular momentum. Here we clarify the costs in terms of the spin equ…
Upon reviewing the article by Allahverdyan and Nieuwenhuizen in PRE, we conclude that neither the Landauer principle nor the counterexamples presented by the authors have any relation (i) to thermodynamics, and (ii) to the interdependence of nonstatistical quantum physics and thermodynamics.
Classical and quantum error correction are presented in the form of Maxwell's demon and their efficiency analyzed from the thermodynamic point of view. We explain how Landauer's principle of information erasure applies to both cases. By then extending this principle to entanglement manipulations we rederive upper bounds on purification procedures thereby linking the ''no local increase of entanglement'' principle to the Second Law of thermodynamics.
Interference comes from coherent mixing. It can be suppressed by entanglement, and the latter can be erased so as to revive interference. If the entanglement is a mimal-term one (with minimal-term mixing), as is the case in most thought and real experiments reported, there appears the possibility of counter erasure and counter interference. This peculiar phenomenon of minimal-term mixing and minimal-term entanglement is investigated in detail. In particular, all two-term mixings of an (arbitrary) given minimal-term mixed state are explicitly exhibited. And so are their possible laboratory real…
ICFO-Institut de Ciencies Fotoniques, The Barcelona Institute of Science and Technology（ICFO-光子科学研究所，巴塞罗那科学技术研究院）；MajuLab, CNRS-UCA-SU-NUS-NTU International Joint Research Laboratory（MajuLab，法国国家科研中心-南法大学-首尔大学-新加坡国立大学-南洋理工大学国际联合实验室）；Centre for Quantum Technologies, National University of Singapore（新加坡国立大学量子技术中心）；ICREA - Institució Catalana de Recerca i Estudis Avançats（加泰罗尼亚高级研究学院）；Universidad de Buenos Aires, Instituto de Física de Buenos Aires (IFIBA), CONICET（布宜诺斯艾利斯大学，布宜诺斯艾利斯物理研究所，阿根廷国家科学研究委员会）
Landauer's principle states that the erasure of one bit of information requires the free energy kT ln 2. We argue that the reliability of the bit erasure process is bounded by the accuracy inherent in the statistical state of the energy source (`the resources') driving the process. We develop a general framework describing the `thermodynamic worth' of the resources with respect to reliable bit erasure or good cooling. This worth turns out to be given by the distinguishability of the resource's state from its equilibrium state in the sense of a statistical inference problem. Accordingly, Kullba…
Erasure cost of a quantum process: A thermodynamic meaning of the dynamical min-entropy
International Institute of Information Technology, Hyderabad（海德拉巴信息技研究院）；Center for Security, Theory and Algorithmic Research（安全、理论与算法研究中心）；Centre for Quantum Science and Technology（量子科学与技术中心）；Center for Computational Natural Sciences and Bioinformatics（计算自然科学与生物信息中心）；Harish-Chandra Research Institute（哈里什-钱德拉研究所）；Homi Bhabha National Institute（霍米·巴巴国立研究所）
Information is physical but information is also processed in finite time. Where computing protocols are concerned, finite-time processing in the quantum regime can dynamically generate coherence. Here we show that this can have significant thermodynamic implications. We demonstrate that quantum coherence generated in the energy eigenbasis of a system undergoing a finite-time information erasure protocol yields rare events with extreme dissipation. These fluctuations are of purely quantum origin. By studying the full statistics of the dissipated heat in the slow driving limit, we prove that coh…
Correlations are a valuable resource for quantum information processing and quantum thermodynamics. However, the preparation of some correlated states can carry a substantial cost that should be compared against its value. We show that classical correlations can be catalytically exploited, which enables to mitigate heat and entropy dissipation in information erasure. These correlations are naturally generated by the erasure process, and thus can be considered free. Although we also show that maximum erasure with minimum dissipation and no correlations is theoretically possible, catalysts are a…
Quantum Landauer's principle provides a fundamental lower bound for energy dissipation occurred with information erasure in the quantum regime. While most studies have related the entropy reduction incorporated with the erasure to the lower bound~(entropic bound), recent efforts have also provided another lower bound associated with the thermal fluctuation of the dissipated energy~(thermodynamic bound). The coexistence of the two bounds has stimulated comparative studies of their properties; however, these studies were performed for systems where the time-evolution of diagonal (population) and…
Quantum vs Classical Erasure: Equal Bounds but Unequal Costs
Vienna Center for Quantum Science and Technology, Atominstitut, TU Wien（维也纳量子科学与技术中心，原子研究所，维也纳工业大学）；Institute for Quantum Optics and Quantum Information - IQOQI Vienna, Austrian Academy of Sciences（奥地利科学院维也纳量子光学与量子信息研究所）
Maxwell's Demon, 'a being whose faculties are so sharpened that he can follow every molecule in its course', has been the centre of much debate about its abilities to violate the second law of thermodynamics. Landauer's hypothesis, that the Demon must erase its memory and incur a thermodynamic cost, has become the standard response to Maxwell's dilemma, and its implications for the thermodynamics of computation reach into many areas of quantum and classical computing. It remains, however, still a hypothesis. Debate has often centred around simple toy models of a single particle in a box. Despi…
Various quantum thermodynamic bounds are shown to stem from a single tighter and more general inequality, consequence of the operator concavity of the logarithmic function. Such an inequality, which we call the "thermodynamic reverse bound", is compactly expressed as a quantum relative entropy, from which it inherits mathematical properties and meaning. As concrete examples, we apply our bound to evaluate the thermodynamic length for open processes, the heat exchange in erasure processes, and the maximal energy outflow in general quantum evolutions.
Thermodynamics is a highly successful macroscopic theory widely used across the natural sciences and for the construction of everyday devices, from car engines and fridges to power plants and 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. 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 …
Recently, we find a physical limit on energy consumption of quantum metrology, and demonstrate that it essentially arises from the erasure of quantum Fisher information (QFI) which determines the best achievable measurement precision. Here, we provide more details in order to further elaborate the essence of this principle.
Erasure is fundamental for information processing. It is also key in connecting information theory and thermodynamics, as it is a logically irreversible task. We provide a new angle on this connection, noting that there may be an additional cost to erasure, that is not captured by standard results such as Landauer's principle. To make this point we use a model of irreversibility based on Constructor Theory - a recently proposed generalization of the quantum theory of computation. The model uses a machine called the "quantum homogenizer", which has the ability to approximately realise the trans…
According to Landauer's principle, erasing one bit of information incurs a minimum energy cost. Recently, Vaccaro and Barnett (VB) explored information erasure within the context of generalized Gibbs ensembles and demonstrated that for energy-degenerate spin reservoirs, the cost of erasure can be solely in terms of a minimum amount of spin angular momentum and no energy. As opposed to the Landauer case, the cost of erasure in this case is associated with the discrete variable. Here we study the {\it discrete} fluctuations in this cost and the probability of violation of the VB bound. We also o…
In thermodynamics one considers thermal systems and the maximization of entropy subject to the conservation of energy. A consequence is Landauer's erasure principle, which states that the erasure of 1 bit of information requires a minimum energy cost equal to $kT\ln(2)$ where $T$ is the temperature of a thermal reservoir used in the process and $k$ is Boltzmann's constant. Jaynes, however, argued that the maximum entropy principle could be applied to any number of conserved quantities which would suggest that information erasure may have alternative costs. Indeed we showed recently that by usi…
Landauer argued that the process of erasing the information stored in a memory device incurs an energy cost in the form of a minimum amount of mechanical work. We find, however, that this energy cost can be reduced to zero by paying a cost in angular momentum or any other conserved quantity. Erasing the memory of Maxwell's demon in this way implies that work can be extracted from a single thermal reservoir at a cost of angular momentum and an increase in total entropy. The implications of this for the second law of thermodynamics are assessed.
Information is central to thermodynamics, providing the grounds to the formulation of the theory in powerful abstract statistical terms. One must not forget, however, that, as put by Landauer, {\it information is physical}. This means that the processing of information will be unavoidably linked to the costs of manipulating the real physical systems carrying the information. Here we will focus on the particular process of erasing information, which plays a fundamental role in the description of heat engines. We will review Landauer's principle and the associated erasure energy cost. We will al…
Landauer's erasure principle exposes an intrinsic relation between thermodynamics and information theory: the erasure of information stored in a system, S, requires an amount of work proportional to the entropy of that system. This entropy, H(S|O), depends on the information that a given observer, O, has about S, and the work necessary to erase a system may therefore vary for different observers. Here, we consider a general setting where the information held by the observer may be quantum-mechanical, and show that an amount of work proportional to H(S|O) is still sufficient to erase S. Since t…
We present a quantum error correction code which protects three quantum bits (qubits) of quantum information against one erasure, i.e., a single-qubit arbitrary error at a known position. To accomplish this, we encode the original state by distributing quantum information over six qubits which is the minimal number for the present task (see reference [1]). The encoding and error recovery operations for such a code are presented. It is noted that the present code is also a three-qubit quantum hidded information code over each qubit. In addition, an encoding scheme for hiding $n$-qubit quantum i…
Connections between information theory and thermodynamics have proven to be very useful to establish bounding limits for physical processes. Ideas such as Landauer's erasure principle and information assisted work extraction have greatly contributed not only to enlarge our understanding about the fundamental limits imposed by nature, but also to enlighten the path for practical implementations of information processing devices. The intricate information-thermodynamics relation also entails a fundamental limit on parameter estimation, establishing a thermodynamic cost for information acquisitio…
The laws of thermodynamics, despite their wide range of applicability, are known to break down when systems are correlated with their environments. Here, we generalize thermodynamics to physical scenarios which allow presence of correlations, including those where strong correlations are present. We exploit the connection between information and physics, and introduce a consistent redefinition of heat dissipation by systematically accounting for the information flow from system to bath in terms of the conditional entropy. As a consequence, the formula for the Helmholtz free energy is according…
Landauer's erasure principle is a cornerstone of thermodynamics and information theory. According to this principle, erasing information incurs a minimum energy cost. Recently, Vaccaro and Barnett [Proc. R. Soc {\bf 467}, 1770 (2011)] explored information erasure in the context of multiple conserved quantities and showed that the erasure cost can be solely in terms of spin angular momentum. As Landauer's erasure principle plays a fundamental role in heat engines, their result considerably widens the possible configurations that heat engines can have. Motivated by this, we propose here a novel …
Investigating principles for storage of quantum information at finite temperature with minimal need for active error correction is an active area of research. We bear upon this question in two-dimensional holographic conformal field theories via the quantum null energy condition (QNEC) that we have shown earlier to implement the restrictions imposed by quantum thermodynamics on such many-body systems. We study an explicit encoding of a logical qubit into two similar chirally propagating excitations of finite von-Neumann entropy on a finite temperature background whose erasure can be implemente…
The fluctuation-dissipation theorem is a fundamental result in statistical physics that establishes a connection between the response of a system subject to a perturbation and the fluctuations associated with observables in equilibrium. Here we derive its version within a resource-theoretic framework, where one investigates optimal quantum state transitions under thermodynamic constraints. More precisely, we first characterise optimal thermodynamic distillation processes, and then prove a relation between the amount of free energy dissipated in such processes and the free energy fluctuations o…
It is generally accepted, following Landauer and Bennett, that the process of measurement involves no minimum entropy cost, but the erasure of information in resetting the memory register of a computer to zero requires dissipating heat into the environment. This thesis has been challenged recently in a two-part article by Earman and Norton. I review some relevant observations in the thermodynamics of computation and argue that Earman and Norton are mistaken: there is in principle no entropy cost to the acquisition of information, but the destruction of information does involve an irreducible e…
We investigate, theoretically and experimentally, the thermodynamic performance of a minimal three-qubit heat-bath algorithmic cooling refrigerator. We analytically compute the coefficient of performance, the cooling power and the polarization of the target qubit for an arbitrary number of cycles, taking realistic experimental imperfections into account. We determine their fundamental upper bounds in the ideal reversible limit and show that these values may be experimentally approached using a system of three qubits in a nitrogen-vacancy center in diamond.
In the scientific and engineering literature, the second law of thermodynamics is expressed in terms of the behavior of entropy in reversible and irreversible processes. According to the prevailing statistical mechanics interpretation the entropy is viewed as a nonphysical statistical attribute, a measure of either disorder in a system, or lack of information about the system, or erasure of information collected about the system, and a plethora of analytic expressions are proposed for the various measures. In this paper, we present two expositions of thermodynamics (both 'revolutionary' in the…
The erasure of a bit of information encoded in a physical system is an irreversible operation bound to dissipate an amount of energy $Q = k_\text{B} T\ln 2$. As a result, work $W \geq Q$ has to be applied to the physical system to restore the erased information content. This limit, called Landauer limit, sets a minimal energy dissipation inherent to any classical computation. In the pursuit of the fastest and most efficient means of computation, the ultimate challenge is to produce a memory device executing an operation as close to this limit in the shortest time possible. Here, we use a cryst…
Quantum state engineering and quantum computation rely on information erasure procedures that, up to some fidelity, prepare a quantum object in a pure state. Such processes occur within Landauer's framework if they rely on an interaction between the object and a thermal reservoir. Landauer's principle dictates that this must dissipate a minimum quantity of heat, proportional to the entropy reduction that is incurred by the object, to the thermal reservoir. However, this lower bound is only reachable for some specific physical situations, and it is not necessarily achievable for any given reser…
Finite-Time Thermodynamics of an Autonomous Information Machine
School of Physics and Astronomy, Beijing Normal University（北京师范大学物理与天文学院）；Key Laboratory of Multiscale Spin Physics (Ministry of Education), Beijing Normal University（北京师范大学多尺度自旋物理教育部重点实验室）
We analyze an engine whose working fluid consists of a single quantum particle, paralleling Szilard's construction of a classical single-particle engine. Following his resolution of Maxwell's Second Law paradox using the latter, which turned on physically instantiating the demon (control subsystem), the quantum engine's design mirrors the classically-chaotic Szilard Map that operates a thermodynamic cycle of measurement, thermal-energy extraction, and memory reset. Focusing on the thermodynamic costs to observe and control the particle and comparing these in the quantum and classical limits, w…
We study the fundamental limitations of cooling to absolute zero for a qubit, interacting with a single mode of the electromagnetic field. Our results show that the dynamical Casimir effect, which is unavoidable in any finite-time thermodynamic cycle, forbids the attainability of the absolute zero of temperature, even in the limit of an infinite number of cycles.
The heat dissipation in quantum metrology represents not only an unavoidable problem towards practical applications of quantum sensing devices but also a fundamental relationship between thermodynamics and quantum metrology. However, a general thermodynamic principle which governs the rule of energy consumption in quantum metrology, similar to Landauer's principle for heat dissipation in computations, has remained elusive. Here, we establish such a physical principle for energy consumption in order to achieve a certain level of measurement precision in quantum metrology, and show that it is in…
We expand the standard thermodynamic framework of a system coupled to a thermal reservoir by considering a stream of independently prepared units repeatedly put into contact with the system. These units can be in any nonequilibrium state and interact with the system with an arbitrary strength and duration. We show that this stream constitutes an effective resource of nonequilibrium free energy and identify the conditions under which it behaves as a heat, work or information reservoir. We also show that this setup provides a natural framework to analyze information erasure ("Landauer's principl…
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 definition of the dimension of physical systems, based on measurements and on the capacity of storing information. While both definitions are equivalent in classical and quantum mechanics, they are in general 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 a dimension mismatch. This dimension mismatch can be made arbitrarily large b…
