[論文レビュー] Revisiting the Rice Theorem of Cellular Automata

P. Guillon, Gaétan Richard|arXiv (Cornell University)|Jan 1, 2010

Cellular Automata and Applications参考文献 2被引用数 5

ひとこと要約

この論文は、1次元の細胞オートマトン（CA）で二値状態を持つセルを用いる場合、極限集合のすべての性質が、唯一の例外として全射性を除き、決定不能であることを示すことで、Kariの細胞オートマトンに関するRiceの定理を精緻化する。強力に凍結する語に基づく新規な符号化と、サブシフトの制御されたシミュレーションを用いて、極限集合の非自明な性質（全射性を除く）が、アルファベットが2状態に固定されても決定不能であることを示している。

ABSTRACT

A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neighbors. It induces a dynamical system on the set of configurations, i.e. the infinite sequences of cell states. The limit set of the cellular automaton is the set of configurations which can be reached arbitrarily late in the evolution. In this paper, we prove that all properties of limit sets of cellular automata with binary-state cells are undecidable, except surjectivity. This is a refinement of the classical "Rice Theorem" that Kari proved on cellular automata with arbitrary state sets.

研究の動機と目的

• 1次元の細胞オートマトンで2状態のセルを用いる場合、極限集合の非自明な性質のうち、全射性を除き決定可能なものがあるかどうかを同定すること。
• Kariの極限集合に関する決定不能性結果を、アルファベットが2記号に固定された場合にまで拡張すること。
• 極限集合内に任意のサブシフトをシミュレートできる、強力に凍結する語を用いた一様な符号化機構を構築すること。
• 極限集合の非全射性の性質が、すべて決定不能であることを示すために、零化問題をそれらの性質に還元すること。
• 固定アルファベットを前提とした細胞オートマトンの極限集合の文脈において、決定可能と決定不能な性質の境界を明確にすること。

提案手法

• 有限アルファベットにおける強力に凍結する語の概念を導入し、重複のないパターンを保証することで、埋め込まれた構成の明確な認識を可能にする。
• 3つの要素をシミュレートする合成細胞オートマトン ΔG,N,S を使用：サブシフト Σ 上での基本的オートマトン G、および符号化と同期のための補助オートマトン N と S。
• 局所ルール δ を4つの異なるケースに分け実装する：(1) Σ 上での G の適用、(2) 冷却パターンを用いた N と S の圧縮およびシミュレーション、(3) S が発火状態に達した際の展開および状態更新、(4) 無効な構成に対してはデフォルトで0に設定する。
• Firing Squadソリューション（S）を用いることで、Σ からの任意の構成が進化の過程で任意に遅れて出現可能であり、極限集合にその存在が保持されることを保証する。
• 符号化アルファベット E の凍結性を活用し、重複するパターンが干渉しないようにし、一意な復号と明確なシミュレーションを保証する。
• N の零化問題を ΔG,N,S の極限集合上の性質の決定可能性に還元し、そのような性質が決定可能であれば零化問題も決定可能であると示す。これは既知の決定不能性と矛盾する。

実験結果

リサーチクエスチョン

• RQ1 1次元の細胞オートマトンで2状態のセルを用いる場合、極限集合の非自明な性質のうち、全射性を除き決定可能なものがあるか？
• RQ2 アルファベットが2記号に固定された場合、細胞オートマトンにおける古典的Riceの定理を精緻化できるか？
• RQ3 コンパクトで重複のない符号化を用いて、極限集合内に任意のサブシフトをシミュレートすることは可能か？
• RQ4 凍結する符号化アルファベットの存在が、補助オートマトンの信頼性の高いシミュレーションを可能にし、元のシステムのダイナミクスを保存できるか？
• RQ5 零化問題の決定不能性を、一様な構成によって他の極限集合の性質に移転できるか？

主な発見

• 1次元の細胞オートマトンで2状態のセルを用いる場合、極限集合の非自明なすべての性質は、唯一の例外として全射性を除き、決定不能である。
• アルファベットが2状態に固定されても、全射性は依然として決定可能であり、この文脈において唯一の非自明な決定可能な性質である。
• ΔG,N,S の構築により、Firing Squadオートマトン S の同期メカニズムのおかげで、サブシフト Σ からの任意の構成が進化の過程で任意に遅れて出現可能である。
• 強力に凍結する語の使用により、符号化内に埋め込まれたパターンの重複が防止され、シミュレーションの整合性が保たれ、一意な復号が可能になる。
• 零化問題から極限集合の性質への還元により、そのような性質（全射性を除く）が決定可能であれば、零化問題も決定可能であると示されるが、これは一般には不可能である。
• 証明により、極限集合の性質のうち、唯一決定可能なものは全射性であることが示され、アルファベットが固定されても同様である。これにより、細胞オートマトン理論における長年の未解決問題が解決された。