[論文レビュー] Intrinsically Universal Cellular Automata

Nicolas Ollinger|Jun 17, 2009

Cellular Automata and Applications被引用数 10

ひとこと要約

本稿は、複雑な計算的挙動を示す最小のセルオートマトンを特定するための鍵となる基準として、内在的普遍性を確立する。4状態で実現可能な1次元の内在的普遍性を持つセルオートマトンの構築手法を提示する—粒子の衝突を利用した技術により、4状態で普遍性を達成する—同時に、複雑性理論的不変量を用いた非普遍性の証明手法も提供し、Rule 110 が内在的普遍性を有するかどうかという未解決問題にも言及する。

ABSTRACT

This talk advocates intrinsic universality as a notion to identify simple cellular automata with complex computational behavior. After an historical introduction and proper definitions of intrinsic universality, which is discussed with respect to Turing and circuit universality, we discuss construction methods for small intrinsically universal cellular automata before discussing techniques for proving non universality.

研究の動機と目的

• 最小かつ計算的に複雑なセルオートマトンを特定するための堅牢な基準として、内在的普遍性を形式化すること。
• 1次元および2次元における、小さな内在的普遍性を持つセルオートマトンを構築するための構成的技法を開発すること。
• 特にチューリング普遍性が不十分な状況において、非普遍性を証明するための形式的ツールと不変量を提供すること。
• 内在的普遍性とチューリング普遍性の違いを明確にし、前者が後者を厳密に上回ることを示すこと。
• 既にチューリング普遍性が示されているにもかかわらず、Rule 110 が内在的普遍性を有するかどうかという未解決問題に取り組むこと。

提案手法

• シミュレート対象のセルオートマトンのセルを、シミュレータの配置に一様なブロックサイズで符号化する。局所的ルールは一貫性を持つ。
• 1次元セルオートマトンにおける複雑なダイナミクスを模倣するために、粒子に基づく衝突系を適用し、普遍的挙動の効率的シミュレーションを可能にする。
• 位相的および代数的道具—例えばカントール位相とシフト不変写像—を用いて、グローバル関数の連続性と局所性を形式化する。
• ヘドランドとリチャードソンの定理を活用し、配置空間上の連続的かつ並進可換な写像としてセルオートマトンを特徴付ける。
• バルキング準順序と複雑性理論的不変量（例：パターン問題および検証問題）を用いて、普遍性および非普遍性を分析する。
• ラドナーの証明技法を応用し、内在的普遍性を持つセルオートマトンの検証問題がP完全であることを示す。

実験結果

リサーチクエスチョン

• RQ1 近隣近傍（{-1, 0, 1}）を持つ1次元の内在的普遍性セルオートマトンに必要な最小状態数は何か？
• RQ2 特に1次元において、ブール回路のシミュレーションに依存せずに内在的普遍性を達成できるか？
• RQ3 内在的普遍性とチューリング普遍性の間には形式的な違いがあるのか？また、複雑性理論的不変量を用いてこれを証明できるか？
• RQ4 パターン問題は、より単純なセルオートマトンにおける内在的普遍性の否定に使える決定可能テストとして機能するか？
• RQ5 既にチューリング普遍性が示されているにもかかわらず、粒子衝突構成に基づく現在の手法では証明できないが、Rule 110 は内在的普遍性を有するか？

主な発見

• 近隣近傍（{-1, 0, 1}）を持つ1次元の内在的普遍性セルオートマトンが4状態で存在することを示した。これは粒子および衝突に基づくシミュレーションによって達成された。
• バンクスにより、2状態でボルツマン近傍を持つ2次元の内在的普遍性セルオートマトンが構築され、高次元における最小状態複雑性が実証された。
• 任意の内在的普遍性セルオートマトンにおいてパターン問題は決定不能であることが示され、最大の計算的複雑性を示している。
• 任意の内在的普遍性セルオートマトンにおいて検証問題はP完全であることが確認され、その本質的な計算の困難性が裏付けられた。
• チューリング普遍性は保証されているが、現在の粒子衝突構成では、Rule 110 が内在的普遍性を有することを証明できないため、その内在的普遍性は未解決の問題のまま残っている。
• 内在的普遍性はチューリング普遍性を含むが、逆は成り立たない。オリンジャー（2008）の結果により、両者の間には厳密な階層関係が存在することが示された。