[论文解读] Signal Transmission Across Tile Assemblies: 3D Static Tiles Simulate Active Self-Assembly by 2D Signal-Passing Tiles

Tyler Fochtman, Jacob Hendricks+3 more|arXiv (Cornell University)|Jun 20, 2013

DNA and Biological Computing参考文献 21被引用 22

一句话总结

本论文证明，在温度 τ > 1 时，3D 静态瓦片在 2-Handed Assembly Model (2HAM) 中可内在地模拟任意 2D Signal-passing Tile Assembly Model (STAM+) 系统，仅使用第三维的两个平面。此外，论文进一步表明，具有任意信号复杂度的 STAM+ 系统可被简化为仅使用每块瓦片 1 或 2 个信号的系统，且规模因子仅恒定增加，从而在保持计算通用性的同时实现实际实验实现。

ABSTRACT

The 2-Handed Assembly Model (2HAM) is a tile-based self-assembly model in which, typically beginning from single tiles, arbitrarily large aggregations of static tiles combine in pairs to form structures. The Signal-passing Tile Assembly Model (STAM) is an extension of the 2HAM in which the tiles are dynamically changing components which are able to alter their binding domains as they bind together. For our first result, we demonstrate useful techniques and transformations for converting an arbitrarily complex STAM$^+$ tile set into an STAM$^+$ tile set where every tile has a constant, low amount of complexity, in terms of the number and types of ``signals'' they can send, with a trade off in scale factor. Using these simplifications, we prove that for each temperature $τ>1$ there exists a 3D tile set in the 2HAM which is intrinsically universal for the class of all 2D STAM$^+$ systems at temperature $τ$ (where the STAM$^+$ does not make use of the STAM's power of glue deactivation and assembly breaking, as the tile components of the 2HAM are static and unable to change or break bonds). This means that there is a single tile set $U$ in the 3D 2HAM which can, for an arbitrarily complex STAM$^+$ system $S$, be configured with a single input configuration which causes $U$ to exactly simulate $S$ at a scale factor dependent upon $S$. Furthermore, this simulation uses only two planes of the third dimension. This implies that there exists a 3D tile set at temperature $2$ in the 2HAM which is intrinsically universal for the class of all 2D STAM$^+$ systems at temperature $1$. Moreover, we show that for each temperature $τ>1$ there exists an STAM$^+$ tile set which is intrinsically universal for the class of all 2D STAM$^+$ systems at temperature $τ$, including the case where $τ= 1$.

研究动机与目标

• 为解决 STAM+ 瓦片中高信号复杂度的问题，该问题阻碍了物理实现。
• 证明 3D 静态 2HAM 瓦片集合可在温度 τ > 1 时内在地模拟任意 2D STAM+ 系统。
• 将任意 STAM+ 系统简化为等价系统，其每块瓦片仅使用 1 或 2 个信号。
• 表明在 3D 2HAM 中实现内在通用性仅需极少的空间开销，具体而言仅使用第三维的两个平面。
• 提供实用策略，用于设计具有低复杂度、实验可行性的强大 STAM 系统。

提出的方法

• 开发了变换技术，通过用由更简单组件构成的缩放宏瓦片替代高复杂度瓦片，降低 STAM+ 瓦片集合中的信号复杂度。
• 设计了一个 3D 2HAM 瓦片集合 U，其可在温度 τ > 1 时内在地模拟任意 2D STAM+ 系统，且仅使用 z 维度中的两个平面。
• 引入了规模因子的权衡：简化信号复杂度会增加规模因子，但对每个 τ 而言，该增加量保持有界且恒定。
• 使用宏瓦片编码信号传递行为，其中信号传播通过多个静态瓦片之间的协调结合与状态变化来模拟。
• 证明当 τ = 1 时，模拟系统中每块瓦片的信号复杂度被一个与原始瓦片集合大小无关的常数所限制。
• 通过表示函数将宏瓦片映射到原始 STAM+ 瓦片，并验证信号传播动力学，从而确立模拟的正确性。

实验结果

研究问题

• RQ1 尽管 2HAM 瓦片具有静态特性，3D 静态 2HAM 瓦片集合是否能够模拟任意 2D STAM+ 系统，且温度 τ > 1？
• RQ2 是否可能将任意 STAM+ 系统简化为仅使用每块瓦片 1 或 2 个信号的等价系统，同时保持模拟行为不变？
• RQ3 为将 STAM+ 系统的信号复杂度降低至恒定水平，所需的最坏情况规模因子增加量是多少？
• RQ4 是否能仅使用第三维的两个平面，实现 3D 2HAM 中的内在通用性？
• RQ5 该模拟框架能否扩展以处理无限制 STAM 中的粘合剂失活与亚组装解离？

主要发现

• 对每个 τ > 1，均存在一个在温度 τ 下的 3D 2HAM 瓦片集合，其对所有该温度下的 2D STAM+ 系统具有内在通用性。
• 该模拟仅使用第三维的两个平面，显著降低了空间开销。
• 任意 STAM+ 系统均可被转换为每块瓦片最多仅含 2 个信号的等价系统，且规模因子增加量为 O(|T′|⁴ log(|T′|²))（τ > 1 时）。
• 当 τ = 1 时，简化系统中每块瓦片的信号复杂度被一个与原始瓦片集合大小无关的常数所限制。
• 即使在原始瓦片具有 O(|T|²) 信号复杂度的最坏情况下，模拟系统的瓦片复杂度与规模因子仍保持有界。
• 结果表明，可通过设计低复杂度瓦片来实现实用的 STAM 系统，同时保留完整的计算能力，从而实现实验可行性。