English
Related papers

Related papers: A pumping lemma for non-cooperative self-assembly

200 papers

In this paper, we work in a 2D version of the probabilistic variant of Winfree's abstract Tile Assembly Model defined by Chandran, Gopalkrishnan and Reif (SICOMP 2012) in which attaching tiles are sampled uniformly with replacement. First,…

Data Structures and Algorithms · Computer Science 2024-08-13 David Furcy , Scott M. Summers

In this paper we define the Dupled abstract Tile Assembly Model (DaTAM), which is a slight extension to the abstract Tile Assembly Model (aTAM) that allows for not only the standard square tiles, but also "duple" tiles which are rectangles…

Emerging Technologies · Computer Science 2014-03-10 Jacob Hendricks , Matthew J. Patitz , Trent A. Rogers , Scott M. Summers

This paper concerns the self-assembly of scaled-up versions of arbitrary finite shapes. We work in the multiple temperature model that was introduced by Aggarwal, Cheng, Goldwasser, Kao, and Schweller (Complexities for Generalized Models of…

Computational Complexity · Computer Science 2009-09-30 Scott M. Summers

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…

Data Structures and Algorithms · Computer Science 2012-08-09 Robert Schweller , Michael Sherman

Working in a three-dimensional variant of Winfree's abstract Tile Assembly Model, we show that, for an arbitrary finite, connected shape $X \subset \mathbb{Z}^2$, there is a tile set that uniquely self-assembles into a 3D representation of…

Computational Geometry · Computer Science 2015-07-24 David Furcy , Scott M. Summers

We consider non cooperative binding in so called `temperature 1', in deterministic (here called {\it confluent}) tile self-assembly systems (1-TAS) and prove the standing conjecture that such systems do not have universal computational…

Computational Complexity · Computer Science 2019-01-25 Jérôme Durand-Lose , Hendrik Jan Hoogeboom , Nataša Jonoska

We show that the Tile Assembly Model exhibits a strong notion of universality where the goal is to give a single tile assembly system that simulates the behavior of any other tile assembly system. We give a tile assembly system that is…

Computational Complexity · Computer Science 2016-09-08 David Doty , Jack H. Lutz , Matthew J. Patitz , Scott M. Summers , Damien Woods

In the abstract Tile Assembly Model (aTAM), the phenomenon of cooperation occurs when the attachment of a new tile to a growing assembly requires it to bind to more than one tile already in the assembly. Often referred to as…

Emerging Technologies · Computer Science 2014-03-18 Jacob Hendricks , Matthew J. Patitz , Trent A. Rogers

Winfree's abstract Tile Assembly Model (aTAM) is a model of molecular self-assembly of DNA complexes known as tiles, which float freely in solution and attach one at a time to a growing "seed" assembly based on specific binding sites on…

Computational Complexity · Computer Science 2015-03-17 Ho-Lin Chen , David Doty , Shinnosuke Seki

Working in a three-dimensional variant of Winfree's abstract Tile Assembly Model, we show that, for all $N \in \mathbb{N}$, there is a tile set that uniquely self-assembles into an $N \times N$ square shape at temperature 1 with optimal…

Computational Geometry · Computer Science 2014-11-06 David Furcy , Samuel Micka , Scott M. Summers

We investigate the role of nondeterminism in Winfree's abstract Tile Assembly Model (aTAM), which was conceived to model artificial molecular self-assembling systems constructed from DNA. Of particular practical importance is to find tile…

Computational Complexity · Computer Science 2010-11-29 Nathaniel Bryans , Ehsan Chiniforooshan , David Doty , Lila Kari , Shinnosuke Seki

In this paper, we extend existing results about simulation and intrinsic universality in a model of tile-based self-assembly. Namely, we work within the 2-Handed Assembly Model (2HAM), which is a model of self-assembly in which assemblies…

Computational Geometry · Computer Science 2015-03-17 Jacob Hendricks , Matthew J. Patitz , Trent A. Rogers

Tile Automata is a recently defined model of self-assembly that borrows many concepts from cellular automata to create active self-assembling systems where changes may be occurring within an assembly without requiring attachment. This model…

Formal Languages and Automata Theory · Computer Science 2022-11-28 Robert M. Alaniz , David Caballero , Sonya C. Cirlos , Timothy Gomez , Elise Grizzell , Andrew Rodriguez , Robert Schweller , Armando Tenorio , Tim Wylie

As a mathematical model of self-assembling systems, Winfree's abstract Tile Assembly Model (aTAM) is a remarkable platform for studying the behaviors and powers of self-assembling systems. Capable of Turing universal computation, the aTAM…

Computational Geometry · Computer Science 2016-08-11 Jacob Hendricks , Matthew J. Patitz , Trent A. Rogers

We introduce a new property of tile self-assembly systems that we call size-separability. A system is size-separable if every terminal assembly is a constant factor larger than any intermediate assembly. Size-separability is motivated by…

Computational Geometry · Computer Science 2014-04-30 Andrew Winslow

Traditionally, computation within self-assembly models is hard to conceal because the self-assembly process generates a crystalline assembly whose computational history is inherently part of the structure itself. With no way to remove…

Emerging Technologies · Computer Science 2020-08-18 Angel A. Cantu , Austin Luchsinger , Robert Schweller , Tim Wylie

The well-studied Two-Handed Tile Assembly Model (2HAM) is a model of tile assembly in which pairs of large assemblies can bind, or self-assemble, together. In order to bind, two assemblies must have matching glues that can simultaneously…

Computational Geometry · Computer Science 2014-08-22 Erik D. Demaine , Matthew J. Patitz , Trent A. Rogers , Robert T. Schweller , Scott M. Summers , Damien Woods

We define the Reflexive Tile Assembly Model (RTAM), which is obtained from the abstract Tile Assembly Model (aTAM) by allowing tiles to reflect across their horizontal and/or vertical axes. We show that the class of directed temperature-1…

Computational Geometry · Computer Science 2015-03-13 Jacob Hendricks , Matthew J. Patitz , Trent A. Rogers

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…

Computational Geometry · Computer Science 2015-09-24 Sándor P. Fekete , Robert T. Schweller , Andrew Winslow

We consider the tile self-assembly model and how tile complexity can be eliminated by permitting the temperature of the self-assembly system to be adjusted throughout the assembly process. To do this, we propose novel techniques for…

Computational Complexity · Computer Science 2007-05-23 Ming-Yang Kao , Robert Schweller