Approximate self-assembly of the Sierpinski triangle

From MaRDI portal
Publication:693068

DOI10.1007/978-3-642-13962-8_32zbMATH Open1279.68082arXiv1001.2888OpenAlexW2049281111MaRDI QIDQ693068FDOQ693068


Authors: Jack H. Lutz, Brad Shutters Edit this on Wikidata


Publication date: 7 December 2012

Published in: Theory of Computing Systems, Programs, Proofs, Processes (Search for Journal in Brave)

Abstract: The Tile Assembly Model is a Turing universal model that Winfree introduced in order to study the nanoscale self-assembly of complex (typically aperiodic) DNA crystals. Winfree exhibited a self-assembly that tiles the first quadrant of the Cartesian plane with specially labeled tiles appearing at exactly the positions of points in the Sierpinski triangle. More recently, Lathrop, Lutz, and Summers proved that the Sierpinski triangle cannot self-assemble in the "strict" sense in which tiles are not allowed to appear at positions outside the target structure. Here we investigate the strict self-assembly of sets that approximate the Sierpinski triangle. We show that every set that does strictly self-assemble disagrees with the Sierpinski triangle on a set with fractal dimension at least that of the Sierpinski triangle (roughly 1.585), and that no subset of the Sierpinski triangle with fractal dimension greater than 1 strictly self-assembles. We show that our bounds are tight, even when restricted to supersets of the Sierpinski triangle, by presenting a strict self-assembly that adds communication fibers to the fractal structure without disturbing it. To verify this strict self-assembly we develop a generalization of the local determinism method of Soloveichik and Winfree.


Full work available at URL: https://arxiv.org/abs/1001.2888




Recommendations




Cites Work


Cited In (22)





This page was built for publication: Approximate self-assembly of the Sierpinski triangle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q693068)