Results 1  10
of
18
Efficient Turinguniversal computation with DNA polymers (extended abstract)
"... Abstract. Bennett’s proposed chemical Turing machine is one of the most important thought experiments in the study of the thermodynamics of computation. Yet the sophistication of molecular engineering required to physically construct Bennett’s hypothetical polymer substrate and enzyme has deterred e ..."
Abstract

Cited by 14 (2 self)
 Add to MetaCart
Abstract. Bennett’s proposed chemical Turing machine is one of the most important thought experiments in the study of the thermodynamics of computation. Yet the sophistication of molecular engineering required to physically construct Bennett’s hypothetical polymer substrate and enzyme has deterred experimental implementations. Here we propose a chemical implementation of stack machines — a Turinguniversal model of computation similar to Turing machines — using strand displacement cascades as the underlying chemical primitive. More specifically, the mechanism described herein is the addition and removal of monomers from the end of a polymer, controlled by strand displacement logic. We capture the motivating feature of Bennett’s scheme — that physical reversibility corresponds to logically reversible computation, and arbitrarily little energy per computation step is required. Further, as a method of embedding logic control into chemical and biological systems, polymerbased chemical computation is significantly more efficient than geometryfree chemical reaction networks. 1
Programmability of Chemical Reaction Networks
"... Summary. Motivated by the intriguing complexity of biochemical circuitry within individual cells we study Stochastic Chemical Reaction Networks (SCRNs), a formal model that considers a set of chemical reactions acting on a finite number of molecules in a wellstirred solution according to standard c ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
Summary. Motivated by the intriguing complexity of biochemical circuitry within individual cells we study Stochastic Chemical Reaction Networks (SCRNs), a formal model that considers a set of chemical reactions acting on a finite number of molecules in a wellstirred solution according to standard chemical kinetics equations. SCRNs have been widely used for describing naturally occurring (bio)chemical systems, and with the advent of synthetic biology they become a promising language for the design of artificial biochemical circuits. Our interest here is the computational power of SCRNs and how they relate to more conventional models of computation. We survey known connections and give new connections between SCRNs and
Termination problems in chemical kinetics
 of Lecture Notes in Computer Science
, 2008
"... Abstract. We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computation is decidable, but that termination with any probability strictly greater than zero is undecidable. Moreove ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
Abstract. We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computation is decidable, but that termination with any probability strictly greater than zero is undecidable. Moreover, we show that the fairness intrinsic in stochastic computations implies that termination of all computation paths is undecidable, while it is decidable in a nondeterministic framework. 1
Negative Interactions in Irreversible SelfAssembly ∗
"... This paper explores the use of negative (i.e., repulsive) interactions in the abstract Tile Assembly Model defined by Winfree. Winfree in his Ph.D. thesis postulated negative interactions to be physically plausible, and Reif, Sahu, and Yin studied them in the context of reversible attachment operati ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
This paper explores the use of negative (i.e., repulsive) interactions in the abstract Tile Assembly Model defined by Winfree. Winfree in his Ph.D. thesis postulated negative interactions to be physically plausible, and Reif, Sahu, and Yin studied them in the context of reversible attachment operations. We investigate the power of negative interactions with irreversible attachments, and we achieve two main results. Our first result is an impossibility theorem: after t steps of assembly, Ω(t) tiles will be forever bound to an assembly, unable to detach. Thus negative glue strengths do not afford unlimited power to reuse tiles. Our second result is a positive one: we construct a set of tiles that can simulate an sspacebounded, ttimebounded Turing machine, while ensuring that no intermediate assembly grows larger than O(s), rather than O(s · t) as required by the standard Turing machine simulation with tiles. 1
Robust Stochastic Chemical Reaction Networks and Bounded TauLeaping
, 803
"... The behavior of some stochastic chemical reaction networks is largely unaffected by slight inaccuracies in reaction rates. We formalize the robustness of state probabilities to reaction rate deviations, and describe a formal connection between robustness and efficiency of simulation. Without robustn ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
The behavior of some stochastic chemical reaction networks is largely unaffected by slight inaccuracies in reaction rates. We formalize the robustness of state probabilities to reaction rate deviations, and describe a formal connection between robustness and efficiency of simulation. Without robustness guarantees, stochastic simulation seems to require computational time proportional to the total number of reaction events. Even if the concentration (molecular count per volume) stays bounded, the number of reaction events can be linear in the duration of simulated time and total molecular count. We show that the behavior of robust systems can be predicted such that the computational work scales linearly with the duration of simulated time and concentration, and only polylogarithmically in the total molecular count. Thus our asymptotic analysis captures the dramatic speedup when molecular counts are large, and shows that for bounded concentrations the computation time is essentially invariant with molecular count. Finally, by noticing that even robust stochastic chemical reaction networks are capable of embedding complex computational problems, we argue that the linear dependence on simulated time and concentration is likely optimal. 1
Turing Universality of the Biochemical Ground Form
 UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
, 2009
"... We explore the expressive power of languages that naturally model biochemical interactions with relative to languages that naturally model only basic chemical reactions, identifying molecular association as the basic mechanism that distinguishes the former from the latter. We use a process algebra, ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We explore the expressive power of languages that naturally model biochemical interactions with relative to languages that naturally model only basic chemical reactions, identifying molecular association as the basic mechanism that distinguishes the former from the latter. We use a process algebra, the Biochemical Ground Form (BGF), which extends with primitives for molecular association CGF, a process algebra proved to be equivalent to the traditional notations for describing basic chemical reactions. We first observe that, differently from CGF, BGF is Turing universal as it supports a finite precise encoding of Random Access Machines, a wellknown Turing powerful formalism. Then we prove that the Turing universality of BGF derives from the interplay between the molecular primitives of association and dissociation. In fact, the elimination from BGF of the primitives already present in CGF does not reduce the computational strength of the process algebra, while if either association or dissociation is removed then BGF is no longer Turing complete.
Deterministic Function Computation with Chemical Reaction Networks ∗
"... We study the deterministic computation of functions on tuples of natural numbers by chemical reaction networks (CRNs). CRNs have been shown to be efficiently Turinguniversal when allowing for a small probability of error. CRNs that are guaranteed to converge on a correct answer, on the other hand, ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We study the deterministic computation of functions on tuples of natural numbers by chemical reaction networks (CRNs). CRNs have been shown to be efficiently Turinguniversal when allowing for a small probability of error. CRNs that are guaranteed to converge on a correct answer, on the other hand, have been shown to decide only the semilinear predicates. We introduce the notion of function, rather than predicate, computation by representing the output of a function f: N k → N l by a count of some molecular species, i.e., if the CRN starts with n1,..., nk molecules of some “input ” species X1,..., Xk, the CRN is guaranteed to converge to having f(n1,..., nk) molecules of the “output ” species Y1,..., Yl. We show that a function f: N k → N l is deterministically computed by a CRN if and only if its graph {(x, y) ∈ N k × N l  f(x) = y} is a semilinear set. Finally, we show that each semilinear function f can be computed on input x in expected time O(polylog ‖x‖1). 1
Towards Programmable Molecular Machines
"... Designing a programmable molecular machine is a fundamental problem in nanotechnology. DNA is a good candidate for building these machines due to its small size and combinatorial nature. One experimentally promising direction towards obtaining such machines is a DNA walker, which is a DNA structure ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Designing a programmable molecular machine is a fundamental problem in nanotechnology. DNA is a good candidate for building these machines due to its small size and combinatorial nature. One experimentally promising direction towards obtaining such machines is a DNA walker, which is a DNA structure that moves along some preassembled substrate. A DNA walker can also be a useful tool for controllable molecular transportation. In this paper, we propose and analyze DNA walkers that can simulate arbitrary Turing machines within expected linear (in the execution length of the Turing Machine) time. We also develop a formal model and proof techniques for analyzing DNA walkers. Specifically, we define two classes of “safety properties”, and prove that a walker will operate correctly and efficiently, even in the presence of adversarial operations which disrupt the system, as long as it satisfies these properties, which our walkers do. Our walker consumes much less energy than previous proposed designs (linear as opposed to quadratic in the running time of the Turing machine being simulated), and is the first that can directly simulate arbitrary Turing Machines and the first that satisfies the safety properties.
Strand Algebras for DNA Computing
"... We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures. 1 ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures. 1
The Robustness of Stochastic Switching Networks
"... Abstract—Many natural systems, including chemical and biological systems, can be modeled using stochastic switching circuits. These circuits consist of stochastic switches, called pswitches, which operate with a fixed probability of being open or closed. We study the effect caused by introducing an ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Abstract—Many natural systems, including chemical and biological systems, can be modeled using stochastic switching circuits. These circuits consist of stochastic switches, called pswitches, which operate with a fixed probability of being open or closed. We study the effect caused by introducing an error of size ǫ to each pswitch in a stochastic circuit. We analyze two constructions—simple seriesparallel and general seriesparallel circuits—and prove that simple seriesparallel circuits are robust to small error perturbations, while general seriesparallel circuits are not. Specifically, the total error introduced by perturbations of size less than ǫ is bounded by a constant multiple of ǫ in a simple seriesparallel circuit, independent of the size of the circuit. However, the same result does not hold in the case of more general seriesparallel circuits. In the case of a general stochastic circuit, we prove that the overall error probability is bounded by a linear function of the number of pswitches. I.