Molecular system for an exponentially fast growing programmable synthetic polymer.

In this paper, we demonstrate a molecular system for the first active self-assembly linear DNA polymer that exhibits programmable molecular exponential growth in real time, also the first to implement "internal" parallel insertion that does not rely on adding successive layers to "external" edges for growth. Approaches like this can produce enhanced exponential growth behavior that is less limited by volume and external surface interference, for an early step toward efficiently building two and three dimensional shapes in logarithmic time. We experimentally demonstrate the division of these polymers via the addition of a single DNA complex that competes with the insertion mechanism and results in the exponential growth of a population of polymers per unit time. In the supplementary material, we note that an "extension" beyond conventional Turing machine theory is needed to theoretically analyze exponential growth itself in programmable physical systems. Sequential physical Turing Machines that run a roughly constant number of Turing steps per unit time cannot achieve an exponential growth of structure per time. In contrast, the "active" self-assembly model in this paper, computationally equivalent to a Push-Down Automaton, is exponentially fast when implemented in molecules, but is taxonomically less powerful than a Turing machine. In this sense, a physical Push-Down Automaton can be more powerful than a sequential physical Turing Machine, even though the Turing Machine can compute any computable function. A need for an "extended" computational/physical theory arises, described in the supplementary material section S1.

Deterministic Function Computation with Chemical Reaction Networks.

Chemical reaction networks (CRNs) formally model chemistry in a well-mixed solution. CRNs are widely used to describe information processing occurring in natural cellular regulatory networks, and with upcoming advances in synthetic biology, CRNs are a promising language for the design of artificial molecular control circuitry. Nonetheless, despite the widespread use of CRNs in the natural sciences, the range of computational behaviors exhibited by CRNs is not well understood. CRNs have been shown to be efficiently Turing-universal (i.e., able to simulate arbitrary algorithms) 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 (a multi-dimensional generalization of "eventually periodic" sets). We introduce the notion of function, rather than predicate, computation by representing the output of a function f : ℕ k → ℕ l by a count of some molecular species, i.e., if the CRN starts with x1, …, xk molecules of some "input" species X1, …, Xk , the CRN is guaranteed to converge to having f(x1, …, xk ) molecules of the "output" species Y1, …, Yl . We show that a function f : ℕ k → ℕ l is deterministically computed by a CRN if and only if its graph {(x, y) ∈ ℕ k × â„• l ∣ f(x) = y} is a semilinear set. Finally, we show that each semilinear function f (a function whose graph is a semilinear set) can be computed by a CRN on input x in expected time O(polylog ∥x∥1).

An O(n(5)) algorithm for MFE prediction of kissing hairpins and 4-chains in nucleic acids.

Efficient methods for prediction of minimum free energy (MFE) nucleic secondary structures are widely used, both to better understand structure and function of biological RNAs and to design novel nano-structures. Here, we present a new algorithm for MFE secondary structure prediction, which significantly expands the class of structures that can be handled in O(n(5)) time. Our algorithm can handle H-type pseudoknotted structures, kissing hairpins, and chains of four overlapping stems, as well as nested substructures of these types.

Reducing facet nucleation during algorithmic self-assembly.

Algorithmic self-assembly, a generalization of crystal growth, has been proposed as a mechanism for bottom-up fabrication of complex nanostructures and autonomous DNA computation. In principle, growth can be programmed by designing a set of molecular tiles with binding interactions that enforce assembly rules. In practice, however, errors during assembly cause undesired products, drastically reducing yields. Here we provide experimental evidence that assembly can be made more robust to errors by adding redundant tiles that "proofread" assembly. We construct DNA tile sets for two methods, uniform and snaked proofreading. While both tile sets are predicted to reduce errors during growth, the snaked proofreading tile set is also designed to reduce nucleation errors on crystal facets. Using atomic force microscopy to image growth of proofreading tiles on ribbon-like crystals presenting long facets, we show that under the physical conditions we studied the rate of facet nucleation is 4-fold smaller for snaked proofreading tile sets than for uniform proofreading tile sets.