[论文解读] Uniqueness of the infinite tree in low-dimensional random forests

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

Stochastic processes and statistical mechanics参考文献 39被引用 4

一句话总结

该论文证明，在低维超立方晶格（d ≤ 4）中，任意平移不变的吉布斯测度在树状气体模型中几乎必然至多包含一棵无限树。证明结合了树状气体测度的新颖重采样性质与一项新结果：当 d ≤ 4 时，ℤ^d 的任意平移不变随机连通子图上的均匀生成树森林几乎必然连通，从而解决了该参数范围内无限树唯一性的难题。

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 上的无限树几乎必然为单端（one-ended）

提出的方法

• 引入平移不变树状气体吉布斯测度的重采样性质，表明该测度在无限树迹上的限制分布等价于该迹上的均匀生成树森林。
• 证明当 d ≤ 4 时，ℤ^d 的任意平移不变随机连通子图上的均匀生成树森林几乎必然连通。
• 应用基于格林函数估计与体积增长界的一般性随机游走无限交集性质判别准则，适用于单模随机图。
• 利用空间的 dyadic 分解与不同尺度间格林函数的比较，以界定两条独立随机游走的期望交点数。
• 应用 Fatou 引理与马尔可夫型不等式，证明在给定条件下，总期望交点数为无穷大。
• 利用 Varopoulos-Carne 不等式与扩散位移估计，将结果推广至具有多项式体积增长的单模随机图。

实验结果

研究问题

• 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) 时几乎必然恰好包含一棵无限树。
• 在所有维度中，所有平移不变树状气体吉布斯测度均满足重采样性质：其在无限树迹上的限制分布等价于该迹上的均匀生成树森林。