Thermodynamics of stochastic Turing machines

Abstract

In analogy to Brownian computers we explicitly show how to construct stochastic models, which mimic the behaviour of a general purpose computer (a Turing machine). Our models are discrete state systems obeying a Markovian master equation, which are logically reversible and have a well-defined and consistent thermodynamic interpretation. The resulting master equation, which describes a simple one-step process on an enormously large state space, allows us to thoroughly investigate the thermodynamics of computation for this situation. Especially, in the stationary regime we can well approximate the master equation by a simple Fokker-Planck equation in one dimension. We then show that the entropy production rate at steady state can be made arbitrarily small, but the total (integrated) entropy production is finite and grows logarithmically with the number of computational steps.

13 pages incl. appendix, 3 figures and 1 table, slightly changed version as published in PRE

References in corpus (12)

• Efficiency at maximum power: An analytically solvable model for stochastic heat engines
• High-precision test of Landauer's principle in a feedback trap
• Work and information processing in a solvable model of Maxwell's demon
• Thermodynamics of a physical model implementing a Maxwell demon
• Thermodynamic costs of information processing in sensory adaption
• Efficiency of cellular information processing
• Fluctuation Theorem for Partially-masked Nonequilibrium Dynamics
• Stochastic thermodynamics with information reservoirs
• Information-theoretic vs. thermodynamic entropy production in autonomous sensory networks
• Role of measurement-feedback separation in autonomous Maxwell's demons
• The Second Laws for an Information driven Current through a Spin Valve
• Critical Remarks on Landauer's principle of erasure-dissipation

Cited by in corpus (21)

• Quantum and Information Thermodynamics: A Unifying Framework based on Repeated Interactions
• Quantum technologies need a Quantum Energy Initiative
• Stochastic thermodynamics of computation
• Above and Beyond the Landauer Bound: Thermodynamics of Modularity
• Identifying Functional Thermodynamics in Autonomous Maxwellian Ratchets
• Autonomous conversion of information to work in quantum dots
• Is stochastic thermodynamics the key to understanding the energy costs of computation?
• Thermodynamic costs of Turing Machines
• Transient Dissipation and Structural Costs of Physical Information Transduction
• Thermodynamics of Quantum Causal Models: An Inclusive, Hamiltonian Approach
• Thermodynamics of computations with absolute irreversibility, unidirectional transitions, and stochastic computation times
• Measurement-feedback formalism meets information reservoirs
• Landauer Principle and Thermodynamics of Computation
• Thermodynamic cost of Brownian computers in the stochastic thermodynamics of resetting
• The thermodynamics of quasi-deterministic digital computers
• What Is a Pattern in Statistical Mechanics? Formalizing Structure and Patterns in One-Dimensional Spin Lattice Models with Computational Mechanics
• Energy-Efficient Pseudo-Ratchet for Brownian Computers through One-Dimensional Quantum Brownian Motion
• A thermodynamically consistent model of finite state machines
• Revisiting thermodynamics in computation and information theory
• Performance limits and trade-offs in entropy-driven biochemical computers
• Join gate with memory in token-conserving Brownian circuits and the thermodynamic cost