41,501 research outputs found
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
Optimal Staged Self-Assembly of General Shapes
We analyze the number of tile types , bins , and stages necessary to
assemble squares and scaled shapes in the staged tile assembly
model. For squares, we prove stages suffice and
are necessary for almost all .
For shapes with Kolmogorov complexity , we prove
stages suffice and are necessary to
assemble a scaled version of , for almost all . We obtain similarly tight
bounds when the more powerful flexible glues are permitted.Comment: Abstract version appeared in ESA 201
Negative Interactions in Irreversible Self-Assembly
This paper explores the use of negative (i.e., repulsive) interaction the
abstract Tile Assembly Model defined by Winfree. Winfree postulated negative
interactions to be physically plausible in his Ph.D. thesis, and Reif, Sahu,
and Yin explored their power in the context of reversible attachment
operations. We explore the power of negative interactions with irreversible
attachments, and we achieve two main results. Our first result is an
impossibility theorem: after t steps of assembly, Omega(t) tiles will be
forever bound to an assembly, unable to detach. Thus negative glue strengths do
not afford unlimited power to reuse tiles. Our second result is a positive one:
we construct a set of tiles that can simulate a Turing machine with space bound
s and time bound t, while ensuring that no intermediate assembly grows larger
than O(s), rather than O(s * t) as required by the standard Turing machine
simulation with tiles
New Geometric Algorithms for Fully Connected Staged Self-Assembly
We consider staged self-assembly systems, in which square-shaped tiles can be
added to bins in several stages. Within these bins, the tiles may connect to
each other, depending on the glue types of their edges. Previous work by
Demaine et al. showed that a relatively small number of tile types suffices to
produce arbitrary shapes in this model. However, these constructions were only
based on a spanning tree of the geometric shape, so they did not produce full
connectivity of the underlying grid graph in the case of shapes with holes;
designing fully connected assemblies with a polylogarithmic number of stages
was left as a major open problem. We resolve this challenge by presenting new
systems for staged assembly that produce fully connected polyominoes in O(log^2
n) stages, for various scale factors and temperature {\tau} = 2 as well as
{\tau} = 1. Our constructions work even for shapes with holes and uses only a
constant number of glues and tiles. Moreover, the underlying approach is more
geometric in nature, implying that it promised to be more feasible for shapes
with compact geometric description.Comment: 21 pages, 14 figures; full version of conference paper in DNA2
- …