The Two-Handed Tile Assembly Model Is Not Intrinsically Universal
Name
Demaine_The two-handed.pdf
Size
343.27 KB
Format
Adobe PDF
Checksum (MD5)
9821e0aa735d34e5ab1a6ecc4be12e6a
Author(s)
Demaine, Erik D.
Patitz, Matthew J.
Rogers, Trent A.
Schweller, Robert T.
Summers, Scott M.
Woods, Damien
Date Issued
July 2013
Journal
Automata, Languages, and Programming
Publisher
Wiley Blackwell
Citation
Demaine, Erik D., Matthew J. Patitz, Trent A. Rogers, Robert T. Schweller, Scott M. Summers, and Damien Woods. “The Two-Handed Tile Assembly Model Is Not Intrinsically Universal.” Lecture Notes in Computer Science (2013): 400–412.
Version
Author's final manuscript
Abstract
In this paper, we study the intrinsic universality of the well-studied Two-Handed Tile Assembly Model (2HAM), in which two “supertile” assemblies, each consisting of one or more unit-square tiles, can fuse together (self-assemble) whenever their total attachment strength is at least the global temperature τ. Our main result is that for all τ′ < τ, each temperature-τ′ 2HAM tile system cannot simulate at least one temperature-τ 2HAM tile system. This impossibility result proves that the 2HAM is not intrinsically universal, in stark contrast to the simpler abstract Tile Assembly Model which was shown to be intrinsically universal (The tile assembly model is intrinsically universal, FOCS 2012). On the positive side, we prove that, for every fixed temperature τ ≥ 2, temperature-τ 2HAM tile systems are intrinsically universal: for each τ there is a single universal 2HAM tile set U that, when appropriately initialized, is capable of simulating the behavior of any temperature τ 2HAM tile system. As a corollary of these results we find an infinite set of infinite hierarchies of 2HAM systems with strictly increasing power within each hierarchy. Finally, we show how to construct, for each τ, a temperature-τ 2HAM system that simultaneously simulates all temperature-τ 2HAM systems.
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/978-3-642-39206-1_34
