[論文レビュー] Strong Fault-Tolerance for Self-Assembly with Fuzzy Temperature

David Doty, Matthew J. Patitz+3 more|arXiv (Cornell University)|Apr 7, 2010

Advanced biosensing and bioanalysis techniques参考文献 30被引用数 13

ひとこと要約

本稿では、温度が2から1に変動する状況下でも、任意の意図しない成長（強度1の結合による）を許容しながらも、正確なn×n正方形の自己組織化を保証する、耐障害性を持つアルゴリズム的自己集合系を提示する。主な貢献は、温度2で安定化するいかなる集合体に対しても、常に正しい最終的な正方形が得られることを保証する構成であり、結合の解体や正確な熱力学的チューニングを必要とせず、永久的な誤りを排除することを可能にする。

ABSTRACT

We consider the problem of fault-tolerance in nanoscale algorithmic self-assembly. We employ a variant of Winfree's abstract Tile Assembly Model (aTAM), the two-handed aTAM, in which square "tiles" -- a model of molecules constructed from DNA for the purpose of engineering self-assembled nanostructures -- aggregate according to specific binding sites of varying strengths, and in which large aggregations of tiles may attach to each other, in contrast to the seeded aTAM, in which tiles aggregate one at a time to a single specially-designated "seed" assembly. We focus on a major cause of errors in tile-based self-assembly: that of unintended growth due to "weak" strength-1 bonds, which if allowed to persist, may be stabilized by subsequent attachment of neighboring tiles in the sense that at least energy 2 is now required to break apart the resulting assembly; i.e., the errant assembly is stable at temperature 2. We study a common self-assembly benchmark problem, that of assembling an n x n square using O(log n) unique tile types, under the two-handed model of self-assembly. Our main result achieves a much stronger notion of fault-tolerance than those achieved previously. Arbitrary strength-1 growth is allowed (i.e., the temperature is "fuzzy" and may drift from 2 to 1 for arbitrarily long); however, any assembly that grows sufficiently to become stable at temperature 2 is guaranteed to assemble at temperature 2 into the correct final assembly of an n x n square. In other words, errors due to insufficient attachment, which is the cause of errors studied in earlier papers on fault-tolerance, are prevented absolutely in our main construction, rather than only with high probability and for sufficiently small structures, as in previous fault-tolerance studies.

研究の動機と目的

• 強度1の結合がその後のタイルの付加によって安定化されることによって引き起こされる、アルゴリズム的自己集合における永久的誤りという持続的課題に対処すること。
• 温度が低下して1（弱い結合を許容）となった後、再び2に戻った場合でも、正しい状態を維持できるシステムを設計すること。
• 従来の研究で用いられる確率的誤り補正や結合の解体メカニズムに依存しないこと。
• 二枚組みのaTAMにおいて、決定論的な耐障害性を実現し、一時的な弱い結合に対しても、最終的な集合体が常に正しいことを保証すること。
• 他の自己集合応用に再利用可能な幾何学的および同期制御プリミティブを開発すること。

提案手法

• 大きな集合体が直接結合可能な二枚組みaTAMモデルを用い、複雑な構造のモジュラーな構築を可能にする。
• ビットガジェット（補完的な白色および灰色のハリピン構造）を用い、段差と溝という幾何的制約によって、正しい2進ビットの整合性を強制する。
• ビットガジェットを用いて符号化されたbビットの2進文字列として固定幅のカウンタ（幅カウンタおよび高さカウンタ）を構築し、有効な値のみが形成されることを保証する。
• カウンタ値をビットガジェットの列として実装し、上部および下部のカバーを備えることで、完全で正しい順序のカウンタ値のみが結合可能であることを保証する。
• 幅カウンタおよび高さカウンタを所定の長さにまで延長するため、特定のタイルタイプを用いたパディング行およびパディング列を用意し、正しいサブアセンブリにのみ結合可能であるようにする。
• 幅カウンタの東側にパディングを順次付加し、高さカウンタの北側にパディングを付加し、最後に高さカウンタを幅カウンタの北側縁の正しい位置に結合することで、最終的なn×n正方形を構築する。

実験結果

リサーチクエスチョン

• RQ1 温度が1に低下し、任意の強度1の成長を許容する状況下でも、n×n正方形の正確な形成が保証可能か？
• RQ2 強い結合を解体することなく、強度1の結合がその後の成長によって安定化されることによる永久的誤りを防止することは可能か？
• RQ3 確率的プローブチェックや正確な熱力学的制御に依存せずに、決定論的な耐障害性を達成できるか？
• RQ4 ビットガジェットやカウンタ構造といった幾何学的モチーフは、温度変動下でも強靭で誤りのない自己集合を可能にするか？
• RQ5 提案されたメカニズムは、他のアルゴリズム的自己集合問題へ一般化可能か？

主な発見

• 任意の集合体が温度2で安定化する場合、それらはすべて正しいn×n正方形であることが保証される。これは、事前の温度1での成長に関係なく成立する。
• 完全に形成され、正しい順序で整列したカウンタ値およびビットガジェットのみが結合可能であることを保証することで、システムは強力な耐障害性を達成している。これにより、ゴミのような集合体が安定化することを防ぐ。
• 補完的なハリピンガジェット間の幾何的制約（段差と溝）により、一致するビットパターンのみが形成可能であり、これによりアセンブリレベルでの正しさが強制される。
• 一時的な温度1状態下にあっても、モジュラーで幾何的制約を伴う一連のステップを経て、最終的なn×n正方形が決定論的に構築される。
• n×n正方形を構築するためにO(log n)種類の固有のタイルタイプを用いるが、これは従来の最適構成と同等の効率性を達成している。
• 結合の解体や反応速度の微調整を必要としないため、熱力学的変動に対して頑健である。