[논문 리뷰] Finitary codings for gradient models and a new graphical representation for the six-vertex model

Gourab Ray, Yinon Spinka|arXiv (Cornell University)|2019. 08. 23.

Markov Chains and Monte Carlo Methods참고 문헌 52인용 수 9

한 줄 요약

이 논문은 여러 통계역학 모델—이징, 푸츠, 비치, 여섯변자—의 기울기(gradinet)가 모든 온도에서, 상전이 점 이하에서도 원래 모델이 유한성에 기반하지 않을 때조차도 i.i.i.d. 과정의 유한성에 기반한 요소임을 보여준다. 국소적이고 이동 불변인 정보(기울기)에 집중함으로써 전역적 스핀 반전 대칭성이라는 장애물을 우회함으로써, 유한성에 기반한 요소가 되지 못하는 장애는 오직 전역적 정보에 있으며 국소적 구조는 아님을 입증한다.

ABSTRACT

It is known that the Ising model on $\mathbb {Z}^d$ at a given temperature is a finitary factor of an i.i.d. process if and only if the temperature is at least the critical temperature. Below the critical temperature, the plus and minus states of the Ising model are distinct and differ from one another by a global flip of the spins. We show that it is only this global information which poses an obstruction for being finitary by showing that the gradient of the Ising model is a finitary factor of i.i.d. at all temperatures. As a consequence, we deduce a volume-order large deviation estimate for the energy. A similar result is shown for the Potts model. A result in the same spirit is also shown for the six-vertex model, which is itself the gradient of a height function, with parameter $c \gtrapprox 6.4$. We show that the gradient of the height function is not a finitary factor of an i.i.d. process, but that its "Laplacian" is. For this, we introduce a coupling between the six-vertex model with $c\ge 2$ and a new graphical representation of it, reminiscent of the Edwards--Sokal coupling between the Potts and random-cluster models. We believe that this graphical representation may be of independent interest and could serve as a tool in further understanding of the six-vertex model. To provide further support for the ubiquity of this type of phenomenon, we also prove an analogous result for the so-called beach model. The tools and techniques used in this paper are probabilistic in nature. The heart of the argument is to devise a suitable tree structure on the clusters of the underlying percolation process (associated to the graphical representation of the given model), which can be revealed piece-by-piece via exploration.

연구 동기 및 목표

• 일부 겔즈 측정이 i.i.i.d. 과정의 유한성에 기반한 요소가 되지 못하는 데에 기여하는 근본적 장애를 규명하는 것.
• 기울기 구성에 의한 전역적 스핀 반전 대칭성 제거가 유한성에 기반한 요소 성질을 복원함을 보여주는 것.
• 베르누울리 시스템을 초월해 다수의 겔즈 측정을 가진 모델로까지 유한성 코딩 결과를 확장하는 것.
• c ≥ 2인 여섯변자 모델에 대해 에드워즈–소칼 유사 그래픽 표현을 도입하는 것.
• 복잡한 모델의 기울기가 유한성에 기반한 요소가 되는 조건, 특히 랜덤 클러스터 모델의 유일성과의 관계를 탐색하는 것.

제안 방법

• 스핀 모델의 기울기를 간선을 따라 스핀 상태의 국소적 차이로 정의하여 이산 기울기 정보를 포착한다.
• 기울기 장에 대해 유한성 코딩 기법을 적용하여, 기울기의 원점에서의 재구성에 유한하고 랜덤 반경의 i.i.i.d. 입력 관측만 필요하다는 것을 보여준다.
• 여섯변자 모델과 새로운 그래픽 표현 간의 커플링을 적용하여 모델의 구조와 코딩 성질을 분석한다.
• 관련된 랜덤 클러스터 모델에서 자유 및 와이어드 측정의 유일성과 기울기의 유한성에 기반한 요소 성질 간의 등가성을 이용한다.
• 단조성(FKG) 모델과 일반적인 유한성 코딩 이론의 결과를 적용하여 기울기가 유한성에 기반한 요소가 되는 조건을 설정한다.
• 에너지에 대한 볼륨 순서의 대 deviations 추정치를 활용하여 코딩 반경 尾행동을 뒷받침한다.

실험 결과

연구 질문

• RQ1 이징 및 푸츠 모델의 기울기가 임의의 온도, 특히 임계 온도 이하에서도 i.i.i.d. 과정의 유한성에 기반한 요소가 될 수 있는가?
• RQ2 비치 모델의 기울기가 i.i.i.d. 과정의 유한성에 기반한 요소가 되는 조건은 무엇인가?
• RQ3 c가 크고 c ≥ 2인 여섯변자 모델(F-모델)에서 스핀 장의 절대값이 i.i.i.i. 과정의 유한성에 기반한 요소인가?
• RQ4 랜덤 클러스터 모델이 유일한 겔즈 측정을 가지는 경우, 위도움–로윙송 모델의 절대 스핀 장이 유한성 코딩을 허용하는가?
• RQ5 하드코어 모델의 짝수 겔즈 측정에 대한 비자명한 함수가 (Z^d)even-유한성에 기반한 요소로 i.i.i.d. 과정의 결과가 될 수 있는가?

주요 결과

• 역온도 β > βc(d)에서 이징 모델의 기울기는 기울기 반경이 지수 꼬리 분포를 가지는 i.i.i.d. 과정의 유한성에 기반한 요소이다.
• q-상태 푸츠 모델의 기울기는 관련된 랜덤 클러스터 모델의 자유 및 와이어드 측정이 일치할 때에만 유한성에 기반한 요소이다.
• q-형태의 비치 모델 기울기는 관련된 랜덤 클러스터 모델의 자유 및 와이어드 측정이 일치할 때에만 유한성에 기반한 요소이다.
• c ≥ 2이면서 평탄한 경계 조건을 가진 여섯변자 모델(F-모델)에서 이산 기울기의 절대값은 i.i.i.d. 과정의 유한성에 기반한 요소이지만, 기울기 및 라플라스 연산자 자체는 그렇지 않다.
• 저온에서 기울기 연산은 손실이 없으며, 원래 스핀 구성은 원래 모델이 유한성에 기반하지 않더라도 기울기로부터 완전히 복원 가능하다.
• 논문은 전역적 스핀 반전 대칭성이 오직 유한성 코딩을 방해하는 장애이며, 기울기—국소적 정보만 포함하는 것—는 항상 유한성에 기반한 요소로 코딩 가능하다는 것을 입증한다.