[论文解读] Computing in continuous space with self-assembling polygonal tiles

Oscar Gilbert, Jacob Hendricks+2 more|arXiv (Cornell University)|Mar 1, 2015

DNA and Biological ComputingBiochemistry, Genetics and Molecular Biology参考文献 24被引用 18

一句话总结

本文通过在连续空间中使用多边形tiles以温度1实现计算通用性，展示了自组装系统在计算通用性方面的突破，这一领域在抽象Tile自组装模型（aTAM）中，对于正方形tiles而言，其通用性仍为一个猜想。通过采用边数超过六条的正多边形或特定非正则多边形，作者设计出能够通过连续空间排列实现通用计算的tile系统，从而克服了离散正方形tile的局限性。

ABSTRACT

In this paper we investigate the computational power of the polygonal tile assembly model (polygonal TAM) at temperature 1, i.e. in non-cooperative systems. The polygonal TAM is an extension of Winfree's abstract tile assembly model (aTAM) which not only allows for square tiles (as in the aTAM) but also allows for tile shapes that are polygons. Although a number of self-assembly results have shown computational universality at temperature 1, these are the first results to do so by fundamentally relying on tile placements in continuous, rather than discrete, space. With the square tiles of the aTAM, it is conjectured that the class of temperature 1 systems is not computationally universal. Here we show that the class of systems whose tiles are composed of a regular polygon P with n > 6 sides is computationally universal. On the other hand, we show that the class of systems whose tiles consist of a regular polygon P with n <= 6 cannot compute using any known techniques. In addition, we show a number of classes of systems whose tiles consist of a non-regular polygon with n >= 3 sides are computationally universal.

研究动机与目标

• 研究在连续空间中使用多边形tile能否在温度1下实现计算通用性。
• 确定使用非正方形多边形tile而非正方形tile时，温度1系统是否具有更高的计算能力。
• 识别在连续空间中实现通用计算的多边形tile类别——正多边形或非正则多边形。
• 开发并验证可在连续空间排列中运行的tile自组装机制，如位读取装置。

提出的方法

• 将抽象Tile自组装模型（aTAM）扩展至允许在连续空间中使用多边形tile形状，包括正多边形与非正则多边形。
• 设计使用边数n > 6的正多边形的tile系统，通过非合作（温度1）自组装实现通用计算。
• 引入并实现基于多边形tile的位读取装置，以在连续构型中实现信号传递与逻辑运算。
• 利用几何约束与tile形状设计，确保在连续空间中实现稳定且确定性的生长模式。
• 分析边数n ≤ 6的正多边形系统在温度1下的计算能力，表明目前尚无已知技术可实现计算。
• 通过在连续空间中构建通用图灵机，验证了通用性。

实验结果

研究问题

• RQ1 在连续空间中使用多边形tile能否在温度1下实现计算通用性，而该温度下正方形tile在aTAM中被推测不具备通用性？
• RQ2 哪些特定类别的多边形tile——正多边形或非正则多边形——可在连续空间中实现通用计算？
• RQ3 多边形tile的几何特性（如边数与规则性）如何影响其在温度1系统中的计算能力？
• RQ4 是否可使用多边形tile在连续空间中实现功能组件（如位读取装置），以支持通用计算？

主要发现

• 使用边数超过六条的正多边形tile（n > 6）可在连续空间中于温度1下实现计算通用性。
• 目前尚无已知技术可使边数六条或以下的正多边形tile（n ≤ 6）在温度1下实现计算。
• 边数为三条或以上的非正则多边形tile可被设计为在连续空间中实现计算通用性。
• 本文完整展示了基于多边形tile实现的位读取装置示例，证明了在连续构型中可实现信号传播与逻辑运算。
• 研究结果表明，连续空间中tile形状与几何约束的选择从根本上实现了通用计算，而离散空间中的正方形tile则无法实现。