Abstract
Self-assembly is a process which is ubiquitous in natural, especially biological systems. It occurs when groups of relatively simple components spontaneously combine to form more complex structures. While such systems have inspired a large amount of research into designing theoretical models of self-assembling systems, and even laboratory-based implementations of them, these artificial models and systems often tend to be lacking in one of the powerful features of natural systems (e.g. the assembly and folding of proteins), which is dynamic reconfigurability of structures. In this paper, we present a new mathematical model of self-assembly, based on the abstract Tile Assembly Model (aTAM), called the Flexible Tile Assembly Model (FTAM). In the FTAM, the individual components are 2-dimensional tiles as in the aTAM, but in the FTAM, bonds between the edges of tiles can be flexible, allowing bonds to flex and entire structures to reconfigure, thus allowing 2-dimensional components to form 3-dimensional structures. We analyze the powers and limitations of FTAM systems by (1) demonstrating how flexibility can be controlled to carefully build desired structures, and (2) showing how flexibility can be beneficially harnessed to form structures which can “efficiently” reconfigure into many different configurations and/or greatly varying configurations. We also show that with such power comes a heavy burden in terms of computational complexity of simulation and prediction by proving that for important properties of FTAM systems, determining their existence is intractable, even for properties which are easily computed for systems in less dynamic models.
Similar content being viewed by others
Notes
We refer to the vectors \(\{(1,0,0),(-1,0,0),(0,1,0),(0,-1,0),(0,0,1),(0,0,-1)\})\) by the shorthand notation \(\{+x,-x,+y,-y,+z,-z\}\) throughout this paper
The \({{\texttt {inverse}}}\) function simply negates the signs of the non-zero components of a vector
Note that any glue can only bind to a single other glue, and also that if edges of 4 tiles are all adjacent to each other, if glues of 2 tiles which are co-planar bind, then that “blocks” any possible binding between the other pair (which must be co-planar to each other) since that bond would have to cross through the existing bond.
References
Aichholzer O, Biro M, Demaine ED, Demaine ML, Eppstein D, Fekete SP, Hesterberg A, Kostitsyna I, Schmidt C (2017) Folding polyominoes into (poly) cubes. arXiv preprint arXiv:1712.09317
Aloupis G, Benbernou N, Bose PK, Collette S, Demaine ED, Demaine M, Douïeb K, Dujmovic V, Iacono J, Langerman S et al (2011) Common unfoldings of polyominoes and polycubes. In: Akiyama J, Bo J, Kano M, Tan X (eds) Computational geometry, graphs and applications. Springer, Berlin, pp 44–54 (2011)
Barish RD, Schulman R, Rothemund PWK, Winfree E (2009) An information-bearing seed for nucleating algorithmic self-assembly. Proc Natl Acad Sci 106(15):6054–6059
Crescenzi P, Goldman D, Papadimitriou C, Piccolboni A, Yannakakis M (1998) On the complexity of protein folding. J Comput Biol 5(3):423–465
Fochtman T, Hendricks J, Padilla JE, Patitz MJ, Rogers TA (2015) Signal transmission across tile assemblies: 3D static tiles simulate active self-assembly by 2D signal-passing tiles. Nat Comput 14(2):251–264
Fraenkel AS (1993) Complexity of protein folding. Bull Math Biol 55(6):1199–1210
Hendricks J, Patitz MJ, Rogers TA (2017) Reflections on tiles (in self-assembly). Nat Comput 16(2):295–316
Jonoska N, Karpenko D (2014a) Active tile self-assembly, part 1: universality at temperature 1. Int J Found Comput Sci 25(02):141–163
Jonoska N, Karpenko D (2014b) Active tile self-assembly, part 2: self-similar structures and structural recursion. Int J Found Comput Sci 25(02):165–194
Jonoska N, McColm GL (2005) A computational model for self-assembling flexible tiles. In: Proceedings of the 4th international conference on unconventional computation. Springer, Berlin, pp 142–156 (2005)
Jonoska N, McColm GL (2009) Complexity classes for self-assembling flexible tiles. Theor Comput Sci 410(4–5):332–346
Liu W, Zhong H, Wang R, Seeman NC (2011) Crystalline two-dimensional DNA-origami arrays. Angew Chem Int Ed 50(1):264–267
Padilla JE, 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) UCNC. Lecture notes in computer science. Springer, Berlin, vol 7956, pp 174–185 (2013)
Padilla JE, Patitz MJ, Schweller RT, Seeman NC, Summers SM, Zhong X (2014) Asynchronous signal passing for tile self-assembly: fuel efficient computation and efficient assembly of shapes. Int J Found Comput Sci 25(4):459–488
Rothemund PWK (2005) Design of dna origami. In: ICCAD ’05: proceedings of the 2005 IEEE/ACM international conference on computer-aided design, pp 471–478. IEEE Computer Society, Washington, DC, USA (2005)
Rothemund PWK (2006) Folding DNA to create nanoscale shapes and patterns. Nature 440:297–302
Winfree E (1998) Algorithmic self-assembly of DNA. Ph.D. thesis, California Institute of Technology
Acknowledgements
Funding was provided by National Science Foundation (US) (Grant Nos. CCF-1422152, CAREER-1553166).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This author’s research was supported in part by National Science Foundation Grants CCF-1422152 and CAREER-1553166.
Rights and permissions
About this article
Cite this article
Durand-Lose, J., Hendricks, J., Patitz, M.J. et al. Self-assembly of 3-D structures using 2-D folding tiles. Nat Comput 19, 337–355 (2020). https://doi.org/10.1007/s11047-019-09751-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-019-09751-9