On the directed tile assembly systems at temperature 1

11/18/2020
by   Pierre-Etienne Meunier, et al.
0

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 approach is to proceed in two steps. The first one is to develop a 2D pumping lemma and the second one is to use this pumping lemma to classify the different types of possible computation. Previously, Meunier at al have proven a pumping lemma and Doty et al, assuming the existence of a pumping lemma, have classified the different types of terminal assembly. Thus the combination of these two papers solves the directed temperature 1 conjecture ... but in an imperfect way. Indeed, since the work of Doty et al is anterior to the pumping lemma of Meunier et al, the authors assumed a different and stronger pumping lemma. Nevertheless, all the demonstrations made in Doty et al still hold with the pumping lemma of Meunier et al. In this paper, we harmonize the notations between these two articles in order to clearly solve the directed temperature 1 conjecture. We are also able to give an optimal description of the bi-periodic structures which may appear in some tile assembly system.

READ FULL TEXT
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
02/09/2022

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

We consider non-cooperative binding, so-called 'temperature 1', in deter...
research
03/26/2018

Dushnik-Miller dimension of TD-Delaunay complexes

TD-Delaunay graphs, where TD stands for triangular distance, is a variat...
research
04/23/2018

Small-Set Expansion in Shortcode Graph and the 2-to-2 Conjecture

Dinur, Khot, Kindler, Minzer and Safra (2016) recently showed that the (...
research
02/06/2019

Non-cooperatively assembling large structures: a 2D pumping lemma cannot be as powerful as its 1D counterpart

We show the first asymptotically efficient constructions in the so-calle...
research
05/03/2023

The Impacts of Dimensionality, Diffusion, and Directedness on Intrinsic Cross-Model Simulation in Tile-Based Self-Assembly

Algorithmic self-assembly occurs when disorganized components autonomous...
research
12/13/2022

How to Build the Optimal Magnet Assembly for Magnetocaloric Cooling: Structural Optimization with Isogeometric Analysis

In the search for more efficient and less environmentally harmful coolin...

Please sign up or login with your details

Forgot password? Click here to reset