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

arXiv (Cornell University)

Abstract

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.

Authors 3

1. Jérôme Olivier Durand-Lose

   Université d'Orléans · Services déconcentrés d'appui à la recherche Val de Loire

   Affiliation as printed

   Université d'Orléans , INSA Centre-Val-de-Loire , LIFO ÉA 4022 , F-45067 Orléans , France and LIX ,

2. Hendrik Jan Hoogeboom
3. Nataša Jonoska Aachen

   Leiden University · University of South Florida

   Affiliation as printed

   Leiden University , The Netherlands

   University of South Florida , Department of Mathematics and Statistics , Tampa FL , 33620 , USA