[论文解读] Self-Assembly with Geometric Tiles

Bin Fu, Matthew J. Patitz+2 more|arXiv (Cornell University)|Apr 14, 2011

Advanced biosensing and bioanalysis techniques参考文献 18被引用 5

一句话总结

本文提出了一种广义抽象 Tile 组装模型（GTAM），为 Tile 的每个面分配刚性几何形状，从而在温度 1 下将自组装 n×n 方块所需的 Tile 类型复杂度显著降低至 Θ(√log n)，相比标准 aTAM 模型中的 Θ(log n/log log n)。此外，本文还展示了在温度 1 下高效模拟温度 2 系统的方法，并提出了具有可证明几何尺寸边界的紧凑几何设计新算法。

ABSTRACT

In this work we propose a generalization of Winfree's abstract Tile Assembly Model (aTAM) in which tile types are assigned rigid shapes, or geometries, along each tile face. We examine the number of distinct tile types needed to assemble shapes within this model, the temperature required for efficient assembly, and the problem of designing compact geometric faces to meet given compatibility specifications. Our results show a dramatic decrease in the number of tile types needed to assemble $n imes n$ squares to $Θ(\sqrt{\log n})$ at temperature 1 for the most simple model which meets a lower bound from Kolmogorov complexity, and $O(\log\log n)$ in a model in which tile aggregates must move together through obstacle free paths within the plane. This stands in contrast to the $Θ(\log n / \log\log n)$ tile types at temperature 2 needed in the basic aTAM. We also provide a general method for simulating a large and computationally universal class of temperature 2 aTAM systems with geometric tiles at temperature 1. Finally, we consider the problem of computing a set of compact geometric faces for a tile system to implement a given set of compatibility specifications. We show a number of bounds on the complexity of geometry size needed for various classes of compatibility specifications, many of which we directly apply to our tile assembly results to achieve non-trivial reductions in geometry size.

研究动机与目标

• 通过在 Tile 面上引入几何形状，解决经典抽象 Tile 组装模型（aTAM）中 Tile 类型复杂度过高的问题。
• 减少在低温（温度 1）下自组装 n×n 方块所需的 Tile 类型数量。
• 开发高效算法，用于设计满足给定 Tile 间兼容性规范的紧凑几何面。
• 实现使用温度 1 下的几何 Tile 对计算通用的温度 2 aTAM 系统的模拟。
• 建立实现各种兼容性矩阵所需最小几何尺寸的理论边界。

提出的方法

• 通过为每个 Tile 面分配刚性几何形状，将抽象 Tile 组装模型（aTAM）推广，从而允许基于几何的结合规则。
• 利用 Tile 面之间的几何兼容性来实现结合，替代或补充传统的基于粘合剂的结合方式。
• 应用柯尔莫哥洛夫复杂度的下界，建立 Tile 类型减少的理论极限。
• 采用随机化算法构造满足二元兼容性矩阵的紧凑几何面设计，并提供性能边界。
• 利用矩阵分解与独立子矩阵分析，以最小化总几何尺寸。
• 提出从条状几何设计到凸起状几何设计的约化方法，以最小化几何长度。

实验结果

研究问题

• RQ1 几何 Tile 形状是否能显著减少组装大型结构（如 n×n 方块）所需的 Tile 类型数量？
• RQ2 在温度 1 下，使用几何 Tile 能在多大程度上模拟温度 2 的 aTAM 系统？
• RQ3 实现给定的一组 Tile 兼容性规范所需的最小几何尺寸是多少？
• RQ4 如何为任意兼容性矩阵算法化地生成紧凑的几何面设计？
• RQ5 不同类别的兼容性矩阵在几何尺寸上的理论极限是什么？

主要发现

• 在几何 Tile 模型中，温度 1 下自组装 n×n 方块所需的 Tile 类型数量降低至 Θ(√log n)，该结果接近由柯尔莫哥洛夫复杂度得出的近似最优边界。
• 对于需要无障碍移动的系统，温度 2 下的 Tile 类型复杂度进一步降低至 O(log log n)，几何尺寸为 O(log n log log n)。
• 温度 1 下的几何 Tile 系统可使用 O(1) 个 Tile 类型和几何尺寸 log σ_n + log log σ_n + O(1) 来模拟任意温度 2 的 aTAM 系统，其中 σ_n 是南北方向粘合剂类型的数量。
• 一种随机化算法可在 O((n+m)^3) 时间内计算出总长度不超过 (1+ε)V(H) + O(log(n+m)/ε) 的几何设计，其中 V(H) 是独立子矩阵 H 上的最大几何尺寸。
• 一种最优几何设计算法的运行时间为 O(2^{L(M)min(m,n)}(n+m)^3)，其中 L(M) 是二元矩阵 M 的最小几何尺寸。
• 对于满秩或主对角线为零的矩阵，最小几何尺寸至少等于矩阵的秩；对于 n×n 主对角线为零的矩阵，其最小几何尺寸恰好为 n。