[논문 리뷰] A non-ergodic probabilistic cellular automaton with a unique invariant measure

Philippe Chassaing, Jean Mairesse|arXiv (Cornell University)|2010. 09. 01.

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

한 줄 요약

이 논문은 이웃 크기가 2인 일차원 확률적 세포자동자모형(PCA)을 구성하여, 유일한 불변 측도를 가짐에도 불구하고 비에르고딕임을 보여주며, 불변 측도의 유일성이 에르고딕성을 함의하지는 않는다는 점을 입증한다. 모형은 짝수와 홀수 시점에서 서로 다른 두 측도를 번갈아가며, 어떤 초기 상태에서든 수렴하지 않기 때문에, PCA 이론에서 오랫동안 미해결이었던 문제를 반례를 통해 해결한다.

ABSTRACT

We exhibit a Probabilistic Cellular Automaton (PCA) on the integers with an alphabet and a neighborhood of size 2 which is non-ergodic although it has a unique invariant measure. This answers by the negative an old open question on whether uniqueness of the invariant measure implies ergodicity for a PCA.

연구 동기 및 목표

• 확률적 세포자동자모형(PCA)에 대해 불변 측도의 유일성이 에르고딕성을 함의하는가라는 오랫동안 미해결이었던 문제를 해결하기 위해.
• 유일한 불변 측도를 가짐에도 불구하고 비에르고딕인 PCA의 구체적 예를 구성하기 위해.
• 중간 케이스—즉, 유일하지만 비흡인성인 불변 측도—가 PCA에서 존재함을 보여주어, 상호작용 입자계(system, IPS)의 알려진 결과와 대비시키기 위해.
• 주요 구성에 기초하기 위해 보조 PCA 모형의 일변량 모수를 정확히 계산하기 위해.

제안 방법

• 유일한 불변 측도를 가지지만 흡인성이 아닌 주요 PCA 모형 A를 도입하여, 두 개의 서로 다른 측도 사이를 주기적으로 오가는 행동을 보임.
• 두 개의 보조 PCA 모형을 정의: 모형 B(상실 입자)와 모형 C(융합 입자), 이는 모형 A의 역학을 분석하는 데 사용됨.
• 모형 B와 C의 일변량 모수를 정확히 계산하여, 특히 $1/\sqrt{n}$ 정도의 수렴 속도를 보임.
• 색상 규칙에 따라 상호작용하거나 융합하는 삼색 PCA 모형 D를 구성하고, 투영 $\pi_B$와 $\pi_C$를 사용하여 모형 D를 모형 B와 C에 연결함.
• 연속시간 IPS 문헌에서 유도된 커플링 기법을 수정하여 이산시간 PCA 모형의 성질을 증명함.
• 융합 규칙 하에서 균일한 색상 분포의 불변성을 이용하여, 초기 i.i.d. 구성이 투영 측도에서 균일성을 유지함을 확립함.

실험 결과

연구 질문

• RQ1 일차원 확률적 세포자동자모형에서 불변 측도의 유일성이 에르고딕성을 함의하는가?
• RQ2 유일한 불변 측도를 가짐에도 불구하고 흡인이 아닌 PCA가 존재할 수 있는가, 따라서 에르고딕성이 위반되는가?
• RQ3 시스템이 시간이 지남에 따라 두 개의 서로 다른 측도를 번갈아가며 수렴을 방해하는 PCA를 구성할 수 있는가?
• RQ4 PCA 모형에서 일변량 모수를 정확히 계산하는 것이, 불변 측도의 유일성에도 불구하고 비에르고딕성을 증명하는 데 사용될 수 있는가?
• RQ5 상실 또는 융합 입자를 가진 PCA 모형에서 불변 측도로의 수렴 속도는 얼마인가?

주요 결과

• 논문은 불변 측도가 유일하지만 흡인이 아닌 1D PCA(모형 A)를 구성하여, 비에르고딕성과 불변 측도의 유일성의 중간 케이스 존재를 증명함.
• 모형 A는 측도 $\mu_0$를 $\mu_1$로, $\mu_1$을 $\mu_0$로 매핑하여, 어떤 초기 상태에서든 약수렴이 이루어지지 않도록 시스템이 두 측도 사이를 번갈아가며 진동함.
• 모형 C(융합 입자)의 일변량 모수는 정리 5.2에 의해 $1/\sqrt{n}$ 정도의 속도로 불변 측도로 수렴함.
• 모형 A와 B의 일변량 모수 역시 정리 6.1에 의해 $1/\sqrt{n}$ 정도의 속도로 수렴함.
• 특정 융합 규칙을 가진 삼색 PCA 모형 D는 유일한 불변 측도 $\delta_{\circ^{\mathbb{Z}}}$를 가지며, 에르고딕이며, 그 투영 $\pi_B$와 $\pi_C$는 각각 모형 B와 C의 실현을 제공함.
• 모형 D에서 융합 과정 동안 초기 색상 분포는 균일성을 유지하며, $\mathbb{P}(\pi_B(D_{0,n}) = \bullet) = \frac{1}{2} d_n$가 성립함. 여기서 $d_n$은 모형 C의 한 입자 모수임.