Kun
Wang‡
*a,
Qiuyan
Huang‡
b,
Mohammed Ragab
Elshaer
c,
Brian
Knorr
c,
Paul
Chaikin
*a and
Guolong
Zhu
*abc
aDepartment of Physics, New York University, New York, NY 10003, USA. E-mail: kunwangneu@gmail.com; Chaikin@nyu.edu; g.zhu@fdu.edu
bDepartment of Chemistry, New York University, New York, NY 10003, USA
cDepartment of Chemistry, Biochemistry, and Physics, Fairleigh Dickinson University, Madison, NJ 07940, USA
First published on 24th April 2024
The invention of DNA nanotechnology has enabled molecular computation as a promising substitute for traditional semiconductors which are limited to two-dimensional architectures and by heating problems resulting from densification. Current studies of logic gates achieved using DNA molecules are predominately focused on two-state operations (AND, OR, etc.); however, realizing tri-state logic (high impedance Z) in DNA computation is understudied. Here we actively fold DNA origami chain-like hinged rods to induce conformational changes that return tri-state logic signals. We use rigid six helix-bundle (6HB) DNA origami to self-assemble a linear trimer chain as a circuit platform with functional single-stranded (ss) DNA near each semi-flexible hinge. The presence or absence of ssDNA enable and input strands allows hybridization to take place at the hinges, activating one fold (0) or two folds (1) from the straight linear geometry (defined as High-Z) of the trimer chain. We design two different tri-state logic gate platforms, buffer and inverter, with corresponding enable/input ssDNA to unambiguously return tri-state signals, characterized by Atomic Force Microscopy (AFM) and/or agarose gel electrophoresis (GEL). Our work on tri-state logic significantly enhances DNA computation beyond the current two-state Boolean logic with both research and industrial applications, including cellular treatments and living matter utilizing the biocompatibility of DNA molecules.
DNA nanotechnology has enabled the construction of complex nano- and micro-scale structures with nanometer-precision, including machines and motors fueled by DNA hybridization.1–3,13 Here we design a rod-like 6HB DNA origami, 410 nm long and 8 nm thick, and then self-assemble three of them into a chain-like construct (Fig. 1a) to act as the circuit platform. The axial connection between the three 6HBs contains two semiflexible hinges, 3-base-ssDNA strands. The hinges are rigid enough to align the rods linearly yet flexible enough to be folded by DNA hybridization forces on the two ssDNA strands. These two non-complementary strands are situated on either side of each hinge, 14 nm from the hinge center. When additional ssDNA strands are added to the DNA origami trimer platform, hybridization to the strands surrounding each hinge leads to transformational changes. Depending on the complementarity of the added ssDNA, folding can be triggered at the two hinges independently. This results in three distinguishable geometries (Fig. 1b): no-folding, a single fold on either the left or the right 6HB, or two folds on both left and right. Notably, single right or left folds cannot be differentiated using AFM or gel electrophoresis data.
Two types of folding mechanism were engineered through DNA hybridization at the hinges. As a convention in this manuscript, complementary strands in all figures are denoted with the same color, and one of them is marked with a star (*). In the first mechanism (Fig. 1c), the input ssDNA consists of two segments (red*–green*) of functional sticky ends that are respectively complementary to the two sticky ends (red and green) on the two sides of the hinge. This input strand has 21-base functional sticky ends in each of the two segments, which are spaced by a neutral/non-functional 2-base T sequence. When the input ssDNA is presented to the circuit platform, it hybridizes with the two sticky ends on both sides of the hinge to fold the left two 6HB segments. After hybridization, the two 6HBs are tightly folded together at an angle between 0° and 60°, with a slight dependence on factors like thermal fluctuations of the hinges, sticky end design, AFM imaging properties, the imperfectly rigid 6HB, etc. (see ESI section 7 for discussion†). In the second type of folding mechanism (Fig. 1d), two different enable/input strands are required to complete the folding. The input magenta*–cyan is partially complementary to the left sticky ends (magenta) on the 6HB, and the input yellow*–cyan* is partially complementary to the right sticky ends (yellow). The cyan and cyan* segments of the two input strands are complementary to eventually fold the right two 6HBs. In all the experiments, the concentrations of enable/input strands are ∼50 nM, and the concentration of DNA origami, and thereby the sticky ends on them, is ∼0.5 nM. The ratio is ∼100:1. (For details please see the Method section.)
To close a hinge the hybridization energy must be greater than the bending energy of the hinge and the torque from the DNA force acting at points 14 nm from the hinge must be greater than the torque from the bending of the short single strands at the hinge vertex. We use a semi-flexible polymer model to obtain the bending force as a function of bending angle and rigidity. The bending energy is EB = Kθ2/2, where K = ξpkBT/L with ξp the persistence length and L the rod length, which results in EB ∼ 5kBT and a maximum torque τ = 45 pN nm. These values are comfortably smaller than the hybridization energy for our 21-base sequence ∼30kBT and the torque from the geometry and zipping force from hybridization of 112 pN nm.
The tri-state output signals are read by the geometric changes of the 6HB trimer circuit platform. For the inputs we define the presence of the enable strand as “high”, and its absence as “low”. Similarly, the presence of the input strand is defined as “1”, and the absence of it as “0”. For the output signal, we define the no-folding linear geometry of the trimer (Fig. 1b) as “high impedance Z”. One fold, either on the left or on the right, is defined as output “0”. Two folds, on both left and right, is defined as output “1”. We use AFM to directly visualize the three geometries. Due to the strong interactions between the DNA origami and the substrate during deposition, the geometry may vary slightly from its form in free solution. We also use electrophoretic gels to monitor the different geometries. Although the molecular weights of the trimer DNA rods are essentially the same the mobilities of the folded and straight configurations are significantly different. As we have previously seen in folded DNA structures,13 the folded geometry has lower mobility presumably because the hook-like fold readily latches onto the gel filaments and must untangle to proceed. As a result, the linear geometry passes through fastest while the two-fold geometry is the slowest.
To test the viability of our tri-state logic computation, we constructed a prototype for “AND” operation in two-state logic (Fig. 2a). For a short version of the logic gate platform, we make a dimer by connecting two 6HB DNA origami with a pair of functional sticky ends near the hinge (Fig. 2b). The two sticky ends (magenta and blue) are not complementary to each other, while respectively partially complementary to the two input strands, magenta*–green* (input 1) and blue*–green (input 2). From the second type of folding mechanism, the folding is not activated until both input strands are present. In our experiment, output “0” is defined to be no folding when both input 1 and input 2 are absent (0 and 0). The output remains “0” when input 1 is present (1) with input 2 absent (0), or when input 1 is absent (0) with input 2 present (1). The output returns signal “1”, which is designed to be a folded dimer, when both input 1 and input 2 are present (1 and 1). Characterized by both GEL (Fig. 2d) and AFM (Fig. 2e, f and S1a–d†), the two-state AND logic gate operates as designed.
Our two tri-state logic gates are illustrated in Fig. 3 (buffer) and Fig. 4 (inverter). For the tri-state buffer, the DNA origami platform with enable and input strands is detailed in Fig. 3b. Note that the red sticky ends are identical on both hinges. When the enable strand is “low” (absence) and the input strand is “0” (absence), the trimer maintains the unfolded, linear geometry “High-Z” (Fig. 3d). When the enable strand is “low” (absence) and the input strand is “1” (presence), the trimer remains in the unfolded “High-Z” geometry (Fig. 3e), because the hybridization of the input strand on the right hinge does not activate any folding. When the enable strand is “high” (presence) and the input strand is “0” (absence), the left hinge is folded according to the first type of folding mechanism, however the right hinge is not folded with only one sticky end hybridized. This output is characterized as one fold, signal “0” (Fig. 3f and S2†). When the enable strand is “high” (presence) and the input strand is “1” (presence), both the hinges are folded according to the two types of folding mechanism, respectively (Fig. 3g and S3†). With 2 folds the resulting output signal is “1”. In the two-fold (output 1) scenario, the extra input and enable should form a partial duplex stem with green–green* hybridized, leaving red* and cyan* single stranded. This red* on the partial duplex stem may have occupied the red sticky ends on the left hinge before a single-stranded enable would have hybridized at the hinge. However, the local concentration of sticky ends at the hinge is 105 times higher than the enable/input global concentration in the free solution, yielding more entropy gain for the green hinge sticky ends to be displaced from the partial duplex stem, to further fold the hinge. (See ESI section 6 for detailed discussion.†)
Fig. 3 Tri-state logic gate, buffer. (a) Truth table. (b) Schematic of the buffer tri-state DNA circuit platform with input and enable strands. (c) Agarose gel image of the four output signals with color headings corresponding to outputs in (a), and a control sample lane with multiple geometries. (d) AFM images of output High-Z (no-folding 6HB trimer geometry) with no enable or input strands. (e) AFM images of output High-Z (no-folding geometry) with no enable but with input strands. (f) AFM images of output 0 (one fold) with enable but without input strands. (g) AFM images of output 1 (two folds) with both enable and input strands. AFM image scale bars are 400 nm. See Fig. S2 and S3† for statistics of global AFM. |
Fig. 4 Tri-state logic gate, inverter. (a) Truth table. (b) Schematic of the inverter tri-state DNA circuit platform with input and enable strands. (c) Agarose gel image of the four output signals in corresponding colors, and a control sample lane with multiple geometries. (d) AFM images of output High-Z (no-folding 6HB trimer geometry) with no enable or input strands. (e) AFM images of output High-Z (no-fold geometry) with no enable but with input strands. (f) AFM images of output 1 (two-fold geometry) with enable but without input strands. (g) AFM images of output 0 (one-fold geometry) with both enable and input strands. AFM images scale bars are 400 nm. See Fig. S4 and S5† for statistics of global AFM. |
The gel image (Fig. 3c) shows four sample lanes (red, orange, cyan, and green) corresponding to the four output signals in the truth table (Fig. 3a), and a control (last lane) with multiple geometries. The gel shows that the two lanes with output 0 and 1 have the highest bands (indicating the slowest mobility structures), and we believe we may see a slight difference between the two. The green output “1”, with 2 folds, is more likely to entangle with the gel filaments and therefore migrates through porous gels slower than the blue output “0” with only 1 fold. It is interesting to note that folded dimers migrate slower than not folded (straight) trimers, even though the dimer has less molecular weight than the trimer. Some lanes have more bands resulting from leftover monomers not used to form dimer or trimer structures. The statistics of global AFM images (Fig. S2 & S3†) have shown at least 70% of the targeted trimer folded according to the buffer logic, excluding monomers, dimers, and non-specific aggregations.
In the tri-state inverter logic gate (Fig. 4), the platform has been re-designed with functional sticky ends near the hinges with corresponding enable/input strands. Notably, the left sticky end on the right hinge now has two parts, red and yellow (Fig. 4c). When the enable strand is “low” (absence) and the input strand is “0” (absence), the output is the no-folding linear geometry “High-Z” (Fig. 4d). When the enable strand is “low” (absence) and the input strand is “1” (presence), the output remains no-folding “High-Z” (Fig. 4e). When the enable strand is “high” (presence) and the input strand is “0” (absence), the output returns signal “1” (two-folding), as the enable strand is able to bind at both hinges to fold the trimer twice (Fig. 4f and S5†), according to the first type of folding mechanism. When the enable strand is “high” (presence) and the input strand is “1” (presence), the enable strand is only able to fold the left hinge but not the right hinge (Fig. 4g and S4†), resulting in output “0” (one fold). At the left hinge, there was another possibility that the red* on the input strand bound the red sticky ends, while the green* on the enable strand bound the green sticky ends. However, with the same argument that there is a significantly (105 times) higher local concentration of sticky ends than the global concentration of the input/enable strands, the left hinge preferred to bind to its corresponding input strand for higher Gibbs free energy. The right hinge, on introducing the input strand, is unfolded by partially unzipping the red* part of the enable strand in the process of strand displacement. With only the enable strand present, the red–red* and green–green* segments are bound and the hinge closes. In the presence of both enable and input strands we have strand displacement; the input strand segment yellow* hybridizes with the hinge segment yellow and then continues hybridizing input red* with right hinge segment red displacing enable segment red*. The right hinge sticky ends are decoupled, and the hinge opens. This is (Gibbs free) energetically favored. The final state of the right hinge is hinge red–yellow hybridized to input red*–yellow*, hinge green hybridized to enable green*. We then have dsDNA red–yellow and dsDNA green, whereas before strand displacement we had dsDNA red and green. The net gain is the hybridization of the yellow segments. Again, we have obtained the statistics of global AFM images (Fig. S4 & S5†) that show at least 70% of the targeted trimer folded according to the inverter logic, excluding monomers, dimers, and non-specific aggregations.
In conclusion, we have constructed DNA computation logic gates with DNA origami chains activated through DNA strand displacement. Our circuit gates can realize not only two-state Boolean logic, but tri-state logic as well, which is a novel addition to the DNA computation community. Our tri-state DNA circuits, both buffer and inverter gates, have been confirmed with gel electrophoresis and AFM imaging. Our work on DNA tri-state computation significantly supplements Boolean logic with both research and industrial applications, using the biocompatibilities of DNA.
Footnotes |
† Electronic supplementary information (ESI) available. See DOI: https://doi.org/10.1039/d3nr06010a |
‡ These authors contributed equally to this work. |
This journal is © The Royal Society of Chemistry 2024 |