Deterministic Non-cooperative Binding in Two-Dimensional Tile Assembly Systems Must Have Ultimately Periodic Paths

02/09/2022
by   Jérôme Durand-Lose, et al.
0

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 ultimately periodic assembly path. We prove that an infinite maximal assembly has an ultimately periodic assembly path if and only if it contains an infinite assembly path that does not intersect a periodic path in the Z2 grid. Moreover we show that every infinite assembly must satisfy this condition, and therefore, contains an ultimately periodic path. This result is obtained through a super-position and a combination of two paths that produce a new path with desired properties, a technique that we call co-grow of two paths. The paper is an updated and improved version of the first part of arXiv 1901.08575.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/24/2019

Deterministic 2-Dimensional Temperature-1 Tile Assembly Systems Cannot Compute

We consider non cooperative binding in so called `temperature 1', in det...
research
08/10/2018

Self-assembly of, and optimal encoding inside, thin rectangles at temperature-1 in 3D

In this paper, we study the self-assembly of rectangles in a non-coopera...
research
11/18/2020

On the directed tile assembly systems at temperature 1

We show here that a model called directed self-assembly at temperature 1...
research
02/10/2020

The program-size complexity of self-assembled paths

We prove a Pumping Lemma for the noncooperative abstract Tile Assembly M...
research
08/09/2019

Cyclic Oritatami Systems Cannot Fold Infinite Fractal Curves

RNA cotranscriptional folding is the phenomenon in which an RNA transcri...
research
07/23/2018

Undecidability of MSO+"ultimately periodic"

We prove that MSO on ω-words becomes undecidable if allowing to quantify...
research
10/09/2019

The Impacts of Dimensionality, Diffusion, and Directedness on Intrinsic Universality in the abstract Tile Assembly Model

We present a series of results related to mathematical models of self-as...

Please sign up or login with your details

Forgot password? Click here to reset