Quantum Foundations of Classical Reversible Computing (original) (raw)
Related papers
The thermodynamic cost of quantum operations
The amount of heat generated by computers is rapidly becoming one of the main problems for developing new generations of information technology. The thermodynamics of computation sets the ultimate physical bounds on heat generation. A lower bound is set by the Landauer Limit, at which computation becomes thermodynamically reversible. For classical computation there is no physical principle which prevents this limit being reached, and approaches to it are already being experimentally tested. In this paper we show that for quantum computation there is an unavoidable excess heat generation that renders it inherently thermodynamically irreversible. The Landauer Limit cannot, in general, be reached by quantum computers. We show the existence of a lower bound to the heat generated by quantum computing that exceeds that given by the Landauer Limit, give the special conditions where this excess cost may be avoided, and show how classical computing falls within these special conditions.
Quantum logic as reversible computing
2021
The relation between entropy and information has great significance for computation. Based on the strict reversibility of the laws of microphysics, Landauer (1961), Bennett (1973), Priese (1976), Fredkin and Toffoli (1982), Feynman (1985) and others envisioned a reversible computer that cannot allow any ambiguity in backward steps of a calculation. It is this backward capacity that makes reversible computing radically different from ordinary, irreversible computing. The proposal aims at a higher kind of computer that would give the actual output of a computation together with the original input, with the absence of a minimum energy requirement. Hence, information retrievability and energy efficiency due to diminished heat dissipation are the exquisite tasks of quantum computer technology.
Irreversible entropy production: From classical to quantum
Reviews of Modern Physics, 2021
Entropy production is a key quantity in any finite-time thermodynamic process. It is intimately tied with the fundamental laws of thermodynamics, embodying a tool to extend thermodynamic considerations all the way to non-equilibrium processes. It is also often used in attempts to provide the quantitative characterization of logical and thermodynamic irreversibility, stemming from processes in physics, chemistry and biology. Notwithstanding its fundamental character, a unifying theory of entropy production valid for general processes, both classical and quantum, has not yet been formulated. Developments pivoting around the frameworks of stochastic thermodynamics, open quantum systems, and quantum information theory have led to substantial progress in such endeavour. This has culminated in the unlocking of a new generation of experiments able to address stochastic thermodynamic processes and the impact of entropy production on them. This paper aims to provide a compendium on the current framework for the description, assessment and manipulation of entropy production. We present both formal aspects of its formulation and the implications stemming from the potential quantum nature of a given process, including a detailed survey of recent experiments.
Macroscopic Thermodynamic Reversibility in Quantum Many-Body Systems
Physical Review Letters, 2019
The resource theory of thermal operations, an established model for small-scale thermodynamics, provides an extension of equilibrium thermodynamics to nonequilibrium situations. On a lattice of any dimension with any translation-invariant local Hamiltonian, we identify a large set of translation-invariant states that can be reversibly converted to and from the thermal state with thermal operations and a small amount of coherence. These are the spatially ergodic states, i.e., states that have sharp statistics for any translation-invariant observable, and mixtures of such states with the same thermodynamic potential. As an intermediate result, we show for a general state that if the min-and the max-relative entropy to the thermal state coincide approximately, this implies the approximately reversible interconvertibility to and from the thermal state with thermal operations and a small source of coherence. Our results provide a strong link between the abstract resource theory of thermodynamics and more realistic physical systems, as we achieve a robust and operational characterization of the emergence of a thermodynamic potential in translation-invariant lattice systems.
AIP Conference Proceedings, 2002
The Kullback-Leibler inequality is a way of comparing any two density matrices. A technique to set up the density matrix for a physical system is to use the maximum entropy principle, given the entropy as a functional of the density matrix, subject to known constraints. In conjunction with the master equation for the density matrix, these two ingredients allow us to formulate the second law of thermodynamics in its widest possible setting. Thus problems arising in both quantum statistical mechanics and quantum information can be handled. Aspects of thermodynamic concepts such as the Carnot cycle will be discussed. A model is examined to elucidate the role of entanglement in the Landauer erasure problem.
Entropy and Computation: The Landauer-Bennett Thesis Reexamined (2013)
The so-called Landauer-Bennett thesis says that logically irreversible operations (physically implemented) such as erasure necessarily involve dissipation by at least kln2 per bit of lost information. We identify the physical conditions that are necessary and sufficient for erasure and show that the thesis does not follow from the principles of classical mechanics. In particular, we show that even if one assumes that information processing is constrained by the laws of classical mechanics, it need not be constrained by the Second Law of thermodynamics.
Entropy and Computation: The Landauer-Bennett Thesis Reexamined
Entropy, 2013
The so-called Landauer-Bennett thesis says that logically irreversible operations (physically implemented) such as erasure necessarily involve dissipation by at least kln2 per bit of lost information. We identify the physical conditions that are necessary and sufficient for erasure and show that the thesis does not follow from the principles of classical mechanics. In particular, we show that even if one assumes that information processing is constrained by the laws of classical mechanics, it need not be constrained by the Second Law of thermodynamics.
How Much of One-Way Computation Is Just Thermodynamics
Foundations of Physics, 2008
In this paper we argue that one-way quantum computation can be seen as a form of phase transition with the available information about the solution of the computation being the order parameter. We draw a number of striking analogies between standard thermodynamical quantities such as energy, temperature, work, and corresponding computational quantities such as the amount of entanglement, time, potential capacity for computation, respectively. Aside from being intuitively pleasing, this picture allows us to make novel conjectures, such as an estimate of the necessary critical time to finish a computation and a proposal of suitable architectures for universal one-way computation in 1D.
Aapp Physical Mathematical and Natural Sciences, 2008
What is the physical significance of entropy? What is the physical origin of irreversibility? Do entropy and irreversibility exist only for complex and macroscopic systems? Most physicists still accept and teach that the rationalization of these fundamental questions is given by Statistical Mechanics. Indeed, for everyday laboratory physics, the mathematical formalism of Statistical Mechanics (canonical and grand-canonical, Boltzmann, Bose-Einstein and Fermi-Dirac distributions) allows a successful description of the thermodynamic equilibrium properties of matter, including entropy values. However, as already recognized by Schrödinger in 1936, Statistical Mechanics is impaired by conceptual ambiguities and logical inconsistencies, both in its explanation of the meaning of entropy and in its implications on the concept of state of a system. An alternative theory has been developed by Gyftopoulos, Hatsopoulos and the present author to eliminate these stumbling conceptual blocks while maintaining the mathematical formalism so successful in applications. To resolve both the problem of the meaning of entropy and that of the origin of irreversibility we have built entropy and irreversibility into the laws of microscopic physics. The result is a theory, that we call Quantum Thermodynamics, that has all the necessary features to combine Mechanics and Thermodynamics uniting all the successful results of both theories, eliminating the logical inconsistencies of Statistical Mechanics and the paradoxes on irreversibility, and providing an entirely new perspective on the microscopic origin of irreversibility, nonlinearity (therefore including chaotic behavior) and maximal-entropy-generation nonequilibrium dynamics. In this paper we discuss the background and formalism of Quantum Thermodynamics including its nonlinear equation of motion and the main general results. Our objective is to show in a not-too-technical manner that this theory provides indeed a complete and coherent resolution of the century-old dilemma on the meaning of entropy and the origin of irreversibility, including Onsager reciprocity relations and maximal-entropy-generation nonequilibrium dynamics, which we believe provides the microscopic foundations of heat, mass and momentum transfer theories, including all their implications such as Bejan's Constructal Theory of natural phenomena.
Thermodynamics of Quantum Information Systems — Hamiltonian Description
Open Systems & Information Dynamics (OSID), 2004
It is often claimed, that from a quantum system of d levels, and entropy S and heat bath of temperature T one can draw kT ln d − T S amount of work. However, the usual arguments basing on Szilard engine, are not fully rigorous. Here we prove the formula within Hamiltonian description of drawing work from a quantum system and a heat bath, at the cost of entropy of the system. We base on the derivation of thermodynamical laws and quantities in [10] within weak coupling limit. Our result provides fully physical scenario for extracting thermodynamical work form quantum correlations . We also derive Landauer's principle as a consequence of the second law within the considered model.