[論文レビュー] Limitations of Self-Assembly at Temperature 1

David Doty, Matthew J. Patitz+1 more|ArXiv.org|Mar 10, 2009

DNA and Biological Computing参考文献 9被引用数 8

ひとこと要約

本稿は、温度1における指向的かつポンプ可能（pumpable）なタイル自己集合系が、有限個の半二重周期的パターンの和集合にしか弱く自己集合させないことを証明している—計算的表現力における根本的な制限を示している。さらに、負の接着エネルギーを許容すれば、温度1でもユニバーサル計算が可能であり、反発的相互作用による誤り訂正と協調が可能であることを示している。

ABSTRACT

We prove that if a set $X \subseteq \Z^2$ weakly self-assembles at temperature 1 in a deterministic tile assembly system satisfying a natural condition known as \emph{pumpability}, then $X$ is a finite union of semi-doubly periodic sets. This shows that only the most simple of infinite shapes and patterns can be constructed using pumpable temperature 1 tile assembly systems, and gives evidence for the thesis that temperature 2 or higher is required to carry out general-purpose computation in a tile assembly system. Finally, we show that general-purpose computation \emph{is} possible at temperature 1 if negative glue strengths are allowed in the tile assembly model.

研究の動機と目的

• 本研究の目的は、温度1におけるタイル自己集合の計算的限界を理解することである。
• 温度2の協調が不要な状況で、シエルピンスキー・トライアングルのような複雑なパターンが弱く自己集合可能かどうかを調査することである。
• 自然な仮定の下で、温度1で弱く自己集合可能な集合のクラスを特定することである。
• 指向的かつ温度1のシステムが一般用途計算を実行する能力に根本的な制限があるかどうかを検討することである。
• 負の接着エネルギーが温度1での計算ユニバーサルリティを回復できるかどうかを検討することである。

提案手法

• 本稿は、『ポンプ可能』という概念を導入する—これは、集合内の長いパスに繰り返し可能で衝突のないセグメントが含まれることを保証する条件である。
• 任意の指向的かつポンプ可能な温度1のシステムが弱く自己集合させる集合は、半二重周期的集合の有限和集合に限られることを証明する。
• 証明は、タイルパスの構造的解析と、温度1における非負の接着エネルギーが課す幾何的制約に依拠する。
• すべての繰り返しのあるタイルセグメントがポンプ可能であるとは限らないことの反例を構成し、ポンプ可能仮定の正当性を裏付ける。
• 負の接着エネルギーを用いた構成を導入し、温度1で協調と誤り訂正を可能にする。
• 負の接着エネルギーを用いることで、温度1のタイルシステムが単一テープチューリングマシンをシミュレートでき、計算ユニバーサルリティを達成できることを示している。

実験結果

リサーチクエスチョン

• RQ1 温度2の協調が不要な状況で、離散的シエルピンスキー・トライアングルのような複雑で非周期的なパターンが、温度1で弱く自己集合可能か？
• RQ2 ポンプ可能条件の下で、指向的かつ温度1のタイル自己集合系が弱く自己集合可能な集合のクラスは何か？
• RQ3 非負の接着エネルギーのみを用いることで、温度1で一般用途の決定的計算が可能か？
• RQ4 負の接着エネルギーが、温度1での計算ユニバーサルリティを回復できるか？
• RQ5 無限のアセンブリを生成するすべての指向的温度1タイルシステムが、必然的にポンプ可能であるか？

主な発見

• 指向的かつポンプ可能な温度1タイル自己集合系で弱く自己集合される任意の集合 X ⊆ Z² は、半二重周期的集合の有限和集合に限られる。
• ポンプ可能仮定により、長大なパス内の繰り返し可能なタイルセグメントが衝突を避けて無限に延長可能となり、構造的解析が可能になる。
• ポンプ可能でない場合、弱く自己集合可能な集合のクラスはより複雑になる可能性があるが、著者らはすべての無限かつ指向的なシステムでポンプ可能が成り立つと仮定している。
• 幾何的障害により、繰り返しのあるタイルがポンプ不能である例を反例として提示し、ポンプ可能仮定の必要性を裏付けた。
• 負の接着エネルギーを用いることで、温度1のタイルシステムは任意の単一テープチューリングマシンをシミュレートでき、計算ユニバーサルリティを達成できる。
• この結果は、非負の接着エネルギーを用いる温度1のタイルシステムは計算パワーに根本的な制限を受けるが、負の接着エネルギーを導入することでユニバーサルリティが回復されることを示唆している。