[論文レビュー] 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

ひとこと要約

本稿は、2近傍規則、固定された空間的周期σ、n状態をもつ1次元セルオートマトンにおける周期的解の最大時間的周期を調査する。加法的規則の場合、最大時間的周期は適切な環の乗法的群の指数に等しくなることが導かれる。非加法的規則についても、理論的上限 $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状態をもつ1次元セルオートマトンにおける周期的解の最大時間的周期を特定すること。
• 加法的2近傍規則における最大時間的周期を特徴付け、それが適切な環の乗法的群の指数に等しいことを示すこと。
• 理論的上限 $n^\sigma$ に定数倍の要因で近い時間的周期を達成する非加法的規則を構成すること。
• 素数の冪状態における明示的公式の存在、および理論的上限と実際の最大周期との等価性に関する未解決問題を調査すること。

提案手法

• 著者たちは、状態の進化を多項式 $a + bx$ のべき乗として表現するため、商環 $\mathbb{Z}_n[x]/(x^\sigma - 1)$ における多項式乗法を用いてCAの進化をモデル化する。
• 加法的規則の場合、時間的周期は環 $\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状態をもつ任意の加法的2近傍セルオートマトン規則が達成可能な最大時間的周期は何か？
• RQ2 非加法的規則は、自明な上限 $n^\sigma$ に近い時間的周期を達成できるか？
• RQ3 小規模なσおよび素数の冪nについて、最大最短時間的周期 $\rho_\sigma(n)$ や最大最長周期 $\pi_\sigma(n)$ の明示的公式は存在するか？
• RQ4 どの $n$ と $\sigma$ について $\pi_\sigma(n) = \texttt{ub}_\sigma(n)$ が成り立ち、どの場合に不等式が厳密になるか？
• RQ5 ある $\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$ まで広範な計算に基づき、すべての素数の冪 $p^m$ について $\pi_5(p^m) = \texttt{ub}_5(p^m)$ が成り立つと予想する。この場合、完全な公式が得られるだろう。
• 本稿は、$\sigma = 2,3$ および $n = 2$ から $20$ までの $\rho_\sigma(n)$ と $\pi_\sigma(n)$ の完全な表を提供しており、$\pi_\sigma(n)$ がしばしば理論的上限に等しいことが示されている。