Skip to main content

2016 | OriginalPaper | Buchkapitel

Resiliency to Multiple Nucleation in Temperature-1 Self-Assembly

verfasst von : Matthew J. Patitz, Trent A. Rogers, Robert T. Schweller, Scott M. Summers, Andrew Winslow

Erschienen in: DNA Computing and Molecular Programming

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We consider problems in variations of the two-handed abstract Tile Assembly Model (2HAM), a generalization of Erik Winfree’s abstract Tile Assembly Model (aTAM). In the latter, tiles attach one-at-a-time to a seed-containing assembly. In the former, tiles aggregate into supertiles that then further combine to form larger supertiles; hence, constructions must be robust to the choice of seed (nucleation) tiles. We obtain three distinct results in two 2HAM variants whose aTAM siblings are well-studied.
In the first variant, called the restricted glue 2HAM (rg2HAM), glue strengths are restricted to \(-1\), 0, or 1. We prove this model is Turing universal, overcoming undesired growth by breaking apart undesired computation assembly via repulsive forces.
In the second 2HAM variant, the 3D 2HAM (3D2HAM), tiles are (three-dimensional) cubes. We prove that assembling a (roughly two-layer) \(n \times n\) square in this model is possible with \(O(\log ^2{n})\) tile types. The construction uses “cyclic, colliding” binary counters, and assembles the shape non-deterministically. Finally, we prove that there exist 3D2HAM systems that only assemble infinite aperiodic shapes.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Such a distinction is only needed in two-handed models, where the seed cannot be used as a “reference point”.
 
Literatur
1.
Zurück zum Zitat Adleman, L., Cheng, Q., Goel, A., Huang, M.-D.: Running time and program size for self-assembled squares. In: Proceedings of the 33rd Annual ACM Symposium on Theory of Computing (STOC), pp. 740–748 (2001) Adleman, L., Cheng, Q., Goel, A., Huang, M.-D.: Running time and program size for self-assembled squares. In: Proceedings of the 33rd Annual ACM Symposium on Theory of Computing (STOC), pp. 740–748 (2001)
2.
Zurück zum Zitat Barish, R.D., Schulman, R., Rothemund, P.W., Winfree, E.: An information-bearing seed for nucleating algorithmic self-assembly. Proc. Natl. Acad. Sci. 106(15), 6054–6059 (2009)CrossRef Barish, R.D., Schulman, R., Rothemund, P.W., Winfree, E.: An information-bearing seed for nucleating algorithmic self-assembly. Proc. Natl. Acad. Sci. 106(15), 6054–6059 (2009)CrossRef
3.
4.
Zurück zum Zitat Cannon, S., Demaine, E.D., Demaine, M.L., Eisenstat, S., Patitz, M.J., Schweller, R., Summers, S.M., Winslow, A.: Two hands are better than one (up to constant factors): self-assembly in the 2HAM vs. aTAM. In: Proceedings of 30th International Symposium on Theoretical Aspects of Computer Science (STACS). LIPIcs, vol. 20, pp. 172–184. Schloss Dagstuhl (2013) Cannon, S., Demaine, E.D., Demaine, M.L., Eisenstat, S., Patitz, M.J., Schweller, R., Summers, S.M., Winslow, A.: Two hands are better than one (up to constant factors): self-assembly in the 2HAM vs. aTAM. In: Proceedings of 30th International Symposium on Theoretical Aspects of Computer Science (STACS). LIPIcs, vol. 20, pp. 172–184. Schloss Dagstuhl (2013)
5.
Zurück zum Zitat Chen, H.-L., Doty, D., Manuch, J., Rafiey, A., Stacho, L.: Pattern overlap implies runaway growth in hierarchical tile systems. In: Arge, L., Pach, J. (eds.) 31st International Symposium on Computational Geometry (SoCG). LIPIcs, vol. 34, pp. 360–373. Schloss Dagstuhl (2015) Chen, H.-L., Doty, D., Manuch, J., Rafiey, A., Stacho, L.: Pattern overlap implies runaway growth in hierarchical tile systems. In: Arge, L., Pach, J. (eds.) 31st International Symposium on Computational Geometry (SoCG). LIPIcs, vol. 34, pp. 360–373. Schloss Dagstuhl (2015)
6.
Zurück zum Zitat Chen, H.-L., Schulman, R., Goel, A., Winfree, E.: Reducing facet nucleation during algorithmic self-assembly. Nano Lett. 7(9), 2913–2919 (2007)CrossRef Chen, H.-L., Schulman, R., Goel, A., Winfree, E.: Reducing facet nucleation during algorithmic self-assembly. Nano Lett. 7(9), 2913–2919 (2007)CrossRef
7.
Zurück zum Zitat Cook, M., Fu, Y., Schweller, R.T.: Temperature 1 self-assembly: deterministic assembly in 3D and probabilistic assembly in 2D. In: Proceedings of the 22nd ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, pp. 570–589 (2011) Cook, M., Fu, Y., Schweller, R.T.: Temperature 1 self-assembly: deterministic assembly in 3D and probabilistic assembly in 2D. In: Proceedings of the 22nd ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, pp. 570–589 (2011)
8.
Zurück zum Zitat Demaine, E.D., Demaine, M.L., Fekete, S.P., Ishaque, M., Rafalin, E., Schweller, R.T., Souvaine, D.L.: Staged self-assembly: nanomanufacture of arbitrary shapes with \({O}(1)\) glues. Nat. Comput. 7(3), 347–370 (2008)MathSciNetCrossRefMATH Demaine, E.D., Demaine, M.L., Fekete, S.P., Ishaque, M., Rafalin, E., Schweller, R.T., Souvaine, D.L.: Staged self-assembly: nanomanufacture of arbitrary shapes with \({O}(1)\) glues. Nat. Comput. 7(3), 347–370 (2008)MathSciNetCrossRefMATH
10.
Zurück zum Zitat Doty, D., Patitz, M.J., Summers, S.M.: Limitations of self-assembly at temperature 1. Theor. Comput. Sci. 412, 145–158 (2011)MathSciNetCrossRefMATH Doty, D., Patitz, M.J., Summers, S.M.: Limitations of self-assembly at temperature 1. Theor. Comput. Sci. 412, 145–158 (2011)MathSciNetCrossRefMATH
11.
Zurück zum Zitat Fekete, S.P., Hendricks, J., Patitz, M.J., Rogers, T.A., Schweller, R.T.: Universal computation with arbitrary polyomino tiles in non-cooperative self-assembly. In: Proceedings of the 25th ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, pp. 148–167. SIAM (2015) Fekete, S.P., Hendricks, J., Patitz, M.J., Rogers, T.A., Schweller, R.T.: Universal computation with arbitrary polyomino tiles in non-cooperative self-assembly. In: Proceedings of the 25th ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, pp. 148–167. SIAM (2015)
13.
Zurück zum Zitat Grünbaum, B., Shephard, G.C.: Tilings and Patterns. W.H. Freeman and Company, New York (1987)MATH Grünbaum, B., Shephard, G.C.: Tilings and Patterns. W.H. Freeman and Company, New York (1987)MATH
14.
Zurück zum Zitat Meunier, P.-E., Patitz, M.J., Summers, S.M., Theyssier, G., Woods, D.: Intrinsic universality in tile self-assembly requires cooperation. In: Proceedings of the 25th Symposium on Discrete Algorithms (SODA), pp. 752–771 (2014) Meunier, P.-E., Patitz, M.J., Summers, S.M., Theyssier, G., Woods, D.: Intrinsic universality in tile self-assembly requires cooperation. In: Proceedings of the 25th Symposium on Discrete Algorithms (SODA), pp. 752–771 (2014)
15.
Zurück zum Zitat Padilla, J.E., et al.: Asynchronous signal passing for tile self-assembly: fuel efficient computation and efficient assembly of shapes. In: Mauri, G., Dennunzio, A., Manzoni, L., Porreca, A.E. (eds.) UCNC 2013. LNCS, vol. 7956, pp. 174–185. Springer, Heidelberg (2013)CrossRef Padilla, J.E., et al.: Asynchronous signal passing for tile self-assembly: fuel efficient computation and efficient assembly of shapes. In: Mauri, G., Dennunzio, A., Manzoni, L., Porreca, A.E. (eds.) UCNC 2013. LNCS, vol. 7956, pp. 174–185. Springer, Heidelberg (2013)CrossRef
16.
Zurück zum Zitat Patitz, M.J., Schweller, R.T., Summers, S.M.: Exact shapes and turing universality at temperature 1 with a single negative glue. In: Cardelli, L., Shih, W. (eds.) DNA 17 2011. LNCS, vol. 6937, pp. 175–189. Springer, Heidelberg (2011)CrossRef Patitz, M.J., Schweller, R.T., Summers, S.M.: Exact shapes and turing universality at temperature 1 with a single negative glue. In: Cardelli, L., Shih, W. (eds.) DNA 17 2011. LNCS, vol. 6937, pp. 175–189. Springer, Heidelberg (2011)CrossRef
17.
Zurück zum Zitat Rothemund, P.W.K., Winfree, E.: The program-size complexity of self-assembled squares (extended abstract). In: Proceedings of the 32nd ACM Symposium on Theory of Computing (STOC), pp. 459–468 (2000) Rothemund, P.W.K., Winfree, E.: The program-size complexity of self-assembled squares (extended abstract). In: Proceedings of the 32nd ACM Symposium on Theory of Computing (STOC), pp. 459–468 (2000)
18.
Zurück zum Zitat Schulman, R.: The self-replication and evolution of DNA crystals. PhD thesis (2007) Schulman, R.: The self-replication and evolution of DNA crystals. PhD thesis (2007)
19.
Zurück zum Zitat Schulman, R., Winfree, E.: Synthesis of crystals with a programmable kinetic barrier to nucleation. Proc. Natl. Acad. Sci. 104(39), 15236–15241 (2007)CrossRef Schulman, R., Winfree, E.: Synthesis of crystals with a programmable kinetic barrier to nucleation. Proc. Natl. Acad. Sci. 104(39), 15236–15241 (2007)CrossRef
20.
Zurück zum Zitat Schulman, R., Winfree, E.: Programmable control of nucleation for algorithmic self-assembly. SIAM J. Comput. 39(4), 1581–1616 (2009)MathSciNetCrossRefMATH Schulman, R., Winfree, E.: Programmable control of nucleation for algorithmic self-assembly. SIAM J. Comput. 39(4), 1581–1616 (2009)MathSciNetCrossRefMATH
21.
Zurück zum Zitat Seeman, N.C.: Nucleic-acid junctions and lattices. J. Theor. Biol. 99, 237–247 (1982)CrossRef Seeman, N.C.: Nucleic-acid junctions and lattices. J. Theor. Biol. 99, 237–247 (1982)CrossRef
24.
Zurück zum Zitat Winfree, E.: Algorithmic self-assembly of DNA. PhD thesis, Caltech (1998) Winfree, E.: Algorithmic self-assembly of DNA. PhD thesis, Caltech (1998)
Metadaten
Titel
Resiliency to Multiple Nucleation in Temperature-1 Self-Assembly
verfasst von
Matthew J. Patitz
Trent A. Rogers
Robert T. Schweller
Scott M. Summers
Andrew Winslow
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-43994-5_7

Premium Partner