[논문 리뷰] A note on continuity of magnetization at criticality for the ferromagnetic Ising model on amenable quasi-transitive graphs with exponential growth

Aran Raoufi|arXiv (Cornell University)|2016. 06. 12.

Theoretical and Computational Physics참고 문헌 13인용 수 5

한 줄 요약

이 논문은 애매한 준정렬 그래프에서 지수 성장성을 갖는 페로자성 이징 모형이 임계 역온도 $\beta_c$에서 자발 자화의 연속성을 증명함으로써 제2종 상전이를 나타낸다. 증명은 허치크로프트의 베르누이 퍼콜레이션에서의 상관관계 감쇠 증거와 아이젠만, 두미니르-코핀, 시도바치우스의 무작위 전류 표현을 조합하여, 자유 측도에서 장거리 질서가 존재하지 않으면 $\beta_c$에서 자발 자화가 0이 된다는 것을 보여준다. 핵심 결과는 $\mu_{G,\beta_c}^{+}(\sigma_x) = 0$이며, 임계 상태에서 자화의 연속성을 확인한다.

ABSTRACT

The purpose of this modest note is to point out that the proof of the recent result of Huchcroft concerning continuity of phase transition in Bernoulli percolation is applicable to the setting of the Ising model with free boundary condition. This observation, together with a recent result of Aizenman, Duminil-Copin, and Sidoravicius implies that the Ising model on amenable quasi-transitive graph with exponential growth undergoes a second order phase transition.

연구 동기 및 목표

• 지수 성장을 갖는 애매한 준정렬 그래프에서 페로자성 이징 모형의 임계 역온도 $\beta_c$에서 자발 자화의 연속성을 확립한다.
• 허치크로프트의 베르누이 퍼콜레이션에서의 상관관계 감쇠 증거 기법을 자유 경계 조건이 있는 이징 모형으로 확장한다.
• 무작위 전류 표현과 아이젠만, 두미니르-코핀, 시도바치우스의 최근 결과를 적용하여 제2종 상전이를 도출한다.
• 자유 측도에서 장거리 질서가 존재하지 않으면 $\beta_c$에서 자발 자화가 0이 된다는 것을 보여준다.

제안 방법

• 자유 경계 조건이 있는 이징 모형에 대해 허치크로프트의 상관관계 감쇠 증명 기법을 적응하여, 상관관계의 초승법적 성질을 사용한다.
• $\kappa_\beta(n) = \min_{y \in \Lambda_n(x)} \mu_\beta^0(\sigma_x\sigma_y)$를 정의하고, 그린즈의 부등식을 통해 초승법적 성질을 증명한다.
• 그래프의 지수 성장을 이용하여, 모든 $\beta < \beta_c$에 대해 $\sup_n (\kappa_\beta(n))^{1/n} < \rho < 1$임을 보이며, $|\Lambda_n|^{-1/n}$의 감쇠에 의존한다.
• 유한 체적 상관관계의 단조성과 연속성에 의해 $\beta \mapsto \sup_n (\kappa_\beta(n))^{1/n}$의 왼쪽 연속성을 확립한다.
• Theorem 4 from [ADS15]를 적용하여, 자유 측도 상관관계의 정규화된 합이 0이면 자발 자화도 0이 된다는 것을 유도한다.
• 조건을 만족하는 유한 집합 $\{K_n\}$의 수열을 구성하여 $\sum_{x,y \in K_n} \mu_{\beta_c}^0(\sigma_x\sigma_y)/|K_n|^2 \to 0$이 되도록 한다.

실험 결과

연구 질문

• RQ1 지수 성장을 갖는 애매한 준정렬 그래프에서 페로자성 이징 모형의 자발 자화는 임계 역온도 $\beta_c$에서 연속적인가?
• RQ2 허치크로프트의 퍼콜레이션 기반 상관관계 감쇠 증거는 자유 경계 조건이 있는 이징 모형으로 일반화될 수 있는가?
• RQ3 자유 측도에서 장거리 질서가 존재하지 않으면 자발 자화가 0이 되는 조건은 무엇인가?
• RQ4 이러한 일반적인 그래프 설정에서 상전이는 $\mathbb{Z}^d$와 마찬가지로 제2종인가?

주요 결과

• 자발 자화 $\mu_{G,\beta_c}^{+}(\sigma_x)$는 $\beta_c$에서 연속적이며, $\mu_{G,\beta_c}^{+}(\sigma_x) = 0$이다.
• 상관관계 감쇠 속도 $\kappa_{\beta_c}(n) \leq \rho^n$은 어떤 $\rho < 1$에 대해 성립하며, 초승법적 성질과 지수 성장에 의해 확립된다.
• 함수 $\beta \mapsto \sup_n (\kappa_\beta(n))^{1/n}$는 왼쪽 연속적이며, 이는 $\beta_c$로의 감쇠 bound가 연장됨을 보장한다.
• 합 $\sum_{x,y \in K_n} \mu_{\beta_c}^0(\sigma_x\sigma_y)/|K_n|^2 \leq C/n \to 0$을 만족하는 집합 $K_n$의 구성이 Theorem 4의 조건을 충족한다.
• 결과는 지수 성장을 갖는 애매한 준정렬 그래프에서 이징 모형의 제2종 상전이를 확인한다.
• 자기 동치성과 기존 전이 그래프 결과의 확장에 의해, 이 증명은 준정렬 그래프로 확장된다.