Thermodynamic and Logical Reversibilities Revisited

Abstract

We review and investigate the general theory of thermodynamics of computation, and derive the fundamental inequalities that set the lower bounds of the work requirement and the heat emission during a computation. These inequalities constitute the generalized Landauer principle, where the information contents are involved in the second law of thermodynamics. We discuss in detail the relationship between the thermodynamic and logical reversibilities; the former is related to the entropy production in the total system including a heat bath, while the latter is related to the entropy change only in the logical states of the memory. In particular, we clarify that any logically irreversible computation can be performed in a thermodynamically reversible manner in the quasi-static limit, which does not contradict the conventional Landauer principle. Our arguments would serve as the theoretical foundation of thermodynamics of computation in terms of modern statistical physics.

Submitted to the Statphys 25 proceedings as a Special Issue of J. Stat. Mech

References in corpus (15)

• The Physics of Maxwell's demon and information
• Dissipation: The phase-space perspective
• Second Law of Thermodynamics with Discrete Quantum Feedback Control
• The thermodynamic meaning of negative entropy
• Work and information processing in a solvable model of Maxwell's demon
• The thermodynamics of prediction
• Thermodynamics of a physical model implementing a Maxwell demon
• Quantum Szilard Engine
• Nonequilibrium Detailed Fluctuation Theorem for Repeated Discrete Feedback
• Extracting work from a single heat bath through feedback
• Thermodynamics of feedback controlled systems
• Finite-time erasing of information stored in fermionic bits
• Information erasure without an energy cost
• Information and entropy in quantum Brownian motion: Thermodynamic entropy versus von Neumann entropy
• Relations between Entropies Produced in Nondeterministic Thermodynamic Processes

Cited by in corpus (53)

• High-precision test of Landauer's principle in a feedback trap
• Quantum and Information Thermodynamics: A Unifying Framework based on Repeated Interactions
• Quantum technologies need a Quantum Energy Initiative
• Semantic information, autonomous agency, and nonequilibrium statistical physics
• Stochastic thermodynamics of computation
• Large work extraction and the Landauer limit in a continuous Maxwell demon
• Thermodynamic uncertainty relations including measurement and feedback
• Fluctuation Theorem for Many-Body Pure Quantum States
• Sub $k_{B}T$ micro-electromechanical irreversible logic gate
• Stochastic thermodynamics with information reservoirs
• Erasure without work in an asymmetric, double-well potential
• Direct measurement of nonequilibrium system entropy is consistent with Gibbs-Shannon form
• Stochastic Thermodynamics of Non-Linear Electronic Circuits: A Realistic Framework for Computing around kT
• Autonomous conversion of information to work in quantum dots
• Thermodynamics of computing with circuits
• Is stochastic thermodynamics the key to understanding the energy costs of computation?
• Dependence of dissipation on the initial distribution over states
• Thermodynamic costs of Turing Machines
• Uncertainty relations and fluctuation theorems for Bayes nets
• Thermodynamics of computations with absolute irreversibility, unidirectional transitions, and stochastic computation times
• Number of hidden states needed to physically implement a given conditional distribution
• The free energy requirements of biological organisms; implications for evolution
• The thermodynamic cost of quantum operations
• A space-time tradeoff for implementing a function with master equation dynamics
• Thermodynamics of collisional models for Brownian particles: General properties and efficiency
• Landauer Principle and Thermodynamics of Computation
• Balancing Error and Dissipation in Computing
• Dependence of integrated, instantaneous, and fluctuating entropy production on the initial state in quantum and classical processes
• Fluctuations of work cost in optimal generation of correlations
• Refining Landauer's Stack: Balancing Error and Dissipation When Erasing Information
• Landauer Bound for Analog Computing Systems
• Dissipation reduction and information-to-measurement conversion in DNA pulling experiments with feedback protocols
• Quantum Foundations of Classical Reversible Computing
• Conditional entropy and Landauer principle
• Heat production and error probability relation in Landauer reset at effective temperature
• Probabilistic work extraction on a classical oscillator beyond the second law
• Generalized Continuous Maxwell Demons
• Thermodynamics of majority-logic decoding in information erasure
• Hamiltonian Memory: An Erasable Classical Bit
• Obtaining efficient collisional engines via velocity dependent drivings
• Thermodynamics of Encoding and Encoders
• Ergodicity Breaking and Scaling Relations for Finite-Time First-Order Phase Transition
• Experimentally achieving minimal dissipation via thermodynamically optimal transport
• Minimal thermodynamic cost of communication
• Does universal controllability of physical systems prohibit thermodynamic cycles?
• Stochastic Thermodynamics of Learning Parametric Probabilistic Models
• Fluctuation Theorems with Retrodiction rather than Reverse Processes
• Bridging the Band Gap: What Device Physicists Need to Know About Machine Learning
• Virtual double-well potential for an underdamped oscillator created by a feedback loop
• Simple explanation of Landauer's bound and its ineffectiveness for multivalued logic
• Work extraction, information-content and the Landauer bound in the continuous Maxwell Demon
• How to measure heat in stochastic systems
• Time Symmetries of Memory Determine Thermodynamic Efficiency