고유 불변 측정치를 가진 비에르고딕 확률 셀룰러 자동자

초록

본 논문은 알파벳 크기와 이웃 범위가 2인 1차원 확률 셀룰러 자동자(PCA)를 구성하여, 불변 측정치는 유일하지만 시스템이 비에르고딕함을 보임으로써 “불변 측정치의 유일성이 에르고딕성을 보장한다”는 오래된 가설을 부정한다.

상세 요약

이 연구는 확률 셀룰러 자동자(PCA)의 동역학적 특성을 깊이 탐구한다. 기존 문헌에서는 일반적으로 유일한 불변 측정치가 존재하면 시스템이 에르고딕—즉, 초기 조건에 무관하게 시간 평균이 공간 평균에 수렴한다—이라고 가정해 왔다. 그러나 저자들은 알파벳이 {0,1}인 1차원 격자 ℤ 위에, 반경 1(즉, 현재 사이트와 양쪽 이웃)만을 참조하는 전이 규칙을 설계한다. 핵심 아이디어는 “동기화 블록”과 “전파 블록”을 교대로 배치해, 전체 시스템이 특정 패턴(예: 교대로 나타나는 01·10 블록)으로 수렴하도록 유도하면서도, 그 패턴 내부에서는 무작위 전이가 지속되게 하는 것이다.

구체적으로, 각 사이트는 자신의 현재 상태와 양쪽 이웃의 상태에 따라 두 가지 가능한 업데이트를 갖는다. 한 경우는 확률 ½로 상태를 반전시키고, 다른 경우는 현재 상태를 유지한다. 이때 전이 확률은 주변 환경이 “동기화된” 형태(예: …0101…)인지 “불균형” 형태(예: …0011…)인지에 따라 달라진다. 저자들은 마코프 연쇄 이론을 이용해 이 규칙이 하나의 고유 불변 측정치 μ를 갖는다는 것을 증명한다. μ는 전체 격자에 걸쳐 독립적인 베르누이(½) 분포와 동일한 마진을 가지지만, 전역적인 상관 구조가 존재한다는 점에서 일반적인 제품 측정치와 차별된다.

비에르고딕성을 보이기 위해 저자들은 두 개의 서로 다른 초기 분포—예를 들어, 전부 0으로 채워진 상태와 전부 1로 채워진 상태—가 시간 무한대로 진행했을 때, 각각이 μ에 수렴하지만 수렴 속도와 경로가 다름을 보인다. 특히, “동기화 블록”이 초기 상태에 따라 영구적으로 남아 있어, 관측 가능한 함수(예: 특정 구간 내 0의 비율)의 시간 평균이 초기 조건에 의존한다. 이는 전통적인 에르고딕성 정의와 모순되며, 유일한 불변 측정치가 존재함에도 불구하고 시스템이 에르고딕하지 않음을 명확히 한다.

이 논문의 기여는 세 가지로 요약될 수 있다. 첫째, 구체적인 PCA 모델을 제시함으로써 기존의 추측을 반증한다. 둘째, 전이 규칙 설계에 있어 “지역적 비대칭성”과 “전역적 동기화 메커니즘”을 결합하는 새로운 방법론을 제시한다. 셋째, 마코프 연쇄와 퍼스펙티브(시점 전환) 기법을 활용해 불변 측정치의 유일성 증명과 비에르고딕성 증명을 동시에 수행하는 정교한 수학적 프레임워크를 제공한다. 이러한 접근은 향후 고차원 또는 복잡한 네트워크 구조의 PCA 연구에 적용 가능성을 열어준다.