A Caltech Library Service

Computation with Finite Stochastic Chemical Reaction Networks

Soloveichik, David and Cook, Matthew and Winfree, Erik and Bruck, Jehoshua (2008) Computation with Finite Stochastic Chemical Reaction Networks. California Institute of Technology , Pasadena, CA. (Unpublished)

PDF - Updated Version
See Usage Policy.


Use this Persistent URL to link to this item:


A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions, and interacting with its cellular environment. Strategies for incorporating logic in aqueous chemistry have focused primarily on implementing components, such as logic gates, that are composed into larger circuits, with each logic gate in the circuit corresponding to one or more molecular species. With this paradigm, designing and producing new molecular species is necessary to perform larger computations. An alternative approach begins by noticing that chemical systems on the small scale are fundamentally discrete and stochastic. In particular, the exact molecular counts of each molecular species present, is an intrinsically available form of information. This might appear to be a very weak form of information, perhaps quite difficult for computations to utilize. Indeed, it has been shown that error-free Turing universal computation is impossible in this setting. Nevertheless, we show a design of a chemical computer that achieves fast and reliable Turing-universal computation using molecular counts. Our scheme uses only a small number of different molecular species to do computation of arbitrary complexity. The total probability of error of the computation can be made arbitrarily small (but not zero) by adjusting the initial molecular counts of certain species. While physical implementations would be difficult, these results demonstrate that molecular counts can be a useful form of information for small molecular systems such as those operating within cellular environments.

Item Type:Report or Paper (Technical Report)
Related URLs:
URLURL TypeDescription ItemPublished Version AuthorDiscussion Paper
Soloveichik, David0000-0002-2585-4120
Winfree, Erik0000-0002-5899-7523
Bruck, Jehoshua0000-0001-8474-0812
Additional Information:We thank G. Zavattaro for pointing out an error in an earlier version of this manuscript. This work is supported in part by the "Alpha Project" at the Center for Genomic Experimentation and Computation, an NIH Center of Excellence (grant no. P50 HG02370), as well as NSF Grant No. 0523761 and NIMH Training Grant MH19138-15. (Original version: September, 2007) Published as: David Soloveichik, Matthew Cook, Erik Winfree, and Jehoshua Bruck (2008) Computation with finite stochastic chemical reaction networks. Natural Computing DOI: 10.1007/s11047-008-9067-y
Group:Parallel and Distributed Systems Group
Funding AgencyGrant Number
NIHP50 HG02370
NIH Predoctoral FellowshipMH19138-15
Subject Keywords:stochastic chemical kinetics; molecular counts; Turing-universal computation; probabilistic computation
Record Number:CaltechPARADISE:2007.ETR085
Persistent URL:
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26115
Deposited By: Imported from CaltechPARADISE
Deposited On:19 Sep 2007
Last Modified:21 Feb 2020 22:28

Repository Staff Only: item control page