Information technologies enable programmers and engineers to design and synthesize systems of startling complexity that nonetheless behave as intended. This mastery of complexity is made possible by a hierarchy of formal abstractions that span from high-level programming languages down to low-level implementation specifications, with rigorous connections between the levels. DNA nanotechnology presents us with a new molecular information technology whose potential has not yet been fully unlocked in this way. Developing an effective hierarchy of abstractions may be critical for increasing the complexity of programmable DNA systems. Here, we build on prior practice to provide a new formalization of ‘domain-level’ representations of DNA strand displacement systems that has a natural connection to nucleic acid biophysics while still being suitable for formal analysis. Enumeration of unimolecular and bimolecular reactions provides a semantics for programmable molecular interactions, with kinetics given by an approximate biophysical model. Reaction condensation provides a tractable simplification of the detailed reactions that respects overall kinetic properties. The applicability and accuracy of the model is evaluated across a wide range of engineered DNA strand displacement systems. Thus, our work can serve as an interface between lower-level DNA models that operate at the nucleotide sequence level, and high-level chemical reaction network models that operate at the level of interactions between abstract species.
more »
« less
Simplifying Chemical Reaction Network Implementations with Two-Stranded DNA Building Blocks
In molecular programming, the Chemical Reaction Network model is often used to describe real or hypothetical systems. Often, an interesting computational task can be done with a known hypothetical Chemical Reaction Network, but often such networks have no known physical implementation. One of the important breakthroughs in the field was that any Chemical Reaction Network can be physically implemented, approximately, using DNA strand displacement mechanisms. This allows us to treat the Chemical Reaction Network model as a programming language and the implementation schemes as its compiler. This also suggests that it would be useful to optimize the result of such a compilation, and in general to find effective ways to design better DNA strand displacement systems. We discuss DNA strand displacement systems in terms of "motifs", short sequences of elementary DNA strand displacement reactions. We argue that describing such motifs in terms of their inputs and outputs, then building larger systems out of the abstracted motifs, can be an efficient way of designing DNA strand displacement systems. We discuss four previously studied motifs in this abstracted way, and present a new motif based on cooperative 4-way strand exchange. We then show how Chemical Reaction Network implementations can be built out of abstracted motifs, discussing existing implementations as well as presenting two new implementations based on 4-way strand exchange, one of which uses the new cooperative motif. The new implementations both have two desirable properties not found in existing implementations, namely both use only at most 2-stranded DNA complexes for signal and fuel complexes and both are physically reversible. There are reasons to believe that those properties may make them more robust and energy-efficient, but at the expense of using more fuel complexes than existing implementation schemes.
more »
« less
- Award ID(s):
- 1908643
- PAR ID:
- 10198586
- Date Published:
- Journal Name:
- Leibniz international proceedings in informatics
- Volume:
- 174
- ISSN:
- 1868-8969
- Page Range / eLocation ID:
- 2:1 - 2:14
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)Solution-based biosensors that utilize aptamers have been engineered in a variety of formats to detect a range of analytes for both medical and environmental applications. However, since aptamers have fixed base sequences, incorporation of aptamers into DNA strand displacement networks for feed-forward signal amplification and processing requires significant redesign of downstream DNA reaction networks. We designed a novel aptamer transduction network that releases customizable output domains, which can then be used to initiate downstream strand displacement reaction networks without any sequence redesign of the downstream reaction networks. In our aptamer transducer (AT), aptamer input domains are independent of output domains within the same DNA complex and are reacted with a fuel strand after aptamer–ligand binding. ATs were designed to react with two fluorescent dye-labeled reporter complexes to show the customizability of the output domains, as well as being used as feed-forward inputs to two previously studied catalytic reaction networks, which can be used as amplifiers. Through our study, we show both successful customizability and feed-forward capability of our ATs.more » « less
-
DNA–RNA hybrid strand displacement underpins the function of many natural and engineered systems. Understanding and controlling factors affecting DNA–RNA strand displacement reactions is necessary to enable control of processes such as CRISPR-Cas9 gene editing. By combining multiscale modeling with strand displacement experiments, we show that the distribution of bases within the displacement domain has a very strong effect on reaction kinetics, a feature unique to DNA–RNA hybrid strand displacement. Merely by redistributing bases within a displacement domain of fixed base composition, we are able to design sequences whose reaction rates span more than four orders of magnitude. We extensively characterize this effect in reactions involving the invasion of dsDNA by an RNA strand, as well as the invasion of a hybrid duplex by a DNA strand. In all-DNA strand displacement reactions, we find a predictable but relatively weak sequence dependence, confirming that DNA–RNA strand displacement permits far more thermodynamic and kinetic control than its all-DNA counterpart. We show that oxNA, a recently introduced coarse-grained model of DNA–RNA hybrids, can reproduce trends in experimentally observed reaction rates. We also develop a simple kinetic model for predicting strand displacement rates. On the basis of these results, we argue that base distribution effects may play an important role in natural R-loop formation and in the function of the guide RNAs that direct CRISPR-Cas systems.more » « less
-
In contrast to electronic computation, chemical computation is noisy and susceptible to a variety of sources of error, which has prevented the construction of robust complex systems. To be effective, chemical algorithms must be designed with an appropriate error model in mind. Here we consider the model of chemical reaction networks that preserve molecular count (population protocols), and ask whether computation can be made robust to a natural model of unintended “leak” reactions. Our definition of leak is motivated by both the particular spurious behavior seen when implementing chemical reaction networks with DNA strand displacement cascades, as well as the unavoidable side reactions in any implementation due to the basic laws of chemistry. We develop a new “Robust Detection” algorithm for the problem of fast (logarithmic time) single molecule detection, and prove that it is robust to this general model of leaks. Besides potential applications in single molecule detection, the error-correction ideas developed here might enable a new class of robust-by-design chemical algorithms. Our analysis is based on a non-standard hybrid argument, combining ideas from discrete analysis of population protocols with classic Markov chain techniques.more » « less
-
Abstract Synthetic DNA motifs form the basis of nucleic acid nanotechnology. The biochemical and biophysical properties of these motifs determine their applications. Here, we present a detailed characterization of switchback DNA, a globally left-handed structure composed of two parallel DNA strands. Compared to a conventional duplex, switchback DNA shows lower thermodynamic stability and requires higher magnesium concentration for assembly but exhibits enhanced biostability against some nucleases. Strand competition and strand displacement experiments show that component sequences have an absolute preference for duplex complements instead of their switchback partners. Further, we hypothesize a potential role for switchback DNA as an alternate structure in sequences containing short tandem repeats. Together with small molecule binding experiments and cell studies, our results open new avenues for switchback DNA in biology and nanotechnology.more » « less
An official website of the United States government

