[논문 리뷰] Maximal temporal period of a periodic solution generated by a one-dimensional cellular automaton

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

Cellular Automata and Applications참고 문헌 15인용 수 4

한 줄 요약

이 논문은 두 이웃 규칙, 고정된 공간 주기 σ, n개 상태를 가진 1차원 세포자기설계에서 주기적 해의 최대 시간 주기를 조사한다. 추가 규칙의 경우 최대 시간 주기는 적절한 링의 곱셈군의 지수와 일치하며, 이론적 상한선에 근접한 시간 주기를 갖는 비추가 규칙도 구성된다. 주요 기여는 작은 σ와 소수 거듭제곱 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차원 세포자기설계에서 주기적 해의 최대 시간 주기를 결정하기.
• 추가 두 이웃 규칙 중 최대 시간 주기를 특성화하여, 이가 적절한 링의 곱셈군의 지수와 일치함을 보여주기.
• 이론적 상한선 $n^\sigma$에 대해 일정한 요소의 상한선에 근접한 주기를 갖는 비추가 규칙을 구성하기.
• 소수 거듭제곱 상태에 대해 명시적 공식의 존재성과 상한선과 실제 최대 주기 간의 동치성에 대한 열린 문제 탐색하기.

제안 방법

• 저자들은 $\mathbb{Z}_n[x]/(x^\sigma - 1)$에서의 다항식 곱셈을 이용해 CA의 진화를 모델링하며, 상태 진화를 다항식 $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 무한히 많은 소수들 중에서 어떤 $\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)$임을 추측하며, 이는 완전한 공식을 도출할 수 있음을 시사한다.
• 논문은 $\sigma = 2,3$ 및 $n = 2$에서 $20$까지의 $\rho_\sigma(n)$와 $\pi_\sigma(n)$의 완전한 표를 제공하며, $\pi_\sigma(n)$가 자주 이론적 상한선과 일치함을 보여준다.