[논문 리뷰] Phase Coexistence and Slow Mixing for the Hard-Core Model on Z^2

Antonio Blanca, David Galvin외 2명|arXiv (Cornell University)|2012. 11. 27.

Markov Chains and Monte Carlo Methods참고 문헌 17인용 수 8

한 줄 요약

이 논문은 ℤ²에서 딱딱한 코어 모델의 단계 공존에 대해 처음으로 비자명한 하한을 확립하며, 고장선과 택시 산책을 활용한 새로운 윤곽 기반 추론을 통해 모든 λ > 5.3646에서 다수의 깁스 상태가 존재한다는 것을 증명한다. 또한, 원환형 격자에서 λ > 5.3646, 자유 경계 조건이 적용된 격자에서 λ > 7.1031일 때 국소 마르코프 체인의 천천가기 혼합을 보이며, 이는 이전의 하한보다 요곱 배 향상된 결과이다.

ABSTRACT

In the hard-core model on a finite graph we are given a parameter lambda>0, and an independent set I arises with probability proportional to lambda^|I|. On infinite graphs a Gibbs distribution is defined as a suitable limit with the correct conditional probabilities. In the infinite setting we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs states. On finite graphs we are interested in determining the mixing time of local Markov chains. On Z^2 it is conjectured that these problems are related and that both undergo a phase transition at some critical point lambda_c approx 3.79. For phase coexistence, much of the work to date has focused on the regime of uniqueness, with the best result being recent work of Restrepo et al. showing that there is a unique Gibbs state for all lambda < 2.3882. Here we give the first non-trivial result in the other direction, showing that there are multiple Gibbs states for all lambda > 5.3646. Our proof adds two significant innovations to the standard Peierls argument. First, building on the idea of fault lines introduced by Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain vastly improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of Z^2. We extend our characterization of fault lines to show that local Markov chains will mix slowly when lambda > 5.3646 on lattice regions with periodic (toroidal) boundary conditions and when lambda > 7.1031 with non-periodic (free) boundary conditions. The arguments here rely on a careful analysis that relates contours to taxi walks and represent a sevenfold improvement to the previously best known values of λ.

연구 동기 및 목표

• 2차원 정수 격자 ℤ²에서 딱딱한 코어 모델의 단계 공존에 대해 처음으로 비자명한 하한을 확립하는 것.
• 주기적 및 자유 경계 조건을 갖는 ℤ²의 유한 박스에서 국소 마르코프 체인의 빠른 혼합에 대한 이전의 하한을 향상시키는 것.
• 방향성 있는 격자에서 정의된 '택시 산책'이라 불리는 자기 피하기 보행의 일종과 관련지어 윤곽 수를 제한하는 새로운 방법을 개발하는 것.
• Randall의 고장선 기법을 확장하여 짧은 윤곽의 정확한 수를 세는 데 의존하지 않도록 하는 것.
• 택시 산책의 연결 상수 μₜ에 대한 더 정밀한 추정치를 제공함으로써 임계 활성도 λ_c에 대한 개선된 추정치를 도출하는 것.

제안 방법

• 와이어드 및 자유 경계 조건을 구분할 수 있도록 고장선 기반의 새로운 사건을 도입하여, 항상 장거리 윤곽이 존재하도록 보장하는 것.
• 딱딱한 코어 모델의 윤곽을 방향성 있는 ℤ²의 일종인 '택시 산책'으로 간주하여, 이들의 수를 제한하는 것.
• 부가성과 Fekete의 보조정리를 활용해 택시 산책의 성장률을 분석하고, 이 클래스에 대한 연결 상수 μₜ를 확립하는 것.
• 행렬 기반 고유값 기법(Alm의 방법을 활용)을 적용하여, 길이 n의 보행 중 길이 m의 세그먼트로 시작하고 끝나는 경우에 대해 전이 행렬 A(m,n)의 최대 고유값을 사용해 μₜ를 상한으로 제한하는 것.
• 택시 산책의 하위집합인 '브릿지'의 초승산성(초승산성)을 활용해 μₜ에 하한을 도출함으로써, 현재 방법의 이론적 한계를 향상시키는 것.
• μₜ의 하한과 상한을 결합하여 피어레스 추론을 적용함으로써, 단계 공존 및 천천가기 혼합에 대한 λ의 하한을 도출하는 것.

실험 결과

연구 질문

• RQ1 딱딱한 코어 모델이 ℤ²에서 어떤 λ 값에서 단계 공존, 즉 다수의 깁스 상태를 보일 수 있는가?
• RQ2 단계 공존이 발생하는 임계 활성도 λ_c에 대해 알려진 최선의 하한은 무엇인가?
• RQ3 유한한 박스에서 ℤ²의 국소 마르코프 체인의 혼합 시간은 λ가 증가함에 따라 어떻게 변화하는가?
• RQ4 새로운 자기 피하기 보행의 일종인 '택시 산책'과 관련지어 딱딱한 코어 모델의 윤곽 수를 더 효과적으로 제한할 수 있는가?
• RQ5 현재 택시 산책과 그 연결 상수를 활용해 λ_c를 제한하는 데 사용되는 방법의 이론적 한계는 무엇인가?

주요 결과

• 논문은 모든 λ > 5.3646에서 단계 공존이 발생함을 증명하며, 공존 영역에서 처음으로 비자명한 하한을 제공한다.
• 원환형(주기적) 경계 조건에서 λ > 5.3646, 자유 경계 조건에서 λ > 7.1031일 때 국소 마르코프 체인이 천천가기 혼합됨을 확립한다.
• 20114×20114 행렬의 고유값 분석을 통해 택시 산책의 연결 상수에 대한 상한 μₜ < 1.5884를 도출한다.
• 브릿지 수를 세는 방식으로 하한 μₜ > 1.5196를 확보하여, 현재 방법으로는 λ_c ≤ 4.3332 이하로는 더 이상 향상시킬 수 없음을 시사한다.
• μₜ < 1.5884의 결과로, 단계 공존에 대한 임계 임계점 추정치 λ_c < μₜ⁴ − 1 < 5.3646을 도출한다.
• 기존의 최선의 하한 대비 천천가기 혼합에 대한 기존의 하한보다 요곱 배 향상된 결과를 제공한다.