Free energy of a general computation
Ämin Baumeler and Stefan Wolf
Phys. Rev. E 100, 052115 (2019) - Published 15 November, 2019
Starting from Landauer's slogan “information is physical,” we revise and modify Landauer's principle stating that the erasure of information has a minimal price in the form of a certain quantity of free energy. We establish a direct link between the erasure cost and the work value of a piece of information and show that the former is essentially the length of the string's best compression by a reversible computation. We generalize the principle by deriving bounds on the free energy to be invested for—or gained from, for that matter—a general computation. We then revisit the second law of thermodynamics and compactly rephrase it (assuming the Church-Turing-Deutsch hypothesis that physical reality can be simulated by a universal Turing machine): Time evolutions are logically reversible—“the future fully remembers the past (but not necessarily vice versa).” We link this view to previous formulations of the second law, and we argue that it has a particular feature that suggests its “logico-informational” nature, namely, simulation resilience: If a computation faithfully simulates a physical process violating the law, then that very computation procedure violates it as well.

