Abstract
While current experimental demonstrations have been limited to small computational tasks, DNA strand displacement systems (DSD systems) [25] hold promise for sophisticated information processing within chemical or biological environments. A DSD system encodes designed reactions that are facilitated by three-way or four-way toehold-mediated strand displacement. However, such systems are capable of spurious displacement events that lead to leak: incorrect signal production. We have identified sources of leak pathways in typical existing DSD schemes that rely on toehold sequestration and are susceptible to toeless strand displacement (i.e. displacement reactions that occur despite the absence of a toehold). Based on this understanding, we propose a simple, domain-level motif for the design of leak-resistant DSD systems. This motif forms the basis of a number of DSD schemes that do not rely on toehold sequestration alone to prevent spurious displacements. Spurious displacements are still possible in our systems, but require multiple, low probability events to occur. Our schemes can implement combinatorial Boolean logic formulas and can be extended to implement arbitrary chemical reaction networks.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
These assumptions include the approximate rate formulas for domain-level steps such as hybridization, fraying, 3-way and 4-way branch migration. There are also parameters set by the user that control the potential combinatorial explosion of the enumeration process, such as the granularity of domains (dividing a domain into subdomains allows the enumerator to explore more potential leak pathways, but makes the combinatorics worse), and the relevant time scales (opening a long double-stranded domain is “too slow to consider” and will not be enumerated, while a branch migration pathway may be “too fast” for considering bimolecular interactions prior to the end point).
- 2.
Each partial displacement is reversible and quickly reaches a pseudo-equilibrium proportional to two concentrations (\(F_1\) and an input). The second input then reacts, for an overall rate proportional to the product of \([F_1] \cdot [A] \cdot [B]\).
- 3.
Note that although the first reaction is reversible, the reverse reaction is bimolecular as opposed to unimolecular as is the case with the partial displacement by one input in the cooperative AND gate. Thus it is not as readily reversible, especially in low concentration regimes, and the associative gate avoids effectively trimolecular steps.
- 4.
For example, in the NLD AND gate described below, if input X is present, then there is a sequence of toehold-mediated reactions that can trigger the reporter. In particular, X displaces the top strand of \(F_1\) from the left up to the hairpin, which in turn displaces the top strand of \(F_2\) from the left up to the hairpin, and so forth. However, each of these reactions would quickly reverse because the partial displacement leaves each top strand attached. The associative hybridization AND gate of Fig. 5 also exhibits this behavior.
- 5.
The increasing length of the branch migration region is expected to lead to a linearly decreasing success probability per collision [20]. Thus each of the N strand displacement reactions slows down linearly with N. The time spent in the random walk of branch migration will increase quadratically, but will not be rate limiting for practical concentrations and values of N.
- 6.
Note that it is not enough to notice that each fuel complex has one top Y domain in excess and thus assume that to replace the top reporter strand requires all N fuel complexes. As we saw before, there are possible cascades between fuel complexes that need to be taken into account. To drive home the point, consider removing the leftmost \(X_1\) and \(X_1^*\) domains from \(F_1\). Then we could swap the top strands on \(F_1\) and \(F_2\) without decreasing the number of long domains bound, and then \(F_1\) will contain two open Y domains: \(Y_1\) and \(Y_2\). In this case, only \(N-1\) fuel complexes are sufficient to replace the top reporter strand.
References
Cardelli, L.: Two-domain DNA strand displacement. Math. Struct. Comput. Sci. 23(02), 247–271 (2013)
Chen, H.-L., Goel, A.: Error free self-assembly using error prone tiles. In: Ferretti, C., Mauri, G., Zandron, C. (eds.) DNA 2004. LNCS, vol. 3384, pp. 62–75. Springer, Heidelberg (2005)
Chen, X.: Expanding the rule set of DNA circuitry with associative toehold activation. J. Am. Chem. Soc. 134(1), 263–271 (2011)
Chen, Y.-J., Dalchau, N., Srinivas, N., Phillips, A., Cardelli, L., Soloveichik, D., Seelig, G.: Programmable chemical controllers made from DNA. Nat. Nanotechnol. 8(10), 755–762 (2013)
Dabby, N.L.: Synthetic molecular machines for active self-assembly: prototype algorithms, designs, and experimental study. Ph.D thesis, California Institute of Technology (2013)
Dong, Q.: A bisimulation approach to verification of molecular implementations of formal chemical reaction networks. Master’s thesis, Stony Brook University (2012)
Genot, A.J., Bath, J., Turberfield, A.J.: Combinatorial displacement of DNA strands: application to matrix multiplication and weighted sums. Angew. Chem. Int. Ed. 52(4), 1189–1192 (2013)
Grun, C., Sarma, K., Wolfe, B., Shin, S.W., Winfree, E.: The peppercorn enumerator. http://www.dna.caltech.edu/Peppercorn/
Grun, C., Sarma, K., Wolfe, B., Shin, S.W., Winfree, E.: A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures. In: Verification of Engineered Molecular Devices and Programs (VEMDP) (2014). http://arxiv.org/abs/1505.03738
Jiang, Y.S., Bhadra, S., Li, B., Ellington, A.D.: Mismatches improve the performance of strand-displacement nucleic acid circuits. Angew. Chem. 126(7), 1876–1879 (2014)
Krishnan, Y., Simmel, F.C.: Nucleic acid based molecular devices. Angew. Chem. Int. Ed. 50(14), 3124–3156 (2011)
Lakin, M.R., Phillips, A., Stefanovic, D.: Modular verification of DNA strand displacement networks via serializability analysis. In: Soloveichik, D., Yurke, B. (eds.) DNA 2013. LNCS, vol. 8141, pp. 133–146. Springer, Heidelberg (2013)
Machinek, R.R.F.: Control and observation of DNA nanodevices. Ph.D thesis, University of Oxford (2014)
Phillips, A., Cardelli, L.: A programming language for composable DNA circuits. J. R. Soc. Interface 6(Suppl 4), S419–S436 (2009)
Qian, L., Winfree, E.: Scaling up digital circuit computation with DNA strand displacement cascades. Science 332(6034), 1196–1201 (2011)
Qian, L., Winfree, E., Bruck, J.: Neural network computation with DNA strand displacement cascades. Nature 475(7356), 368–372 (2011)
Seelig, G., Soloveichik, D., Zhang, D.Y., Winfree, E.: Enzyme-free nucleic acid logic circuits. Science 314(5805), 1585–1588 (2006)
Shin, S.W.: Compiling and verifying DNA-based chemical reaction network implementations. Master’s thesis, California Institute of Technology (2011)
Soloveichik, D., Seelig, G., Winfree, E.: DNA as a universal substrate for chemical kinetics. Proc. Nat. Acad. Sci. 107(12), 5393–5398 (2010)
Srinivas, N., Ouldridge, T.E., Šulc, P., Schaeffer, J.M., Yurke, B., Louis, A.A., Doye, J.P.K., Winfree, E.: On the biophysics and kinetics of toehold-mediated DNA strand displacement. Nucleic Acids Res. 41(22), 10641–10658 (2013)
Teichmann, M., Kopperger, E., Simmel, F.C.: Robustness of localized DNA strand displacement cascades. ACS Nano 8(8), 8487–8496 (2014)
Winfree, E., Bekbolatov, R.: Proofreading tile sets: error correction for algorithmic self-assembly. In: Chen, J., Reif, J. (eds.) DNA Computing. LNCS, vol. 2943, pp. 126–144. Springer, Heidelberg (2004)
Yin, P., Choi, H.M.T., Calvert, C.R., Pierce, N.A.: Programming biomolecular self-assembly pathways. Nature 451(7176), 318–322 (2008)
Zhang, D.Y.: Cooperative hybridization of oligonucleotides. J. Am. Chem. Soc. 133(4), 1077–1086 (2010)
Zhang, D.Y., Seelig, G.: Dynamic DNA nanotechnology using strand-displacement reactions. Nat. Chem. 3(2), 103–113 (2011)
Zhang, D.Y., Turberfield, A.J., Yurke, B., Winfree, E.: Engineering entropy-driven reactions and networks catalyzed by DNA. Science 318(5853), 1121–1125 (2007)
Zhang, D.Y., Winfree, E.: Control of DNA strand displacement kinetics using toehold exchange. J. Am. Chem. Soc. 131(47), 17303–17314 (2009)
Acknowledgments
The authors are supported by a Banting Fellowship (CT), NSF CCF/HCC Grant No. 1213127, NSF CCF Grant No. 1317694, and NIGMS Systems Biology Center grant P50 GM081879 (DS). We thank Boya Wang and Robert Machinek for helpful discussions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Thachuk, C., Winfree, E., Soloveichik, D. (2015). Leakless DNA Strand Displacement Systems. In: Phillips, A., Yin, P. (eds) DNA Computing and Molecular Programming. DNA 2015. Lecture Notes in Computer Science(), vol 9211. Springer, Cham. https://doi.org/10.1007/978-3-319-21999-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-21999-8_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21998-1
Online ISBN: 978-3-319-21999-8
eBook Packages: Computer ScienceComputer Science (R0)