,
Trent A. Rogers
Creative Commons Attribution 4.0 International license
In this paper we present a theoretical design for tile-based self-assembling systems where individual tile sets that are universal for various tasks (e.g. building shapes or encoding arbitrary data for algorithmic systems) can be provided their input solely using sequences of variations in temperatures. Although there is prior theoretical work in so-called "temperature programming," the results presented here are based upon recent experimental work with "blocked tiles" that provides plausible evidence for their practical implementation. We develop and present an abstract mathematical model, the BlockTAM, for such systems that is based upon the experimental work, and provide constructions within it for universal number encoding systems and a universal shape building construction. These results mirror previous results in temperature programming, covering the two ends of the spectrum that seek to balance the scale factors of assemblies with the number of temperature phases required, while leveraging the features of the BlockTAM that we hope provide a pathway for future experimental implementations.
@InProceedings{patitz_et_al:LIPIcs.DNA.31.8,
author = {Patitz, Matthew J. and Rogers, Trent A.},
title = {{An Axiomatic Study of Leveraging Blockers to Self-Assemble Arbitrary Shapes via Temperature Programming}},
booktitle = {31st International Conference on DNA Computing and Molecular Programming (DNA 31)},
pages = {8:1--8:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-399-7},
ISSN = {1868-8969},
year = {2025},
volume = {347},
editor = {Schaeffer, Josie and Zhang, Fei},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.31.8},
URN = {urn:nbn:de:0030-drops-238574},
doi = {10.4230/LIPIcs.DNA.31.8},
annote = {Keywords: DNA tiles, self-assembly, temperature programming}
}