[論文レビュー] Generalized Cayley Graphs and Cellular Automata over them

Pablo Arrighi, Simon Martiel+1 more|arXiv (Cornell University)|Nov 30, 2012

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

ひとこと要約

本稿では、言語および同値関係から導かれる任意の有界次数のグラフとして一般化されたカイリー・グラフを導入する。これは、カイリー・グラフの構造を一般化したものであり、時間変化する構造的グラフ上での因果的ダイナミクスのための強固な枠組みを確立する。細胞オートマトンは、トポロジー的特徴としての並進不変性と連続性を用いてこのグラフに拡張され、合成および逆写像に関して閉じていることが証明される。

ABSTRACT

Cayley graphs have a number of useful features: the ability to graphically represent finitely generated group elements and their relations; to name all vertices relative to a point; and the fact that they have a well-defined notion of translation. We propose a notion of graph associated to a language, which conserves or generalizes these features. Whereas Cayley graphs are very regular; associated graphs are arbitrary, although of a bounded degree. Moreover, it is well-known that cellular automata can be characterized as the set of translation-invariant continuous functions for a distance on the set of configurations that makes it a compact metric space; this point of view makes it easy to extend their definition from grids to Cayley graphs. Similarly, we extend their definition to these arbitrary, bounded degree, time-varying graphs. The obtained notion of Cellular Automata over generalized Cayley graphs is stable under composition and under inversion. KEYWORDS: Causal Graph Dynamics, Curtis-Hedlund-Lyndon, Dynamical networks, Boolean networks, Generative networks automata, Graph Automata, Graph rewriting automata, L-systems, parallel graph transformations, Amalgamated graph transformations, Time-varying graphs, Regge calculus, Local, No-signalling, Reversibility.

研究の動機と目的

• 言語および同値関係に伴い、任意の有界次数のグラフを関連付けることで、頂点名前付けや並進性といったカイリー・グラフの主要特徴を保ちつつ、カイリー・グラフの構造を一般化すること。
• 元来グリッドやカイリー・グラフ上で定義されていた細胞オートマトンの数学的特徴づけ（並進不変性と連続性を満たす関数）を、これらの一般化されたグラフへ拡張すること。
• 時間変化する、連結で有界次数のグラフ上での因果的グラフダイナミクスの形式的枠組みを確立し、先行研究における制限を解消すること。
• 一般化カイリー・グラフ上での細胞オートマトンが合成および逆写像に関して閉じていることを証明し、構造的および計算的安定性を保証すること。
• 従来の因果的グラフダイナミクスにおける未解決問題（コンパクトな距離構造の欠如や計算可能性の欠如）を、位相的性質と言語に基づく同型写像に根拠を置くことで解決すること。

提案手法

• 言語 $ L $ および同値関係 $ egthicksim_L $ を用いて一般化カイリー・グラフを定義し、$ egthicksim_L $ における $ L $ の語と頂点との間のグラフ同型写像を構築することで、有界次数を保証する。
• 一般化カイリー・グラフ上の配置空間にコンパクトな距離位相を導入し、細胞オートマトンを連続的かつ並進不変な関数として特徴づける。
• 細胞オートマトンを、一様連続かつ並進不変なグローバル関数 $ F $ として形式化し、固定半径内での局所的ルールが挙動を決定することを明示する。
• このようなオートマトンの合成が細胞オートマトンの構造を保つことを証明し、公理的連続性およびシフト不変性を用いて有界性および局所性を導出する。
• 頂点を保存する一対一写像を用いて可逆性を確立する：$ F $ が一対一写像であり、すべての $ X $ に対して $ R_X $ が可逆であれば、$ F^{-1} $ もまた局所的シフトルールが明確に定義された細胞オートマトンである。
• グラフ構造と言語との同型写像を用いることで、局所的ルールの正当性をアルゴリズム的に認識可能であることを保証し、理論が再帰的可算であることを示す。

実験結果

リサーチクエスチョン

• RQ1 カイリー・グラフの構造的特徴（頂点名前付け、並進性、コンパクト位相など）を、任意の有界次数のグラフへどのように一般化できるか？
• RQ2 固定グリッドやカイリー・グラフ構造に依存せず、位相的および公理的アプローチを用いて、任意の時間変化するグラフ上でも細胞オートマトンを意味的に定義可能か？
• RQ3 一般化カイリー・グラフ上での細胞オートマトンのクラスは、合成および逆写像に関して閉じているか？ これは計算的および力学的安定性を保証する。
• RQ4 連続性および一様連続性に必要なコンパクト距離構造が、これらの一般化グラフ上で一貫して定義可能か？ これは先行研究における未解決問題を解消する。
• RQ5 一般化カイリー・グラフ上での細胞オートマトンの逆写像が再び細胞オートマトンであるための条件は何か？ そしてこれはシフトルールとどのように関係するか？

主な発見

• 一般化カイリー・グラフは、言語 $ L $ および同値関係 $ egthicksim_L $ を用いて定義され、カイリー・グラフを一般化しつつ、任意の連結で有界次数のグラフを生成する。この構造は、頂点名前付けや並進性といった主要な特徴を保持する。
• 一般化カイリー・グラフ上の配置空間にはコンパクトな距離位相が存在し、細胞オートマトンを並進不変な連続関数として特徴づけることが可能になる。
• 一般化カイリー・グラフ上での細胞オートマトンは合成に関して閉じている：$ F $ および $ G $ が細胞オートマトンであれば、$ G imes F $ もまた局所的ルールが計算可能な細胞オートマトンである。
• 動的変化が頂点を保存する一対一写像である場合、細胞オートマトンは逆写像に関して閉じている：$ F $ が一対一写像であり、すべての $ X $ に対して $ R_X $ が可逆であれば、$ F^{-1} $ もまた細胞オートマトンである。
• このようなオートマトンの有効な局所的ルールの認識は再帰的タスクであるため、理論は有効に計算可能であり、アルゴリズム的実装に適している。
• 本フレームワークは、従来の因果的グラフダイナミクスにおける未解決問題（コンパクト距離の欠如、計算可能性の欠如）を、言語に基づく同型写像と位相的連続性に根拠を置くことで解決する。