삼각 격자 9색 채색의 빠른 혼합과 샘플링

초록

본 논문은 삼각 격자에서 9색으로 적절히 색칠하는 경우, Glauber 동역학이 빠르게 섞임을 증명한다. 이를 통해 9색 채색을 효율적으로 샘플링하고, 개수 추정에 대한 FPRAS를 제공한다. 또한 강한 공간 혼합(strong spatial mixing)을 보이며, 무한 부피에서 유일한 Gibbs 분포가 존재함을 확인한다. 증명은 이전 10색·11색 결과를 확장한 것으로, 계산 보조와 무작위 휴리스틱을 활용하였다.

상세 분석

이 연구는 삼각 격자라는 2차원 정규 격자에서 인접한 정점이 서로 다른 색을 가져야 하는 ‘적절한 색칠’ 문제를 다룬다. 특히 색의 수를 9개로 제한했을 때, 마코프 체인인 Glauber dynamics가 다항 시간 안에 균등 분포에 수렴한다는 ‘빠른 혼합(rapid mixing)’을 증명한다. 빠른 혼합을 보이기 위해 저자들은 두 가지 핵심 개념을 결합한다. 첫째, ‘강한 공간 혼합(strong spatial mixing, SSM)’을 입증한다. SSM은 경계 조건이 멀리 떨어진 영역에 미치는 영향이 지수적으로 감소한다는 성질로, 이는 무한 부피 Gibbs 측정이 유일함을 의미한다. 둘째, SSM을 이용해 ‘부트스트랩’ 방식으로 체인의 혼합 시간을 제한한다. 구체적으로, 작은 지역(‘블록’)에 대한 정확한 전이 확률을 컴퓨터 보조로 계산하고, 이 블록을 전체 격자에 반복 적용함으로써 전체 체인의 수축 계수를 얻는다.

기술적인 핵심은 ‘블록 업데이트’와 ‘경계 조건 전파’이다. 저자들은 2×2 혹은 3×3 크기의 작은 서브격자를 선택하고, 그 내부에서 가능한 9색 적절 채색의 수를 전부 열거한다. 이때 경계 색이 고정된 경우, 내부 색 배치의 전이 확률을 정확히 계산한다. 이러한 전이 행렬의 스펙트럼 반경을 수치적으로 평가해, 최대 고유값이 1보다 충분히 작음(예: 0.85 이하)을 확인한다. 이 과정은 전산적으로 복잡하지만, 무작위 휴리스틱을 이용해 후보 블록을 선별하고, 최종 검증을 엄격히 수행함으로써 오류 가능성을 최소화한다.

또한, 이전 연구인 Goldberg‑Martin‑Paterson(10색)와 Salas‑Sokal(11색)의 방법론을 그대로 확장한다. 10색·11색 결과는 ‘색 수가 충분히 크면’ SSM과 빠른 혼합이 성립한다는 일반적인 패턴을 보여주었으며, 이 논문은 그 경계를 9색까지 낮춘다. 이를 위해 저자들은 색 수가 감소함에 따라 발생하는 ‘색 충돌’ 가능성을 정밀히 분석하고, 블록 크기와 경계 조건을 최적화한다. 결과적으로, 9색에서도 SSM 상수 λ<1을 만족하고, 전체 격자의 혼합 시간 τ가 O(n log n) (n은 정점 수) 이하임을 보인다.

마지막으로, 빠른 혼합 결과를 이용해 FPRAS를 구성한다. Glauber dynamics를 충분히 오래 실행하면, 거의 균등한 9색 적절 채색 샘플을 얻을 수 있다. 이 샘플을 이용해 자기상관 함수와 같은 통계량을 추정하고, 마코프 체인의 평균 반환 시간을 이용해 전체 색칠 수의 근사값을 다항 시간 안에 계산한다. 따라서, 삼각 격자에서 9색 적절 채색을 셈하는 문제는 확률적 다항 시간 알고리즘으로 해결 가능함을 증명한다.

이 논문의 의의는 두 가지이다. 첫째, 물리학에서 ‘반강자성 안티포트스 모델’의 영온도 경우에 해당하는 색칠 문제에 대해, 유일한 무한 부피 Gibbs 상태와 빠른 샘플링이 동시에 성립함을 최초로 입증했다는 점이다. 둘째, 계산 보조와 무작위 탐색을 결합한 증명 전략이 색 수 감소라는 어려운 경계에서도 성공했으며, 향후 더 낮은 색 수(예: 8색) 혹은 다른 격자 구조에 대한 연구에 중요한 방법론적 토대를 제공한다.