무한 격자와 트리에서 밀도 분류를 위한 셀룰러 오토마톤

초록

이 논문은 무한 격자 ℤ^d (d≥2)와 무한 정규 트리 위에서 초기 상태가 베르누이(p) 분포를 따를 때, p가 ½보다 작으면 전부 0, 크면 전부 1로 수렴하는 셀룰러 오토마톤(CA) 및 확률적 상호작용 입자계(IPS)를 설계한다. 1차원 ℤ에 대해서는 후보 규칙과 시뮬레이션 결과만 제시한다.

상세 분석

밀도 분류 문제는 “전역적인 다수결”을 완전하게 로컬 규칙만으로 구현할 수 있는가를 묻는 고전적인 분산 계산 과제이다. 기존 연구에서는 유한 원형(ℤ/nℤ)에서 완전한 CA는 존재하지 않음이 증명됐으며, 확률적 CA(PCA)도 임의의 정밀도로 근사할 수는 있지만 완전한 해는 불가능함이 알려졌다. 본 논문은 이를 무한 군, 특히 ℤ^d(d≥2)와 자유군(정규 트리)로 확장한다.

먼저 저자들은 베르누이(p) 측정 μ_p를 초기 분포로 두고, 시간 t→∞에 μ_p·F_t가 p<½이면 δ_0, p>½이면 δ_1으로 약하게 수렴하도록 하는 PCA 혹은 IPS F를 찾는 것이 목표임을 명시한다. 이때 “수렴”은 임의의 유한 집합 K⊂G에 대해 모든 셀의 상태가 0(또는 1)으로 거의 확실히 변한다는 의미다.

부정적 결과로 Proposition 1을 제시한다. 이는 임의의 n에 대해 ℤ/nℤ에서 완전한 밀도 분류를 수행하는 PCA/IPS가 존재하지 않음을 보이며, 기존 CA에 대한 증명을 일반화한다. 핵심 아이디어는 “밀도 보존” 성질을 이용해, 어느 초기 구성에서든 업데이트 후 1의 개수가 거의 surely 변하지 않음(즉, 기대값이 보존)함을 보이고, 이를 통해 모순을 도출한다. 또한 이 논증은 ℤ^d의 직교곱 형태에도 그대로 적용돼, 모든 차원에서 완전한 분류는 불가능함을 확장한다.

긍정적 결과는 두 부분으로 나뉜다. 첫 번째는 ℤ^2에 대한 구체적인 CA, 즉 “툼(Toom) 규칙”을 제시한다. 이 규칙은 각 셀을 (i,j) 기준으로 오른쪽·위쪽 이웃 두 개와 자신을 포함한 3‑입력 majority 함수로 업데이트한다. 주요 증명은 삼각 격자 위의 사이트 퍼콜레이션 이론을 활용한다. p>½이면 0‑클러스터가 유한하고 지수적으로 크기가 감소한다는 사실을 이용해, 각 유한 0‑클러스터는 일정 시간 내에 완전히 사라짐을 보인다(erosion property). 따라서 모든 셀은 결국 1이 되고, p<½인 경우는 대칭적으로 0으로 수렴한다. 이 과정에서 클러스터가 서로 합쳐지거나 분리되지 않으며, 클러스터가 포함된 최소 직사각형 안에 머무르는 등 강한 구조적 제어가 가능함을 보인다.

두 번째는 동일한 로컬 규칙을 비동기식으로 구현한 IPS 버전이다. 여기서는 각 셀의 클럭이 독립적인 포아송 과정으로 울리며, 울릴 때마다 동일한 majority 연산을 수행한다. 비동기식이라도 위의 퍼콜레이션 기반 인수는 그대로 적용돼, 시간 연속적인 마코프 과정에서도 동일한 수렴 결과가 얻어진다.

다음으로 저자들은 자유군(정규 트리)에서도 비슷한 구조의 규칙을 설계한다. 트리의 경우 각 정점이 k개의 자식과 하나의 부모를 가지므로, “부모와 두 자식”을 대상으로 하는 3‑입력 majority 함수를 적용한다. 트리의 무한 차원성은 퍼콜레이션 임계값이 ½와 일치함을 이용해, p>½이면 0‑서브트리가 유한하고 결국 사라진다. 따라서 트리 전체도 1로 수렴한다. 이 결과는 ℤ^d(d≥2)와 마찬가지로 최초로 무한 그래프에서 완전한 밀도 분류를 수행하는 CA/IPS를 제공한다는 점에서 의의가 크다.

마지막으로 1차원 ℤ에 대해서는 위와 같은 완전한 규칙을 찾지 못했으며, 대신 “양성률 전이(conjectured positive rates) 현상”과 연관된 후보 규칙들을 제시하고 시뮬레이션으로 성능을 평가한다. 실험 결과는 p가 ½에 가까울수록 수렴 속도가 급격히 느려지지만, 충분히 큰 시간에서는 기대한 대로 0 또는 1로 수렴하는 경향을 보인다. 이는 1‑차원에서는 아직 이론적 증명이 남아 있음을 시사한다.

전체적으로 이 논문은 무한 격자와 트리에서 로컬 상호작용만으로 전역적인 밀도 판단을 정확히 구현할 수 있음을 최초로 증명했으며, 퍼콜레이션 이론과 마코프 과정의 결합을 통해 새로운 분석 기법을 제시한다. 또한 비동기식 IPS에서도 동일한 결과가 유지된다는 점은 실용적인 분산 시스템 설계에 중요한 통찰을 제공한다.