[論文レビュー] The Garden of Eden theorem: old and new

Tullio Ceccherini‐Silberstein, Michel Coornaert|arXiv (Cornell University)|Jul 27, 2017

Cellular Automata and Applications参考文献 32被引用数 3

ひとこと要約

この論文は、可換群上のセルオートマトンおよび力学系における Garden of Eden 定理とその一般化について包括的なサーベイを提供する。可換群に対しては、セルオートマトンの全射性が前注入性と同値であることを確立し、古典的な Moore-Myhill 定理を ℤᵈ からすべての可換群へ拡張する。主な結果として、エントロピー、ホモクライニシティ、代数的平均次元に関する考察が含まれる。

ABSTRACT

We review topics in the theory of cellular automata and dynamical systems that are related to the Moore-Myhill Garden of Eden theorem.

研究の動機と目的

• 古典的な Garden of Eden 定理を ℤᵈ から一般の可換群へ統合的かつ拡張すること。
• 可換性が、セルオートマトンにおける全射性が前注入性を意味するかを決定する役割を明確にすること。
• 定理を部分シフト、代数的力学系、双曲的力学系へ一般化すること。
• エントロピー、平均次元、Garden of Eden 構成の存在との相関関係を調査すること。
• Garden of Eden 定理を通じてセルオートマトン、群論、力学系を結ぶ自己完結的リファレンスを提供すること。

提案手法

• Følner ネットとエントロピーに基づく議論を用いて、可換な可算群への Garden of Eden 定理の一般化を行う。
• Curtis-Hedlund-Lyndon 定理を適用し、連続性と可換性を用いてセルオートマトンを特徴付ける。
• 代数的平均次元を、可換群上の代数的セルオートマトンの主要不変量として導入する。
• Gromov の一般化において、単体的グラフ上の安定空間と有界伝搬性、稠密なホロノミーを用いる。
• ホモクライニシティと強い無作為性を用いて、部分シフトおよび拡張系へ結果を拡張する。
• 前注入性と互いに消去可能なパターンの概念を用いて、全射性を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 どの群に対して Garden of Eden 定理（全射性と前注入性の必要十分条件）が成り立つか？
• RQ2 エントロピーと平均次元は、セルオートマトンにおける Garden of Eden 構成の存在とどのように関係するか？
• RQ3 Garden of Eden 定理を代数的セルオートマトンおよび主代数的力学系へ一般化できるか？
• RQ4 非可換群に対して、Garden of Eden 定理の成立・不成立において可換性が果たす役割は何か？
• RQ5 Gromov の定理の一般化は、可換単体的グラフ上の安定空間へどの程度適用可能か？

主な発見

• Garden of Eden 定理はすべての可換群で成り立ち、非可換群では成り立たないことが、Bartholdi と Kielak によって示された。
• 可換群に対しては、セルオートマトンの全射性が前注入性と同値であり、元々の ℤᵈ における Moore-Myhill 結果を一般化する。
• 可換群上の代数的セルオートマトンでは、全射性が（注意深く）前注入性と同値であり、代数的平均次元を用いて形式化された。
• Gromov の一般化により、有界次数かつ稠密な部分等長群を有する可換単体的グラフ上の有界伝搬性の安定空間へ定理が拡張される。
• 強い無作為性と有限型の部分シフトでは、有界伝搬性と稠密なホロノミーを有する写像のもとで、エントロピーが等しい限り定理が成り立つ。
• Garden of Eden 定理を満たす群のクラスは、まさに可換群のクラスに一致し、Schupp が提起した長年の未解決問題が解決された。