# Rate-independent computation in continuous chemical reaction networks

@article{Chen2014RateindependentCI, title={Rate-independent computation in continuous chemical reaction networks}, author={Ho-Lin Chen and David Doty and David Soloveichik}, journal={Proceedings of the 5th conference on Innovations in theoretical computer science}, year={2014} }

Understanding the algorithmic behaviors that are in principle realizable in a chemical system is necessary for a rigorous understanding of the design principles of biological regulatory networks. Further, advances in synthetic biology herald the time when we'll be able to rationally engineer complex chemical systems, and when idealized formal models will become blueprints for engineering. Coupled chemical interactions in a well-mixed solution are commonly formalized as chemical reaction… Expand

#### Figures and Topics from this paper

#### 51 Citations

Composable Rate-Independent Computation in Continuous Chemical Reaction Networks

- Computer Science
- CMSB
- 2018

It is shown that to construct composable rate-independent CRNs, it is necessary and sufficient to ensure that the output species of a module is not a reactant in any reaction within the module, and the results show that composability severely limits rate- independent computation unless more sophisticated input/output encodings are used. Expand

CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks

- Computer Science, Chemistry
- DNA
- 2020

Alloy, a tool for expressing structural constraints and behavior in software systems, is used to enumerate chemical reaction networks with declaratively specified properties and it is shown how this framework can enumerate CRNs with a variety of structural constraints including biologically motivated catalytic networks and metabolic networks, and seesaw networks motivated by DNA nanotechnology. Expand

Graphical Conditions for Rate Independence in Chemical Reaction Networks

- Computer Science, Mathematics
- CMSB
- 2020

Chemical Reaction Networks (CRNs) provide a useful abstraction of molecular interaction networks in which molecular structures as well as mass conservation principles are abstracted away to focus on… Expand

Composable Rate-Independent Computation in Continuous Chemical Reaction Networks

- Medicine, Computer Science
- IEEE/ACM Transactions on Computational Biology and Bioinformatics
- 2021

It is shown that to construct composable rate-independent CRNs, it is necessary and sufficient to ensure that the output species of a module is not a reactant in any reaction within the module. Expand

Synthesizing and tuning stochastic chemical reaction networks with specified behaviours

- Computer Science, Medicine
- Journal of The Royal Society Interface
- 2018

This work presents a method for generating discrete-state stochastic CRNs from functional specifications, which combines synthesis of reactions using satisfiability modulo theories and parameter optimization using Markov chain Monte Carlo. Expand

Composable Computation in Discrete Chemical Reaction Networks

- Computer Science
- PODC
- 2019

The main theorem precisely characterizes the functions f stably computable by output-oblivious CRNs with an initial leader, which is the minimum of a finite number of nondecreasing quilt-affine functions. Expand

Computing Polynomials by Chemical Reaction Networks

- Mathematics, Computer Science
- 2016 IEEE Global Communications Conference (GLOBECOM)
- 2016

This paper demonstrates that, with a new encoding, CRNs can compute any set of polynomial functions subject only to the limitation that these functions must map the unit interval to itself. Expand

Computational complexity of atomic chemical reaction networks

- Mathematics, Computer Science
- Natural Computing
- 2018

The computational complexity of deciding whether a given network is atomic according to each of these definitions is investigated and equivalence relationships between these definitions and some cases of an existing definition of atomicity due to Gnacadja are demonstrated. Expand

Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs

- Computer Science
- CMSB
- 2017

The strong (uniform computability) Turing completeness of chemical reaction networks over a finite set of molecular species under the differential semantics is derived, solving a long standing open problem. Expand

Programming and Training Rate-Independent Chemical Reaction Networks

- Computer Science
- ArXiv
- 2021

This paper identifies a class of CRNs called non-competitive (NC) whose equilibria are absolutely robust to reaction rates and kinetic rate law, because their behavior is captured solely by their stoichiometric structure. Expand

#### References

SHOWING 1-10 OF 26 REFERENCES

Deterministic function computation with chemical reaction networks

- Mathematics, Computer Science
- Natural Computing
- 2013

It is shown that a function f:Nk→Nl is deterministically computed by a CRN if and only if its graph x is a semilinear set, and that each semilInear function f can be computed by an CRN on input x in expected time. Expand

Computation with finite stochastic chemical reaction networks

- Computer Science
- Natural Computing
- 2008

This work shows a design of a chemical computer that achieves fast and reliable Turing-universal computation using molecular counts, and demonstrates that molecular counts can be a useful form of information for small molecular systems such as those operating within cellular environments. Expand

Deviant effects in molecular reaction pathways

- Computer Science, Medicine
- Nature Biotechnology
- 2006

This work comprehensively characterize potential CCK failure patterns in biological settings, including consequences of the assertion that CCK is closer to the 'mode' rather than the 'average' of stochastic reaction dynamics, as generally perceived. Expand

DNA as a universal substrate for chemical kinetics

- Chemistry, Medicine
- Proceedings of the National Academy of Sciences
- 2010

It is shown that systems of DNA molecules can be constructed that closely approximate the dynamic behavior of arbitrary systems of coupled chemical reactions, by using strand displacement reactions as a primitive, and systems implementing feedback digital logic and algorithmic behavior are illustrated. Expand

Programmable chemical controllers made from DNA.

- Computer Science, Medicine
- Nature nanotechnology
- 2013

This work implements several building-block reaction types and combines them into a network that realizes, at the molecular level, an algorithm used in distributed control systems for achieving consensus between multiple agents. Expand

On the structural monotonicity of chemical reaction networks

- Mathematics, Computer Science
- Proceedings of the 45th IEEE Conference on Decision and Control
- 2006

New results are derived for certain classes of chemical reaction networks, linking structural to dynamical properties and monotonicity and convergence without making assumptions on the structure of the dynamical equations involved, and relying only on stoichiometric constraints. Expand

Exact Stochastic Simulation of Coupled Chemical Reactions

- Chemistry
- 1977

There are two formalisms for mathematically describing the time behavior of a spatially homogeneous chemical system: The deterministic approach regards the time evolution as a continuous, wholly… Expand

A Petri net approach to the study of persistence in chemical reaction networks.

- Mathematics, Biology
- Mathematical biosciences
- 2007

This paper provides checkable conditions for persistence of chemical species in reaction networks, using concepts and tools from Petri net theory, and verifies these conditions on various systems which arise in the modeling of cell signaling pathways. Expand

Robustness in simple biochemical networks

- Biology, Medicine
- Nature
- 1997

It is argued that the key properties of biochemical networks should be robust in order to ensure their proper functioning, and it is shown that this applies in particular to bacterial chemotaxis. Expand

The Cell Cycle Switch Computes Approximate Majority

- Computer Science, Medicine
- Scientific reports
- 2012

This work investigates the behavior of the switch from inactive to active forms of the mitosis promoting Cyclin Dependent Kinases and shows that the steady states and temporal dynamics of the two systems are similar and they are exchangeable as components of oscillatory networks. Expand