확률 셀룰러 오토마타의 인과 원리와 공리화

초록

본 논문은 전통적인 셀룰러 오토마타(CA)의 두 가지 상위 공리인 이동 불변성(shift‑invariance)과 인과성(causality)을 확률적 확장인 Probabilistic CA(PCA)에 적용하려는 시도이다. 비신호성(non‑signalling)과 비상관성(non‑correlating)이라는 두 가지 인과 원리를 검토하고, 이들만으로는 PCA를 완전히 규정짓기에 부족함을 여러 반례(Parity, Magic‑Coins, GenNLBox 등)를 통해 보여준다. 최종적으로 인과성의 보다 강력한 형태인 “공통 원인 원칙”(principle of common cause)과 “스크리닝‑오프”(screening‑off)를 도입해도 기대한 구조정리를 얻지 못한다는 결론에 도달한다.

상세 분석

논문은 먼저 전통적인 결정론적 CA가 이동 불변성과 연속성(또는 균등 연속성)이라는 두 공리만으로 완전히 기술될 수 있음을 헤드런트 정리로 요약한다. 이를 확률적 상황에 그대로 적용하려 하면, 확률적 지도 G가 비신호성(모든 원격 셀 i, j에 대해 입력 상태가 동일하면 출력도 동일)만을 만족해도 “원격 상관 생성”이라는 비현실적인 현상이 발생한다는 점을 지적한다. 이를 입증하기 위해 Parity와 Magic‑Coins라는 두 가지 예시를 제시한다. Parity는 전역적인 짝수/홀수 제약을 만족하면서도 원격 셀 사이에 즉시 상관을 만든다. Magic‑Coins는 두 원격 코인이 완벽히 동일한 결과를 내지만, 입력에 전혀 의존하지 않아 비신호적이다. 두 경우 모두 비신호성만으로는 PCA의 물리적 구현 가능성을 보장하지 못한다는 점을 보여준다.

다음 단계에서는 비상관성(non‑correlating)이라는 추가 조건을 도입한다. 이는 “임의의 초기 완전 결정 상태에 대해, 한 타임스텝 후 원격 영역 I와 J가 텐서곱 형태로 독립”이라는 정의로, 즉시 상관을 금지한다. Parity는 이 조건을 만족하지만, GenNLBox라는 변형을 통해 비상관성을 만족하면서도 비국소적(non‑local) 동작을 구현할 수 있음을 보인다. GenNLBox는 NLBox(비국소 박스)의 일반화 형태로, Bell 부등식을 최대한 위반하지만 여전히 비상관성을 유지한다. 이는 비상관성 자체도 PCA를 정의하기에 충분하지 않음을 의미한다.

이후 논문은 물리학에서 사용되는 “공통 원인 원칙”(principle of common cause)과 그 변형인 “스크리닝‑오프”(screening‑off) 등을 도입해 인과성을 보다 강하게 규정하려 한다. 그러나 이러한 원칙들을 수학적으로 형식화해도, 여전히 GenNLBox와 같은 반례가 존재한다. 즉, 공통 원인 원칙이 만족되더라도 비국소적 확률적 변환을 배제할 수 없으며, 이는 인과성의 전통적 정의가 확률적 CA에 바로 적용될 수 없음을 시사한다.

결론적으로, 이동 불변성과 인과성(비신호성, 비상관성, 공통 원인 원칙 등)의 조합만으로는 확률적 셀룰러 오토마타를 완전히 규정짓기에 부족하다. 기존의 “표준‑PCA”(클래식 CA 뒤에 독립적인 잡음 적용) 정의가 갖는 폐쇄성(합성) 문제와 더불어, 보다 근본적인 인과 원칙을 찾아야 함을 강조한다. 이는 확률적 동역학을 물리학적 직관과 일치시키는 새로운 공리 체계가 필요함을 의미한다.