[論文レビュー] Computing in continuous space with self-assembling polygonal tiles

Oscar Gilbert, Jacob Hendricks+2 more|arXiv (Cornell University)|Mar 1, 2015

DNA and Biological ComputingBiochemistry, Genetics and Molecular Biology参考文献 24被引用数 18

ひとこと要約

この論文は、連続空間における温度1の条件下で、正多角形タイルや6本以上の辺を持つ正多角形、あるいは特定の非正多角形を用いた自己集合系において、計算的普遍性を示している。これは、抽象的タイル集合模型（aTAM）における正方形タイルが、この条件下で非普遍であると予想されている領域である。正多角形を用いることで、連続的な空間的配置を介して、離散的な正方形タイルに起因する制限を克服し、普遍計算を実現している。

ABSTRACT

In this paper we investigate the computational power of the polygonal tile assembly model (polygonal TAM) at temperature 1, i.e. in non-cooperative systems. The polygonal TAM is an extension of Winfree's abstract tile assembly model (aTAM) which not only allows for square tiles (as in the aTAM) but also allows for tile shapes that are polygons. Although a number of self-assembly results have shown computational universality at temperature 1, these are the first results to do so by fundamentally relying on tile placements in continuous, rather than discrete, space. With the square tiles of the aTAM, it is conjectured that the class of temperature 1 systems is not computationally universal. Here we show that the class of systems whose tiles are composed of a regular polygon P with n > 6 sides is computationally universal. On the other hand, we show that the class of systems whose tiles consist of a regular polygon P with n <= 6 cannot compute using any known techniques. In addition, we show a number of classes of systems whose tiles consist of a non-regular polygon with n >= 3 sides are computationally universal.

研究の動機と目的

• 連続空間における正多角形タイルを用いた自己集合が、温度1で計算的普遍性を達成できるかどうかを調査すること。
• 正方形タイルではなく、非正方形の正多角形タイルを用いることで、温度1のシステムの計算能力が向上するかどうかを特定すること。
• 連続空間において普遍計算を可能にする正多角形タイルまたは非正多角形タイルのクラスを特定すること。
• 連続的な空間的配置で機能する、ビット読み取りガジェットのようなタイル集合メカニズムの開発と検証を行うこと。

提案手法

• 抽象的タイル集合模型（aTAM）を拡張し、連続空間における正多角形や非正多角形を含む多角形タイル形状を許容する。
• n > 6 の正多角形タイルを用いて、非協同的（温度1）集合を介して普遍計算を達成するタイルシステムを設計する。
• 連続的配置において信号伝達や論理演算を可能にするために、正多角形タイルを用いたビット読み取りガジェットを導入・実装する。
• 幾何的制約とタイル形状の設計を用いて、連続空間における安定的かつ決定的な成長パターンを保証する。
• n ≤ 6 の正多角形タイルを用いたシステムの計算能力を分析し、温度1で計算を可能にする既知の手法が存在しないことを示す。
• 連続空間における正多角形タイルを用いてユニバーサルチューリングマシンを構築することで、普遍性を検証する。

実験結果

リサーチクエスチョン

• RQ1 連続空間における正多角形タイルを用いた自己集合は、温度1で計算的普遍性を達成できるか。これは、aTAMにおける正方形タイルが非普遍であると予想されている領域である。
• RQ2 どの特定のクラスの正多角形タイル—正多角形か非正多角形か—が連続空間における普遍計算を可能にするか。
• RQ3 正多角形タイルの幾何的性質、たとえば辺の数や正則性が、温度1システムにおける計算能力にどのように影響するか。
• RQ4 連続空間において、ビット読み取りガジェットのような機能的部品を正多角形タイルを用いて実装可能か。これにより、普遍計算が支援される。

主な発見

• 6本以上の辺を持つ正多角形タイル（n > 6）を用いたシステムは、連続空間における温度1で計算的普遍性を達成する。
• 6本以下の辺を持つ正多角形タイル（n ≤ 6）を用いたシステムでは、温度1で計算を可能にする既知の手法が存在しない。
• 3本以上の辺を持つ非正多角形タイルは、設計次第で連続空間における計算的普遍性を達成できる。
• 本論文では、正多角形タイルを用いたビット読み取りガジェットの完全な例を提示しており、連続的配置における信号伝播と論理演算の実現を示している。
• 結果として、連続空間におけるタイル形状と幾何的制約の選択が、離散空間における正方形タイルでは達成できない普遍計算を根本的に可能にすることが確立された。