[論文レビュー] The self-assembly of paths and squares at temperature 1

Pierre-Étienne Meunier|arXiv (Cornell University)|Dec 2, 2013

Advanced biosensing and bioanalysis techniques参考文献 31被引用数 6

ひとこと要約

この論文は、Winfreeの抽象的タイル自己集合モデルにおいて温度1で $n \times n$ 正方形を自己集合化するには、少なくとも $2n-1$ 種類のタイルが必要であることを証明し、RothemundとWinfreeが長年にわたり提起した予想を裏付ける。著者らは、マンハッタン距離の下限を下回る効率的なパスの集合を可能にする、画期的な「タコ足パス」構築技術を導入し、その技術を用いて、このような効率的なパスは完全に埋められた正方形に拡張できないことを示し、完全な正方形における $2n-1$ の下限が最適であることを立証する。

ABSTRACT

We prove that the number of tile types required to build squares of size n x n, in Winfree's abstract Tile Assembly Model, when restricted to using only non-cooperative tile bindings, is at least 2n-1, which is also the best known upper bound. Non-cooperative self-assembly, also known as temperature 1, is where tiles bind to each other if they match on one or more sides, whereas in cooperative binding, some tiles can bind only if they match on multiple sides. Our proof introduces a new programming technique for temperature 1, that disproves the very intuitive and commonly held belief that, in the same model, assembling paths between two points A and B cannot be done with less tile types than the Manhattan distance between them. Then, we prove a necessary condition for these "efficient paths" to be assembled, and show that this necessary condition cannot hold in completely filled squares. This result proves the oldest conjecture in algorithmic self-assembly, published by Rothemund and Winfree in STOC 2000, in the case where growth starts from a corner of the square. As a corollary, we establish n as a lower bound on the tile complexity of the general case. The problem of determining the minimal number of tile types to self-assemble a shape is known to be Sigma^p_2-complete.

研究の動機と目的

• 抽象的タイル自己集合モデルにおいて、温度1で $n \times n$ 正方形を自己集合化するために必要なタイル種類が $2n-1$ 個であるという長年の予想を解決すること。
• 2点間のパスの自己集合化には、それらのマンハッタン距離に等しいかそれ以上のタイル種類が必要であるという直感的な信念を否定すること。
• 効率的パス集合化の必要条件を確立し、それが完全に埋められた正方形では満たせないことを示し、正方形における下限を証明すること。
• 特に、計算能力がまだ十分に理解されていない2次元における温度1自己集合化の能力をより深く理解すること。

提案手法

• 2点間のパスを、それらのマンハッタン距離よりも少ないタイル種類で構築できる新しいプログラミング技術「タコ足パス」を導入すること。
• パスの成長が分岐構造によって遮断され、新たな点から再開できる「ブレイキング」メカニズムを定義することで、パスの再利用と複雑性の低減を可能にすること。
• 「低い再起動」の議論を用いて、パスが遮断された場合、追加のタイル種類がなければ再接続を回復させることができないことを示すこと。
• パス構築技術を、シードから正方形の各頂点への対角線を含む長方形に適用し、少なくとも1つの長方形が下限を引き起こす必要条件を満たす十分な大きさであることを保証すること。
• 完全に埋められた正方形の終端アセンブリが、効率的パス集合化の必要条件を満たすパスを含まなければならないことを証明すること。この条件は完全に埋められた正方形では満たせない。
• 背理法を用いて、$2n-1$ より少ないタイル種類で完全な正方形を自己集合化できるシステムが存在すると仮定すると、モデルの構造的制約に反する効率的パスが存在することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 2点間のパスを温度1のaTAMで自己集合化する際、それらのマンハッタン距離よりも少ないタイル種類で可能か？
• RQ2 完全に埋められた $n \times n$ 正方形内で、効率的パス集合化の必要条件を満たすことは可能か？
• RQ3 温度1で $n \times n$ 正方形を自己集合化するには、$2n-1$ 個のタイル種類が最小限必要であるか？
• RQ4 $2n-1$ の下限が、コーナーのシードに限らず、正方形内の任意の初期シード位置に対しても成り立つか？
• RQ5 「コーム構造」の代替設計で、$2n-1$ 個のタイル種類で $n \times n$ 正方形の自己集合化を達成できるか？

主な発見

• この論文は、温度1で $n \times n$ 正方形を自己集合化するには $2n-1$ 個のタイル種類が必要であることを証明し、STOC 2000でRothemundとWinfreeが提起した予想を裏付ける。
• 新しい「タコ足パス」構築技術により、2点間のパス自己集合化が、それらのマンハッタン距離よりも少ないタイル種類で可能であることが示され、広く信じられていた直感的信念を覆した。
• 効率的パス集合化の必要条件（分岐から干渉なく再起動可能なパス）は、完全に埋められた正方形では満たせない。このため、このような構築法は完全な正方形への拡張が不可能である。
• シードが正方形の任意の位置に配置されていても、$2n-1$ 個のタイル種類の下限は成立するが、現在の証明はコーナーのシードに限定されている。
• 一般の温度1正方形自己集合化において、タイル複雑度の下限として $n$ が成立することを確立した。これは、シードがコーナーにない場合にも適用可能である。
• 本論文は、1つのタイルセットがすべての温度1タイル自己集合化システムをシミュレートできるか、および2つのシステムが同じ終端アセンブリを持つかどうかが決定可能かどうかという問題を未解決のまま残している。