5,637 research outputs found
Size-Dependent Tile Self-Assembly: Constant-Height Rectangles and Stability
We introduce a new model of algorithmic tile self-assembly called
size-dependent assembly. In previous models, supertiles are stable when the
total strength of the bonds between any two halves exceeds some constant
temperature. In this model, this constant temperature requirement is replaced
by an nondecreasing temperature function that depends on the size of the smaller of the two halves. This
generalization allows supertiles to become unstable and break apart, and
captures the increased forces that large structures may place on the bonds
holding them together.
We demonstrate the power of this model in two ways. First, we give fixed tile
sets that assemble constant-height rectangles and squares of arbitrary input
size given an appropriate temperature function. Second, we prove that deciding
whether a supertile is stable is coNP-complete. Both results contrast with
known results for fixed temperature.Comment: In proceedings of ISAAC 201
Experimental Progress in Computation by Self-Assembly of DNA Tilings
Approaches to DNA-based computing by self-assembly require the
use of D. T A nanostructures, called tiles, that have efficient chemistries, expressive
computational power: and convenient input and output (I/O) mechanisms.
We have designed two new classes of DNA tiles: TAO and TAE, both
of which contain three double-helices linked by strand exchange. Structural
analysis of a TAO molecule has shown that the molecule assembles efficiently
from its four component strands. Here we demonstrate a novel method for
I/O whereby multiple tiles assemble around a single-stranded (input) scaffold
strand. Computation by tiling theoretically results in the formation of structures
that contain single-stranded (output) reported strands, which can then
be isolated for subsequent steps of computation if necessary. We illustrate the
advantages of TAO and TAE designs by detailing two examples of massively
parallel arithmetic: construction of complete XOR and addition tables by linear
assemblies of DNA tiles. The three helix structures provide flexibility for
topological routing of strands in the computation: allowing the implementation
of string tile models
Self-Assembly of 4-sided Fractals in the Two-handed Tile Assembly Model
We consider the self-assembly of fractals in one of the most well-studied
models of tile based self-assembling systems known as the Two-handed Tile
Assembly Model (2HAM). In particular, we focus our attention on a class of
fractals called discrete self-similar fractals (a class of fractals that
includes the discrete Sierpi\'nski carpet). We present a 2HAM system that
finitely self-assembles the discrete Sierpi\'nski carpet with scale factor 1.
Moreover, the 2HAM system that we give lends itself to being generalized and we
describe how this system can be modified to obtain a 2HAM system that finitely
self-assembles one of any fractal from an infinite set of fractals which we
call 4-sided fractals. The 2HAM systems we give in this paper are the first
examples of systems that finitely self-assemble discrete self-similar fractals
at scale factor 1 in a purely growth model of self-assembly. Finally, we show
that there exists a 3-sided fractal (which is not a tree fractal) that cannot
be finitely self-assembled by any 2HAM system
Construction, analysis, ligation, and self-assembly of DNA triple crossover complexes
This paper extends the study and prototyping of unusual DNA motifs, unknown in nature, but founded
on principles derived from biological structures. Artificially designed DNA complexes show promise as building
blocks for the construction of useful nanoscale structures, devices, and computers. The DNA triple crossover
(TX) complex described here extends the set of experimentally characterized building blocks. It consists of
four oligonucleotides hybridized to form three double-stranded DNA helices lying in a plane and linked by
strand exchange at four immobile crossover points. The topology selected for this TX molecule allows for the
presence of reporter strands along the molecular diagonal that can be used to relate the inputs and outputs of
DNA-based computation. Nucleotide sequence design for the synthetic strands was assisted by the application
of algorithms that minimize possible alternative base-pairing structures. Synthetic oligonucleotides were purified,
stoichiometric mixtures were annealed by slow cooling, and the resulting DNA structures were analyzed by
nondenaturing gel electrophoresis and heat-induced unfolding. Ferguson analysis and hydroxyl radical
autofootprinting provide strong evidence for the assembly of the strands to the target TX structure. Ligation
of reporter strands has been demonstrated with this motif, as well as the self-assembly of hydrogen-bonded
two-dimensional crystals in two different arrangements. Future applications of TX units include the construction
of larger structures from multiple TX units, and DNA-based computation. In addition to the presence of reporter
strands, potential advantages of TX units over other DNA structures include space for gaps in molecular arrays,
larger spatial displacements in nanodevices, and the incorporation of well-structured out-of-plane components
in two-dimensional arrays
Signal Transmission Across Tile Assemblies: 3D Static Tiles Simulate Active Self-Assembly by 2D Signal-Passing Tiles
The 2-Handed Assembly Model (2HAM) is a tile-based self-assembly model in
which, typically beginning from single tiles, arbitrarily large aggregations of
static tiles combine in pairs to form structures. The Signal-passing Tile
Assembly Model (STAM) is an extension of the 2HAM in which the tiles are
dynamically changing components which are able to alter their binding domains
as they bind together. For our first result, we demonstrate useful techniques
and transformations for converting an arbitrarily complex STAM tile set
into an STAM tile set where every tile has a constant, low amount of
complexity, in terms of the number and types of ``signals'' they can send, with
a trade off in scale factor.
Using these simplifications, we prove that for each temperature
there exists a 3D tile set in the 2HAM which is intrinsically universal for the
class of all 2D STAM systems at temperature (where the STAM does
not make use of the STAM's power of glue deactivation and assembly breaking, as
the tile components of the 2HAM are static and unable to change or break
bonds). This means that there is a single tile set in the 3D 2HAM which
can, for an arbitrarily complex STAM system , be configured with a
single input configuration which causes to exactly simulate at a scale
factor dependent upon . Furthermore, this simulation uses only two planes of
the third dimension. This implies that there exists a 3D tile set at
temperature in the 2HAM which is intrinsically universal for the class of
all 2D STAM systems at temperature . Moreover, we show that for each
temperature there exists an STAM tile set which is intrinsically
universal for the class of all 2D STAM systems at temperature ,
including the case where .Comment: A condensed version of this paper will appear in a special issue of
Natural Computing for papers from DNA 19. This full version contains proofs
not seen in the published versio
Scaled tree fractals do not strictly self-assemble
In this paper, we show that any scaled-up version of any discrete
self-similar {\it tree} fractal does not strictly self-assemble, at any
temperature, in Winfree's abstract Tile Assembly Model.Comment: 13 pages, 3 figures, Appeared in the Proceedings of UCNC-2014, pp
27-39; Unconventional Computation and Natural Computation - 13th
International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014,
Springer Lecture Notes in Computer Science ISBN 978-3-319-08122-
Fuel Efficient Computation in Passive Self-Assembly
In this paper we show that passive self-assembly in the context of the tile
self-assembly model is capable of performing fuel efficient, universal
computation. The tile self-assembly model is a premiere model of self-assembly
in which particles are modeled by four-sided squares with glue types assigned
to each tile edge. The assembly process is driven by positive and negative
force interactions between glue types, allowing for tile assemblies floating in
the plane to combine and break apart over time. We refer to this type of
assembly model as passive in that the constituent parts remain unchanged
throughout the assembly process regardless of their interactions. A
computationally universal system is said to be fuel efficient if the number of
tiles used up per computation step is bounded by a constant. Work within this
model has shown how fuel guzzling tile systems can perform universal
computation with only positive strength glue interactions. Recent work has
introduced space-efficient, fuel-guzzling universal computation with the
addition of negative glue interactions and the use of a powerful non-diagonal
class of glue interactions. Other recent work has shown how to achieve fuel
efficient computation within active tile self-assembly. In this paper we
utilize negative interactions in the tile self-assembly model to achieve the
first computationally universal passive tile self-assembly system that is both
space and fuel-efficient. In addition, we achieve this result using a limited
diagonal class of glue interactions
- …