Above and Beyond the Landauer Bound: Thermodynamics of Modularity

Information processing typically occurs via the composition of modular units, such as universal logic gates. The benefit of modular information processing, in contrast to globally integrated information processing, is that complex global computations are more easily and flexibly implemented via a series of simpler, localized information processing operations which only control and change local degrees of freedom. We show that, despite these benefits, there are unavoidable thermodynamic costs to modularity---costs that arise directly from the operation of localized processing and that go beyond Landauer's dissipation bound for erasing information. Integrated computations can achieve Landauer's bound, however, when they globally coordinate the control of all of an information reservoir's degrees of freedom. Unfortunately, global correlations among the information-bearing degrees of freedom are easily lost by modular implementations. This is costly since such correlations are a thermodynamic fuel. We quantify the minimum irretrievable dissipation of modular computations in terms of the difference between the change in global nonequilibrium free energy, which captures these global correlations, and the local (marginal) change in nonequilibrium free energy, which bounds modular work production. This modularity dissipation is proportional to the amount of additional work required to perform the computational task modularly. It has immediate consequences for physically embedded transducers, known as information ratchets. We show how to circumvent modularity dissipation by designing internal ratchet states that capture the global correlations and patterns in the ratchet's information reservoir. Designed in this way, information ratchets match the optimum thermodynamic efficiency of globally integrated computations.

[1]  James P. Crutchfield,et al.  Transient Dissipation and Structural Costs of Physical Information Transduction , 2017, Physical review letters.

[2]  P. R. ten Wolde,et al.  Biochemical Machines for the Interconversion of Mutual Information and Work. , 2017, Physical review letters.

[3]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[4]  Rolf Landauer,et al.  Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..

[5]  Christopher Jarzynski,et al.  Maxwell's refrigerator: an exactly solvable model. , 2013, Physical review letters.

[6]  Christopher Jarzynski,et al.  Work and information processing in a solvable model of Maxwell’s demon , 2012, Proceedings of the National Academy of Sciences.

[7]  Touchette,et al.  Information-theoretic limits of control , 1999, Physical review letters.

[8]  J. Clarke,et al.  The flux qubit revisited to enhance coherence and reproducibility , 2015, Nature Communications.

[9]  Lloyd,et al.  Use of mutual information to decrease entropy: Implications for the second law of thermodynamics. , 1989, Physical review. A, General physics.

[10]  M. Roukes,et al.  Basins of attraction of a nonlinear nanomechanical resonator. , 2007, Physical review letters.

[11]  Claude E. Shannon,et al.  A Universal Turing Machine with Two Internal States , 1956 .

[12]  Ursula Dresdner,et al.  Computation Finite And Infinite Machines , 2016 .

[13]  Massimiliano Esposito,et al.  Second law and Landauer principle far from equilibrium , 2011, 1104.5165.

[14]  How can an autonomous quantum Maxwell demon harness correlated information , 2016 .

[15]  J Eisert,et al.  Second law of thermodynamics under control restrictions. , 2016, Physical review. E.

[16]  Fazlollah M. Reza,et al.  Introduction to Information Theory , 2004, Lecture Notes in Electrical Engineering.

[17]  James P. Crutchfield,et al.  Computational Mechanics of Input-Output Processes: Structured transformations and the ε-transducer , 2014, ArXiv.

[18]  A. Miyake,et al.  How an autonomous quantum Maxwell demon can harness correlated information. , 2015, Physical review. E, Statistical, nonlinear, and soft matter physics.

[19]  Eli Upfal,et al.  Probability and Computing: Randomized Algorithms and Probabilistic Analysis , 2005 .

[20]  Susanne Still,et al.  The thermodynamics of prediction , 2012, Physical review letters.

[21]  John R. Koza,et al.  Genetic programming - on the programming of computers by means of natural selection , 1993, Complex adaptive systems.

[22]  M. Esposito Stochastic thermodynamics under coarse graining. , 2011, Physical review. E, Statistical, nonlinear, and soft matter physics.

[23]  C. Sunstein,et al.  Irreversibility , 2008 .

[24]  M. Sano,et al.  Experimental demonstration of information-to-energy conversion and validation of the generalized Jarzynski equality , 2010 .

[25]  U. Alon An introduction to systems biology : design principles of biological circuits , 2019 .

[26]  Neri Merhav Relations Between Work and Entropy Production for General Information-Driven, Finite-State Engines , 2016, ArXiv.

[27]  James P Crutchfield,et al.  Time's barbed arrow: irreversibility, crypticity, and stored information. , 2009, Physical review letters.

[28]  Eörs Szathmáry,et al.  The Major Transitions in Evolution , 1997 .

[29]  Harald Niederreiter,et al.  Probability and computing: randomized algorithms and probabilistic analysis , 2006, Math. Comput..

[30]  Masud Mansuripur,et al.  Introduction to information theory , 1986 .

[31]  Gernot Schaller,et al.  Thermodynamics of stochastic Turing machines , 2015, Physical review. E, Statistical, nonlinear, and soft matter physics.

[32]  Matthew J. Davis,et al.  Emergence of order from turbulence in an isolated planar superfluid. , 2014, Physical review letters.

[33]  Young,et al.  Inferring statistical complexity. , 1989, Physical review letters.

[34]  Neri Merhav,et al.  Sequence complexity and work extraction , 2015, ArXiv.

[35]  Masahito Ueda,et al.  Generalized Jarzynski equality under nonequilibrium feedback control. , 2009, Physical review letters.

[36]  Seth Lloyd,et al.  Information-theoretic approach to the study of control systems , 2001, physics/0104007.

[37]  T. Sagawa,et al.  Thermodynamics of information , 2015, Nature Physics.

[38]  H. Neven,et al.  Observation of Classical-Quantum Crossover of 1/f Flux Noise and Its Paramagnetic Temperature Dependence. , 2016, Physical review letters.

[39]  J. Crutchfield The calculi of emergence: computation, dynamics and induction , 1994 .

[40]  T. Toffoli,et al.  Conservative logic , 2002, Collision-Based Computing.

[41]  Jordan M Horowitz,et al.  Imitating chemical motors with optimal information motors. , 2012, Physical review letters.

[42]  Zhiyue Lu,et al.  Engineering Maxwell's demon , 2014 .

[43]  J. Crutchfield,et al.  Regularities unseen, randomness observed: levels of entropy convergence. , 2001, Chaos.

[44]  Gregory S. Hornby,et al.  An Evolved Antenna for Deployment on NASA's Space Technology 5 Mission , 2004 .

[45]  J. Glenn Brookshear,et al.  Theory of Computation: Formal Languages, Automata, and Complexity , 1989 .

[46]  James P. Crutchfield,et al.  Computational Mechanics of Input–Output Processes: Structured Transformations and the ϵ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \ , 2014, Journal of Statistical Physics.

[47]  C. Jarzynski,et al.  Information Processing and the Second Law of Thermodynamics: An Inclusive Hamiltonian Approach. , 2013, 1308.5001.

[48]  James P. Crutchfield,et al.  Information Symmetries in Irreversible Processes , 2011, Chaos.

[49]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[50]  P. N. Fahn Maxwell's demon and the entropy cost of information , 1996 .

[51]  Pieter Rein ten Wolde,et al.  Thermodynamics of Computational Copying in Biochemical Systems , 2015, 1503.00909.

[52]  I. Young,et al.  Beyond CMOS computing with spin and polarization , 2018 .

[53]  Quantum thermodynamics with local control. , 2016, Physical review. E.

[54]  Nathan Crilly,et al.  From modularity to emergence: a primer on the design and science of complex systems , 2016 .

[55]  Yonggun Jun,et al.  High-precision test of Landauer's principle in a feedback trap. , 2014, Physical review letters.

[56]  J. Hopfield,et al.  From molecular to modular cell biology , 1999, Nature.

[57]  James P. Crutchfield,et al.  Leveraging Environmental Correlations: The Thermodynamics of Requisite Variety , 2016, ArXiv.

[58]  J. Crutchfield,et al.  Fluctuations When Driving Between Nonequilibrium Steady States , 2016, 1610.09444.

[59]  James P. Crutchfield,et al.  Correlation-powered Information Engines and the Thermodynamics of Self-Correction , 2016, Physical review. E.

[60]  Jayne Thompson,et al.  Thermodynamics of complexity and pattern manipulation. , 2015, Physical review. E.

[61]  Patrick R. Zulkowski,et al.  Optimal finite-time erasure of a classical bit. , 2013, Physical review. E, Statistical, nonlinear, and soft matter physics.

[62]  Masahito Ueda,et al.  Fluctuation theorem with information exchange: role of correlations in stochastic thermodynamics. , 2012, Physical review letters.

[63]  Eld,et al.  Identifying functional thermodynamics in autonomous Maxwellian ratchets , 2016 .

[64]  A. B. Boyd,et al.  Maxwell Demon Dynamics: Deterministic Chaos, the Szilard Map, and the Intelligence of Thermodynamic Systems. , 2015, Physical review letters.

[65]  James P. Crutchfield,et al.  Thermodynamics of Random Number Generation , 2016, Physical review. E.

[66]  Rainer Storn,et al.  Differential Evolution – A Simple and Efficient Heuristic for global Optimization over Continuous Spaces , 1997, J. Glob. Optim..

[67]  Rajeev Motwani,et al.  Randomized Algorithms , 1995, SIGA.