셀룰러 자동자 규칙 172의 초기값 문제 명시적 해법

초록

본 논문은 1차원 이진 셀룰러 자동자(CA) 규칙 172에 대해 초기값(초기 배치) 문제의 명시적 해를 유도한다. 전역 함수 Fⁿ의 특정 셀값을 초기 배치의 논리식으로 표현하고, 이를 이용해 초기 배치를 베르누이 확률분포에서 샘플링했을 때의 기대값을 구한다. 유한·무한 격자 모두에 적용 가능하도록 전처리와 전이 구조를 분석하고, 전이 전후의 확률적 해를 제시한다.

상세 분석

논문은 먼저 연속적인 시간·공간 이산화 과정을 PDE와 비교하면서, CA의 초기값 문제를 “Cauchy problem”이라 정의한다. 규칙 172는 반경 1의 초등 규칙으로, 로컬 함수 f(x₁,x₂,x₃)=x₂ (x₁=0) 혹은 x₃ (x₁=1) 형태이며, 이는 “중심 셀을 좌·우 이웃 중 하나가 0이면 가운데 값을, 1이면 오른쪽 값을 선택”한다는 직관적인 규칙이다.

핵심은 n단계 전이미지 집합 f⁻ⁿ(1)의 구조를 파악하는 것이다. 저자는 FSM(유한 상태 기계)을 이용해 f⁻ⁿ(1)을 생성하고, 그 결과에서 두 가지 패턴을 발견한다. 첫 번째는 문자열 내부에 “001”이라는 고정 블록이 존재하면 그 블록은 시간 진행 동안 위치가 변하지 않아 최종 셀값을 1로 만든다. 두 번째는 “00” 연속이 전혀 없는 문자열(즉, 인접한 0이 없는 경우)이며, 이 경우 문자열의 끝부분이 01?, 1?1 형태를 만족해야 한다.

이 두 조건을 수식화하면 Proposition 3.1이 도출된다. 여기서 {z}ₖ는 임의의 k개의 비트열을 의미한다. 이를 기반으로 전역 함수 Fⁿ의 중앙 셀값을 다음과 같이 표현한다.

\