[논문 리뷰] Critical Ising on the square lattice mixes in polynomial time

Eyal Lubetzky, Allan Sly|arXiv (Cornell University)|2010. 01. 11.

Stochastic processes and statistical mechanics참고 문헌 43인용 수 4

한 줄 요약

이 논문은 정사각형 격자 위의 임계 2차원 이징 모형에서 고르베르 동역학의 스펙트럼 간격에 대해 처음으로 엄밀한 다항식 상계를 확립하며, 예상된 임계 느림 현상( critical slowdown)을 확인한다. 최근의 임계 포르투인-카스텔레인 표현의 스케일링 극한 및 마코프 체인 분석의 발전을 활용하여, 간격의 역수는 변형 조건에 관계없이 측면 길이에 대해 다항식임을 증명한다.

ABSTRACT

The Ising model is widely regarded as the most studied model of spin-systems in statistical physics. The focus of this paper is its dynamic (stochastic) version, the Glauber dynamics, introduced in 1963 and by now the most popular means of sampling the Ising measure. Intensive study throughout the last three decades has yielded a rigorous understanding of the spectral-gap of the dynamics on $\Z^2$ everywhere except at criticality. While the critical behavior of the Ising model has long been the focus for physicists, mathematicians have only recently developed an understanding of its critical geometry with the advent of SLE, CLE and new tools to study conformally invariant systems. A rich interplay exists between the static and dynamic models. At the static phase-transition for Ising, the dynamics is conjectured to undergo a critical slowdown: At high temperature the inverse-gap is O(1), at the critical $β_c$ it is polynomial in the side-length and at low temperature it is exponential in it. A seminal series of papers verified this on $\Z^2$ except at $β=β_c$ where the behavior remained a challenging open problem. Here we establish the first rigorous polynomial upper bound for the critical mixing, thus confirming the critical slowdown for the Ising model in $\Z^2$. Namely, we show that on a finite box with arbitrary (e.g. fixed, free, periodic) boundary conditions, the inverse-gap at $β=β_c$ is polynomial in the side-length. The proof harnesses recent understanding of the scaling limit of critical Fortuin-Kasteleyn representation of the Ising model together with classical tools from the analysis of Markov chains.

연구 동기 및 목표

• 임계 온도에서 2차원 이징 모형의 고르베르 동역학에서 오랫동안 미해결된 문제인 임계 느림 현상 문제를 해결하기 위해.
• 임계 상태에서 스펙트럼 간격의 역수에 대해 다항식 상계를 확립하여 예상된 임계 느림 현상 행동을 확인하기 위해.
• 비유한 비율의 가로세로 비율을 가진 직사각형 및 주기적, 반자성 경계 조건으로 결과를 확장하기 위해.
• 스케일링 극한을 통한 정적 임계 기하학(SLE 및 CLE를 통한 표현)과 이징 모형의 동적 혼합 성질 사이의 엄밀한 연결 고리를 제공하기 위해.

제안 방법

• 이징 모형의 임계 포르투인-카스텔레인(FK) 랜덤 클러스터 표현을 활용하여, 그의 등각 불변성 및 스케일링 극한 성질을 이용한다.
• FK 모형에서의 교차 사건 발생 확률에 기반한 공간 혼합 기법을 적용하여 경계 조건에 대한 의존도를 제한한다.
• 블록 동역학과 재귀적 분석을 통해 문제를 고정된 경계 조건을 가진 더 작은 영역으로 환원한다.
• 커플링 추론을 사용하여 인접한 블록 내의 구성이 한 단계 안에 긍정적인 확률로 커플링될 수 있음을 보이며, 이는 블록 동역학의 유한한 역간격을 보장한다.
• 단일 상태와 블록 동역학 사이의 스펙트럼 간격 관계를 적용하여 상한을 원래 고르베르 동역학으로 이전한다.
• 토러스를 겹치는 블록으로 나누고, 한 쌍의 주기적 경계 조건을 갖도록 하여 주기적 경계 조건으로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 정수 격자 Z²에서 임계 이징 모형의 고르베르 동역학의 스펙트럼 간격의 渐近적 행동은 무엇인가?
• RQ2 임계 상태에서 역스펙트럼 간격이 측면 길이에 대해 다항식으로 증가하는가? 이는 예상된 바이다.
• RQ3 등각 불변 시스템과 SLE의 현대 도구를 사용하여 임계 느림 현상이 엄밀히 확인될 수 있는가?
• RQ4 혼합 시간은 경계 조건에 따라 어떻게 달라지며, 특히 주기적 또는 반자성 설정일 경우 어떻게 되는가?
• RQ5 비유한 비율의 가로세로 비율을 가진 직사각형으로 다항 상한을 확장할 수 있는가?

주요 결과

• 측면 길이 n인 유한한 상자에서 임계 이징 모형의 고르베르 동역학의 역스펙트럼 간격은 어떤 절대 상수 C > 0에 대해 n^C 이하로 유계이며, 경계 조건과 무관하다.
• 고르베르 동역학의 총변량 혼합 시간은 n에 대한 다항식으로 유계이며, 임계 상태에서의 빠른 혼합을 확인한다.
• 비유한 비율의 가로세로 비율을 가진 직사각형의 경우, 역간격은 짧은 측면 길이에 대해 다항식으로 유계이다.
• 역간격이 적어도 n^{7/4}만큼 증가함을 보여, 예상된 보편성의 지수와 일치하는 하한을 제공한다.
• 스핀 반전 변환의 대칭성 덕분에, 임계 반자성 이징 모형은 임의의 경계 조건 하에서도 결과가 확장된다.
• 주기적 경계 조건을 가진 토러스에 대해, 시스템을 겹치는 블록으로 나누고 한 쌍의 주기적 경계 조건을 갖도록 함으로써, 역간격에 대한 균일한 상한을 확립한다.