[论文解读] On Local Symmetries And Universality In Cellular Autmata

Laurent Boyer, Guillaume Theyssier|ArXiv.org|Feb 7, 2009

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

一句话总结

本文证明，在若干由局部对称性定义的细胞自动机家族（如多重集、全态及外多重集CA）中，当状态数或邻域大小增加时，内在通用性在渐近意义上几乎必然成立。通过构建模拟子移位并运用概率论证，证明了这些家族中通用CA的密度趋近于1，同时表明在这些家族中通用性问题仍为不可判定。

ABSTRACT

Cellular automata (CA) are dynamical systems defined by a finite local rule but they are studied for their global dynamics. They can exhibit a wide range of complex behaviours and a celebrated result is the existence of (intrinsically) universal CA, that is CA able to fully simulate any other CA. In this paper, we show that the asymptotic density of universal cellular automata is 1 in several families of CA defined by local symmetries. We extend results previously established for captive cellular automata in two significant ways. First, our results apply to well-known families of CA (e.g. the family of outer-totalistic CA containing the Game of Life) and, second, we obtain such density results with both increasing number of states and increasing neighbourhood. Moreover, thanks to universality-preserving encodings, we show that the universality problem remains undecidable in some of those families.

研究动机与目标

• 研究受局部对称性约束的细胞自动机家族中内在通用性的普遍性。
• 将先前关于束缚CA的研究结果扩展至更广泛、更知名的家族，如外全态CA（包括“生命游戏”）。
• 确立当状态数或邻域大小增加时，通用性渐近必然成立。
• 表明即使在对称CA家族中，通用性问题仍保持不可判定。

提出的方法

• 构建独立子移位（例如0₀与1₀的交替模式），在更大的CA中模拟任意给定CA。
• 利用多重集不变性定义仅依赖于邻域中状态多重性的局部转移函数。
• 应用概率分析，界定家族中无法在给定子移位上模拟目标CA的CA比例。
• 确立在任意子移位上模拟固定CA的概率有下界，且该下界与邻域大小无关。
• 结合多个独立子移位，证明非模拟的总体概率随子移位数量呈指数衰减。
• 使用保持通用性的编码，表明在对称家族中通用性问题仍保持不可判定。

实验结果

研究问题

• RQ1 在由局部对称性定义的家族中，通用细胞自动机的渐近密度是多少？
• RQ2 是否可证明在多重集或全态CA等家族中，内在通用性发生的概率趋近于1？
• RQ3 当限制在对称CA家族中时，通用性问题是否仍保持不可判定？
• RQ4 状态数或邻域大小的增加如何影响对称CA家族中通用性的可能性？

主要发现

• 当状态数或邻域大小增加时，多重集、全态及外多重集CA家族中通用CA的渐近密度为1。
• 对于对称家族中的任意固定CA，当邻域大小增长时，从该家族中随机选取的CA模拟该CA的概率趋近于1。
• 可用于模拟的独立子移位数量随邻域大小线性增长，从而导致非模拟概率呈指数衰减。
• 对称家族中随机CA无法模拟给定CA的概率有上界，且该上界随子移位数量增加而趋近于0。
• 保持通用性的编码确保即使在如外多重集CA等对称家族中，通用性问题仍保持不可判定。
• 该结果成立的条件是邻域大小相对于模拟复杂度足够快地增长，其中外多重集CA要求k′ = o(log log k)以实现密度1。