[論文レビュー] Intrinsic universality in tile self-assembly requires cooperation

Pierre-Étienne Meunier, Matthew J. Patitz+4 more|arXiv (Cornell University)|Jan 5, 2014

DNA and Biological Computing参考文献 43被引用数 66

ひとこと要約

この論文は、Winfreeの抽象的タイル自己集合模型が非協力的（温度1）結合において、内在的普遍性を有しないことを証明している。ここでタイルは少なくとも一方の側面で一致すれば結合する。これに対して、協力的結合（2つ以上の一致する側面が必要）では、モデルは内在的普遍性を有する。この結果は、協力がアルゴリズム的自己集合の計算的表現力に根本的に寄与することを示しており、非協力的システムですらチューリングマシンをシミュレート可能であるにもかかわらず、そのようにである。

ABSTRACT

We prove a negative result on the power of a model of algorithmic self-assembly for which finding general techniques and results has been notoriously difficult. Specifically, we prove that Winfree's abstract Tile Assembly Model is not intrinsically universal when restricted to use noncooperative tile binding. This stands in stark contrast to the recent result that the abstract Tile Assembly Model is indeed intrinsically universal when cooperative binding is used (FOCS 2012). Noncooperative self-assembly, also known as temperature 1, is where all tiles bind to each other if they match on at least one side. On the other hand, cooperative self-assembly requires that some tiles bind on at least two sides.Our result shows that the change from non-cooperative to cooperative binding qualitatively improves the range of dynamics and behaviors found in these models of nanoscale self-assembly. The result holds in both two and three dimensions; the latter being quite surprising given that three-dimensional noncooperative tile assembly systems simulate Turing machines. This shows that Turing universal behavior in self-assembly does not imply the ability to simulate all algorithmic self-assembly processes. In addition to the negative result, we exhibit a three-dimensional noncooperative self-assembly tile set capable of simulating any two-dimensional noncooperative self-assembly system. This tile set implies that, in a restricted sense, non-cooperative self-assembly is intrinsically universal for itself.

研究の動機と目的

• 非協力的結合の下で、抽象的タイル自己集合模型がすべてのアルゴリズム的自己集合プロセスを内在的にシミュレートできるかどうかを明らかにすること。
• 非協力的タイル自己集合の計算的パワーに関する長年の未解決問題を解消すること。
• 協力的結合と非協力的結合の間の質的差を、自己集合モデル内での普遍的計算の実現において明確にすること。
• 内在的普遍性を欠くにもかかわらず、非協力的システムが他のすべての非協力的システムをシミュレートできるかどうかを調査すること。

提案手法

• 著者らは背理法を用いて、いかなる非協力的タイル自己集合系に対しても、すべての他の非協力的システムをシミュレートできないことを示した。
• 特に結合閾値の要件が欠如していることによる、非協力的結合の構造的・動的制限を分析した。
• 任意の2次元非協力的システムをシミュレートできる特定の3次元非協力的タイル集合を構築し、制限付きの内在的普遍性を示した。
• 非協力的モデルと協力的モデルの表現力の違いを比較し、複数の側面での結合が複雑な挙動を可能にする役割を強調した。
• 結果を2次元および3次元に拡張し、3次元でも非普遍性の結果が成り立つことを示した。これは、3次元非協力的システムがすでにチューリング普遍であることが知られているにもかかわらず、驚くべき結果である。

実験結果

リサーチクエスチョン

• RQ1 非協力的タイル自己集合システムは、すべてのアルゴリズム的自己集合プロセスを内在的にシミュレートできるか？
• RQ2 チューリングマシンをシミュレートできるという事実は、非協力的自己集合において内在的普遍性を意味するか？
• RQ3 協力的結合は、抽象的タイル自己集合模型における内在的普遍性を実現するために果たす役割は何か？
• RQ4 1つの非協力的タイル集合は、制限付きの意味で、他のすべての非協力的システムをシミュレートできるか？
• RQ5 協力的結合の追加が、なぜタイル自己集合モデルの表現力を顕著に向上させるのか？

主な発見

• 抽象的タイル自己集合模型は、非協力的結合においてはチューリング普遍であるが、内在的普遍性を有しない。
• 少なくとも2つの一致する側面が必要な協力的結合が、モデルにおける内在的普遍性に不可欠である。
• この結果は2次元および3次元の両方で成り立つ。3次元の場合、非協力的システムがすでにチューリング普遍であることが知られているにもかかわらず、特に驚くべき結果である。
• 3次元非協力的タイル集合は、任意の2次元非協力的自己集合システムをシミュレートでき、制限付きの内在的普遍性を確立した。
• チューリング普遍性は、すべてのアルゴリズム的自己集合プロセスをシミュレートできる能力を意味しない。これは、計算的パワーと表現的普遍性の間の質的ギャップを示している。