2차원 격자에서 일반화된 퍼콜레이션 게임과 확률 셀룰러 오토마톤의 에르고딕성

초록

무한 2차원 격자에 정점과 간선에 트랩·타깃·오픈 라벨을 무작위로 부여하고, 토큰을 오른쪽·위쪽으로 이동시키는 두 사람 게임을 연구한다. 게임이 무승부가 될 확률이 0이 되는 파라미터 영역을 찾고, 이를 해당 게임에서 유도되는 확률 셀룰러 오토마톤(PCA)의 에르고딕성과 동등시킨다. 무게 함수(잠재 함수) 기법을 이용해 여러 파라미터 구간에서 PCA의 에르고딕성을 증명함으로써 무승부 확률이 0임을 보인다.

상세 분석

본 논문은 세 가지 확률 파라미터(p, q, r)를 이용해 정점과 간선에 트랩, 타깃, 오픈 라벨을 독립적으로 부여한 뒤, 토큰을 (x+1, y) 혹은 (x, y+1) 로 이동시키는 두 명의 플레이어가 번갈아 가며 진행하는 퍼콜레이션 게임을 정의한다. 플레이어는 타깃 정점에 도달하거나 상대를 트랩 정점·트랩 간선으로 강제 이동시킬 경우 승리하고, 양쪽이 무한히 움직일 경우 무승부가 된다. 핵심 질문은 (p, q, r)의 어떤 영역에서 무승부 확률이 정확히 0이 되는가이다.

논문은 먼저 기존의 단일 파라미터(간선만 트랩) 모델을 일반화하여, (i) 정점 라벨링이 포함된 3‑파라미터 모델, (ii) 정점 라벨 없이 간선에 트랩·타깃·오픈을 부여하는 2‑파라미터 모델을 제시한다. 각 모델에 대해 게임 규칙을 재귀적인 상태 전이식으로 표현하고, 이를 알파벳 {승,패,무승부} 위의 확률 셀룰러 오토마톤(PCA)으로 해석한다. 중요한 사실은 “무승부 확률이 0 ⇔ 해당 PCA가 에르고딕(단일 불변분포만 존재)”이라는 등가 관계이다.

에르고딕성을 증명하기 위해 저자들은 ‘무게 함수’(potential function) 기법을 도입한다. 무게 함수는 상태 공간에 비음이 아닌 실수 값을 할당해, 한 스텝 업데이트 후 기대값이 감소함을 보이는 방식이다. 이 방법은 기존의 전통적인 퍼코레션 임계값 분석이나 라플라시안 기법으로는 다루기 어려운, 파라미터가 매우 작은 근방에서도 적용 가능하도록 설계되었다. 구체적으로는 다음과 같은 두 주요 결과를 얻는다.

1. 2‑파라미터 모델(r, s)에서

   • r = s > 0 인 경우, r ≥ 0.10883이면 무승부 확률이 0.
   • r, s가 충분히 작을 때(예: r, s ≤ 1/50) 그리고 (1 − s)(2s − s²)² ≥ 4r·(1 − 6s + 3s²) 조건을 만족하면 무승부가 발생하지 않는다.

2. 3‑파라미터 모델(p, q, r)에서 네 개의 영역을 제시한다. 가장 직관적인 형태는

   • p ≤ q², p + q ≥ 2r 또는
   • q + r ≤ p, 5q ≥ 4r
     와 같은 부등식으로, ε → 0 인 극한에서도 하나 이상의 파라미터가 양수이면 무승부 확률이 0임을 보인다. 특히 p = q = r = ε(ε>0)인 경우에도 무승부가 사라짐을 증명한다.

이러한 결과는 (p, q, r) = (0, 0, 0)에서 무승부 확률이 1인 ‘임계점’이 존재함을 의미한다. 즉, 파라미터가 전혀 없을 때는 게임이 무한히 진행되지만, 아주 작은 양의 트랩·타깃 확률이라도 도입하면 시스템은 곧바로 에르고딕하게 수렴한다는 ‘위상 전이’ 현상을 확인한다.

기술적으로는 무게 함수의 설계가 각 파라미터 구간마다 달라야 함을 보여준다. 예를 들어, r이 작고 s가 큰 경우에는 트랩 간선에 대한 페널티를 크게 가중시켜 기대 감소를 확보하고, 반대로 s가 작을 때는 타깃 간선 보상을 강조한다. 이러한 맞춤형 잠재 함수는 PCA의 전이 행렬에 대한 스펙트럼 분석 없이도 수렴을 보장한다는 점에서 의미가 크다.

결론적으로, 논문은 퍼콜레이션 게임을 확률적 동적 시스템으로 재해석하고, 무게 함수 기법을 통해 파라미터가 거의 0에 가까운 영역에서도 에르고딕성을 엄밀히 증명함으로써 무승부 확률이 0임을 보였다. 이는 기존 연구에서 다루지 못했던 ‘극소 확률’ 상황을 포괄하고, 향후 더 복잡한 그래프 구조나 다중 플레이어 게임에 대한 확률적 분석에 중요한 방법론적 토대를 제공한다.