[论文解读] 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

一句话总结

本文引入了广义Cayley图——通过语言和等价关系构造的任意、有界度图，推广了Cayley图的结构。通过将细胞自动机定义为平移不变的连续函数，基于拓扑表征，将其扩展到这些图上，证明了此类自动机在复合与逆运算下封闭，从而为时变、结构化图上的因果动力学建立了稳健的框架。

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.

研究动机与目标

• 通过将任意、有界度图与语言和等价关系关联，推广Cayley图的结构，同时保留顶点命名与平移等关键特征。
• 将细胞自动机的数学表征——原本定义在网格与Cayley图上——推广为平移不变的连续函数，适用于这些广义图。
• 为时变、连通、有界度图上的因果图动力学建立正式框架，解决先前工作中存在的局限性。
• 证明广义Cayley图上的细胞自动机在复合与逆运算下封闭，确保结构与计算上的稳定性。
• 通过基于拓扑与语言同构的理论基础，解决先前因果图动力学中的开放问题，如缺乏紧致度量与可计算性问题。

提出的方法

• 通过语言 $ L $ 与等价关系 $ egthicksim_L $ 定义广义Cayley图，构造 $ L $ 中词与 $ egthicksim_L $ 下顶点之间的图同构，确保有界度。
• 在广义Cayley图上的配置空间上引入紧致度量拓扑，使细胞自动机可表征为连续、平移不变的函数。
• 将细胞自动机形式化为全局函数 $ F $，其具有一致连续性与平移不变性，局部规则在固定半径内决定行为。
• 证明此类自动机的复合保持细胞自动机结构，利用公理化连续性与平移不变性推导有界性与局部性。
• 通过保持顶点的双射建立可逆性：若 $ F $ 是双射且对所有 $ X $ 有 $ R_X $ 可逆，则 $ F^{-1} $ 也是具有明确定义平移规则的细胞自动机。
• 利用图结构与语言之间的同构，确保局部规则可被算法识别，使理论具有递归可枚举性。

实验结果

研究问题

• RQ1 Cayley图的结构性质——如顶点命名、平移与紧致拓扑——如何推广至任意、有界度图？
• RQ2 能否通过拓扑与公理化方法，在任意、时变图上合理定义细胞自动机，而非依赖于固定的网格或Cayley图结构？
• RQ3 广义Cayley图上的细胞自动机类是否在复合与逆运算下封闭，以确保计算与动力学上的稳定性？
• RQ4 能否在这些广义图上一致地定义实现连续性与一致连续性的紧致度量结构，从而解决先前因果图动力学中的一个开放问题？
• RQ5 在何种条件下，广义Cayley图上细胞自动机的逆也是细胞自动机，这与平移规则有何关联？

主要发现

• 广义Cayley图通过语言 $ L $ 与等价关系 $ egthicksim_L $ 定义，生成任意、连通、有界度图，推广了Cayley图，同时保留了关键结构特征。
• 广义Cayley图上的配置空间具有紧致度量拓扑，使细胞自动机可表征为平移不变的连续函数。
• 广义Cayley图上的细胞自动机在复合下封闭：若 $ F $ 与 $ G $ 是细胞自动机，则 $ G imes F $ 也是具有可计算局部规则的细胞自动机。
• 当动力学为保持顶点的可逆双射时，细胞自动机在逆运算下封闭：若 $ F $ 是双射且对所有 $ X $ 有 $ R_X $ 可逆，则 $ F^{-1} $ 也是细胞自动机。
• 此类自动机的有效局部规则识别是递归任务，确保理论具有有效可计算性，并适用于算法实现。
• 该框架通过基于语言同构与拓扑连续性的理论基础，解决了先前因果图动力学中的开放问题，如缺乏紧致度量与可计算性问题。