[論文レビュー] Programming Biomolecules That Fold Greedily During Transcription

Cannon, Sarah, Erik D. Demaine+6 more|arXiv (Cornell University)|Jan 8, 2012

Modular Robots and Swarm Intelligence参考文献 20被引用数 53

ひとこと要約

この論文は、種付き抽象的タイル自己集合成モデル（aTAM）と二手指きタイル自己集合成モデル（2HAM）を比較し、2HAMが効率性および表現力の面でより優れていることを示している。aTAMシステムは2HAMにおいて定数倍の増加にとどまり、タイル数の増加のみでシミュレート可能である一方、2HAMは特定の形状に対して指数的減少量を実現でき、aTAMでは到達不可能な無限構造を構築可能である。特に、2HAMでは一意な集合の検証がco-NP完全であるが、aTAMでは多項式時間で解ける。

ABSTRACT

We study the difference between the standard seeded model of tile self-assembly, and the "seedless" two-handed model of tile self-assembly. Most of our results suggest that the two-handed model is more powerful. In particular, we show how to simulate any seeded system with a two-handed system that is essentially just a constant factor larger. We exhibit finite shapes with a busy-beaver separation in the number of distinct tiles required by seeded versus two-handed, and exhibit an infinite shape that can be constructed two-handed but not seeded. Finally, we show that verifying whether a given system uniquely assembles a desired supertile is co-NP-complete in the two-handed model, while it was known to be polynomially solvable in the seeded model.

研究の動機と目的

• 種付きaTAMと非種付き二手指き2HAMモデルの理論的パワーを比較すること。
• 有限および無限形状において、2HAMがaTAMよりもより効率的または表現力に優れているかどうかを特定すること。
• 2HAMにおける一意な集合の検証の計算複雑性を分析し、aTAMにおける多項式時間解法と対比すること。
• タイル複雑度の分離を確立すること。特に指数的差異およびバジビーイーバー関数レベルの節約を含む。
• あるモデルでは構築可能だが他方では不可能な形状の存在を調査すること。特に無限形状の場合に注目する。

提案手法

• 5×5スケーリングと温度保存設計を用いて、aTAMシステムの2HAMモデル内でのシミュレーションを構築する。
• 両モデルにおけるチューリングマシン計算をシミュレートするための特別なタイルガジェットを設計する。パスベースの成長とブロッキング機構を用いる。
• 非決定的パス成長とグリューマッチングを用いて計算ステップを符号化し、停止状態を表すブロッキングタイルを用いる。
• 停止問題の不決定的性質を利用した還元を用いて、両モデルにおける有限存在検証（FEV）の非計算可能性を証明する。
• 2HAMにおける自発的核生成を許容するようにタイルセットを変更し、完全な計算が停止しない限り無限集合が生じることを保証する。
• 既知のco-NP完全問題からの還元を用いて、2HAMにおける一意な集合の検証がco-NP完全であることを証明する。aTAMとは対照的に、aTAMでは多項式時間で解ける。

実験結果

リサーチクエスチョン

• RQ1 温度τ ≥ 2の任意のaTAMシステムは、タイル数の増加が定数倍にとどまる2HAMでシミュレート可能か？
• RQ2 aTAMと比較して2HAMが指数的減少量を達成する有限形状は存在するか？
• RQ3 aTAMでは到達不可能な無限形状を2HAMは構築可能か？
• RQ4 aTAMでは構築可能だが2HAMでは不可能、あるいは逆に2HAMでは構築可能だがaTAMでは不可能な形状は存在するか？特に無限形状の場合に注目する。
• RQ5 2HAMにおける一意な集合の検証の計算複雑度は何か？aTAMとの比較は？

主な発見

• 温度τ ≥ 2の任意のaTAMシステムは、5×5スケールタイルセットを用いて2HAMでシミュレート可能であり、タイル数の増加は定数倍にとどまる。
• 温度τ = 1の場合、特定の形状はaTAMではn + 5種類のタイルタイプを必要とするが、2HAMでは2n + 2種類のタイルタイプを必要とし、タイル複雑度に線形的分離が生じる。
• ある形状は2HAMでO(n)種類のタイルタイプで構築可能であるが、同じ形状を構築するaTAMシステムではBB(n)種類のタイルタイプを必要とし、BB(n)はバジビーイーバー関数である。
• 無限形状（無限階段）は2HAMで構築可能だがaTAMでは不可能であり、根本的な表現力のギャップを示している。
• 無限形状（無限の尾を持つボブ）はaTAMで構築可能だが2HAMでは不可能であり、両モデルが特定の無限構造の構築において異なる能力を持つことを示している。
• 2HAMシステムが与えられたスーパータイルを一意に集合するかどうかを検証する問題はco-NP完全であるが、aTAMでは多項式時間で解ける。