Real-Time Computability of Real Numbers by Chemical Reaction Networks

03/27/2018
by   Xiang Huang, et al.
0

We explore the class of real numbers that are computed in real time by deterministic chemical reaction networks that are integral in the sense that all their reaction rate constants are positive integers. We say that such a reaction network computes a real number α in real time if it has a designated species X such that, when all species concentrations are set to zero at time t = 0, the concentration x(t) of X is within 2^-t of |α| at all times t > 1, and the concentrations of all other species are bounded. We show that every algebraic number and some transcendental numbers are real time computable by chemical reaction networks in this sense. We discuss possible implications of this for the 1965 Hartmanis-Stearns conjecture, which says that no irrational algebraic number is real time computable by a Turing machine.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/17/2020

Graphical Conditions for Rate Independence in Chemical Reaction Networks

Chemical Reaction Networks (CRNs) provide a useful abstraction of molecu...
research
07/04/2023

Optimal Information Encoding in Chemical Reaction Networks

Discrete chemical reaction networks formalize the interactions of molecu...
research
06/14/2022

Computing Real Numbers with Large-Population Protocols Having a Continuum of Equilibria

Bournez, Fraigniaud, and Koegler defined a number in [0,1] as computable...
research
07/07/2021

Defining Autocatalysis in Chemical Reaction Networks

Autocatalysis is a deceptively simple concept, referring to the situatio...
research
03/27/2023

Complexity of Reconfiguration in Surface Chemical Reaction Networks

We analyze the computational complexity of basic reconfiguration problem...
research
06/27/2019

Composable Rate-Independent Computation in Continuous Chemical Reaction Networks

Biological regulatory networks depend upon chemical interactions to proc...
research
12/07/2018

Output-Oblivious Stochastic Chemical Reaction Networks

We classify the functions f:N^2 →N which are stably computable by output...

Please sign up or login with your details

Forgot password? Click here to reset