Abstract
We introduce a new property of tile self-assembly systems that we call size-separability. A system is size-separable if every terminal assembly is a constant factor larger than any intermediate assembly. Size-separability is motivated by the practical problem of filtering completed assemblies from a variety of incomplete “garbage” assemblies using gel electrophoresis or other mass-based filtering techniques. Here we prove that any system without cooperative bonding assembling a unique mismatch-free terminal assembly can be used to construct a size-separable system uniquely assembling the same shape. The proof achieves optimal scale factor, temperature, and tile types (within a factor of 2) for the size-separable system.
Similar content being viewed by others
Notes
Otherwise \(\mathcal {S}\) has a second terminal assembly containing a tile type not found in A.
References
Abel Z, Benbernou N, Damian M, Demaine ED, Demaine ML, Flatland R, Kominers SD, Schweller R (2010) Shape replication through self-assembly and RNase enzymes. In: Proceedings of the 21st ACM-SIAM Symposium on Discrete Algorithms (SODA), pp 1045–1064
Cannon S, Demaine ED, Demaine ML, Eisenstat S, Patitz MJ, Schweller RT, Summers SM, Winslow A (2013) Two hands are better than one (up to constant factors): self-assembly in the 2HAM vs. aTAM. In: STACS 2013, LIPIcs, vol. 20, pp 172–184. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik
Chen H, Doty D (2012) Parallelism and time in hierarchical self-assembly. In: Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp 1163–1182
Demaine ED, Demaine ML, Fekete SP, Ishaque M, Rafalin E, Schweller RT, Souvaine DL (2008) Staged self-assembly: nanomanufacture of arbitrary shapes with \({O}(1)\) glues. Nat Comput 7(3):347–370
Doty D (2014) Producibility in hierarchical self-assembly. In: Ibarra OH, Kari L, Kopecki S (eds) Unconventional computation and natural computation, LNCS, vol 8553. Springer, Berlin Heidelberg, pp 142–154
Doty D, Patitz MJ, Reishus D, Schweller RT, Summers SM (2010) Strong fault-tolerance for self-assembly with fuzzy temperature. In: Foundations of Computer Science (FOCS), pp 417–426
Doty D, Patitz MJ, Summers SM (2009) Limitations of self-assembly at temperature 1. In: Deaton R, Suyama A (eds) DNA 15, LNCS, vol. 5877. Springer, Berlin Heidelberg, pp 35–44
Lathrop JI, Lutz JH, Patitz MJ, Summers SM (2008) Computability and complexity in self-assembly. In: Beckmann A, Dimitracopoulos C, Löwe B (eds) Logic and theory of algorithms, LNCS, vol 5028. Springer, Berlin Heidelberg, pp 349–358
Luhrs C (2009) Polyomino-safe DNA self-assembly via block replacement. In: Goel A, Simmel FC, Sosik P (eds) DNA 14, LNCS, vol 5347. Springer, Berlin Heidelberg, pp 112–126
Luhrs C (2010) Polyomino-safe DNA self-assembly via block replacement. Nat Comput 9(1):97–109
Maňuch J, Stacho L, Stoll C (2010) Two lower bounds for self-assemblies at temperature 1. J Comput Biol 16(6):841–852
Meunier PE (2014) The self-assembly of paths and squares at temperature 1. Tech. rep., arxiv:1312.1299
Meunier PE, Patitz MJ, Summers SM, Theyssier G, Winslow A, Woods D (2014) Intrinsic universality in tile self-assembly requires cooperation. In: Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp 752–771
Padilla J, Patitz MJ, Pena R, Schweller RT, Seeman NC, Sheline R, Summers SM, Zhong X (2013) Asynchronous signal passing for tile self-assembly:fuel efficient computation and efficient assembly of shapes. In: Mauri G, Dennunzio A, Manzoni L, Porreca AE (eds) Unconventional computation and natural computation (UCNC), LNCS, vol 7956. Springer, Berlin Heidelberg, pp 174–185
Reif J, Song T (2014) The computation complexity of temperature-1 tilings. Duke University, Tech. rep
Rothemund PWK, Winfree E (2000) The program-size complexity of self-assembled squares (extended abstract). In: Proceedings of ACM Symposium on Theory of Computing (STOC), pp 459–468
Soloveichik D, Winfree E (2007) Complexity of self-assembled shapes. SIAM J Comput 36(6):1544–1569
Summers SM (2010) Universality in algorithm self-assembly. Ph.D. thesis, Iowa State University
Winfree E (1998) Algorithmic self-assembly of DNA. Ph.D. thesis, Caltech
Winslow A (2013) Staged self-assembly and polyomino context-free grammars. In: Soloveichik D, Yurke B (eds) DNA 19, LNCS, vol 8141. Springer, Berlin Heidelberg, pp 174–188
Acknowledgments
The author thanks the anonymous UCNC and Natural Computation reviewers for their comments that improved the presentation and correctness of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
An extended abstract of this work was previously published in Unconventional Computation and Natural Computation, LNCS, vol. 8553, pp. 367–378, Springer Berlin Heidelberg (2014).
Rights and permissions
About this article
Cite this article
Winslow, A. Size-separable tile self-assembly: a tight bound for temperature-1 mismatch-free systems. Nat Comput 15, 143–151 (2016). https://doi.org/10.1007/s11047-015-9516-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-015-9516-3