[論文レビュー] 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）において、任意の並進不変なギブス測度が、ほとんど確実に高々1本の無限大木を含むことを確立する。証明は、アーバーラルガス測度に新たなリサンプリング性質を組み合わせ、任意のℤ^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 において、アーバーラルガスの任意の並進不変ギブス測度が、ほとんど確実に高々1本の無限大木を含むことを確立すること。
• ランダムクラスターモデルや均一スパニングツリーのようなモデルにおけるギブス測度の厳密な公理的枠組みを提供すること。
• d ≥ 5 において、上側のアーバーラルガスが無限に多くの無限大木を含む可能性があるという強いヒューリスティックな証拠を提示すること。
• すべての次元において、ℤ^d 上の任意の並進不変ギブス測度における無限大木が、ほとんど確実に1端であることを示すこと。

提案手法

• 並進不変なアーバーラルガスギブス測度に対して、リサンプリング性質を導入し、無限大木のトレースへの測度の制限が、そのトレース上の均一スパニングツリーと同一分布であることを示す。
• d ≤ 4 において、ℤ^d の並進不変なランダム連結部分グラフの均一スパニングツリーが、ほとんど確実に連結であることを証明する。
• ユニモジュラーなランダムグラフにおける無限交差性質の基準を適用し、グリーン関数の推定と体積成長の境界に依存する。
• 空間のダイアディック分解とスケール間のグリーン関数比較を用いて、2つの独立したランダムウォークの交差回数の期待値を評価する。
• ファトウの補題とマーカフ型不等式を適用し、与えられた条件下で交差回数の総期待値が無限大であることを示す。
• バロパウルス＝カーネの不等式と拡散的移動距離の推定を用いて、多項式的体積成長を示すユニモジュラーなランダムグラフへ結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 d ≤ 4 において、ℤ^d 上のアーバーラルガスの無限体積極限に一意な無限大木が含まれるか？
• RQ2 d ≤ 4 において、ℤ^d の並進不変なランダム連結部分グラフにおける均一スパニングツリーがほとんど確実に連結か？
• RQ3 対称性の仮定なしに、アーバーラルガスギブス測度のリサンプリング性質を確立できるか？
• RQ4 特にそのエンド構造に関して、アーバーラルガスにおける無限大木（たち）の構造はいかなるものか？
• RQ5 d ≥ 5 において、上側のアーバーラルガスが無限に多くの無限大木を含むか？

主な発見

• d ≤ 4 において、ℤ^d 上のアーバーラルガスの任意の並進不変ギブス測度が、ほとんど確実に高々1本の無限大木を含む。
• d ≤ 4 において、ℤ^d の並進不変なランダム連結部分グラフの均一スパニングツリーが、ほとんど確実に連結である。
• すべての次元において、ℤ^d 上の任意の並進不変ギブス測度における無限大木は、ほとんど確実に1端である。
• 証明は、d ≥ 5 において上側のアーバーラルガスが無限に多くの無限大木を含む可能性があるという強いヒューリスティックな証拠を提供する。
• d ≤ 4 において、β₀(d) > 0 が存在し、d次元トーラス上のβ-アーバーラルガスの部分列弱収束が、β > β₀(d) のときほとんど確実に正確に1本の無限大木を含む。
• すべての次元において、並進不変なアーバーラルガスギブス測度に対してリサンプリング性質が成り立ち、無限大木のトレースへの制限が、そのトレース上の均一スパニングツリーと同一分布である。