[論文レビュー] It's a Tough Nanoworld: in Tile Assembly, Cooperation is not (strictly) more Powerful than Competition

Florent Becker, Pierre-Étienne Meunier|arXiv (Cornell University)|Feb 19, 2015

DNA and Biological Computing参考文献 5被引用数 3

ひとこと要約

この論文は、タイル自己集合において、同時に成長する部分が常に一致する必要がある「不一致なしシステム」が、タイル間の協力に依存するシステムよりも厳密に弱いわけではないことを示している。内在的普遍性を用いて、著者たちは任意の不一致なしタイル自己集合システムを不一致を引き起こさずにシミュレートできる3次元タイルセットを構築した。これにより、協力と競争（不一致）は計算パワーにおいて同等ではなく、互いに他方をシミュレートできないことが証明された。

ABSTRACT

We present a strict separation between the class of "mismatch free" self-assembly systems and general aTAM systems. Mismatch free systems are those systems in which concurrently grown parts must always agree with each other. Tile self-assembly is a model of the formation of crystal growth, in which a large number of particles concurrently and selectively stick to each other, forming complex shapes and structures. It is useful in nanotechnologies, and more generally in the understanding of these processes, ubiquitous in natural systems. The other property of the local assembly process known to change the power of the model is cooperation between two tiles to attach another. We show that disagreement (mismatches) and cooperation are incomparable: neither can be used to simulate the other one. The fact that mismatches are a hard property is especially surprising, since no known, explicit construction of a computational device in tile assembly uses mismatches, except for the recent construction of an intrinsically universal tileset, i.e. a tileset capable of simulating any other tileset up to rescaling. This work shows how to use intrinsic universality in a systematic way to highlight the essence of different features of tile assembly. Moreover, even the most recent experimental realizations do not use competition, which, in view of our results, suggests that a large part of the natural phenomena behind DNA self-assembly remains to be understood experimentally.

研究の動機と目的

• 協力と競争（不一致）の相対的な計算パワーがタイル自己集合モデルにおいてどのように異なるかを調査すること。
• 同時に成長する部分が常に一致しなければならない「不一致なしシステム」が、一般のaTAMシステムよりも厳密に弱いかどうかを特定すること。
• 内在的普遍性を用いて、タイル自己集合モデルの基本的特徴を体系的に比較すること。
• 不一致なしシステムが一般のタイル自己集合システムをシミュレートできることを示し、不一致が完全な計算パワーを発揮するために必ずしも必要ではないことを示すこと。
• 自己集合において協力が競争よりも本質的に強力であるという仮定に反論し、両者が同等ではないことを示すこと。

提案手法

• 不一致なしタイル自己集合システム T を不一致を生じさせずに、スケーリングを伴ってシミュレートする普遍的な3次元タイルセット U を構築する。
• 16個の論理ガジェットを組み合わせたマクロタイルを設計し、それぞれが北、南、東、西の入力側の組み合わせ1つを処理する。
• 隣接するスーパータイルから入力データ（タイルタイプ、グリュー値、スケール要因）を伝えるために、水平方向（Hワイヤーボード）および垂直方向（Vワイヤーボード）のワイヤーボードを用いたルーティング方式を実装する。
• 各マクロタイルの中心部に配置された選択レイヤーを用い、4方向からの入力をもとに非決定的に適切なタイルタイプを選択する。
• 接合する側面における出力グリューが一貫して符号化されるようにし、不一致を防ぐために、重複した双方向ワイヤーを用いる。
• 2次元構成を3次元に拡張するため、下方向（ナディア）および上方向（ゼニス）からの入出力ルーティングを追加し、各方向に4つではなく6本のワイヤーを用いる。

実験結果

リサーチクエスチョン

• RQ1 不一致なしタイル自己集合システムは、協力を持つ一般のaTAMシステムをシミュレートできるか？
• RQ2 協力は、タイル自己集合において競争（不一致）よりも厳密に強力か？
• RQ3 内在的普遍性を用いて、不一致と協力が計算パワーにおいて同等ではないことを示せるか？
• RQ4 DNA自己集合の実験的実装は、競争と協力の理論的潜在能力を十分に反映しているか？
• RQ5 協力と不一致ベースの集合において、表現力の面で根本的な非対称性があるか？

主な発見

• 任意の不一致なしタイル自己集合システム T を不一致を引き起こさずにシミュレートできる3次元タイルセット U が存在する。
• シミュレーションは、16個の論理ガジェットを備えたマクロタイルアーキテクチャを介して達成され、それぞれが入力側の組み合わせ1つを処理する。
• ルーティング方式により、隣接するスーパータイルから入力データ（タイルタイプ、グリュー値、スケール要因）が専用のワイヤーボードを介して信頼性高く伝達される。
• 非決定的タイル選択にもかかわらず、接合する側面における出力グリューが一貫して符号化され、不一致が生じない。
• この構成により、協力と競争（不一致）は計算パワーにおいて同等ではないことが示された。互いに他方をシミュレートできない。
• この結果により、不一致なしシステムが一般のaTAMシステムよりも厳密に弱くないことが示され、協力が完全な計算パワーを発揮するために不可欠であるという仮定に疑問が呈された。