2013 IEEE 54th Annual Symposium on Foundations of Computer Science (2012)
New Brunswick, NJ, USA USA
Oct. 20, 2012 to Oct. 23, 2012
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.2012.76
We prove that the abstract Tile Assembly Model (aTAM) of nanoscale self-assembly is intrinsically universal. This means that there is a single tile assembly system U that, with proper initialization, simulates any tile assembly system T. The simulation is ``intrinsic" in the sense that the self-assembly process carried out by U is exactly that carried out by T, with each tile of T represented by an m x m "super tile" of U. Our construction works for the full aTAM at any temperature, and it faithfully simulates the deterministic or nondeterministic behavior of each T. Our construction succeeds by solving an analog of the cell differentiation problem in developmental biology: Each super tile of U, starting with those in the seed assembly, carries the "genome" of the simulated system T. At each location of a potential super tile in the self-assembly of U, a decision is made whether and how to express this genome, i.e., whether to generate a super tile and, if so, which tile of T it will represent. This decision must be achieved using asynchronous communication under incomplete information, but it achieves the correct global outcome(s).
simulation, tile self-assembly, intrinsic universality
David Doty, Jack H. Lutz, Matthew J. Patitz, Robert T. Schweller, Scott M. Summers, Damien Woods, "The Tile Assembly Model is Intrinsically Universal", 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, vol. 00, no. , pp. 302-310, 2012, doi:10.1109/FOCS.2012.76