Thermodynamics of computations with absolute irreversibility, unidirectional transitions, and stochastic computation times
Manzano, Gonzalo; Kardeş, Gülce; Roldán, Édgar; Wolpert, David
Physical Review X , 021026 (2024)
Physical Review X , 021026 (2024)
Developing a thermodynamic theory of computation is a challenging task at the interface of nonequilibrium thermodynamics and computer science. In particular, this task requires dealing with difficulties such as stochastic halting times, unidirectional (possibly deterministic) transitions, and restricted initial conditions, features common in real-world computers. Here, we present a framework which tackles all such difficulties by extending the martingale theory of nonequilibrium thermodynamics to generic nonstationary Markovian processes, including those with broken detailed balance and/or absolute irreversibility. We derive several universal fluctuation relations and second-law-like inequalities that provide both lower and upper bounds on the intrinsic dissipation (mismatch cost) associated with any periodic process—in particular, the periodic processes underlying all current digital computation. Crucially, these bounds apply even if the process has stochastic stopping times, as it does in many computational machines. We illustrate our results with exhaustive numerical simulations of deterministic finite automata processing bit strings, one of the fundamental models of computation from theoretical computer science. We also provide universal equalities and inequalities for the acceptance probability of words of a given length by a deterministic finite automaton in terms of thermodynamic quantities, and outline connections between computer science and stochastic resetting. Our results, while motivated from the computational context, are applicable far more broadly.
Related research projects
CoQuSy
Complex Quantum Systems: machine learning, thermodynamics, and emergent phenomena
P.I.: Gian Luca Giorgi, Gonzalo Manzano, Roberta Zambrini
CoQuSy is a coordinated project and joins all the researchers at IFISC (belonging either to CSIC or UIB) working in the common line of complex quantum systems. The coordination is motivated by …
CoQuSy-CSIC
Complex Quantum Systems: machine learning, thermodynamics, and emergent phenomena
P.I.: Gonzalo Manzano, Roberta Zambrini
CoQuSy is a coordinated project and joins all the researchers at IFISC (belonging either to CSIC or UIB) working in the common line of complex quantum systems. The coordination is motivated by …
QTD-InFlexity
Quantum thermodynamics: information, fluctuations and complexity
P.I.: Gonzalo Manzano
In the last two decades, thermodynamics has been extended to describe small systems, where the action of environmental noise “blurs” traditional thermodynamic constraints and information plays a central role. While the first …
MdM-IFISC-2
Maria de Maeztu 2023-2026
P.I.: Ernesto Estrada, Ingo Fischer, Emilio Hernández-García, Rosa Lopez, Claudio Mirasso, Jose Javier Ramasco, Raúl Toral, Roberta Zambrini
After 15 years of its existence, IFISC can point to a proven track record of impactful research. The previous 2018-2022 MdM award has significantly enhanced the institute's capabilities, as demonstrated by an …
Related News
Entendre el cost energètic de la computació
May 15, 2024
Investigadors de l'Institut de Física Interdisciplinària i Sistemes Complexos (IFISC, UIB-CSIC), la Universitat de Colorado, el Santa Fe Institute i el Centre Internacional Abdus Salam de Física Teòrica (ICTP) han assolit progressos que milloren la nostra comprensió teòrica de les …
Understanding the energy costs of computing
May 15, 2024
Researchers from the Institute for Cross-Disciplinary Physics and Complex Systems (IFISC) UIB-CSIC (Mallorca, Spain), the University of Colorado, the Santa Fe Institute, and the The Abdus Salam International Centre for Theoretical Physics (ICTP), have made advancements that refine our fundamental …
Entendiendo el coste energético de la computación
May 15, 2024
Investigadores del Instituto de Física Interdisciplinar y Sistemas Complejos (IFISC, UIB-CSIC), la Universidad de Colorado, el Santa Fe Institute y el Centro Internacional Abdus Salam de Física Teórica (ICTP), han realizado avances que avanzan nuestra comprensión teórica de las demandas …