재귀 그래프에서 균등 스패닝 포레스트와 이징 모델을 FiID로 구현하는 새로운 방법

초록

**
본 논문은 ‘단조적 약한극한’과 ‘독립적 확률적 지배’라는 두 조건을 만족하는 퍼콜레이션 과정을, 무한히 큰 무작위 그래프에서 iid 라벨을 이용한 factor of iid (FiID) 로 구현할 수 있음을 보인다. 이를 통해 재귀 그래프에서는 균등 스패닝 포레스트(USF)가 FiID가 되고, 가환성(amenability)을 갖는 그래프에서는 USF와 임계 온도에서의 이징 모델이 유한값 유한정지 FiID 로 구성될 수 있음을 증명한다.

**

상세 분석

**
논문은 먼저 단조적 약한극한(monotone weak limit) 의 개념을 정의한다. 여기서 ‘호환성(compatible)’은 모든 유한 연결 그래프 H에 대해, H의 부분 그래프들 {H_i}가 서로 정점‑분리될 때, 각 H_i에 대한 확률분포 μ_{H_i}를 독립적으로 샘플링한 뒤 그 합집합이 H 전체에 대한 μ_H 를 확률적 지배(stochastic domination) 하도록 요구한다. 이 조건은 기존의 Rayleigh 단조성이나 FK‑클러스터 모델의 경계조건에 대한 지배 관계와 일치한다.

다음으로 무작위 루트 그래프(URGs) 와 불변적 가환성(invariant amenability) 을 가정한다. 가환성은 유한 컴포넌트를 갖는 증가하는 부분 그래프 열 {Γ_n}이 존재함을 의미하며, 이러한 Γ_n 자체를 FiID로 만들 수 있다는 Lemma 3을 이용한다.

핵심 정리(정리 4)는 “μ가 단조적 약한극한이면 μ는 FiID이다”라는 선언이다. 증명은 Γ_n‑local한 단계별 구성으로 진행된다. 각 단계 n에서, 유한 그래프 H에 대해 미리 정의된 코딩 맵 φ_n을 사용해 μ_H 를 구현하고, Strassen의 정리를 통해 μ_H 와 {μ_{H_i}} 사이의 확률적 지배를 만족하도록 가장자리들을 추가·제거한다. 이렇게 하면 각 단계에서 얻어지는 ω_{Γ_n} 은 FiID이며, 각 가장자리는 최대 두 번만 상태가 바뀌므로 n→∞ 한계 ω_G 가 거의 surely 존재하고 역시 FiID가 된다.

이 일반 프레임워크를 구체적인 모델에 적용한다.

1. Uniform Spanning Forest (USF): 재귀 URG에서는 자유와 유선 USF가 일치한다는 사실(