Challenges and Applications for Self-Assembled DNA Nanostructures

DNA self-assembly is a methodology for the construction of molecular scale structures. In this method, artificially synthesized single stranded DNA self-assemble into DNA crossover molecules (tiles). These DNA tiles have sticky ends that preferentially match the sticky ends of certain other DNA tiles, facilitating the further assembly into tiling lattices. We discuss key theoretical and practical challenges of DNA self-assembly, as well as numerous potential applications. The self-assembly of large 2D lattices consisting of up to thousands of tiles have been recently demonstrated, and 3D DNA lattices may soon be feasible to construct. We describe various novel DNA tiles with properties that facilitate self-assembly and their visualization by imaging devices such as atomic force microscope. We discuss bounds on the speed and error rates of the various types of self-assembly reactions, as well as methods that may minimize errors in self-assembly. We briefly discuss the ongoing development of attachment chemistry from DNA lattices to various types of molecules, and consider application of DNA lattices (assuming the development of such appropriate attachment chemistry from DNA lattices to these objects) as a substrate for: (a) layout of molecular electronic circuit components, (b) surface chemistry, for example ultra compact annealing arrays, (c) molecular robotics; for manipulation of molecules using molecular motor devices. DNA self-assembly can, using only a small number of component tiles, provide arbitrarily complex assemblies. It can be used to execute computation, using tiles that specify individual steps of the computation. In this emerging new methodology for computation: -input is provided by sets of single stranded DNA that serve as nucleation sites for assemblies, and -output can be made by the ligation of reporter strands of DNA that run though the resulting assembly, and then released by denaturing. DNA self-assembly can be used to execute massively parallel computations at the molecular scale, with concurrent assemblies that may execute computations independently. Due to the very compact form of DNA molecules, the degree of parallelism (due to distinct tiling assemblies) may be up to 1015 to possibly 1018. We describe various DNA tiling assemblies that execute various basic computational tasks, such as sequences of arithmetic and logical computations executed in massively parallel fashion. We also consider extensions of these computational methods to 3D DNA tiling lattices and to assemblies that hold state.

[1]  N. Seeman Nucleic Acid Nanostructures and Topology. , 1998, Angewandte Chemie.

[2]  Christian Joachim,et al.  Atomic and molecular wires , 1997 .

[3]  Lloyd M. Smith,et al.  DNA computing on surfaces , 2000, Nature.

[4]  Natasa Jonoska Sofic Shifts with Synchronizing Presentations , 1996, Theor. Comput. Sci..

[5]  Erik Winfree,et al.  A Sticker-Based Model for DNA Computation , 1998, J. Comput. Biol..

[6]  Erik Winfree,et al.  The program-size complexity of self-assembled squares (extended abstract) , 2000, STOC '00.

[7]  George D. Bachand,et al.  Constructing biomolecular motor-powered hybrid NEMS devices , 1999, Smart Materials, Nano-, and Micro- Smart Systems.

[8]  N C Seeman,et al.  Assembly and characterization of five-arm and six-arm DNA branched junctions. , 1991, Biochemistry.

[9]  George M. Whitesides,et al.  Spontaneous formation of ordered structures in thin films of metals supported on an elastomeric polymer , 1998, Nature.

[10]  G. D. Bachand,et al.  Evaluating Adhesion Strength of Biological Molecules to Nanofabricated Substrates , 1999 .

[11]  N. Seeman,et al.  Designed Two-Dimensional DNA Holliday Junction Arrays Visualized by Atomic Force Microscopy , 1999 .

[12]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[13]  Natasa Jonoska,et al.  A molecular computation of the road coloring problem , 1996, DNA Based Computers.

[14]  N C Seeman,et al.  Gel electrophoretic analysis of DNA branched junctions , 1989, Electrophoresis.

[15]  Erik Winfree,et al.  Universal computation via self-assembly of DNA: Some theory and experiments , 1996, DNA Based Computers.

[16]  J. R. Büchi Turing-machines and the Entscheidungsproblem , 1962 .

[17]  M. Reed,et al.  Nanoscale metal/self-assembled monolayer/metal heterostructures , 1997 .

[18]  N. Seeman,et al.  DNA double-crossover molecules. , 1993, Biochemistry.

[19]  N. Seeman,et al.  Design and self-assembly of two-dimensional DNA crystals , 1998, Nature.

[20]  Lloyd M. Smith,et al.  Hydrophilic/Hydrophobic Patterned Surfaces as Templates for DNA Arrays , 2000 .

[21]  G. Whitesides,et al.  Soft Lithography. , 1998, Angewandte Chemie.

[22]  N. Seeman DNA engineering and its application to nanotechnology. , 1999, Trends in biotechnology.

[23]  L E Orgel,et al.  Unexpected substrate specificity of T4 DNA ligase revealed by in vitro selection. , 1993, Nucleic acids research.

[24]  Hui Wang,et al.  The perils of polynucleotides: The experimental gap between the design and assembly of unusual DNA structures , 1996, DNA Based Computers.

[25]  J. Reif,et al.  Logical computation using algorithmic self-assembly of DNA triple-crossover molecules , 2000, Nature.

[26]  A. Aviram Molecular Electronics Science and Technology , 1989 .

[27]  G. C. Shephard,et al.  Tilings and Patterns , 1990 .

[28]  L F Landweber,et al.  Molecular computation: RNA solutions to chess problems , 2000, Proc. Natl. Acad. Sci. USA.

[29]  Chen,et al.  Large On-Off Ratios and Negative Differential Resistance in a Molecular Electronic Device. , 1999, Science.

[30]  N C Seeman,et al.  Sequence dependence of branch migratory minima. , 1998, Journal of molecular biology.

[31]  Nadrian C. Seeman Nanostrukturen und Topologien von Nucleinsäuren , 1998 .

[32]  P W Rothemund,et al.  Using lateral capillary forces to compute by self-assembly , 2000, Proc. Natl. Acad. Sci. USA.

[33]  Carlo D. Montemagno,et al.  Constructing Organic/Inorganic NEMS Devices Powered by Biomolecular Motors , 2000 .

[34]  John H. Reif,et al.  Synthesis of Parallel Algorithms , 1993 .

[35]  Erik Winfree,et al.  On the computational power of DNA annealing and ligation , 1995, DNA Based Computers.

[36]  A. Aviram,et al.  Conference on Molecular Electronics: Science and Technology, Puerto Rico, 14-18 December 1997: Preface , 1998 .

[37]  N. Seeman,et al.  Modifying the Surface Features of Two-Dimensional DNA Crystals , 1999 .

[38]  George M. Whitesides,et al.  Molecular Conformation in Oligo(ethylene glycol)-Terminated Self-Assembled Monolayers on Gold and Silver Surfaces Determines Their Ability To Resist Protein Adsorption , 1998 .

[39]  N. Seeman,et al.  Assembly of Borromean rings from DNA , 1997, Nature.

[40]  N C Seeman,et al.  Parallel helical domains in DNA branched junctions containing 5',5' and 3',3' linkages. , 1999, Biochemistry.

[41]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[42]  N. Seeman Nucleic acid junctions and lattices. , 1982, Journal of theoretical biology.

[43]  I. N. Sneddon,et al.  Theory Of Automata , 1969 .

[44]  Robert L. Berger The undecidability of the domino problem , 1966 .

[45]  George M. Whitesides,et al.  Patterning a Preformed, Reactive SAM Using Microcontact Printing , 1998 .

[46]  E. Winfree Simulations of Computing by Self-Assembly , 1998 .

[47]  N. Seeman,et al.  DNA junctions, antijunctions, and mesojunctions. , 1992, Biochemistry.

[48]  T. D. Dunbar,et al.  Directed Self-Assembly to Create Molecular Terraces with Molecularly Sharp Boundaries in Organic Monolayers , 1999 .

[49]  Grzegorz Rozenberg,et al.  String Tile Models for DNA Computing by Self-Assembly , 2000, DNA Computing.

[50]  Robert M. Corn,et al.  A Multistep Chemical Modification Procedure To Create DNA Arrays on Gold Surfaces for the Study of Protein−DNA Interactions with Surface Plasmon Resonance Imaging , 1999 .

[51]  Yinli Wang,et al.  The Control of Dna Structure and Topology: An Overview , 1994 .

[52]  N. Jonoska,et al.  Three dimensional DNA structures in computing. , 1999, Bio Systems.

[53]  J. Reif,et al.  Construction, analysis, ligation, and self-assembly of DNA triple crossover complexes , 2000 .

[54]  Carlo D. Montemagno,et al.  Constructing nanomechanical devices powered by biomolecular motors , 1999 .

[55]  N. Seeman,et al.  Antiparallel DNA Double Crossover Molecules As Components for Nanoconstruction , 1996 .

[56]  John H. Reif,et al.  Paradigms for Biomolecular Computation , 1998 .

[57]  Y. Wang,et al.  Synthetic DNA Knots and Catenanes , 1994 .

[58]  Natasa Jonoska,et al.  Creating 3-dimensional graph structures with DNA , 1997, DNA Based Computers.

[59]  John H. Reif,et al.  Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization , 2000, DNA Computing.

[60]  N. Seeman,et al.  A nanomechanical device based on the B–Z transition of DNA , 1999, Nature.

[61]  Michael C. Pirrung,et al.  Step-and-repeat photopatterning of protein features using caged-biotin-BSA: Characterization and resolution , 1998 .

[62]  Qinghua Liu,et al.  A surface-based approach to DNA computation , 1996, DNA Based Computers.

[63]  N. Jonoska,et al.  Ligation experiments in computing with DNA , 1997, Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97).

[64]  Cristopher Moore,et al.  Hard Tiling Problems with Simple Tiles , 2001, Discret. Comput. Geom..

[65]  Christos H. Papadimitriou,et al.  Elements of the Theory of Computation , 1997, SIGA.

[66]  Michail G. Lagoudakis,et al.  2D DNA self-assembly for satisfiability , 1999, DNA Based Computers.

[67]  Shi V. Liu Debating controversies can enhance creativity , 2000, Nature.

[68]  M. Reed,et al.  Conductance of a Molecular Junction , 1997 .

[69]  R. Robinson Undecidability and nonperiodicity for tilings of the plane , 1971 .

[70]  Nataša Jonoska Constants in factorial and prolongable languages , 1996 .

[71]  Hao Yan,et al.  New motifs in DNA nanotechnology , 1998 .

[72]  N. Seeman,et al.  Ligation of DNA Triangles Containing Double Crossover Molecules , 1998 .

[73]  Nadrian C. Seeman,et al.  Short extensions to sticky ends for DNA nanotechnology and DNA-based computation , 1999 .

[74]  John H. Reif,et al.  Parallel molecular computation , 1995, SPAA '95.

[75]  N C Seeman,et al.  Two Dimensions and Two States in DNA Nanotechnology , 2000, Journal of biomolecular structure & dynamics.

[76]  D. Herschlag,et al.  Implications of ribozyme kinetics for targeting the cleavage of specific RNA molecules in vivo: more isn't always better. , 1991, Proceedings of the National Academy of Sciences of the United States of America.

[77]  Erik Winfree,et al.  Experimental progress in computation by self-assembly of DNA tilings , 1999, DNA Based Computers.

[78]  P. Nielsen,et al.  DNA analogues with nonphosphodiester backbones. , 1995, Annual review of biophysics and biomolecular structure.

[79]  Erik Winfree,et al.  On the Reduction of Errors in DNA Computation , 1999, J. Comput. Biol..