[論文レビュー] 2D cellular automata: expansivity and decidability issues

Enrico Formenti, Alberto Dennunzio+1 more|arXiv (Cornell University)|Jun 4, 2009

Cellular Automata and Applications被引用数 4

ひとこと要約

本稿は2次元細胞オートマトン（CA）における準拡張性と準感受性を導入し、これらがもともと1次元CAにのみ知られていた、古典的二分法を含む主要な力学的性質を拡張することを確立している。さらに、2次元CAにおける閉性の性質の決定不能性を証明し、高次元系における根本的な複雑性問題を解決している。

ABSTRACT

In this paper we introduce the notion of quasi-expansivity for 2D CA and we show that it shares many properties with expansivity (that holds only for 1D CA). Similarly, we introduce the notions of quasi-sensitivity and prove that the classical dichotomy theorem holds in this new setting. Moreover, we show a tight relation between closingness and openness for 2D CA. Finally, the undecidability of closingness property for 2D CA is proved.

研究の動機と目的

• 1次元CAから2次元CAへの拡張性と感受性の力学的概念を拡張すること。
• 古典的な結果を模倣する2次元CAにおける準感受性に関する二分法定理を確立すること。
• 2次元CAにおける閉性と開性の関係を調査すること。
• 2次元CAにおける閉性の性質の決定不能性を証明すること、これは重要な複雑性結果である。

提案手法

• 局所的な配置の発散に基づいて定義される、拡張性の2次元一般化としての準拡張性の概念を導入する。
• 初期条件の摂動が顕著な差異を生じさせるという観点から、感受性の2次元アナログとしての準感受性を定義する。
• 2次元CAにおいて、系が感受性であるか、等連続性であるかの古典的二分法が、準感受性の枠組みのもとで成立することを証明する。
• 前像構造と局所的逆写像の観点から、2次元CAにおける閉性と開性の双対性を分析する。
• 既知の決定不能問題への還元を用いて、与えられた2次元CAが閉性をもつかどうかを判定することは決定不能であることを示す。
• 2次元配置の構造的性質と近傍ダイナミクスを活用して、決定不能性を形式化する。

実験結果

リサーチクエスチョン

• RQ1 拡張性の概念を2次元細胞オートマトンに意味的に拡張可能であり、かつその主要な力学的性質を保つのか？
• RQ2 新しい準感受性の概念のもとで、2次元CAにおける感受性と等連続性の二分法が成立するのか？
• RQ3 2次元CAにおける閉性と開性の性質の関係は何か？
• RQ4 2次元細胞オートマトンにおける閉性の性質は決定可能か？

主な発見

• 2次元CAにおける準拡張性は、異なる配置間の発散に一様な下界が存在するといった、拡張性の本質的力学的特徴を保持する。
• 準感受性の枠組みのもとで、2次元CAにおいても古典的二分法（感受性か等連続性か）が成立することが確立された。
• 2次元CAにおいて、閉性と開性の間にきわめて緊密な双対性が存在し、これらが高次元において深く関連していることを示している。
• 2次元細胞オートマトンにおける閉性の性質は決定不能である。つまり、一般に与えられた2次元CAが閉性をもつかどうかを判定するアルゴリズムは存在しない。