The BEG model at the FAD triple point on the square lattice

기술 요약: FAD 삼중점에서의 BEG 모델에 대한 깁스 측도의 유일성

문제 정의
블룸-에머리-그리피스(Blume-Emery-Griffiths, BEG) 모델은 인접한 스핀 간의 상호작용과 이차항을 포함하는 해밀토니안에 의해 제어되는 $d$차원 격자 위의 스핀 시스템으로, 스핀은 $\sigma_x \in \{-1, 0, +1\}$ 값을 가진다. 상의 위상도(phase diagram)는 세 가지 기저 상태(ground states)를 기준으로 세 영역으로 나뉜다: 무질서(Disordered, D), 강자성(Ferromagnetic, F), 그리고 반사방형(Antiquadrupolar, A). 이 영역들은 $(X, Y) = (0, -1)$에 위치한 강자성-반사방형-무질서(FAD) 삼중점에서 만난다.

FAD 지점에서 이 모델은 유한한 수의 동치류(equivalence classes)로 조직될 수 없는 무수히 많은 기저 상태를 나타내며, 이는 높은 잔류 엔트로피를 초래한다. 벌크 영역(Pirogov-Sinai 이론 사용) 및 고온에서의 모델에 대해서는 엄밀한 결과들이 존재하지만, 상 경계면 및 특히 FAD 지점에서의 거동은 여전히 규명되지 않은 상태로 남아 있다. AD 선 또는 FAD 지점에서의 상전이에 관한 기존의 엄밀한 결과들은 차원($d$)이 충분히 높은 경우로 제한되어 있었다. 2차원 정사각형 격자($d=2$)의 경우, 양의 역온도 $\beta$에서 상전이가 존재할 가능성을 남겨둔 채, 양의 온도에서의 엄밀한 분석은 존재하지 않았다.

방법론
저자들은 모든 온도에서 2차원 정사각형 격자 상의 BEG 모델에 대한 깁스 측도의 유일성을 증명함으로써 상전이의 부재를 확립한다. 증명은 특정한 그래피컬 표현(graphical representation)과 결합(coupling) 기술에 의존한다:

1. 랜덤 클러스터 표현(Random-Cluster Representation): 저자들은 FAD 지점에서의 BEG 모델을 위한 랜덤 클러스터 유형의 표현을 구축한다. 이는 포티 모델(Potts model)에서 사용되는 포르툰-카스텔라인(Fortuin-Kasteleyn, FK) 표현을 일반화한 것이다. 분배 함수는 에지(edge)의 스핀 곱 $\sigma_e \neq -1$일 때 에지가 "열려 있는"($\omega_e=1$) 것으로 간주되는 본드 구성 $\omega \in \{0,1\}^E$를 사용하여 재작성된다.
2. 제로 템퍼러처 모델과의 결합: 스핀 구성과 본드 구성의 곱 공간(product space) 위에 결합 확률 측도를 정의한다. 이를 통해 유한 온도에서의 임의의 관측값의 기댓값은 열린 본드들에 의해 유도된 부분 그래프 상에서의 제로 템퍼러처 BEG 모델의 기댓값으로 표현될 수 있다. 구체적으로, 자화(magnetization)는 제로 템퍼러처 시스템에서의 연결 사건(connectivity event)과 관련된다.
3. 자화-연결성 항등식(Magnetization-Connectivity Identity): 저자들은 양의 경계 조건 하에서의 한 지점 $x$에서의 자화가 제로 템퍼러처 모델에서 $x$가 비제로(non-zero) 스핀들의 경로를 통해 경계까지 연결될 확률에 의해 상계(upper bound)가 된다는 항등식을 도출한다.
4. 퍼콜레이션에 의한 확률적 지배(Stochastic Domination by Percolation): 이전 연구(특히 [12])를 활용하여, 저자들은 FAD 지점에서의 제로 템퍼러처 BEG 모델을 파라미터 $p=1/2$인 베르누이 사이트 퍼콜레이션(Bernoulli site percolation)과 결합할 수 있음을 보여준다. 이는 제로 템퍼러처 모델에서 한 점이 경계와 연결될 확률이 파라미터 $1/2$인 베르누이 사이트 퍼콜레이션의 연결 확률에 의해 확률적으로 지배됨을 확립한다.

핵심 결과
주요 정리는 FAD 지점의 $\mathbb{Z}^2$ 상의 BEG 모델에 대하여, 임의의 역온도 $\beta \in [0, +\infty]$에 대해 원점에서의 평균 스핀이 다음과 같이 소멸함을 명시한다:
$$\langle \sigma_x \rangle^+_\beta = \langle \sigma_x \rangle^-_\beta = 0$$
증명은 자화가 파라미터 $p=1/2$인 베르누이 사이트 퍼콜레이션에서 한 점이 경계와 연결될 확률에 의해 상계가 됨을 보이는 과정을 통해 진행된다. 정사각형 격자에서 사이트 퍼콜레이션의 임계 파라미터는 $p_c = 1/2$이므로, 시스템은 임계점에 있거나(또는 열린 클러스터가 열역학적 극한에서 거의 확실하게 형성되지 않는 의미에서 아임계적임), 이 맥ayısıyla 연결 확률이 부피가 무한대로 감에 따라 소멸한다.

Lebowitz와 Monroe에 의해 확립된 이 모델의 FKG 부등식의 유효성과 결합하여, 서로 다른 경계 조건 하에서의 국소 자화의 등가성은 모든 상관 함수(correlation functions)가 경계 조건으로부터 독립임을 의미한다. 결과적으로, 모든 온도에서 깁스 측도는 유일하다.

의의 및 범위
본 논문은 모든 온도에서 FAD 삼중점에서의 BEG 모델에 대한 상전이의 부재를 확립한다. 이는 이 특정 레짐에서 양의 $\beta$에서 상전이가 존재할 수 있는지에 대한 의문을 해결한다.

저자들은 자신들의 논증이 베르누이 사이트 퍼콜레이션의 임계 파라미터가 $1/2$보다 크거나 같다는 사실에 의존하고 있음을 언급한다. 이 결과는 임의의 무한 그래프 $G$에서 $p_c(\text{site}, G) \geq 1/2$인 경우로 확장 가능하다. 그러나 저자들은 $d \geq 3$인 차원에서는 $p_c(\text{site}, \mathbb{Z}^d) < 1/2$이므로, $p=1/2$ 퍼콜레이션에 의한 상계가 초임계(supercritical)가 된다는 점을 명시적으로 밝힌다. 이러한 고차원에서는 자화가 반드시 소멸하는 것은 아니며, 몬테카를로 시뮬레이션은 비자명한 상전이가 존재할 수 있음을 시사한다. 논문은 현재의 확률적 지배 접근법을 넘어서는 새로운 아이디어가 필요한 중간 차원에서의 유일성 또는 비유일성 증명은 여전히 미해결 과제로 남아 있다고 결론짓는다.