Abstract:Conventional computing has many sources of heat dissipation, but one of these--the Landauer limit--poses a fundamental lower bound of 1 bit of entropy per bit erased. 'Reversible Computing' avoids this source of dissipation, but is dissipationless computation possible? In this paper, a general proof is given for open quantum systems showing that a computer thermally coupled to its environment will necessarily dissipate entropy (and hence heat). Specifically, a lower bound is obtained that corresponds to the adiabatic regime, in which the amount of entropy dissipated per computational operation is proportional to the rate of computation.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the general constraint on calculating rates in physical systems. Specifically, the paper explores the maximum computing rate of a computing system given the maximum heat dissipation rate and free - energy supply. The paper addresses this problem by analyzing the average entropy cost of a reversible computer at a specific temperature and the resulting upper - limit restriction on the computing rate.
### Background and Problem of the Paper
1. **Landauer Limit**: In 1961, Rolf Landauer proposed that information erasure has a fundamental entropy cost, that is, for every bit of information erased, at least 1 bit of entropy needs to be generated. This results in a minimum heat dissipation in the information erasure process of traditional computers.
2. **Reversible Computing**: Charles Bennett et al. proved that logically reversible computing is possible, and this type of computing does not erase information, so it can theoretically avoid heat dissipation. Fredkin and Toffoli proposed the ballistic billiard - ball computing model, which is a reversible computing model based on classical mechanics.
3. **Effect of Thermal Coupling**: Bennett further pointed out that even in reversible computing, weak external influences (such as turbulence in the stellar atmosphere) will cause the system to thermalize after dozens of collisions, thus generating heat dissipation.
### Main Contributions of the Paper
- **General Proof**: The paper provides a general proof showing that in an open quantum system, any computer thermally coupled to the environment will necessarily dissipate entropy (i.e., heat). In particular, in the adiabatic case, the amount of entropy dissipated per computing operation is proportional to the computing rate.
- **Two Computing Modes**:
- **Quantum Zeno Evolution**: When the Lindbladian is weak, the computing system can suppress quantum evolution by frequent measurements, thereby reducing the error rate. In this case, the computing rate is limited by the Margolus - Levitin limit.
- **Strong Lindbladian Mode**: When the Lindbladian is strong, the error rate of the computing system is linearly related to time, and the upper limit of the computing rate is determined by the number of subsystems of the system.
### Main Results
- **Upper Limit of Computing Rate**: The paper derives a general formula for the upper limit of the computing rate, that is, \(\nu_C \leq \sqrt{\frac{\dot{\Sigma} \nu_Z}{\eta}}\), where \(\dot{\Sigma}\) is the entropy generation rate, \(\nu_Z\) is the measurement rate, and \(\eta\) is a constant related to system parameters.
- **Geometric Limitations**: For an idealized system, the influence of the environment is mainly concentrated on the boundary, so the entropy generation rate is proportional to the surface area \(A\), and the total energy \(E\) is proportional to the volume \(V\). This results in a total computing rate of \(\nu_C \sim \sqrt{AV}\), and the computing rate of a single subsystem \(\nu_{C,1} \sim \sqrt{\frac{A}{V}}\).
### Conclusions
- **Advantages of Reversible Computing**: Compared with irreversible computing, reversible computing has an asymptotic advantage in the adiabatic case. The computing rate of irreversible computing is \(\nu_C \sim \frac{\dot{\Sigma}}{\Delta I}\), while the computing rate of reversible computing is \(\nu_C \sim \sqrt{\dot{\Sigma} E}\).
- **Challenges in Practical Applications**: Although reversible computing has theoretical advantages, in practical applications, due to the limitations of the quantum Zeno effect and the influence of the strong Lindbladian mode, achieving efficient reversible computing still faces many challenges.
Through these analyses, the paper provides a new perspective for understanding the thermodynamic limitations of computing systems and a theoretical basis for designing more efficient computing systems.