[論文レビュー] On Local Symmetries And Universality In Cellular Autmata

Laurent Boyer, Guillaume Theyssier|ArXiv.org|Feb 7, 2009

Cellular Automata and Applications参考文献 9被引用数 4

ひとこと要約

本稿では、局所的対称性によって定義される複数の細胞オートマトン族（例えば、マルチセット、トータルスティック、アウター・マルチセットCAなど）において、状態数または近傍サイズが増加する際、内在的ユニバーサル性が漸近的にほぼ確実に成立することを示している。シミュレーション・サブシフトの構築と確率的議論を用いて、これらの族においてユニバーサルCAの密度が1に近づくことを証明するとともに、ユニバーサル性問題がそれらの族内でも決定不能のままであることを示している。

ABSTRACT

Cellular automata (CA) are dynamical systems defined by a finite local rule but they are studied for their global dynamics. They can exhibit a wide range of complex behaviours and a celebrated result is the existence of (intrinsically) universal CA, that is CA able to fully simulate any other CA. In this paper, we show that the asymptotic density of universal cellular automata is 1 in several families of CA defined by local symmetries. We extend results previously established for captive cellular automata in two significant ways. First, our results apply to well-known families of CA (e.g. the family of outer-totalistic CA containing the Game of Life) and, second, we obtain such density results with both increasing number of states and increasing neighbourhood. Moreover, thanks to universality-preserving encodings, we show that the universality problem remains undecidable in some of those families.

研究の動機と目的

• 局所的対称性によって制約される細胞オートマトン族における内在的ユニバーサル性の広がりを調査すること。
• 従来のキャプティブCAに関する結果を、アウター・トータルスティックCA（『ライフ・ゲーム』を含む）を含むより広範でよく知られた族へと拡張すること。
• 状態数や近傍サイズが増加するにつれ、ユニバーサル性が漸近的にほぼ確実に成立することを確立すること。
• 対称的CA族に制限した場合でも、ユニバーサル性問題が依然として決定不能のままであることを示すこと。

提案手法

• 任意のCAを大きなCA内でシミュレートできる独立なサブシフト（例：0₀と1₀の交互パターン）を構築する。
• マルチセット不変性を用いて、近傍内の状態の多重度にのみ依存する局所的遷移関数を定義する。
• 確率的解析を適用し、特定のサブシフト上でターゲットCAをシミュレートできないCAの割合を評価する。
• 任意のサブシフト上で固定されたCAをシミュレートする確率が、近傍サイズに依存しない定数で下から抑えられることを確立する。
• 複数の独立したサブシフトを組み合わせることで、非シミュレーションの全体確率がサブシフト数の増加に伴い指数関数的に減少することを示す。
• ユニバーサルティを保つ符号化を用いて、対称的族内でもユニバーサルティ問題が決定不能のままであることを示す。

実験結果

リサーチクエスチョン

• RQ1 局所的対称性によって定義される族におけるユニバーサル細胞オートマトンの漸近的密度は何か？
• RQ2 マルチセットやトータルスティックCAのような族において、内在的ユニバーサル性が確率1に近づくように示せるか？
• RQ3 対称的CA族に制限した場合でも、ユニバーサルティ問題は依然として決定不能のままであるか？
• RQ4 状態数や近傍サイズの増加が、対称的CA族におけるユニバーサルティの確率にどのように影響するか？

主な発見

• 状態数や近傍サイズが増加するにつれ、マルチセット、トータルスティック、アウター・マルチセットCAの族において、ユニバーサル細胞オートマトンの漸近的密度は1に近づく。
• 対称的族に属する任意の固定CAに対して、その族からランダムに選ばれたCAがそれをシミュレートする確率は、近傍サイズの増加に伴い1に近づく。
• シミュレーションに利用可能な独立サブシフトの数は、近傍サイズに比例して増加し、非シミュレーション確率の指数的減少に寄与する。
• 対称的族に属するランダムなCAが与えられたCAをシミュレートできない確率は、サブシフト数の増加に伴い0に収束する項で上界が与えられる。
• ユニバーサルティを保つ符号化により、アウター・マルチセットCAのような対称的族内でも、ユニバーサルティ問題が決定不能のままであることが保証される。
• 近傍サイズがシミュレーションの複雑さに対して十分に速く増加する条件下で、この結果は成り立つ。特に、アウター・マルチセットCAでは、密度1を達成するためにはk′ = o(log log k)を満たす必要がある。