[论文解读] The Impacts of Dimensionality, Diffusion, and Directedness on Intrinsic Cross-Model Simulation in Tile-Based Self-Assembly

Daniel Hader, Matthew J. Patitz|arXiv (Cornell University)|Jan 1, 2023

DNA and Biological Computing被引用 2

一句话总结

本文通过分析维度、扩散性和方向性的影响，研究了基于瓦片的自组装中的内在跨模型模拟。结果表明，某些模型在计算能力上严格强于其他模型，而另一些模型则表现出互斥能力，从而通过几何内在模拟而非符号模拟，确立了瓦片自组装模型之间的计算能力层级。

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.

研究动机与目标

• 研究维度、扩散性和方向性如何影响基于瓦片的自组装中的内在普遍性。
• 通过内在模拟比较不同瓦片自组装模型的相对计算能力。
• 确定某些模型是否严格强于其他模型，或是否具有互斥能力。
• 通过分析跨模型模拟动力学，拓展先前关于内在普遍性的研究。

提出的方法

• 作者分析了一系列在维度（2D 与 3D）、扩散行为（扩散性与非扩散性）和方向性（有向与无向系统）方面不同的瓦片自组装模型。
• 他们定义并应用了内在模拟的概念，要求模拟系统中的瓦片块在几何上对应于被模拟系统中的单个瓦片。
• 构建了一个通用瓦片集，可通过分层宏瓦片架构模拟任意有向系统，适用于抽象瓦片自组装模型（aTAM）。
• 每个宏瓦片编码一个组件块（CB），用于模拟目标系统中的一个瓦片，CB 内部的 TM 块负责管理局部生长和粘附兼容性检查。
• 模拟采用固定协议，其中组件块根据被模拟系统的瓦片集和结合规则，以预定义模式生长。
• 模拟的尺度因子被证明为被模拟瓦片集大小的多项式函数，具体为 O(|T|⁸ log|T|)，尽管也指出了可能的优化空间。

实验结果

研究问题

• RQ1 维度、扩散性和方向性如何影响瓦片自组装模型的内在普遍性？
• RQ2 一个瓦片自组装模型能否内在模拟另一个模型，若能，其条件是什么？
• RQ3 是否存在一对模型，其中每个都能模拟对方，还是它们表现出互斥能力？
• RQ4 在内在模拟下，这些模型形成了怎样的计算层级？

主要发现

• 本文确立了某些模型在内在模拟能力方面严格强于其他模型，其中 2D 有向、非扩散系统比无向或扩散变体更具表达能力。
• 2D 有向系统通过构造被证明是内在普遍的，即使用单一通用瓦片集可模拟任意有向 aTAM 系统。
• 该模拟实现了几何内在模拟，即模拟器中的瓦片块直接对应于被模拟系统中的单个瓦片，保持了空间结构。
• 模拟的尺度因子为 O(|T|⁸ log|T|)，是被模拟瓦片集大小的多项式函数，尽管复杂度较高，但仍证明了其可行性。
• 在某些模型之间识别出互斥能力，表明即使在同一类别中，也不存在一个模型能模拟所有其他模型。
• 结果揭示了一个非平凡的瓦片自组装模型层级，类似于计算复杂性层级，其中维度和动力学在决定计算能力方面起决定性作用。