Strand displacement and tile assembly systems are designed to follow prescribed kinetic rules (i.e., exhibit a specific time-evolution). However, the expected behavior in the limit of infinite time—known as thermodynamic equilibrium—is often incompatible with the desired computation. Basic physical chemistry implicates this inconsistency as a source of unavoidable error. Can the thermodynamic equilibrium be made consistent with the desired computational pathway? In order to formally study this question, we introduce a new model of molecular computing in which computation is driven by the thermodynamic driving forces of enthalpy and entropy. To ensure greatest generality we do not assume that there are any constraints imposed by geometry and treat monomers as unstructured collections of binding sites. In this model we design Boolean AND/OR formulas, as well as a self-assembling binary counter, where the thermodynamically favored states are exactly the desired final output configurations. Though inspired by DNA nanotechnology, the model is sufficiently general to apply to a wide variety of chemical systems.
more »
« less
Proceedings of the 29th International Conference on DNA Computing and Molecular Programming (DNA 29)
The field of chemical computation attempts to model computational behavior that arises when molecules, typically nucleic acids, are mixed together. By modeling this physical phenomenon at different levels of specificity, different operative computational behavior is observed. Thermodynamic binding networks (TBNs) is a highly abstracted model that focuses on which molecules are bound to each other in a "thermodynamically stable" sense. Stability is measured based only on how many bonds are formed and how many total complexes are in a configuration, without focusing on how molecules are binding or how they became bound. By defocusing on kinetic processes, TBNs attempt to naturally model the long-term behavior of a mixture (i.e., its thermodynamic equilibrium).
We study the problem of signal amplification: detecting a small quantity of some molecule and amplifying its signal to something more easily detectable. This problem has natural applications such as disease diagnosis. By focusing on thermodynamically favored outcomes, we seek to design chemical systems that perform the task of signal amplification robustly without relying on kinetic pathways that can be error prone and require highly controlled conditions (e.g., PCR amplification).
It might appear that a small change in concentrations can result in only small changes to the thermodynamic equilibrium of a molecular system. However, we show that it is possible to design a TBN that can "exponentially amplify" a signal represented by a single copy of a monomer called the analyte: this TBN has exactly one stable state before adding the analyte and exactly one stable state afterward, and those two states "look very different" from each other. In particular, their difference is exponential in the number of types of molecules and their sizes. The system can be programmed to any desired level of resilience to false positives and false negatives. To prove these results, we introduce new concepts to the TBN model, particularly the notions of a TBN’s entropy gap to describe how unlikely it is to be observed in an undesirable state, and feed-forward TBNs that have a strong upper bound on the number of polymers in a stable configuration.
We also show a corresponding negative result: a doubly exponential upper bound, meaning that there is no TBN that can amplify a signal by an amount more than doubly exponential in the number and sizes of different molecules that comprise it. We leave as an open question to close this gap by either proving an exponential upper bound, or giving a construction with a doubly-exponential difference between the stable configurations before and after the analyte is added.
Our work informs the fundamental question of how a thermodynamic equilibrium can change as a result of a small change to the system (adding a single molecule copy). While exponential amplification is traditionally viewed as inherently a non-equilibrium phenomenon, we find that in a strong sense exponential amplification can occur at thermodynamic equilibrium as well - where the "effect" (e.g., fluorescence) is exponential in types and complexity of the chemical components.
more »
« less
- Award ID(s):
- 2211793
- NSF-PAR ID:
- 10499294
- Editor(s):
- Chen, Ho-Lin; Evans, Constantine G.
- Publisher / Repository:
- Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- Date Published:
- Subject(s) / Keyword(s):
- ["Thermodynamic binding networks","signal amplification","integer programming","Theory of computation → Models of computation"]
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Gene amplification has been observed in many bacteria and eukaryotes as a response to various selective pressures, such as antibiotics, cytotoxic drugs, pesticides, herbicides, and other stressful environmental conditions. An increase in gene copy number is often found as extrachromosomal elements that usually contain autonomously replicating extrachromosomal circular DNA molecules (eccDNAs). Amaranthus palmeri , a crop weed, can develop herbicide resistance to glyphosate [ N -(phosphonomethyl) glycine] by amplification of the 5-enolpyruvylshikimate-3-phosphate synthase ( EPSPS ) gene, the molecular target of glyphosate. However, biological questions regarding the source of the amplified EPSPS , the nature of the amplified DNA structures, and mechanisms responsible for maintaining this gene amplification in cells and their inheritance remain unknown. Here, we report that amplified EPSPS copies in glyphosate-resistant (GR) A. palmeri are present in the form of eccDNAs with various conformations. The eccDNAs are transmitted during cell division in mitosis and meiosis to the soma and germ cells and the progeny by an as yet unknown mechanism of tethering to mitotic and meiotic chromosomes. We propose that eccDNAs are one of the components of McClintock’s postulated innate systems [McClintock B (1978) Stadler Genetics Symposium ] that can rapidly produce soma variation, amplify EPSPS genes in the sporophyte that are transmitted to germ cells, and modulate rapid glyphosate resistance through genome plasticity and adaptive evolution.more » « less
-
more » « less
Abstract Developing ultrasensitive chemical sensors with small scale and fast response through simple design and low‐cost fabrication is highly desired but still challenging. Herein, a simple and universal sensing platform based on a hydrogel interferometer with femtomol‐level sensitivity in detecting (bio)chemical molecules is demonstrated. A unique local concentrating effect (up to 109folds) in the hydrogel induced by the strong analyte binding and large amount of ligands, combined with the signal amplification effect by optical interference, endows this platform with an ultrahigh sensitivity, specifically 10−14
m for copper ions and 1.0 × 10−11mg mL−1for glycoprotein with 2–4 order‐of‐magnitude enhancement. The specific chemical reactions between selected ligands and target analytes provide high selectivity in detecting complex fluids. This universal principle with broad chemistry, simple physics, and modular design allows for high performance in detecting wide customer choices of analytes, including metal ions and proteins. The scale of the sensor can be down to micrometer size. The nature of the soft gel makes this platform transparent, flexible, stretchable, and compatible with a variety of substrates, showing high sensing stability and robustness after 200 cycles of bending or stretching. The outstanding sensing performance grants this platform great promise in broad practical applications. -
Fluids in natural systems, like the cytoplasm of a cell, often contain thousands of molecular species that are organized into multiple coexisting phases that enable diverse and specific functions. How interactions between numerous molecular species encode for various emergent phases is not well understood. Here, we leverage approaches from random-matrix theory and statistical physics to describe the emergent phase behavior of fluid mixtures with many species whose interactions are drawn randomly from an underlying distribution. Through numerical simulation and stability analyses, we show that these mixtures exhibit staged phase-separation kinetics and are characterized by multiple coexisting phases at steady state with distinct compositions. Random-matrix theory predicts the number of coexisting phases, validated by simulations with diverse component numbers and interaction parameters. Surprisingly, this model predicts an upper bound on the number of phases, derived from dynamical considerations, that is much lower than the limit from the Gibbs phase rule, which is obtained from equilibrium thermodynamic constraints. We design ensembles that encode either linear or nonmonotonic scaling relationships between the number of components and coexisting phases, which we validate through simulation and theory. Finally, inspired by parallels in biological systems, we show that including nonequilibrium turnover of components through chemical reactions can tunably modulate the number of coexisting phases at steady state without changing overall fluid composition. Together, our study provides a model framework that describes the emergent dynamical and steady-state phase behavior of liquid-like mixtures with many interacting constituents.more » « less
-
Rasmussen, Angela L. (Ed.)ABSTRACT Isothermal nucleic acid amplification tests (iNATs), such as loop-mediated isothermal amplification (LAMP), are good alternatives to PCR-based amplification assays, especially for point-of-care and low-resource use, in part because they can be carried out with relatively simple instrumentation. However, iNATs can often generate spurious amplicons, especially in the absence of target sequences, resulting in false-positive results. This is especially true if signals are based on non-sequence-specific probes, such as intercalating dyes or pH changes. In addition, pathogens often prove to be moving, evolving targets and can accumulate mutations that will lead to inefficient primer binding and thus false-negative results. Multiplex assays targeting different regions of the analyte and logical signal readout using sequence-specific probes can help to reduce both false negatives and false positives. Here, we describe rapid conversion of three previously described SARS-CoV-2 LAMP assays that relied on a non-sequence-specific readout into individual and multiplex one-pot assays that can be visually read using sequence-specific oligonucleotide strand exchange (OSD) probes. We describe both fluorescence-based and Boolean logic-gated colorimetric lateral flow readout methods and demonstrate detection of SARS-CoV-2 virions in crude human saliva. IMPORTANCE One of the key approaches to treatment and control of infectious diseases, such as COVID-19, is accurate and rapid diagnostics that is widely deployable in a timely and scalable manner. To achieve this, it is essential to go beyond the traditional gold standard of quantitative PCR (qPCR) that is often faced with difficulties in scaling due to the complexity of infrastructure and human resource requirements. Isothermal nucleic acid amplification methods, such as loop-mediated isothermal amplification (LAMP), have been long pursued as ideal, low-tech alternatives for rapid, portable testing. However, isothermal approaches often suffer from false signals due to employment of nonspecific readout methods. We describe general principles for rapidly converting nonspecifically read LAMP assays into assays that are read in a sequence-specific manner by using oligonucleotide strand displacement (OSD) probes. We also demonstrate that inclusion of OSD probes in LAMP assays maintains the simplicity of one-pot assays and a visual yes/no readout by using fluorescence or colorimetric lateral-flow dipsticks while providing accurate sequence-specific readout and the ability to logically query multiplex amplicons for redundancy or copresence. These principles not only yielded high-surety isothermal assays for SARS-CoV-2 but might also aid in the design of more sophisticated molecular assays for other analytes.more » « less
