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.

Self-Assembly of Patterns in the abstract Tile Assembly Model

Self-Assembly of Infinite Structures

Identifying Shapes Using Self-Assembly (extended abstract)

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

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

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

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

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

Intrinsic universality and the computational power of self-assembly

The program-size complexity of self-assembled paths

Self-assembly of discrete self-similar fractals

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

Intrinsic Universality in Seeded Active Tile Self-Assembly

Triangular Self-Assembly

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

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

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

Hypergraph Automata: A Theoretical Model for Patterned Self-assembly

Intrinsic universality in tile self-assembly requires cooperation

Compact Error-Resilient Self-Assembly of Recursively Defined Patterns

Strict Self-Assembly of Fractals Using Multiple Hands