Advertisement

Algorithmica

, Volume 74, Issue 2, pp 812–850 | Cite as

The Two-Handed Tile Assembly Model is not Intrinsically Universal

  • Erik D. Demaine
  • Matthew J. Patitz
  • Trent A. Rogers
  • Robert T. Schweller
  • Scott M. Summers
  • Damien Woods
Article

Abstract

The Two-Handed Tile Assembly Model (2HAM) is a model of algorithmic self-assembly in which large structures, or assemblies of tiles, are grown by the binding of smaller assemblies. In order to bind, two assemblies must have matching glues that can simultaneously touch each other, and stick together with strength that is at least the temperature \(\tau \), where \(\tau \) is some fixed positive integer. We ask whether the 2HAM is intrinsically universal. In other words, we ask: is there a single 2HAM tile set \(U\) which can be used to simulate any instance of the model? Our main result is a negative answer to this question. We show that for all \(\tau ' < \tau \), each temperature-\(\tau '\) 2HAM tile system does not simulate at least one temperature-\(\tau \) 2HAM tile system. This impossibility result proves that the 2HAM is not intrinsically universal and stands in contrast to the fact that the (single-tile addition) abstract Tile Assembly Model is intrinsically universal. On the positive side, we prove that, for every fixed temperature \(\tau \ge 2\), temperature-\(\tau \) 2HAM tile systems are indeed intrinsically universal. In other words, for each \(\tau \) there is a single intrinsically universal 2HAM tile set \(U_{\tau }\) that, when appropriately initialized, is capable of simulating the behavior of any temperature-\(\tau \) 2HAM tile system. As a corollary, we find an infinite set of infinite hierarchies of 2HAM systems with strictly increasing simulation power within each hierarchy. Finally, we show that for each \(\tau \), there is a temperature-\(\tau \) 2HAM system that simultaneously simulates all temperature-\(\tau \) 2HAM systems.

Keywords

Tile-assembly Intrinsic universality 2HAM Tile assembly model 

Notes

Acknowledgments

This work was initiated at the 27th Bellairs Winter Workshop on Computational Geometry held on February 11–17, 2012 in Holetown, Barbados. We thank the other participants of that workshop for a fruitful and collaborative environment. We would also like to thank an anonymous reviewer for very thorough and insightful comments, helping us to improve this version of the paper.

References

  1. 1.
    Adleman, L.M., Cheng, Q., Goel, A., Huang, M.D.A., Kempe, D., de Espanés, P.M., Rothemund, P.W.K.: Combinatorial optimization problems in self-assembly. In: Proceedings of the Thirty-Fourth Annual ACM Symposium on Theory of Computing, pp. 23–32 (2002)Google Scholar
  2. 2.
    Arrighi, P., Schabanel, N., Theyssier, G.: Intrinsic simulations between stochastic cellular automata. In: Automata & JAC: Proceedings of the 18th International Workshop on Cellular Automata and Discrete Complex Systems and the 3rd International Symposium Journées Automates Cellulaires, EPTCS, vol. 90, pp. 208–224 (2012). Arxiv preprint: arXiv:1208.2763
  3. 3.
    Barish, R.D., Rothemund, P.W., Winfree, E.: Two computational primitives for algorithmic self-assembly: copying and counting. Nano Lett. 5(12), 2586–2592 (2005)CrossRefGoogle Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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). In: STACS: Proceedings of the Thirtieth International Symposium on Theoretical Aspects of Computer Science, pp. 172–184 (2013). Arxiv preprint: arXiv:1201.1650
  6. 6.
    Goles, E., Meunier, P.E., Rapaport, I., Theyssier, G.: Communication complexity and intrinsic universality in cellular automata. Theor. Comput. Sci. 412(1—-2), 2–21 (2011)CrossRef