[논문 리뷰] Uniform even subgraphs and graphical representations of Ising as factors of i.i.d

Omer Angel, Gourab Ray외 1명|arXiv (Cornell University)|2021. 12. 06.

Markov Chains and Monte Carlo Methods인용 수 4

한 줄 요약

이 논문은 다양한 조건, 특히 비음성 외부 필드가 존재할 경우를 포함하여, Ising 모델의 핵심 그림적 표현인 Loop $O(1)$ 모델이 단일 무작위 그래프에서의 i.i.d. 요소의 곱임을 입증한다. 주요 결과로는, 국소적으로 유한한 이중을 갖는 단순 평면 맵에서 자유 Ising 모델의 기울기가 인접성에 따라 i.i.d. 요소의 곱임을 보이며, 이는 균일한 짝수 부분그래프의 국소적 극한 이론과 와이어드 균일 스패닝 트리(WUSF)에 대한 i.i.d. 요소의 구성에 의해 달성된다.

ABSTRACT

We prove that the Loop O(1) model, a well-known graphical expansion of the Ising model, is a factor of i.i.d. on unimodular random rooted graphs under various conditions, including in the presence of a non-negative external field. As an application we show that the gradient of the free Ising model is a factor of i.i.d. on unimodular planar maps having a locally finite dual. The key idea is to develop an appropriate theory of local limits of uniform even subgraphs with various boundary conditions and prove that they can be sampled as a factor of i.i.d. Another key tool we prove and exploit is that the wired uniform spanning tree on a unimodular transient graph is a factor of i.i.d. This partially answers some questions posed by Hutchcroft.

연구 동기 및 목표

• 무한 그래프에서 Loop $O(1)$ 모델이 i.i.d. 요소의 곱으로 표현될 수 있는지 여부를 규명하는 것 — 이는 확률과정론과 통계역학 분야의 핵심 질문이다.
• 무모듈라 랜덤 루트 그래프에서 균일한 짝수 부분그래프와 와이어드 균일 스패닝 트리(WUSF)에 대한 i.i.d. 요소 이론을 확장하는 것.
• Hutchcroft가 제기한 비유한군에서 Ising 모델의 단계전이 연속성 문제를 i.i.d. 요소 표현을 통해 해결하는 것.
• 무한 그래프에서 자유 및 와이어드 Loop $O(1)$ 측도가 그래프 요소로서 i.i.d. 요소로 나타나는 조건을 설정하는 것, 특히 평면적이고 비반복적인 설정에서의 경우.
• Ising 상관함수 수렴에 의존하지 않는, 직접적인 거의확실 수렴 증명을 제공함으로써, 순차적 수축에 대한 Loop $O(1)$ 측도의 수렴을 대체로 명시적으로 입증하는 것.

제안 방법

• 균일한 짝수 부분그래프의 국소적 극한 이론을 개발하며, 다양한 경계 조건 하에서 이들이 i.i.d. 요소의 곱으로 샘플링 가능하다는 것을 보임.
• 무모듈라 비반복 그래프에서 와이어드 균일 스패닝 트리(WUSF)가 i.i.d. 요소의 곱임을 증명함. 이는 무모듈라 랜덤 루트 그래프의 성질과 확률적 지배를 활용함.
• FK-Ising 표현을 활용하여 Loop $O(1)$ 모델을 랜덤 클러스터 모델의 균일한 짝수 부분그래프와 연결함. 이는 쌍대성과 간선/정점 가중치 매개변수를 활용함.
• Timár의 결과를 응용하여, 평면 맵의 유한 차수를 갖는 면들로 주어진 순환을 생성함으로써, 평면 맵에서 자유 Loop $O(1)$ 모델에 대한 i.i.d. 요소의 곱을 구성함.
• 자동형 불변 가측 함수를 활용하여 그래프 요소의 i.i.d. 요소를 정의함으로써, 그래프 자동형에 대한 불변성과 가측성을 보장함.
• 무모듈라 랜덤 루트 그래프에서 자유 및 와이어드 Loop $O(1)$ 측도가 평면성, 이중의 국소 유한성, FK-Ising 클러스터의 비반복성 등의 조건 하에서 i.i.d. 요소의 곱임을 입증함.

실험 결과

연구 질문

• RQ1 무한 무모듈라 랜덤 루트 그래프에서 Loop $O(1)$ 모델이 i.i.d. 요소의 곱이 되는 조건은 무엇인가?
• RQ2 무모듈라 비반복 그래프에서 와이어드 균일 스패닝 트리(WUSF)는 i.i.d. 요소의 곱인가?
• RQ3 무모듈라 평면 맵에서 국소적으로 유한한 이중을 갖는 자유 Ising 모델의 기울기는 i.i.d. 요소의 곱으로 표현될 수 있는가?
• RQ4 FK-Ising 모델에서 각 정점를 통과하는 지오데식 순환의 수가 유한하면, Loop $O(1)$ 모델은 i.i.d. 요소의 곱이 되는가?
• RQ5 $x > 1$ 또는 $y > 1$ 인 경우, 자유 또는 와이어드 Loop $O(1)$ 측도는 여전히 무한 그래프에서 잘 정의되고 i.i.d. 요소의 곱인가?

주요 결과

• 기저 그래프가 비반복적이고, FK-Ising 모델에서 각 정점를 통과하는 지오데식 순환의 수가 유한할 경우, Loop $O(1)$ 모델은 무모듈라 랜덤 루트 그래프에서 i.i.d. 요소의 곱이다.
• 무모듈라 비반복 그래프에서 와이어드 균일 스패닝 트리(WUSF)는 i.i.d. 요소의 곱이며, 이는 Hutchcroft가 제기한 질문의 부분적 해결을 제공한다.
• 국소적으로 유한한 이중을 갖는 무모듈라 평면 맵에서 자유 Ising 모델의 기울기는 i.i.d. 요소의 곱이며, 이는 해당 맵에서 자유 Loop $O(1)$ 모델이 i.i.d. 요소의 곱이기 때문이다.
• 평면 맵에서, 유한 차수를 갖는 면들의 집합은 자유 순환 공간을 생성하며, 각 면에 무작위의 기수를 할당하면 자유 Loop $O(1)$ 모델에 대한 i.i.d. 요소의 곱이 된다.
• 아메니블리고, 정점에 대해 추이적인 경우, 자유 및 와이어드 Loop $O(1)$ 측도는 임계점에서 벗어난 영역에서 일치하며, 이에 따라 Theorem 1.1을 적용하여 i.i.d. 요소의 곱 성질을 도출할 수 있다.
• $x > 1$ 또는 $y > 1$ 인 경우, 이중성에 의해 Loop $O$(1) 모델은 여전히 i.i.d. 요소의 곱이 될 수 있다. 열린 간선이나 정점을 보완하면 매개변수 값이 $[0,1]$ 범위로 변환되며, 이에 따라 주요 정리가 적용된다.