[论文解读] The self-assembly of paths and squares at temperature 1

Pierre-Étienne Meunier|arXiv (Cornell University)|Dec 2, 2013

Advanced biosensing and bioanalysis techniques参考文献 31被引用 6

一句话总结

本文证明了在温弗里的抽象 Tile 自组装模型中，温度为 1 时，自组装一个 $n \times n$ 方形至少需要 $2n-1$ 种 Tile 类型，从而证实了洛瑟蒙德与温弗里自 2000 年以来长期存在的猜想。作者提出了一种新颖的“触角路径”构造技术，可在曼哈顿距离以下实现高效的路径自组装，并利用该技术证明此类高效路径无法扩展为完全填充的方块，从而确立了完整方块的 $2n-1$ 边界最优性。

ABSTRACT

We prove that the number of tile types required to build squares of size n x n, in Winfree's abstract Tile Assembly Model, when restricted to using only non-cooperative tile bindings, is at least 2n-1, which is also the best known upper bound. Non-cooperative self-assembly, also known as temperature 1, is where tiles bind to each other if they match on one or more sides, whereas in cooperative binding, some tiles can bind only if they match on multiple sides. Our proof introduces a new programming technique for temperature 1, that disproves the very intuitive and commonly held belief that, in the same model, assembling paths between two points A and B cannot be done with less tile types than the Manhattan distance between them. Then, we prove a necessary condition for these "efficient paths" to be assembled, and show that this necessary condition cannot hold in completely filled squares. This result proves the oldest conjecture in algorithmic self-assembly, published by Rothemund and Winfree in STOC 2000, in the case where growth starts from a corner of the square. As a corollary, we establish n as a lower bound on the tile complexity of the general case. The problem of determining the minimal number of tile types to self-assemble a shape is known to be Sigma^p_2-complete.

研究动机与目标

• 解决长期存在的猜想：在抽象 Tile 自组装模型中，温度为 1 时，自组装一个 $n \times n$ 方形至少需要 $2n-1$ 种 Tile 类型。
• 推翻直观信念：两点之间的路径自组装所需 Tile 类型数不可能少于其曼哈顿距离。
• 建立高效路径自组装的必要条件，并证明该条件在完全填充的方块中无法满足，从而证明方块的下界。
• 扩展对温度-1 自组装能力的理解，特别是在二维空间中，其计算能力至今仍不甚明了。

提出的方法

• 提出一种名为“触角路径”的新型编程技术，允许以少于端点间曼哈顿距离的 Tile 类型数实现高效路径构建。
• 定义一种“断裂”机制，其中路径生长被分支结构中断，但可从新点重新启动，从而实现路径复用并降低复杂度。
• 使用“低次重启”论证，证明若路径被中断，则无法以不增加 Tile 类型数的方式恢复连接性。
• 将路径构建技术应用于从种子到方块每个角点的对角线矩形，确保至少有一个此类矩形足够大，以触发下界所需的条件。
• 证明任何完全填充方块的终止自组装结果中，必然包含一条满足高效性必要条件的路径，而该条件在完全填充方块中无法满足。
• 通过反证法证明：若某系统能以少于 $2n-1$ 种 Tile 类型自组装完全填充方块，则意味着存在一种违反模型结构约束的高效路径。

实验结果

研究问题

• RQ1 是否可能在温度-1 的 aTAM 中，以少于两点间曼哈顿距离的 Tile 类型数，自组装出两点之间的路径？
• RQ2 高效路径自组装的必要条件是否能在完全填充的 $n \times n$ 方块中满足？
• RQ3 在温度 1 下，自组装一个 $n \times n$ 方块是否至少需要 $2n-1$ 种 Tile 类型，且从单个种子 Tile 开始？
• RQ4 该 $2n-1$ 的最优性是否适用于方块内任意初始种子位置，而不仅限于角落种子？
• RQ5 是否存在替代“梳状结构”的设计，能以 $2n-1$ 种 Tile 类型实现 $n \times n$ 方块的自组装？

主要发现

• 本文证明了在温度 1 下，自组装一个 $n \times n$ 方块至少需要 $2n-1$ 种 Tile 类型，从而证实了洛瑟蒙德与温弗里在 STOC 2000 上提出的猜想。
• 一种名为“触角路径”的新构造技术，使得路径自组装所用的 Tile 类型数少于端点间的曼哈顿距离，从而推翻了广泛持有的直观信念。
• 高效路径自组装的必要条件——即路径可从分支点无干扰地重启——在完全填充的方块中无法满足，这阻止了此类构造扩展为完整方块。
• 即使种子位于方块内任意位置，$2n-1$ 的下界仍然成立，尽管当前证明仅覆盖角落种子的情况。
• 该结果确立了 $n$ 作为温度-1 方块自组装一般情况下的 Tile 复杂度下限，即使种子不在角落位置也成立。
• 本文仍留下开放问题：是否存在一个单一 Tile 集可模拟所有温度-1 Tile 自组装系统？以及，判断两个系统是否具有完全相同的终止自组装结果是否为可判定问题。