References & Citations
Quantum Physics
Title: The Free Energy of a General Computation
(Submitted on 29 Jan 2019 (v1), last revised 24 Oct 2019 (this version, v2))
Abstract: 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.
Submission history
From: Ämin Baumeler [view email][v1] Tue, 29 Jan 2019 13:57:36 GMT (47kb,D)
[v2] Thu, 24 Oct 2019 12:29:24 GMT (114kb,D)
Link back to: arXiv, form interface, contact.