2,235 research outputs found
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
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
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
Self-Assembly of Arbitrary Shapes Using RNAse Enzymes: Meeting the Kolmogorov Bound with Small Scale Factor (extended abstract)
We consider a model of algorithmic self-assembly of geometric shapes out of
square Wang tiles studied in SODA 2010, in which there are two types of tiles
(e.g., constructed out of DNA and RNA material) and one operation that destroys
all tiles of a particular type (e.g., an RNAse enzyme destroys all RNA tiles).
We show that a single use of this destruction operation enables much more
efficient construction of arbitrary shapes. In particular, an arbitrary shape
can be constructed using an asymptotically optimal number of distinct tile
types (related to the shape's Kolmogorov complexity), after scaling the shape
by only a logarithmic factor. By contrast, without the destruction operation,
the best such result has a scale factor at least linear in the size of the
shape, and is connected only by a spanning tree of the scaled tiles. We also
characterize a large collection of shapes that can be constructed efficiently
without any scaling
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
Self-Assembly of Any Shape with Constant Tile Types using High Temperature
Inspired by nature and motivated by a lack of top-down tools for precise nanoscale manufacture, self-assembly is a bottom-up process where simple, unorganized components autonomously combine to form larger more complex structures. Such systems hide rich algorithmic properties - notably, Turing universality - and a self-assembly system can be seen as both the object to be manufactured as well as the machine controlling the manufacturing process. Thus, a benchmark problem in self-assembly is the unique assembly of shapes: to design a set of simple agents which, based on aggregation rules and random movement, self-assemble into a particular shape and nothing else. We use a popular model of self-assembly, the 2-handed or hierarchical tile assembly model, and allow the existence of repulsive forces, which is a well-studied variant. The technique utilizes a finely-tuned temperature (the minimum required affinity required for aggregation of separate complexes).
We show that calibrating the temperature and the strength of the aggregation between the tiles, one can encode the shape to be assembled without increasing the number of distinct tile types. Precisely, we show one tile set for which the following holds: for any finite connected shape S, there exists a setting of binding strengths between tiles and a temperature under which the system uniquely assembles S at some scale factor. Our tile system only uses one repulsive glue type and the system is growth-only (it produces no unstable assemblies). The best previous unique shape assembly results in tile assembly models use O(K(S)/(log K(S))) distinct tile types, where K(S) is the Kolmogorov (descriptional) complexity of the shape S
Active Self-Assembly of Algorithmic Shapes and Patterns in Polylogarithmic Time
We describe a computational model for studying the complexity of
self-assembled structures with active molecular components. Our model captures
notions of growth and movement ubiquitous in biological systems. The model is
inspired by biology's fantastic ability to assemble biomolecules that form
systems with complicated structure and dynamics, from molecular motors that
walk on rigid tracks and proteins that dynamically alter the structure of the
cell during mitosis, to embryonic development where large-scale complicated
organisms efficiently grow from a single cell. Using this active self-assembly
model, we show how to efficiently self-assemble shapes and patterns from simple
monomers. For example, we show how to grow a line of monomers in time and
number of monomer states that is merely logarithmic in the length of the line.
Our main results show how to grow arbitrary connected two-dimensional
geometric shapes and patterns in expected time that is polylogarithmic in the
size of the shape, plus roughly the time required to run a Turing machine
deciding whether or not a given pixel is in the shape. We do this while keeping
the number of monomer types logarithmic in shape size, plus those monomers
required by the Kolmogorov complexity of the shape or pattern. This work thus
highlights the efficiency advantages of active self-assembly over passive
self-assembly and motivates experimental effort to construct general-purpose
active molecular self-assembly systems
Self-Assembly of Infinite Structures
We review some recent results related to the self-assembly of infinite
structures in the Tile Assembly Model. These results include impossibility
results, as well as novel tile assembly systems in which shapes and patterns
that represent various notions of computation self-assemble. Several open
questions are also presented and motivated
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
- …