[論文レビュー] 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

ひとこと要約

本稿では、3次元静的タイルが2ハンズドアセンブリモデル（2HAM）において、温度τ > 1の下で、3次元の第3の次元を用いてたった2つの平面のみで、任意の2次元信号伝達タイルアセンブリモデル（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+タイルにおける高い信号複雑性が物理的実装を困難にしているという課題に対処すること。
• 3次元静的2HAMタイル集合が、温度τ > 1の下で、任意の2次元STAM+系を内因的にシミュレートできることを示すこと。
• 任意のSTAM+系を、信号複雑性が有界（1または2信号/タイル）な同等の系に簡略化すること。
• 3次元2HAMにおける内因的ユニバーシャルティが、第3の次元の2平面のみを用いて最小限の空間的オーバーヘッドで達成可能であることを示すこと。
• 低複雑性で実験的に実現可能なタイルを有する強力なSTAM系を設計するための実用的戦略を提供すること。

提案手法

• 高信号複雑性を持つタイルを、より単純な構成要素からなるスケーリングされたマクロタイルで置き換えることで、STAM+タイル集合の信号複雑性を低減する変換技術を開発した。
• 温度τ > 1の下で、任意の2次元STAM+系を内因的にシミュレートできる3次元2HAMタイル集合Uを設計した。このシミュレーションは、z軸方向の2平面のみを用いた。
• スケール要因のトレードオフを導入した：信号複雑性の簡略化によりスケール要因が増加するが、各τに対してその増加は有界かつ定数のままである。
• マクロタイルを用いて信号伝達行動を符号化し、信号伝播を複数の静的タイル間での協調的結合と状態変化を通じてシミュレートした。
• τ = 1の場合、シミュレーティング系の各タイルにおける信号複雑性が、元のタイル集合サイズに依存しない定数で有界であることを証明した。
• マクロタイルを元のSTAM+タイルにマッピングする表現関数を用い、信号伝播ダイナミクスの正当性を検証することで、シミュレーションの正しさを確立した。

実験結果

リサーチクエスチョン

• RQ1 2HAMタイルの静的性質にもかかわらず、3次元静的2HAMタイル集合は、温度τ > 1の下で、任意の2次元STAM+系をシミュレート可能か？
• RQ2 任意のSTAM+系を、1または2信号/タイルに限定した同等の系に簡略化可能か？ ただし、シミュレーション動作は保持されるものとする。
• RQ3 STAM+系の信号複雑性を定数レベルにまで低減するための最悪ケースでのスケール要因の増加はどの程度か？
• RQ4 3次元2HAMにおける内因的ユニバーシャルティは、z次元の2平面のみを用いて最小限の空間的使用で達成可能か？
• RQ5 このシミュレーションフレームワークは、制限なしSTAMにおけるグルーの無効化およびサブアセンブリの解離を処理するために拡張可能か？

主な発見

• τ > 1の各τに対して、その温度ですべての2次元STAM+系を内因的にユニバーサルにシミュレートできる3次元2HAMタイル集合が存在する。
• シミュレーションは第3の次元の2平面のみを用いており、空間的オーバーヘッドを顕著に低減している。
• 任意のSTAM+系は、1タイルあたり最大2信号の同等の系に変換可能であり、τ > 1の場合、スケール要因の増加はO(|T′|⁴ log(|T′|²))である。
• τ = 1の場合、簡略化された系におけるタイル1つあたりの信号複雑性は、元のタイル集合サイズに依存しない定数で有界である。
• 元のタイルがO(|T|²)の信号複雑性を持つ最悪ケースであっても、シミュレーティング系のタイル複雑性とスケール要因は有界のままである。
• 結果から、計算的パワーを保持したまま低複雑性タイルを有する実用的なSTAM系を設計可能であり、実験的実現可能性が向上することが示唆される。