English
Related papers

Related papers: The two-handed tile assembly model is not intrinsi…

200 papers

In this paper we investigate the computational power of the polygonal tile assembly model (polygonal TAM) at temperature 1, i.e. in non-cooperative systems. The polygonal TAM is an extension of Winfree's abstract tile assembly model (aTAM)…

Computational Geometry · Computer Science 2015-08-20 Oscar Gilbert , 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

We investigate the power of the Wang tile self-assembly model at temperature 1, a threshold value that permits attachment between any two tiles that share even a single bond. When restricted to deterministic assembly in the plane, no…

Computational Complexity · Computer Science 2015-03-13 Matthew Cook , Yunhui Fu , Robert T. Schweller

Self-assembly is a process which is ubiquitous in natural, especially biological systems. It occurs when groups of relatively simple components spontaneously combine to form more complex structures. While such systems have inspired a large…

Computational Geometry · Computer Science 2018-07-19 Jerome Durand-Lose , Jacob Hendricks , Matthew J. Patitz , Ian Perkins , Michael Sharp

We consider the problem of fault-tolerance in nanoscale algorithmic self-assembly. We employ a variant of Winfree's abstract Tile Assembly Model (aTAM), the two-handed aTAM, in which square "tiles" -- a model of molecules constructed from…

Data Structures and Algorithms · Computer Science 2015-03-14 David Doty , Matthew J. Patitz , Dustin Reishus , Robert T. Schweller , Scott M. Summers

In this work we propose a generalization of Winfree's abstract Tile Assembly Model (aTAM) in which tile types are assigned rigid shapes, or geometries, along each tile face. We examine the number of distinct tile types needed to assemble…

Computational Geometry · Computer Science 2015-03-19 Bin Fu , Matthew J. Patitz , Robert T. Schweller , Bobby Sheline

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

In this paper we demonstrate the power of a model of tile self-assembly based on active glues which can dynamically change state. We formulate the Signal-passing Tile Assembly Model (STAM), based on the model of Padilla, Liu, and Seeman to…

We consider non-cooperative binding, so-called 'temperature 1', in deterministic or directed (called here confluent) tile self-assembly systems in two dimensions and show a necessary and sufficient condition for such system to have an…

Computational Complexity · Computer Science 2022-02-11 Jérôme Durand-Lose , Hendrik Jan Hoogeboom , Nataša Jonoska

In this paper we explore the power of tile self-assembly models that extend the well-studied abstract Tile Assembly Model (aTAM) by permitting tiles of shapes beyond unit squares. Our main result shows the surprising fact that any aTAM…

Data Structures and Algorithms · Computer Science 2012-12-20 Erik D. Demaine , Martin L. Demaine , Sándor P. Fekete , Matthew J. Patitz , Robert T. Schweller , Andrew Winslow , Damien Woods

The Tile Automata (TA) model describes self-assembly systems in which monomers can build structures and transition with an adjacent monomer to change their states. This paper shows that seeded TA is a non-committal intrinsically universal…

Cellular Automata and Lattice Gases · Physics 2024-07-17 Tim Gomez , Elise Grizzell , Asher Haun , Ryan Knobel , Tom Peters , Robert Schweller , Tim Wylie

We prove a result which strongly hints at the computational weakness of a model of tile assembly that has so far resisted many attempts of formal analysis or positive constructions. Specifically, we prove that, in Winfree's abstract Tile…

Computational Complexity · Computer Science 2016-10-28 Pierre-Étienne Meunier , Damien Regnault

We prove the computational weakness of a model of tile assembly that has so far resisted many attempts of formal analysis or positive constructions. Specifically, we prove that, in Winfree's abstract Tile Assembly Model, when restricted to…

Computational Complexity · Computer Science 2015-07-31 Pierre-Étienne Meunier , Damien Regnault

The algorithmic self-assembly of shapes has been considered in several models of self-assembly. For the problem of \emph{shape construction}, we consider an extended version of the Two-Handed Tile Assembly Model (2HAM), which contains…

Computational Geometry · Computer Science 2016-08-18 Austin Luchsinger , Robert Schweller , Tim Wylie

We show the first asymptotically efficient constructions in the so-called "noncooperative planar tile assembly" model. Algorithmic self-assembly is the study of the local, distributed, asynchronous algorithms ran by molecules to…

Computational Complexity · Computer Science 2021-07-19 Pierre-Etienne Meunier , Damien Regnault

We prove a Pumping Lemma for the noncooperative abstract Tile Assembly Model, a model central to the theory of algorithmic self-assembly since the beginning of the field. This theory suggests, and our result proves, that small differences…

Computational Complexity · Computer Science 2020-02-11 Pierre-Étienne Meunier , Damien Regnault , Damien Woods

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

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

In this paper we present a model containing modifications to the Signal-passing Tile Assembly Model (STAM), a tile-based self-assembly model whose tiles are capable of activating and deactivating glues based on the binding of other glues.…

Emerging Technologies · Computer Science 2022-03-30 Andrew Alseth , Daniel Hader , Matthew J. Patitz

We show here that a model called directed self-assembly at temperature 1 is unable to do complex computations like the ones of a Turing machine. Since this model can be seen as a generalization of finite automata to 2D languages, a logical…

Computational Complexity · Computer Science 2020-11-20 Pierre-Étienne Meunier , Damien Regnault