Momentum-Driven Reversible Logic Accelerates Efficient Irreversible Universal Computation
Kuen Wai Tang, Kyle J. Ray, James P. Crutchfield
TL;DR
The paper tackles the energy efficiency of universal computation by introducing momentum-based computing with coupled quantum flux parametrons (CQFPs). It compares two NAND implementations: Controlled Erasure (CE), which stores information in positional degrees and faces speed/fidelity limits, and Erasure-Flip (EF), which leverages momentum to perform both reversible and irreversible logic in different subspaces, achieving higher speed and fidelity at similar energy costs. Through Langevin-dynamics simulations, the authors quantify work, fidelity, and speed for CE and EF, showing that EF significantly outperforms CE and enabling a complete NAND with a single EF cycle; CE can be improved but remains thermodynamically constrained. The results demonstrate a promising momentum-based computing paradigm with potential experimental realization and broad implications for energy-efficient, high-fidelity computing architectures that blend reversible and irreversible operations across memory subspaces.
Abstract
We present implementations of two physically-embedded computation-universal logical operations using a 2-bit logical unit composed of coupled quantum flux parametrons -- Josephson-junction superconducting circuits. To illustrate universality, we investigate NAND gates built from these two distinct elementary operations. On the one hand, Controlled Erasure (CE) is designed using fixed-point analysis and assumes that information must be stored in locally-metastable distributions. On the other, Erasure-Flip (EF) leverages momentum as a computational resource and significantly outperforms the metastable approach, simultaneously achieving higher fidelity and faster computational speed without incurring any additional energetic cost. Notably, the momentum degree of freedom allows the EF to achieve universality by using both nontrivial reversible and irreversible logic simultaneously in different logical subspaces. These results not only provide a practical, high-performance protocol ripe for experimental realization but also underscore the broader potential of momentum-based computing paradigms.
