격자 위 하드코어 모델의 상공존과 느린 혼합 현상

초록

본 논문은 2차원 격자 ℤ²에서 하드코어 모델의 파라미터 λ에 대해, λ > 5.3646이면 서로 다른 경계조건을 구분하는 다중 깁스 상태가 존재함을 보인다. 또한 같은 λ 구간에서 토러스형(주기) 경계에서는 마코프 체인의 혼합 시간이 지수적으로 느려지고, 자유 경계에서는 λ > 7.1031에서 동일한 현상이 나타난다. 핵심 기법은 ‘fault line’ 개념을 확장해 항상 긴 등고선을 만들게 하고, 이를 ‘택시 워크(taxi walk)’라 불리는 새로운 방향성 자기회피 경로와 연결해 등고선 개수를 정밀히 추정한 것이다.

상세 요약

하드코어 모델은 독립집합 I에 대해 확률 P(I) ∝ λ^{|I|} 로 정의되며, λ가 클수록 정점 선택을 선호한다. 무한 격자 ℤ²에서는 깁스 분포의 유일성 여부가 물리적 상전이와 직접 연결된다. 기존 연구는 λ < 2.3882 구간에서 유일성을 증명했지만, 상전이 상한을 크게 끌어올리는 결과는 부족했다. 본 논문은 Peierls 변증법을 혁신적으로 개량한다. 먼저 Randall가 도입한 ‘fault line’ 개념을 일반화해, 특정 경계조건(예: 짝수·홀수 색상 고정) 하에서 발생하는 모든 구성은 반드시 격자 전체를 가로지르는 긴 ‘fault line’을 포함한다. 이 선은 짧은 등고선이 존재할 여지를 차단하므로, 등고선 길이의 하한을 직접 제시할 수 있다.

두 번째 혁신은 등고선을 ‘택시 워크’와 동형시켜 개수를 정밀히 셈한다. 택시 워크는 방향이 고정된 ℤ² 위에서 좌·우·상·하 중 두 방향만을 교대로 사용하며 자기회피성을 유지하는 경로이다. 이러한 제약은 전통적인 자기회피 보행보다 훨씬 적은 경우의 수를 갖게 하며, 등고선의 길이 L에 대해 O(c^{L}) (c ≈ 1.618) 정도의 상수만을 남긴다. 이를 통해 λ > 5.3646이면 등고선의 기여가 지배적으로 커져, 두 경계조건 사이의 확률 차이가 지수적으로 커짐을 보인다.

마코프 체인(특히 Glauber dynamics)의 혼합 시간 분석에서는 ‘bottleneck ratio’를 이용한다. 위에서 정의한 fault line 사건을 집합 A로 두고, A와 그 보완 사이의 전이 확률이 λ에 따라 급격히 감소함을 보인다. 토러스형 경계에서는 fault line이 닫힌 고리 형태로 존재해 전이 확률이 λ^{−Ω(N)} 수준으로 억제되며, 자유 경계에서는 경계와의 상호작용이 추가돼 λ > 7.1031에서 동일한 억제가 발생한다. 결과적으로, 혼합 시간은 시스템 크기 N에 대해 exp(Ω(N)) 로 하한이 잡힌다.

이러한 접근법은 기존 Peierls 기반 증명에서 짧은 등고선 열거에 의존하던 한계를 극복하고, 등고선 구조를 전역적인 combinatorial 객체(택시 워크)와 연결함으로써 상전이 상한을 크게 끌어올렸다. 또한, 혼합 시간 하한을 경계조건에 따라 정밀히 구분함으로써, 물리적 상전이와 알고리즘적 난이도 사이의 깊은 연관성을 명확히 제시한다.