[論文レビュー] Causal graph dynamics

Pablo Arrighi, Gilles Dowek|arXiv (Cornell University)|Feb 6, 2012

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

ひとこと要約

本稿では、時間的に変化するラベル付きグラフ上で、グラフ距離に対して有界速度で情報が伝播する、因果的グラフダイナミクスという形式的枠組みを導入する。この枠組みは、因果性と並進不変性を共役性と新鮮性を用いて公理化することで、任意の動的グラフへのセルラーオートマトンの一般化を実現し、有限の場合に合成、制限、逆転に対して堅牢であることを証明した。応用分野には複雑系および量子重力が含まれる。

ABSTRACT

We extend the theory of Cellular Automata to arbitrary, time-varying graphs. In other words we formalize, and prove theorems about, the intuitive idea of a labelled graph which evolves in time - but under the natural constraint that information can only ever be transmitted at a bounded speed, with respect to the distance given by the graph. The notion of translation-invariance is also generalized. The definition we provide for these "causal graph dynamics" is simple and axiomatic. The theorems we provide also show that it is robust. For instance, causal graph dynamics are stable under composition and under restriction to radius one. In the finite case some fundamental facts of Cellular Automata theory carry through: causal graph dynamics admit a characterization as continuous functions, and they are stable under inversion. The provided examples suggest a wide range of applications of this mathematical object, from complex systems science to theoretical physics. KEYWORDS: Dynamical networks, Boolean networks, Generative networks automata, Cayley cellular automata, Graph Automata, Graph rewriting automata, Parallel graph transformations, Amalgamated graph transformations, Time-varying graphs, Regge calculus, Local, No-signalling.

研究の動機と目的

• 固定グリッドを超えて、任意の時間変動するグラフ上で因果的ダイナミクスの概念を形式化すること。
• 頂点の生成や動的近傍の変化を伴うグラフトポロジーの変化において、因果性を定義する基礎的課題を解決すること。
• グローバルな対称性の代わりに共役性と新鮮性条件を用いることで、不規則なグラフにおける並進不変性の一般化を図ること。
• 古典的セルラーオートマトンから得られるコア結果（連続性、合成、可逆性など）を、この新しい設定にまで拡張する構造的定理の証明。
• 物理学、コンピュータサイエンス、複雑ネットワークにおける接続性の変化を伴うシステムのモデル化に、数学的に厳密な基盤を提供すること。

提案手法

• 同型写像とその共役写像との間で可換性を満たすラベル付きグラフ上の関数としてダイナミクスを定義（共役性条件）し、構造的一致性を保証する。
• 新鮮性条件を導入し、共有の前件資源がなければ新しい頂点が生成されないようにすることで、頂点生成における矛盾を回避する。
• 頂点または頂点集合の周囲の半径rの近傍である「ディスク」の概念を用い、ダイナミクスの影響を局所化し、因果性を定義する。
• 画像頂点からその潜在的元頂点への写像として「前件共ダイナミクス」を定義し、情報の流れが有界であることを保証する。
• 各画像頂点の状態と接続が、その前件頂点の有界半径のディスクにのみ依存することを要請することで、因果性を公理化する。
• 因果的グラフダイナミクスが位相的に連続関数であり、合成および半径1への制限に対して安定であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 時間的に変化するグラフ上でトポロジーが変化するダイナミクスにおいて、因果性を形式的に定義する方法は何か？
• RQ2 不規則的かつ非一様なグラフでは、並進不変性は何かに置き換えられ、その公理化はどのように行えるか？
• RQ3 古典的セルラーオートマトンにおける基本定理（連続性、可逆性など）が、この一般化された設定に拡張可能か？
• RQ4 因果性や構造的一致性を損なわずに、頂点の生成と削除を一貫してモデル化する方法は何か？
• RQ5 同型写像の共役性と新鮮性が、グラフ変換に伴うダイナミクスの整合性を保つ役割を果たす仕組みは何か？

主な発見

• 因果的グラフダイナミクスは、ラベル付きグラフの空間上で連続関数として特徴づけられ、古典的セルラーオートマトンにおける基礎的結果を拡張する。
• 因果的グラフダイナミクスのクラスは合成および半径1への制限に対して閉じており、構造的堅牢性を示している。
• 有限の場合に、因果的グラフダイナミクスは逆転に対して安定であり、可逆なダイナミクスが因果的であることが保証される。
• 共役性と新鮮性の条件が併用されることで、共有の前件支援がなければ頂点が生成されないことが保証され、動的グラフ進化における主要なパラドックスが解消される。
• 公理的枠組みにより、セルラーオートマトンが任意の変化するグラフへ自然に一般化可能であり、有界情報速度や局所的決定論といった、物理的・数学的原則を保持する。
• この枠組みは、複雑系、分散アルゴリズム、およびレッジ計算のような離散的重力モデルへの応用を支援する。