[论文解读] Construction of local structure maps for cellular automata

Henryk Fukś|arXiv (Cornell University)|Apr 30, 2013

Cellular Automata and Applications被引用 8

一句话总结

本文通过构建低维映射——具体而言是$(N-1)N^k$维映射——对平移不变测度在细胞自动机规则下的演化进行近似，形式化了细胞自动机的局部结构理论。证明了随着$k$增大，这些近似轨道在弱收敛意义下趋于精确轨道，为此前主要依赖模拟的方法提供了严格的理论基础。

ABSTRACT

The paper formalizes and extends the idea of local structure approximation for cellular automata originally proposed by Gutowitz et. al. We start with a review of the construction of a probability measure on the set of bi-infinite strings over a finite alphabet of $N$ symbols. We then demonstrate that for a shift-invariant probability measure, probabilities of all blocks of length up to $k$ can be expressed by $(N-1)N^{k-1}$ linearly independent block probabilities. Two choices of these independent blocks are discussed in detail, one in which we choose the longest possible blocks ("long form") and one in which we choose the shortest possible blocks ("short form"). We then proceed to review the method which allows to approximate probabilities of blocks longer than $k$ by blocks of length $k$ or less. This approximation, known as Bayesian extension or Markov measure, is then used to construct approximate orbits of shift-invariant probability measures under the action of probabilistic or deterministic cellular automaton. We show that the aforementioned approximate orbit is completely determined by an $(N-1)N^{k-1}$-dimensional map. When the short form of block probabilities is used, this map takes particularly simple form, often revealing important features of a particular cellular automaton.

研究动机与目标

• 在严格的数学框架下形式化细胞自动机的局部结构理论。
• 解决此前依赖蒙特卡洛模拟和数值近似而缺乏正式分析的领域中的问题。
• 构建一个低维映射，以近似细胞自动机下平移不变测度的轨道。
• 证明由低维映射生成的近似轨道随着块大小$k$的增加，弱收敛于精确轨道。
• 在理论测度论动力系统与细胞自动机中的实际近似方法之间建立桥梁。

提出的方法

• 使用柱集和Hahn-Kolmogorov延拓定理，在${\rm \tilde{A}}^\mathbb{Z}$上构造平移不变的博雷尔测度。
• 定义长度不超过$k$的所有字的块概率，表明它们由$(N-1)N^k$个线性无关的概率张成。
• 引入两种参数化方式：'长形式'与'短形式'块概率，以实现高效计算。
• 应用最大熵延拓原理，从块概率重建完整测度，确保一致性并最大化熵。
• 构建一个$(N-1)N^k$维的实值局部结构映射，该映射在细胞自动机规则下迭代演化块概率。
• 证明当$k \to \infty$时，近似轨道在弱-$\star$拓扑下弱收敛于精确轨道。

实验结果

研究问题

• RQ1 局部结构理论能否在严格的数学基础之上形式化，以支持其在理论分析中的应用？
• RQ2 低维局部结构映射与给定初始测度下细胞自动机精确轨道之间有何关系？
• RQ3 随着块大小$k$的增加，由局部结构映射生成的近似轨道是否弱收敛于精确轨道？
• RQ4 全局不变量（如加法不变量）是否在局部结构近似中得以保持？
• RQ5 其他动力学性质（如零化性或一致连续性）能否从精确系统传递至局部结构映射？

主要发现

• 长度不超过$k$的块概率空间由$(N-1)N^k$个线性无关的概率张成，从而实现低维表示。
• 块概率的最大熵延拓产生一个一致且熵最大的测度，为近似完整测度提供合理方法。
• 局部结构映射是一个$(N-1)N^k$维的实值映射，可在细胞自动机规则下迭代演化块概率。
• 随着$k$增大，近似轨道的每一点在弱-$\star$拓扑下弱收敛于精确轨道的对应点。
• 局部结构映射继承了精确轨道的加法不变量，表明某些全局动力学特征得以保持。
• 对于规则184，局部结构映射正确再现了$P_n(00)$的极限值，证实与已知精确结果的一致性。