Algorithmic Self-Assembly of DNA: Theoretical Motivations and 2D Assembly Experiments

Biology makes things far smaller and more complex than anything produced by human engineering. The biotechnology revolution has for the first time given us the tools necessary to consider engineering on the molecular level. Research in DNA computation, launched by Len Adleman, has opened the door for experimental study of programmable biochemical reactions. Here we focus on a single biochemical mechanism, the self-assembly of DNA structures, that is theoretically sufficient for Turing-universal computation. The theory combines Hao Wang?s purely mathematical Tiling Problem with the branched DNA constructions of Ned Seeman. In the context of mathematical logic, Wang showed how jigsaw-shaped tiles can be designed to simulate the operation of any Turing Machine. For a biochemical implementation, we will need molecular Wang tiles. DNA molecular structures and intermolecular interactions are particularly amenable to design and are sufficient for the creation of complex molecular objects. The structure of individual molecules can be designed by maximizing desired and minimizing undesired Watson-Crick complementarity. Intermolecular interactions are programmed by the design of sticky ends that determine which molecules associate, and how. The theory has been demonstrated experimentally using a system of synthetic DNA double-crossover molecules that self-assemble into two-dimensional crystals that have been visualized by atomic force microscopy. This experimental system provides an excellent platform for exploring the relationship between computation and molecular self-assembly, and thus represents a first step toward the ability to program molecular reactions and molecular structures

DNA Computing by Self-Assembly

Information and algorithms appear to be central to biological organization and processes, from the storage and reproduction of genetic information to the control of developmental processes to the sophisticated computations performed by the nervous system. Much as human technology uses electronic microprocessors to control electromechanical devices, biological organisms use biochemical circuits to control molecular and chemical events. The engineering and programming of biochemical circuits, in vivo and in vitro, would transform industries that use chemical and nanostructured materials. Although the construction of biochemical circuits has been explored theoretically since the birth of molecular biology, our practical experience with the capabilities and possible programming of biochemical algorithms is still very young

Experimental Progress in Computation by Self-Assembly of DNA Tilings

Approaches to DNA-based computing by self-assembly require the use of D. T A nanostructures, called tiles, that have efficient chemistries, expressive computational power: and convenient input and output (I/O) mechanisms. We have designed two new classes of DNA tiles: TAO and TAE, both of which contain three double-helices linked by strand exchange. Structural analysis of a TAO molecule has shown that the molecule assembles efficiently from its four component strands. Here we demonstrate a novel method for I/O whereby multiple tiles assemble around a single-stranded (input) scaffold strand. Computation by tiling theoretically results in the formation of structures that contain single-stranded (output) reported strands, which can then be isolated for subsequent steps of computation if necessary. We illustrate the advantages of TAO and TAE designs by detailing two examples of massively parallel arithmetic: construction of complete XOR and addition tables by linear assemblies of DNA tiles. The three helix structures provide flexibility for topological routing of strands in the computation: allowing the implementation of string tile models

Minimal positive design for self-assembly of the Archimedean tilings

A challenge of molecular self-assembly is to understand how to design particles that self-assemble into a desired structure and not any of a potentially large number of undesired structures. Here we use simulation to show that a strategy of minimal positive design allows the self-assembly of networks equivalent to the 8 semiregular Archimedean tilings of the plane, structures not previously realized in simulation. This strategy consists of identifying the fewest distinct types of interparticle interaction that appear in the desired structure, and does not require enumeration of the many possible undesired structures. The resulting particles, which self-assemble into the desired networks, possess DNA-like selectivity of their interactions. Assembly of certain molecular networks may therefore require such selectivity

Intrinsic universality and the computational power of self-assembly

This short survey of recent work in tile self-assembly discusses the use of simulation to classify and separate the computational and expressive power of self-assembly models. The journey begins with the result that there is a single universal tile set that, with proper initialization and scaling, simulates any tile assembly system. This universal tile set exhibits something stronger than Turing universality: it captures the geometry and dynamics of any simulated system. From there we find that there is no such tile set in the noncooperative, or temperature 1, model, proving it weaker than the full tile assembly model. In the two-handed or hierarchal model, where large assemblies can bind together on one step, we encounter an infinite set, of infinite hierarchies, each with strictly increasing simulation power. Towards the end of our trip, we find one tile to rule them all: a single rotatable flipable polygonal tile that can simulate any tile assembly system. It seems this could be the beginning of a much longer journey, so directions for future work are suggested.Comment: In Proceedings MCU 2013, arXiv:1309.104