무작위 규칙을 가진 1차원 셀룰러 오토마타의 주기해 존재 확률

초록

본 논문은 상태 수 n이 무한히 커질 때, 두 이웃을 이용한 1차원 셀룰러 오토마타(CA)에서 임의로 선택된 규칙이 주어진 공간 주기 σ와 시간 주기 τ를 동시에 만족하는 주기해(Periodic Solution, PS)를 가질 확률을 분석한다. Chen‑Stein 방법을 이용한 포아송 근사 기법을 적용해, σ와 τ가 유한 범위에 있을 경우 그 한계 확률이 1−exp(−λ_{τ,σ}) 형태의 비자명한 값으로 수렴함을 증명한다. 또한 최소 시간 주기의 분포와 관련된 결과를 도출하고, 실험을 통해 이론적 예측을 검증한다.

상세 분석

이 연구는 “무작위 규칙”이라는 새로운 확률적 프레임워크를 도입함으로써 전통적인 셀룰러 오토마타 이론에 통계적 물리학적 접근을 결합한다는 점에서 의미가 크다. 먼저 저자들은 두 이웃(2‑neighbor) 규칙을 갖는 n‑state CA를 고려한다. 규칙 공간 Ω_n은 n^{n^2}개의 가능한 규칙으로 구성되며, 각 규칙은 균등분포 P에 따라 선택된다. 이때 관심 대상은 주기해(P S)이며, 이는 공간 주기 σ와 시간 주기 τ가 동시에 최소값으로 만족되는 타일(tile) 형태로 표현된다. 타일은 τ×σ 크기의 행렬로, 각 원소는 상태값을 나타내고, 행과 열의 이동에 따라 규칙 f가 일관되게 적용되는 구조적 제약을 가진다.

핵심 수학적 도구는 Chen‑Stein 포아송 근사법이다. 저자들은 “단순 타일(simple tile)”—즉, 타일 내 서로 다른 상태 수 s(T)와 규칙에 의해 정의되는 할당 수 p(T)가 동일한 경우—에 초점을 맞춘다. 단순 타일은 λ_{τ,σ}=∑{d|gcd(τ,σ)} φ(d)/d 로 정의되는 기대값을 갖는 포아송 변수와 직접 연결된다. 여기서 φ는 오일러 토션트 함수이며, d는 τ와 σ의 공약수이다. Chen‑Stein 정리를 적용해, 타일 존재 여부를 나타내는 지표 변수들의 합 W_n이 평균 λ_n→λ{τ,σ}이며, 총 변동 거리 d_{TV}(W_n,Poisson(λ_n))=O(1/n)임을 보인다. 따라서 n→∞에서 P(P_{τ,σ,n}≠∅)=1−e^{−λ_{τ,σ}} 로 수렴한다는 정리 1을 얻는다.

정리 2는 τ와 σ가 각각 집합 T, Σ에 속하는 경우로 일반화한다. 유한한 T×Σ에 대해 동일한 포아송 수렴이 성립하며, λ_{T,Σ}=∑{(τ,σ)∈T×Σ} λ{τ,σ} 로 정의된다. 이 결과는 여러 주기 조합이 동시에 존재할 확률을 한 번에 추정할 수 있게 해준다.

또한 최소 시간 주기 Y_{σ,n}=min{τ: P_{τ,σ,n}≠∅} 를 정의하고, 위 정리들의 직접적인 귀결로 Y_{σ,n}이 n→∞에서 비자명한 확률분포로 약하게 수렴함을 보인다(정리 3). 이는 “짧은” 주기와 “긴” 주기의 상반된 스케일을 동시에 설명한다. 저자들은 이전 연구