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
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks
TLDR
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
TLDR
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
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 onExpand
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 26 REFERENCES
Deterministic function computation with chemical reaction networks
TLDR
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
TLDR
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
TLDR
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
TLDR
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.
TLDR
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
TLDR
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
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, whollyExpand
A Petri net approach to the study of persistence in chemical reaction networks.
TLDR
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
TLDR
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
TLDR
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
...
1
2
3
...