RevCRN: Reversible Analog Computation using Chemical Reaction Networks

arXiv:2608.11362v1 Announce Type: cross Abstract: The computability of real numbers and functions using Turing Machines has been a central area of theoretical computer science since the mid-20th century. In the late 20th century, it was shown that chemical reactions can serve as a basis for computation using the Chemical Reaction Network (CRN) model. Recent advances in computing real numbers using Deterministic Chemical Reaction Networks (DCRNs) have identified numerous classes of DCRN-computable real numbers. In parallel, the works of R. Landauer and C. H. Bennett, spanning the 1960s to the early 2000s, showed that reversible computing offers significant advantages over irreversible methods, particularly in energy efficiency, motivating extensive research on reversible computation. In this work, we investigate the computability of real numbers using Reversible Chemical Reaction Networks (RevCRNs). The paper has two primary contributions: (1) establishing relationships among CRN-computable real number classes including Lyapunov CRN (R_{LCRN}), Real-Time CRN (R_{RTCRN}), rational numbers (Q), and RevCRNs (R_{RevCRN}), with key results: (i) Q is a strict subset of R_{RevCRN}; (ii) the set of positive algebraic numbers (ALG), R_{LCRN}, and real numbers computable by 1-species RevCRN (R_{RevCRN}^{1s}) are equal; (iii) R_{RTCRN} and R_{RevCRN} exhibit non-empty overlap; and (iv) the set of real numbers computable by detailed-balanced RevCRNs (R^{DetBal}{RevCRN}) is a subset of ALG; and (2) exploring the existence of a hierarchy within R{RevCRN}. Finally, we leave open the exact relationship between R_{RevCRN} and R_{RTCRN} while conjecturing a general hierarchy of RevCRN-computable reals.

Source: arXiv cs.CL | 2026-08-13