Abstract:Algorithmic self-assembly occurs when disorganized components autonomously combine to form structures and, by their design and the dynamics of the system, are forced to follow the execution of algorithms. Motivated by applications in DNA-nanotechnology, investigations in algorithmic tile-based self-assembly have blossomed into a mature theory with research leveraging tools from computability theory, complexity theory, information theory, and graph theory to develop a wide range of models and show that many are computationally universal, while also exposing powers and limitations of each. Beyond computational universality, the abstract Tile Assembly Model (aTAM) was shown to be intrinsically universal (IU), a strong notion of completeness where a single tile set is capable of simulating all systems within the model; however, this result required non-deterministic tile attachments. This was later confirmed necessary when it was shown that the class of directed aTAM systems is not IU. Building on these results to further investigate the impacts of other dynamics, Hader et al. examined several tile-assembly models which varied across (1) the numbers of dimensions used, (2) restrictions based on diffusion of tiles through space, and (3) whether each system is directed, and showed which models are IU. Such results have shed much light on the roles of various aspects of the dynamics of tile-assembly and their effects on the intrinsic universality of each model. Here we provide direct comparisons of the various models by considering intrinsic simulations between models. We show that in some cases one model is more powerful than another, and in others, pairs of models have mutually exclusive capabilities. This comparison helps to expose the impacts of these three important aspects and further helps define a hierarchy of tile-assembly models.

Identifying Shapes Using Self-Assembly (extended abstract)

Self-Assembly of Patterns in the abstract Tile Assembly Model

Self-Assembly of Infinite Structures

Strict Self-Assembly of Discrete Self-Similar Fractals in the abstract Tile-Assembly Model

Sequential non-determinism in tile self-assembly: a general framework and an application to efficient temperature-1 self-assembly of squares

Universal shape replication via self-assembly with signal-passing tiles

Building Squares with Optimal State Complexity in Restricted Active Self-Assembly

One Tile to Rule Them All: Simulating Any Turing Machine, Tile Assembly System, or Tiling System with a Single Puzzle Piece

Asynchronous Signal Passing for Tile Self-Assembly: Fuel Efficient Computation and Efficient Assembly of Shapes

Triangular Self-Assembly

Intrinsic universality and the computational power of self-assembly

Deterministic Molecular Assembly with a Finite Set of Building Blocks: Universal Assembly Kits for Backbone-Assisted and Sequence-Directed Abstract Tile Assembly Models

The program-size complexity of self-assembled paths

Simulation of Self-Assembly in the Abstract Tile Assembly Model with ISU TAS

Active Tile Self-assembly, Self-similar Structures and Recursion

Self-assembly of discrete self-similar fractals

Self-assembly of 4-sided fractals in the Two-Handed Tile Assembly Model

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

Designing the self-assembly of arbitrary shapes using minimal complexity building blocks

Strict Self-Assembly of Discrete Self-Similar Fractal Shapes

Intrinsic universality in tile self-assembly requires cooperation