[论文解读] Intrinsic universality in tile self-assembly requires cooperation

Pierre-Étienne Meunier, Matthew J. Patitz+4 more|arXiv (Cornell University)|Jan 5, 2014

DNA and Biological Computing参考文献 43被引用 66

一句话总结

本文证明了在非合作（温度-1）结合条件下，温弗雷的抽象 Tile 自组装模型并非内在通用的，此时 tiles 只需在至少一个边上匹配即可结合。相比之下，当需要两个或更多匹配边时，合作结合下该模型是内在通用的。该结果揭示了合作在算法自组装中根本性地增强了计算表达能力，即使非合作系统仍能模拟图灵机。

ABSTRACT

We prove a negative result on the power of a model of algorithmic self-assembly for which finding general techniques and results has been notoriously difficult. Specifically, we prove that Winfree's abstract Tile Assembly Model is not intrinsically universal when restricted to use noncooperative tile binding. This stands in stark contrast to the recent result that the abstract Tile Assembly Model is indeed intrinsically universal when cooperative binding is used (FOCS 2012). Noncooperative self-assembly, also known as temperature 1, is where all tiles bind to each other if they match on at least one side. On the other hand, cooperative self-assembly requires that some tiles bind on at least two sides.Our result shows that the change from non-cooperative to cooperative binding qualitatively improves the range of dynamics and behaviors found in these models of nanoscale self-assembly. The result holds in both two and three dimensions; the latter being quite surprising given that three-dimensional noncooperative tile assembly systems simulate Turing machines. This shows that Turing universal behavior in self-assembly does not imply the ability to simulate all algorithmic self-assembly processes. In addition to the negative result, we exhibit a three-dimensional noncooperative self-assembly tile set capable of simulating any two-dimensional noncooperative self-assembly system. This tile set implies that, in a restricted sense, non-cooperative self-assembly is intrinsically universal for itself.

研究动机与目标

• 确定在非合作结合条件下，抽象 Tile 自组装模型是否能内在模拟所有算法自组装过程。
• 解决关于非合作 tile 自组装计算能力的长期悬而未决问题。
• 阐明合作与非合作结合在实现自组装模型中通用计算时的质性差异。
• 研究尽管缺乏内在通用性，非合作系统是否能模拟其他非合作系统。

提出的方法

• 作者使用反证法证明，没有任何非合作 tile 自组装系统能够模拟所有其他非合作系统。
• 他们分析了非合作结合的结构性与动态限制，特别是缺乏结合阈值要求。
• 他们构建了一个特定的三维非合作 tile 集，能够模拟任意二维非合作系统，从而证明了一种受限形式的内在通用性。
• 他们比较了非合作与合作模型的表达能力，强调多边结合在实现复杂行为中的作用。
• 他们将结果扩展至二维与三维，表明即使在三维中，非通用性结果依然成立，尽管三维非合作系统已知具备图灵通用性。

实验结果

研究问题

• RQ1 非合作 tile 自组装系统是否能内在模拟所有算法自组装过程？
• RQ2 能够模拟图灵机是否意味着非合作自组装具备内在通用性？
• RQ3 合作结合在实现抽象 Tile 自组装模型中的内在通用性方面起什么作用？
• RQ4 一个单一的非合作 tile 集是否能在受限意义上模拟所有其他非合作系统？
• RQ5 为何引入合作结合会显著提升 tile 自组装模型的表达能力？

主要发现

• 尽管具备图灵通用性，抽象 Tile 自组装模型在非合作结合下并非内在通用的。
• 合作结合——即至少需要两个匹配边——是该模型中实现内在通用性的关键。
• 该结果在二维与三维中均成立，其中三维情况尤为出人意料，因为三维非合作系统已知具备图灵通用性。
• 一个三维非合作 tile 集能够模拟任意二维非合作自组装系统，确立了一种受限形式的内在通用性。
• 图灵通用性并不意味着能够模拟所有算法自组装过程，这表明计算能力与表达通用性之间存在质性差异。