[論文レビュー] Reducing Tile Complexity for the Self-Assembly of Scaled Shapes Through Temperature Programming

Scott M. Summers|ArXiv.org|Jul 7, 2009

Modular Robots and Swarm Intelligence参考文献 16被引用数 4

ひとこと要約

本稿では、任意の有限形状のスケーリングされた大規模版を自己集合化する際のタイル複雑性を低減するために、複数温度モデルにおける温度プログラミングを導入する。2種類の定数サイズのタイル集合を提示する。1つ目は、形状サイズに応じて増大するスケーリング要因を持つ、漸近的にコルモゴロフ最適な温度シーケンスを備えたものであり、2つ目は定数スケーリング要因だが、シーケンス長が形状に含む点の数に比例して長くなるものである。主な貢献は、任意の未スケーリング形状を一意に自己集合化できる定数サイズのタイル集合が存在しないことを証明し、このようなタイル効率性のためにはスケーリングが不可欠であることを示したことである。

ABSTRACT

This paper concerns the self-assembly of scaled-up versions of arbitrary finite shapes. We work in the multiple temperature model that was introduced by Aggarwal, Cheng, Goldwasser, Kao, and Schweller (Complexities for Generalized Models of Self-Assembly, SODA 2004). The multiple temperature model is a natural generalization of Winfree's abstract tile assembly model, where the temperature of a tile system is allowed to be shifted up and down as self-assembly proceeds. We first exhibit two constant-size tile sets in which scaled-up versions of arbitrary shapes self-assemble. Our first tile set has the property that each scaled shape self-assembles via an asymptotically "Kolmogorov-optimum" temperature sequence but the scaling factor grows with the size of the shape being assembled. In contrast, our second tile set assembles each scaled shape via a temperature sequence whose length is proportional to the number of points in the shape but the scaling factor is a constant independent of the shape being assembled. We then show that there is no constant-size tile set that can uniquely assemble an arbitrary (non-scaled, connected) shape in the multiple temperature model, i.e., the scaling is necessary for self-assembly. This answers an open question of Kao and Schweller (Reducing Tile Complexity for Self-Assembly Through Temperature Programming, SODA 2006), who asked whether such a tile set existed.

研究の動機と目的

• 温度プログラミングを用いて、任意の有限形状のアルゴリズム的自己集合化におけるタイル複雑性を低減すること。
• 複数温度モデルにおいて、定数サイズのタイル集合が任意の未スケーリング形状を自己集合化できるかを調査すること。
• 効率的な自己集合化を実現するため、温度シーケンス長とスケーリング要因のバランスを取ったタイル集合を設計すること。
• 任意の形状を一意に自己集合化するためのタイル集合サイズの理論的限界を確立すること。

提案手法

• 複数温度モデルを用い、自己集合化中に温度を変化させることで結合キネティクスを制御する。
• 任意の有限形状のスケーリング版を、温度プログラミングシーケンスによって自己集合化する2種類の定数サイズのタイル集合を構築する。
• 最初の構成では、スケーリング要因が形状サイズに応じて増大するが、温度シーケンスが漸近的にコルモゴロフ最適となる。
• 2番目の構成では、すべての形状に対して定数スケーリング要因を維持しつつ、温度シーケンス長を形状に含む点の数に比例して長くする。
• 無限の自己集合列を有限のタイル集合から構成することで背理法を用い、任意の定数サイズタイル集合がすべての任意の未スケーリング形状を一意に自己集合化できないことを示す。
• コルモゴロフ複雑性の概念を応用し、形状の記述複雑性と最小タイルタイプ要件との関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 定数サイズのタイル集合は、複数温度モデルにおいて任意の未スケーリングで連結な形状を自己集合化できるか？
• RQ2 任意の形状において、温度シーケンス長とスケーリング要因の両方を同時に最小化することは可能か？
• RQ3 温度プログラミングを用いてスケーリング形状を自己集合化するための最小タイル複雑性は何か？
• RQ4 温度プログラミングシステムにおいて、スケーリング要因は、ターゲット形状のコルモゴロフ複雑性とどのように関係するか？
• RQ5 温度プログラミングにより、低タイル数かつ短いアセンブリーシーケンスを実現する効率的な自己集合化が可能か？

主な発見

• 形状サイズに応じてスケーリング要因が増大するが、漸近的にコルモゴロフ最適な温度シーケンスを備えた定数サイズのタイル集合が存在し、任意のスケーリング形状を自己集合化可能である。
• 2番目の定数サイズのタイル集合は、形状に含む点の数に比例する長さの温度シーケンスを用い、すべての形状に対して定数スケーリング要因を維持しながら、任意のスケーリング形状を自己集合化可能である。
• 任意の定数サイズのタイル集合は、複数温度モデルにおいて、すべての任意の未スケーリングで連結な形状を一意に自己集合化することはできない。
• 不可能性の証明は、有限のタイル集合から無限の自己集合列を構成することで、一意の生成可能性に矛盾を引き起こすことに依拠している。
• 結果として、温度プログラミングによる自己集合化において、低タイル複雑性を達成するためにはスケーリングが不可欠であることが確立された。
• 本稿では、任意の形状 X に対して、定数スケーリングと O(K(X)) の温度シーケンス長を同時に達成できるタイル集合が存在するか否かは、未解決の問題として残されている。