[논문 리뷰] Uniqueness of the infinite tree in low-dimensional random forests

Noah Halberstam, Tom Hutchcroft|arXiv (Cornell University)|2023. 02. 23.

Stochastic processes and statistical mechanics참고 문헌 39인용 수 4

한 줄 요약

이 논문은 저차원 초입방 격자(d ≤ 4)에서, 임의의 이동 불변 길버트 측도가 거의 확실히 최대 한 개의 무한 트리를 포함함을 증명한다. 증명은 임의의 이동 불변 무작위 연결 부분그래프에 대해 ℤ^d 상의 균일 스패닝 숲이 d ≤ 4일 때 거의 확실히 연결됨을 보여주는 새로운 결과와 함께, 임의의 아르보레일 가스 측도에 대한 새로운 재표본 성질을 결합함으로써, 이 영역에서 무한 트리의 유일성을 해결한다.

ABSTRACT

The arboreal gas is the random (unrooted) spanning forest of a graph in which each forest is sampled with probability proportional to $β^{\# ext{edges}}$ for some $β\geq 0$, which arises as the $q o 0$ limit of the Fortuin-Kastelyn random cluster model with $p=βq$. We study the infinite-volume limits of the arboreal gas on the hypercubic lattice $\mathbb{Z}^d$, and prove that when $d\leq 4$, any translation-invariant infinite volume Gibbs measure contains at most one infinite tree almost surely. Together with the existence theorem of Bauerschmidt, Crawford and Helmuth (2021), this establishes that for $d=3,4$ there exists a value of $β$ above which subsequential weak limits of the $β$-arboreal gas on tori have exactly one infinite tree almost surely. We also show that the infinite trees of any translation-invariant Gibbs measure on $\mathbb{Z}^d$ are one-ended almost surely in every dimension. The proof has two main ingredients: First, we prove a resampling property for translation-invariant arboreal gas Gibbs measures in every dimension, stating that the restriction of the arboreal gas to the trace of the union of its infinite trees is distributed as the uniform spanning forest on this same trace. Second, we prove that the uniform spanning forest of any translation-invariant random connected subgraph of $\mathbb{Z}^d$ is connected almost surely when $d\leq 4$. This proof also provides strong heuristic evidence for the conjecture that the supercritical arboreal gas contains infinitely many infinite trees in dimensions $d\geq 5$. Along the way, we give the first systematic and axiomatic treatment of Gibbs measures for models of this form including the random cluster model and the uniform spanning tree.

연구 동기 및 목표

• 저차원에서 ℤ^d 상의 아르보레일 가스의 무한체적 극한이 유일한 무한 트리를 포함하는지 여부에 대한 오랫동안 열려 있던 문제를 해결하기 위해.
• d ≤ 4일 때, 아르보레일 가스의 임의의 이동 불변 길버트 측도가 거의 확실히 최대 한 개의 무한 트리를 포함함을 증명하기 위해.
• 랜덤 클러스터 모델 및 균일 스패닝 트리와 같은 모델들에 대한 길버트 측도에 대한 엄밀한 공리적 프레임워크를 제공하기 위해.
• 비판적 이상의 아르보레일 가스가 d ≥ 5에서 무한히 많은 무한 트리를 포함할 가능성이 있다는 강력한 힌트를 제시하기 위해.
• 모든 차원에서 ℤ^d 상의 이동 불변 길버트 측도에 속하는 무한 트리는 거의 확실히 한 끝을 가짐을 증명하기 위해.

제안 방법

• 이동 불변 아르보레일 가스 길버트 측도에 대해 재표본 성질을 도입하여, 무한 트리의 흔적에 대한 측도 제약이 그 흔적 상의 균일 스패닝 숲과 동일하게 분포됨을 보였다.
• d ≤ 4일 때, ℤ^d의 이동 불변 무작위 연결 부분그래프의 균일 스패닝 숲이 거의 확실히 연결됨을 증명하였다.
• 단조 무작위 그래프에서 무작위 보행의 무한 교차 성질에 대한 기준을 적용하였으며, 그 기준은 그린 함수 추정과 체적 성장 경계에 의존한다.
• 공간의 이진 분해와 스케일 간 그린 함수 비교를 통해 두 독립적인 무작위 보행 간 교차 수의 기댓값을 유계로 제한하였다.
• 파투의 보조정리와 마르코프 유형 부등식을 적용하여, 주어진 조건 하에서 총 기댓값 수의 교차 수가 무한함을 보였다.
• 바로폴로스-카르네 부등식과 확산 이동 추정을 활용하여 결과를 체적 성장이 다항식인 단조 무작위 그래프로 확장하였다.

실험 결과

연구 질문

• RQ1 d ≤ 4일 때, ℤ^d 상의 아르보레일 가스의 무한체적 극한이 유일한 무한 트리를 포함하는가?
• RQ2 d ≤ 4일 때, ℤ^d의 이동 불변 무작위 연결 부분그래프 상의 균일 스패닝 숲이 거의 확실히 연결되는가?
• RQ3 대칭 가정 없이도 아르보레일 가스 길버트 측도에 대한 재표본 성질를 확립할 수 있는가?
• RQ4 아르보레일 가스에서의 무한 트리(들)의 구조, 특히 그 끝의 구조는 어떠한가?
• RQ5 비판적 이상의 아르보레일 가스가 d ≥ 5에서 무한히 많은 무한 트리를 포함하는가?

주요 결과

• d ≤ 4일 때, ℤ^d 상의 아르보레일 가스의 임의의 이동 불변 길버트 측도가 거의 확실히 최대 한 개의 무한 트리를 포함한다.
• d ≤ 4일 때, ℤ^d의 이동 불변 무작위 연결 부분그래프의 균일 스패닝 숲이 거의 확실히 연결된다.
• 모든 차원에서 ℤ^d 상의 이동 불변 길버트 측도에 속하는 무한 트리는 거의 확실히 한 끝을 가진다.
• 증명은 초비판적 아르보레일 가스가 d ≥ 5에서 무한히 많은 무한 트리를 포함할 가능성이 있다는 강력한 힌트를 제공한다.
• d ≤ 4일 때, β₀(d) > 0이 존재하여, d차원 토러스 상의 β-아르보레일 가스의 부분수렴 약한 극한이 β > β₀(d)일 때 거의 확실히 정확히 한 개의 무한 트리를 포함한다.
• 모든 차원에서 이동 불변 아르보레일 가스 길버트 측도에 대해 재표본 성질이 성립하며, 이는 무한 트리의 흔적에 제약된 측도가 그 흔적 상의 균일 스패닝 숲과 동일하게 분포됨을 의미한다.