Active self-assembly of algorithmic shapes and patterns in polylogarithmic time

ITCS 2013 - Proceedings of the 2013 ACM Conference on Innovations in Theoretical Computer Science

Volumn , Issue , 2013, Pages 353-354

  Woods, Damien ^a   Chen, Ho Lin ^a,d   Goodfriend, Scott ^b   Dabby, Nadine ^a   Winfree, Erik ^a,c   Yin, Peng ^a,c,e  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b California Institute of Technology   (United States)

^c California Institute of Technology HHMI   (United States)

^d NATIONAL TAIWAN UNIVERSITY   (Taiwan)

^e HARVARD UNIVERSITY   (United States)

Author keywords

model of computation; molecular programming; reconfigurable robotics; self assembly

Indexed keywords

BIOLOGICAL SYSTEMS; COMPUTER SCIENCE; MOLECULAR BIOLOGY; MONOMERS; ROBOT PROGRAMMING; TURING MACHINES;

COMPLICATED STRUCTURES; COMPUTATIONAL MODEL; EMBRYONIC DEVELOPMENT; EXPECTED TIME; GEOMETRIC SHAPE; KOLMOGOROV COMPLEXITY; MODEL OF COMPUTATION; MOLECULAR COMPONENTS; MOLECULAR MOTORS; MOLECULAR PROGRAMMING; MONOMER STATE; MONOMER TYPES; POLYLOGARITHMIC; POLYLOGARITHMIC TIME; SELF ASSEMBLED STRUCTURES; SELF-ASSEMBLE; SINGLE CELLS;

SELF ASSEMBLY;

EID: 84873399215     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2422436.2422476     Document Type: Conference Paper

References (84)

1. Z. Abel, N. Benbernou, M. Damian, E. Demaine, M. Demaine, R. Flatland, S. Kominers, and R. Schweller. Shape replication through self-assembly and RNase enzymes. In SODA 2010: Proceedings of the Twenty-first Annual ACM-SIAM Symposium on Discrete Algorithms, Austin, Texas, 2010.
2. L. M. Adleman, Q. Cheng, A. Goel, and M.-D. Huang. Running time and program size for self-assembled squares. In STOC 2001: Proceedings of the thirty-third annual ACM Symposium on Theory of Computing, pages 740-748, Hersonissos, Greece, 2001. ACM.
3. G. Aggarwal, Q. Cheng, M. H. Goldwasser, M.-Y. Kao, P. M. de Espanes, and R. T. Schweller. Complexities for generalized models of self-assembly. SIAM Journal on Computing, 34:1493-1515, 2005.
4. G. Aloupis, S. Collette, M. Damian, E. Demaine, R. Flatland, S. Langerman, J. O'rourke, V. Pinciu, S. Ramaswami, V. Sacristán, and S. Wuhrer. Efficient constant-velocity reconfiguration of crystalline robots. Robotica, 29(1):59-71, 2011.
5. G. Aloupis, S. Collette, E. D. Demaine, S. Langerman, V. Sacristán, and S. Wuhrer. Reconfiguration of cube-style modular robots using O(log n) parallel moves. In Proceedings of the 19th Annual International Symposium on Algorithms and Computation (ISAAC 2008), pages 342-353, Gold Coast, Australia, December 15-17 2008.
6. E. Andersen, M. Dong, M. Nielsen, K. Jahn, R. Subramani, W. Mamdouh, M. Golas, B. Sander, H. Stark, C. Oliveira, et al. Self-assembly of a nanoscale DNA box with a controllable lid. Nature, 459(7243):73-76, 2009.
7. D. Angluin, J. Aspnes, and D. Eisenstat. Fast computation by population protocols with a leader. Distributed Computing, pages 61-75, 2006.
8. R. D. Barish, P. W. K. Rothemund, and E. Winfree. Two computational primitives for algorithmic self-assembly: Copying and counting. Nano Lett., 5:2586-2592, 2005.
9. R. D. Barish, R. Schulman, P. W. K. Rothemund, and E. Winfree. An information-bearing seed for nucleating algorithmic self-assembly. Proceedings of the National Academy of Sciences, 106(15):6054, 2009.
10. J. Bath, S. Green, and A. Turberfield. A free-running DNA motor powered by a nicking enzyme. Angewandte Chemie International Edition, 44:4358-4361, 2005.
11. J. Bath and A. Turberfield. DNA nanomachines. Nature Nanotechnology, 2:275-284, 2007.
12. F. Becker, E. Remila, and I. Rapaport. Self-assemblying classes of shapes, fast and with minimal number of tiles. In Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2006), Volume 4337 of LNCS, pages 45-56. Springer, Dec. 2006.
13. Z. Butler, R. Fitch, and D. Rus. Distributed control for unit-compressible robots: goal-recognition, locomotion, and splitting. IEEE/ASME Transactions on Mechatronics, 7:418-430, 2002.
14. S. Cannon, E. Demaine, M. Demaine, S. Eisenstat, M. Patitz, R. Schweller, S. Summers, and A. Winslow. Two hands are better than one (up to constant factors). In STACS 2013: Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, To appear.
15. B. Chakraborty, R. Sha, and N. Seeman. A DNA-based nanomechanical device with three robust states. Proceedings of the National Academy of Sciences, 105(45):17245, 2008.
16. H. Chandran, N. Gopalkrishnan, and J. Reif. Tile complexity of approximate squares. Algorithmica, pages 1-17, 2012.
17. H. Chen and M. Kao. Optimizing tile concentrations to minimize errors and time for dna tile self-assembly systems. DNA Computing and Molecular Programming, pages 13-24, 2011.
18. E. Demaine, M. Demaine, S. Fekete, M. Ishaque, E. Rafalin, R. Schweller, and D. Souvaine. Staged self-assembly: nanomanufacture of arbitrary shapes with O(1) glues. Natural Computing, 7(3):347-370, 2008.
19. E. Demaine, M. Demaine, S. Fekete, M. Patitz, R. Schweller, A. Winslow, and D. Woods. One tile to rule them all: Simulating any Turing machine, tile assembly system, or tiling system with a single puzzle piece. Arxiv preprint arXiv:1212.4756, Dec. 2012.
20. E. D. Demaine, S. Eisenstat, M. Ishaque, and A. Winslow. One-dimensional staged self-assembly. In Proceedings of the 17th International Conference on DNA Computing and Molecular Programming (DNA 2011), Volume 6937 of Lecture Notes in Computer Science, pages 100-114, Pasadena, California, Sept. 2011.
21. E. D. Demaine, M. J. Patitz, R. T. Schweller, and S. M. Summers. Self-assembly of arbitrary shapes using RNAse enzymes: Meeting the Kolmogorov bound with small scale factor. In Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011), pages 201-212, March 2011.
22. B. Ding and N. Seeman. Operation of a DNA robot arm inserted into a 2D DNA crystalline substrate. Science, 314(5805):1583, 2006.
23. D. Doty. Randomized self-assembly for exact shapes. SIAM Journal on Computing, 39:3521, 2010.
24. D. Doty. Theory of algorithmic self-assembly. Communications of the ACM, 55:78-88, 2012.
25. D. Doty, L. Kari, and B. Masson. Negative interactions in irreversible self-assembly. In DNA Computing and Molecular Programming, Lecture Notes in Computer Science, pages 37-48. Springer, 2011.
26. D. Doty, J. Lutz, M. Patitz, R. Schweller, S. Summers, and D. Woods. The tile assembly model is intrinsically universal. In FOCS 2012: Proceedings of the 53th Annual IEEE Symposium on Foundations of Computer Science, pages 302-310, New Brunswick, New Jersey, Oct. 2012.
27. H. Ehrig. Introduction to the algebraic theory of graph grammars (a survey). Lecture Notes in Computer Science, 73:1-69, 1979.
28. L. Feng, S. H. Park, J. H. Reif, and H. Yan. A two-state DNA lattice switched by DNA nanoactuator. Angew. Chem. Int. Ed., 42:4342-4346, 2003.
29. F. Foster, M. Zhang, A. Duckett, V. Cucevic, and C. Pavlin. In vivo imaging of embryonic development in the mouse eye by ultrasound biomicroscopy. Investigative ophthalmology & visual science, 44(6):2361, 2003.
30. B. Fu, M. Patitz, R. Schweller, and B. Sheline. Self-assembly with geometric tiles. In The 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), Volume 7391 of Lecture Notes in Computer Science, pages 714-725. Springer, 2012.
31. K. Fujibayashi, R. Hariadi, S. Park, E. Winfree, and S. Murata. Toward reliable algorithmic self-assembly of DNA tiles: A fixed-width cellular automaton pattern. Nano Letters, 8(7):1791-1797, 2007.
32. D. Gillespie. A rigorous derivation of the chemical master equation. Physica A: Statistical Mechanics and its Applications, 188(1):404-425, 1992.
33. R. Goodman, M. Heilemann, S. Doose, C. Erben, A. Kapanidis, and A. Turberfield. Reconfigurable, braced, three-dimensional DNA nanostructures. Nature nanotechnology, 3(2):93-96, 2008.
34. S. J. Green, J. Bath, and A. J. Turberfield. Coordinated chemomechanical cycles: A mechanism for autonomous molecular motion. Physical Review Letters, 101(23):238101, 2008.
35. H. Gu, J. Chao, S. Xiao, and N. Seeman. A proximity-based programmable DNA nanoscale assembly line. Nature, 465(7295):202-205, 2010.
36. D. Han, S. Pal, Y. Liu, and H. Yan. Folding and cutting DNA into reconfigurable topological nanostructures. Nature nanotechnology, 5(10):712-717, 2010.
37. N. Jonoska and D. Karpenko. Active tile self-assembly, self-similar structures and recursion. arXiv preprint arXiv:1211.3085, 2012.
38. M. Kao and R. Schweller. Reducing tile complexity for self-assembly through temperature programming. In Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm, pages 571-580. ACM, 2006.
39. M. Kao and R. Schweller. Randomized self-assembly for approximate shapes. Automata, Languages and Programming, pages 370-384, 2008.
40. E. Klavins. Directed self-assembly using graph grammars. In Foundations of Nanoscience: Self Assembled Architectures and Devices, Snowbird, UT, 2004.
41. E. Klavins, R. Ghrist, and D. Lipsky. Graph grammars for self-assembling robotic systems. In Proceedings of the International Conference on Robotics and Automation, pages 5293-5300, 2004.
42. T. Liedl and F. Simmel. Switching the conformation of a DNA molecule with a chemical oscillator. Nano letters, 5(10):1894-1898, 2005.
43. A. Lindenmayer. Mathematical models for cellular interactions in development I. Filaments with one-sided inputs. Journal of theoretical biology, 18(3):280-299, 1968.
44. D. Lubrich, J. Lin, and J. Yan. A contractile DNA machine. Angewandte Chemie International Edition, 47(37):7026-7028, 2008.
45. R. Luecke, W. Wosilait, and J. Young. Mathematical modeling of human embryonic and fetal growth rates. Growth Development and Aging, 63:49-59, 1999.
46. K. Lund, A. Manzo, N. Dabby, N. Michelotti, A. Johnson-Buck, J. Nangreave, S. Taylor, R. Pei, M. Stojanovic, N. Walter, E. Winfree, and H. Yan. Molecular robots guided by prescriptive landscapes. Nature, 465(7295):206-210, 2010.
47. C. Mao, W. Sun, Z. Shen, and N. Seeman. A nanomechanical device based on the B-Z transition of DNA. Nature, 397(6715):144-146, 1999.
48. M. Marini, L. Piantanida, R. Musetti, A. Bek, M. Dong, F. Besenbacher, M. Lazzarino, and G. Firrao. A revertible, autonomous, self-assembled DNA-origami nanoactuator. Nano Letters, 2011.
49. D. Morris, M. Grealy, H. Leese, and G. R. Centre. Cattle embryo growth, development and viability. Teagasc, Ireland, 2001. Project No. 4388, Beef Production Series No. 36.
50. R. Motwani and P. Raghavan. Randomized Algorithms. Cambridge University Press, 1995.
51. S. Murata and H. Kurokawa. Self-reconfigurable robots. Robotics & Automation Magazine, IEEE, 14(1):71-78, 2007.
52. T. Omabegho, R. Sha, and N. Seeman. A bipedal DNA Brownian motor with coordinated legs. Science, 324(5923):67, 2009.
53. J. Padilla, W. Liu, and N. Seeman. Hierarchical self assembly of patterns from the Robinson tilings: DNA tile design in an enhanced tile assembly model. Natural Computing, pages 1-16, 2011.
54. J. Padilla, M. Patitz, R. Pena, R. Schweller, N. Seeman, R. Sheline, S. Summers, and X. Zhong. Asynchronous signal passing for tile self-assembly: Fuel efficient computation and efficient assembly of shapes. Arxiv preprint arXiv:1202.5012, 2012.
55. M. Patitz. An introduction to tile-based self-assembly. In Unconventional Computation and Natural Computation, Volume 7445 of LNCS, pages 34-62. Springer, 2012.
56. M. Patitz, R. Schweller, and S. Summers. Exact shapes and turing universality at temperature 1 with a single negative glue. In DNA Computing and Molecular Programming, Lecture Notes in Computer Science, pages 175-189. Springer, 2011.
57. M. Patitz and S. Summers. Identifying shapes using self-assembly. In Proceedings of the Twenty First International Symposium on Algorithms and Computation (ISAAC 2010), Volume 6507, pages 458-469. Springer, 2010.
58. P. Prusinkiewicz and A. Lindenmayer. The algorithmic beauty of plants. SpringerVerlag, 1990.
59. J. Reif, S. Sahu, and P. Yin. Complexity of graph self-assembly in accretive systems and self-destructible systems. In Eleventh International Meeting on DNA Based Computers, Volume 3892 of Lecture Notes in Computer Science, pages 257-274. Springer, 2006.
60. J. Reif and S. Slee. Optimal kinodynamic motion planning for 2d reconfiguration of self-reconfigurable robots. Robot. Sci. Syst, 2007.
61. P. Rothemund, N. Papadakis, and E. Winfree. Algorithmic self-assembly of DNA Sierpinski triangles. PLoS Biology, 2:2041-2053, 2004.
62. P. W. Rothemund. Folding DNA to create nanoscale shapes and patterns. Nature, 440(7082):297-302, 2006.
63. P. W. K. Rothemund and E. Winfree. The program-size complexity of self-assembled squares (extended abstract). In Proceedings of the thirty-second annual ACM symposium on Theory of computing, pages 459-468. ACM Press, 2000.
64. D. Rus and M. Vona. Crystalline robots: Self-reconfiguration with compressible unit modules. Autonomous Robots, 10(1):107-124, 2001.
65. K. Saitou. Conformational switching in self-assembling mechanical systems. IEEE Transactions on Robotics and Automation, 15(3):510-520, 1999.
66. W. Sherman and N. Seeman. A precisely controlled DNA biped walking device. Nano Letters, 4(7):1203-1207, 2004.
67. J. S. Shin and N. A. Pierce. A synthetic DNA walker for molecular transport. Journal of the American Chemical Society, 126:10834-10835, 2004.
68. D. Soloveichik, M. Cook, E. Winfree, and J. Bruck. Computation with finite stochastic chemical reaction networks. Natural Computing, 7(4):615-633, 2008.
69. D. Soloveichik and E. Winfree. Complexity of self-assembled shapes. SIAM Journal on Computing, 36(6):1544-1569, 2007.
70. S. Summers. Reducing tile complexity for the self-assembly of scaled shapes through temperature programming. Algorithmica, pages 1-20, 2012.
71. Y. Tian, Y. He, Y. Chen, P. Yin, and C. Mao. A DNAzyme that walks processively and autonomously along a one-dimensional track. Angewandte Chemie International Edition, 44(28):4355-4358, 2005.
72. A. J. Turberfield, J. C. Mitchell, B. Yurke, A. P. Mills, Jr., M. I. Blakey, and F. C. Simmel. DNA fuel for free-running nanomachines. Physical Review Letters, 90(11):118102-1-4, 2003.
73. S. Venkataraman, R. Dirks, P. Rothemund, E. Winfree, and N. Pierce. An autonomous polymerization motor powered by DNA hybridization. Nature Nanotechnology, 2:490-494, 2007.
74. H. Wang. Proving theorems by pattern recognition II. Bell Systems Technical Journal, 40:1-41, 1961.
75. E. Winfree. On the computational power of DNA annealing and ligation. In R. Lipton and E. Baum, editors, DNA Based Computers, pages 199-221. American Mathematical Society, Providence, RI, 1996.
76. E. Winfree. Algorithmic Self-Assembly of DNA. Ph.D. thesis, California Institute of Technology, 1998.
77. E. Winfree. Simulations of computing by self-assembly. Technical Report CS-TR:1998.22, Caltech, 1998.
78. E. Winfree and R. Bekbolatov. Proofreading tile sets: Error correction for algorithmic self-assembly. In DNA Computing: 9th International Workshop on DNA Based Computers, DNA9, Volume 2943 of Lecture Notes in Computer Science, pages 126-144. Springer, 2004.
79. E. Winfree, F. Liu, L. Wenzler, and N. C. Seeman. Design and self-assembly of two-dimensional DNA crystals. Nature, 394:539-544, 1998.
80. M. Yim, W. Shen, B. Salemi, D. Rus, M. Moll, H. Lipson, E. Klavins, and G. Chirikjian. Modular self-reconfigurable robot systems. Robotics & Automation Magazine, IEEE, 14(1):43-52, 2007.
81. P. Yin, H. M. T. Choi, C. R. Calvert, and N. A. Pierce. Programming biomolecular self-assembly pathways. Nature, 451:318-322, 2008.
82. P. Yin, H. Yan, X. Daniell, A. J. Turberfield, and J. Reif. A unidirectional DNA walker that moves autonomously along a track. Angew. Chem. Int. Ed., 43:4906-4911, 2004.
83. B. Yurke, A. J. Turberfield, A. P. Mills, Jr., F. C. Simmel, and J. L. Nuemann. A DNA-fuelled molecular machine made of DNA. Nature, 406:605-608, 2000.
84. Z. Zhang, E. Olsen, M. Kryger, N. Voigt, T. Tørring, E. Gültekin, M. Nielsen, R. MohammadZadegan, E. Andersen, M. Nielsen, J. Kjems, V. Birkedal, and K. Gothelf. A DNA tile actuator with eleven discrete states. Angewandte Chemie International Edition, 50(17):3983-3987, 2011.