Abstract:Stochastic thermodynamics extends equilibrium statistical physics to systems arbitrarily far from thermal equilibrium, with arbitrarily many quickly evolving degrees of freedom. These features make it the correct framework for analyzing the thermodynamics of real-world computers. Specifically, stochastic thermodynamics has been used to prove that the "mismatch cost" of a dynamic process is a lower bound on the energy dissipation, namely the entropy production (EP), of any physical system that implements that process. In particular, the mismatch cost for any periodic process - like every modern digital device - is strictly positive. Here we show that mismatch cost may be significant on the macroscopic scale, not just on the nanoscale (in contrast to many other stochastic thermodynamics bounds). We also show that the mismatch cost of systems that are coarse-grained in time and/or space still provides lower bounds to the microscopic entropy production of running such systems. We then argue that traditional computer science measures of algorithmic efficiency, focused on the resource costs of "space" and "time" complexity, should include a third cost - thermodynamic cost - and that mismatch cost is well-suited to bounding such a cost for arbitrary computational machines. Accordingly, we derive the mismatch cost for running an arbitrary Boolean circuit and for running an arbitrary Random Access Stored Program machine (a simplified model of a microprocessor).

What problem does this paper attempt to address?

### Problems the paper attempts to solve The problems that the paper attempts to solve are **thermodynamic costs in the computing process**, especially the importance of **Mismatch Cost** on the macroscopic scale and its impact on the thermodynamic efficiency of computing systems. Specifically, the paper focuses on the following aspects: 1. **The importance of thermodynamic costs in computing**: - Traditional computer science research mainly focuses on the time complexity and space complexity of algorithms, but ignores the thermodynamic costs involved in the computing process. The paper proposes that thermodynamic costs should be considered as the third important cost dimension. 2. **The definition and application of Mismatch Cost**: - Mismatch Cost is a lower bound used to estimate the energy dissipation (i.e., entropy production, EP) of any physical system when implementing a specific dynamic process. The paper proves that Mismatch Cost is significant not only on the nanoscale but also on the macroscopic scale. - By analyzing the Mismatch Cost of time - or space - coarse - grained systems, the paper further proves that even at a lower resolution, Mismatch Cost is still a lower bound of microscopic entropy production. 3. **The application of Mismatch Cost in specific computing models**: - The paper derives the Mismatch Cost when running any Boolean circuit and any Random Access Stored Program Machine (a simplified version of the microprocessor model), showing how to use this thermodynamic indicator to evaluate the efficiency of a computing system. ### Main contributions 1. **Mismatch Cost on the macroscopic scale**: - It is proved that Mismatch Cost can be a significant contribution on the macroscopic scale, not just a phenomenon on the nanoscale. 2. **Mismatch Cost in coarse - grained systems**: - The Mismatch Cost in time - or space - coarse - grained systems is analyzed, indicating that even at a lower resolution, Mismatch Cost still provides a lower bound applicable to any computing machine. 3. **Mismatch Cost in specific computing models**: - The Mismatch Cost of Boolean circuits and Random Access Stored Program Machines is derived, providing specific examples of how to use this thermodynamic indicator to evaluate the efficiency of a computing system. ### Mathematical expressions - **Definition of Mismatch Cost**: \[ \text{MC}(p_0)=D(p_0 \| q_0)-D(Gp_0 \| Gq_0) \] where \(D(p \| q)\) is the KL - divergence between \(p\) and \(q\). - **Total thermodynamic cost**: \[ \sigma(p_0)=\text{MC}(p_0)+\sigma_{\text{res}} \] where \(\sigma_{\text{res}}\) is the residual cost, representing the part inherent in the process dynamics. - **Periodic Mismatch Cost**: \[ \text{MC}_i = D(p_i \| q_0)-D(Gp_i \| q_1) \] \[ \text{MC}_i=D(G^i p_0 \| q_0)-D(G^{i + 1}p_0 \| q_1) \] - **Total Mismatch Cost**: \[ \text{MC}=\sum_{i = 0}^{n-1}\left[D(G^i p_0 \| q_0)-D(G^{i+1}p_0 \| q_1)\right] \] ### Conclusion By introducing the concept of Mismatch Cost, this paper extends the measurement standards for algorithm efficiency in traditional computer science and emphasizes the importance of thermodynamic costs in the computing process. This not only helps...

Mismatch cost of computing: from circuits to algorithms

Stochastic thermodynamics of computation

Is stochastic thermodynamics the key to understanding the energy costs of computation?

Thermodynamics of computations with absolute irreversibility, unidirectional transitions, and stochastic computation times

Stochastic thermodynamic bounds on logical circuit operation

Thermodynamics of computing with circuits

Stochastic Thermodynamics of Non-Linear Electronic Circuits: A Realistic Framework for Computing around kT

Machine learning at the mesoscale: A computation-dissipation bottleneck

Error Mitigation for Thermodynamic Computing

Information-theoretic lower bound on energy cost of stochastic computation

Time Symmetries of Memory Determine Thermodynamic Efficiency

Revisiting thermodynamics in computation and information theory

Stochastic thermodynamics, fluctuation theorems and molecular machines

Minimal thermodynamic cost of communication

Anomalous Thermodynamic Cost of Clock Synchronization

Principles of Stochastic Computing: Fundamental Concepts and Applications

Thermodynamic Matrix Exponentials and Thermodynamic Parallelism

Circuit complexity and functionality: a thermodynamic perspective

Thermodynamic costs of temperature stabilization in logically irreversible computation