Optimizing Tile Set Size While Preserving Proofreading with a DNA Self-assembly Compiler
Algorithmic DNA tile systems have the potential to allow the construction by self-assembly of large structures with complex nanometer-scale details out of relatively few monomer types, but are constrained by errors in growth and the limited sequence space of orthogonal DNA sticky ends that program tile interactions. We present a tile set optimization technique that, through analysis of algorithmic growth equivalence, potentially sensitive error pathways, and potential lattice defects, can significantly reduce the size of tile systems while preserving proofreading behavior that is essential for obtaining low error rates. Applied to systems implementing multiple algorithms that are far beyond the size of currently feasible implementations, the optimization technique results in systems that are comparable in size to already-implemented experimental systems.
We thank Chigozie Nri, Philip Petersen, Lulu Qian, and Grigory Tikhomirov for discussions and collaboration on physical implementations and the Alhambra compiler, and Robert Johnson and William Poole for discussions on aTAM equivalence. This work was partially supported by the Evans Foundation and National Science Foundation award CCF-1317694.
- 3.Cannon, S., et al.: Two hands are better than one (up to constant factors): self-assembly in the 2HAM vs. aTAM. In: Portier, N., Wilke, T. (eds.) STACS 2013. LIPIcs, vol. 20, pp. 172–184. Dagstuhl (2013). https://doi.org/10.4230/LIPIcs.STACS.2013.172
- 9.Evans, C.G.: Crystals that count! Physical principles and experimental investigations of DNA tile self-assembly. Ph.D. thesis, California Institute of Technology (2014). http://resolver.caltech.edu/CaltechTHESIS:05132014-142306756
- 18.Johnson, R., Dong, Q., Winfree, E.: Verifying chemical reaction network implementations: a bisimulation approach. Theor. Comput. Sci. (2018). https://doi.org/10.1016/j.tcs.2018.01.002
- 23.Ma, X., Lombardi, F.: Combinatorial optimization problem in designing DNA self-assembly tile sets. In: 2008 IEEE International Workshop on Design and Test of Nano Devices, Circuits and Systems, pp. 73–76 (2008). https://doi.org/10.1109/NDCS.2008.7
- 34.Winfree, E.: Simulations of computing by self-assembly. Technical report, CaltechCSTR:1998.22, Pasadena, CA (1998). https://doi.org/10.7907/Z9TB14X7