[论文解读] Maximal temporal period of a periodic solution generated by a one-dimensional cellular automaton

Janko Gravner, Xiaochen Liu|arXiv (Cornell University)|Sep 16, 2019

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

一句话总结

本文研究了一维细胞自动机中具有两邻居规则、固定空间周期σ和n个状态的周期解的最大时间周期。对于可加规则，推导出最大时间周期等于适当环的乘法群的指数；并构造了非可加规则，其时间周期达到理论上限 $n^\sigma$ 的数量级。主要贡献在于对小σ和素数幂n时最大周期的精确刻画。

ABSTRACT

We study one-dimensional cellular automata evolutions with both temporal and spatial periodicity. The main objective is to investigate the longest temporal periods among all two-neighbor rules, with a fixed spatial period $σ$ and number of states $n$. When $σ= 2, 3, 4$, or $6$, and we restrict the rules to be additive, the longest period can be expressed as the exponent of the multiplicative group of an appropriate ring. We also construct non-additive rules with temporal period on the same order as the trivial upper bound $n^σ$. Experimental results, open problems, and possible extensions of our results are also discussed.

研究动机与目标

• 确定在一维细胞自动机中，具有固定空间周期σ和n个状态的周期解的最大可能时间周期。
• 刻画可加两邻居规则中的最大时间周期，证明其等于环的乘法群的指数。
• 构造非可加规则，使其时间周期在理论上限 $n^\sigma$ 的常数倍范围内。
• 探讨关于显式公式存在性以及对于素数幂状态，理论上限与实际最大周期是否相等的开放问题。

提出的方法

• 作者使用商环 $\mathbb{Z}_n[x]/(x^\sigma - 1)$ 中的多项式乘法来建模细胞自动机的演化，将状态演化表示为多项式 $a + bx$ 的幂次。
• 对于可加规则，时间周期对应于环 $\mathbb{Z}_n[x]/(x^\sigma - 1)$ 的乘法群中 $a + bx$ 的阶。
• 最大时间周期通过计算该乘法群的指数确定，其取决于 $n$ 的素因数分解和 $\sigma$ 的取值。
• 对于素数幂 $n = p^m$，作者基于乘法阶和环结构定义了一个上界 $\texttt{ub}_\sigma(p^m)$，并与实际最大周期 $\pi_\sigma(p^m)$ 进行比较。
• 他们使用数论工具，包括莫比乌斯函数和分圆多项式性质，来计数非周期性字串并推导界限。
• 结合理论分析与计算实验，验证结果，并识别出实际最大周期严格小于理论上限的情况。

实验结果

研究问题

• RQ1 对于具有空间周期σ和n个状态的任意可加两邻居细胞自动机规则，其可实现的最大时间周期是多少？
• RQ2 非可加规则能否实现与平凡上界 $n^\sigma$ 同一数量级的时间周期？
• RQ3 是否存在关于小σ和素数幂n时最大最短时间周期 $\rho_\sigma(n)$ 或最大最长时间周期 $\pi_\sigma(n)$ 的显式公式？
• RQ4 对于哪些 $n$ 和 $\sigma$ 值，有 $\pi_\sigma(n) = \texttt{ub}_\sigma(n)$，以及何时不等式严格成立？
• RQ5 是否存在无穷多个素数 $p$，使得对某些 $\sigma$ 有 $\pi_\sigma(p) < \texttt{ub}_\sigma(p)$，且对于更高幂次，2 是否是唯一具有此性质的素数？

主要发现

• 当 $\sigma = 2,3,4,6$ 时，可加规则的最大时间周期等于环 $\mathbb{Z}_n[x]/(x^\sigma - 1)$ 的乘法群的指数。
• 当 $n = 3$ 且 $\sigma = 4$ 时，最大时间周期为 $\tau = 8$，由可加规则 $f(c_0,c_1) = c_0 + c_1$ 实现。
• 当 $\sigma = 2^k$ 时，最大周期 $\pi_\sigma(2^m)$ 在 $m \leq k+1$ 时为 $2^k$，但在 $m = k+2$ 时跃升至 $2^{k+1}$，显示出非单调行为。
• 作者识别出显式反例，表明 $\pi_\sigma(p^m) < \texttt{ub}_\sigma(p^m)$，例如 $\pi_4(2^3) = 8 < 16 = \texttt{ub}_4(2^3)$，从而否定了朴素等式猜想。
• 对于 $\sigma = 5$，作者基于计算至 $10^5$ 的广泛计算，推测 $\pi_5(p^m) = \texttt{ub}_5(p^m)$ 对所有素数幂 $p^m$ 成立，若成立则可获得完整公式。
• 本文提供了 $\sigma = 2,3$ 且 $n = 2$ 到 $20$ 时 $\rho_\sigma(n)$ 和 $\pi_\sigma(n)$ 的完整表格，表明 $\pi_\sigma(n)$ 通常等于理论上的上界。