[論文レビュー] The continuum random tree is the scaling limit of unlabelled unrooted trees

Benedikt Stufler|arXiv (Cornell University)|Dec 19, 2014

Stochastic processes and statistical mechanics参考文献 30被引用数 11

ひとこと要約

本稿では、n 個の頂点と頂点次数が固定された集合 Ω に制限された均一なラベルなし根なし木が、適切なスケーリングを施した後、Gromov–Hausdorff 意味でブラウン運動連続確率木（CRT）に収束することを確立し、アロウズの長年の予想を裏付ける。証明は、ラベルなし根なし木と大きなポリア木を結合するための新規なサイクルポイント分解を用い、根付き構造から非根付き構造への漸近的性質の転送を可能にする。

ABSTRACT

We prove that the uniform unlabelled unrooted tree with n vertices and vertex degrees in a fixed set converges in the Gromov-Hausdorff sense after a suitable rescaling to the Brownian continuum random tree. This proves a conjecture by Aldous. Moreover, we establish Benjamini-Schramm convergence of this model of random trees.

研究の動機と目的

• 頂点次数が制限されたラベルなし根なし木のスケーリング極限がブラウン運動連続確率木（CRT）であるというアロウズの予想を解決すること。
• ラベルなし根なし木が無限の根付き極限木に向けてBenjamini–Schramm収束することを確立すること。
• アドディティブおよび極値的グラフパラメータの漸近的性質をポリア木からラベルなし根なし木に転送する一般化された近似フレームワークを構築すること。
• 根付きおよび非根付き木モデルの両方における頂点次数制限を統一的に取り扱うこと。

提案手法

• ボディルスキー他によるサイクルポイント分解を用い、非根付き木をサイクルを中心に据え、ほぼ同じサイズのポリア木と結合可能にする。
• サイクルに接続された部分木のサイズと総サイズを追跡する2変数生成関数を用い、サイクル長および部分木サイズの分布を分析する。
• 特異点解析および局所極限定理を適用し、ポリア木の生成関数構造を活用して、コアおよび接続された部分木のサイズに関する漸近的境界を導出する。
• 非根付き木と、大きなポリア木と小さな残差部分木の根頂点を同一視して得られる木との間の全変動距離の境界を確立する。
• 出次数が Ω* に属するポリア木の生成関数が半径 ρ で支配的特異点を持つことを利用し、正確な漸近的数え上げを可能にする。
• 転送定理を適用し、非根付き木における局所的パラメータ（例：次数、部分木数）の分布が、対応するポリア木モデルの性質を継承することを示す。

実験結果

リサーチクエスチョン

• RQ1 頂点数 n で頂点次数が固定された集合 Ω に属する均一なラベルなし根なし木が、$ e_ ext{Ω} n^{-1/2} $ でスケーリングされた後、Gromov–Hausdorff 意味でブラウン運動連続確率木に収束するか？
• RQ2 均一なラベルなし根なし木は Benjamini–Schramm 意味で無限の根付き木に収束するか？ もし収束するならば、その極限は何か？
• RQ3 ラベルなし根なし木における極値的およびアドディティブなグラフパラメータ（例：直径、最大次数、部分木数）の漸近的挙動は、それらがポリア木でどのように振る舞うかから導けるか？
• RQ4 頂点次数制限の下で、ラベルなし根なし木におけるコア（サイクル構造）および接続された部分木のサイズの正確な漸近的分布は何か？
• RQ5 サイクルポイント分解は、非根付き木とポリア木の間で定量的な結合をどのように可能にし、誤差境界は何か？

主な発見

• 頂点数 n で頂点次数が固定された集合 Ω に属する均一なラベルなし根なし木が、$ e_ ext{Ω} n^{-1/2} $ でスケーリングされた後、Gromov–Hausdorff 意味でブラウン運動連続確率木に収束する。これはアロウズの予想を裏付ける。
• 直径 $ extsc{D}( extsf{T}_n) $ はガウス型の尾部境界を満たす：$ bP( extsc{D}( extsf{T}_n) eq x) o 0 $ は指数的に速く、$ bP( extsc{D}( extsf{T}_n) eq x) eq C bexp(-c x^2 / n) $ となる定数 $ C, c > 0 $ を持つ。
• ランダムなラベルなし根なし木 $ extsf{T}_n $ は Benjamini–Schramm 意味で無限の根付き木 $ extsf{A}_{ ext{Ω}^*} $ に収束し、半径 $ k_n = o(bsqrt{n}) $ の局所的近傍が全変動距離で収束する。
• ある結合が存在し、$ extsf{T}_n $ と、大きなポリア木 $ extsf{A}_{K_n} $ と小さな残差部分木 $ extsf{B}_n $ の根頂点を同一視して得られる木との間の全変動距離が $ C bexp(-c n) $ で有界である。ここで $ K_n = n + O_p(1) $ である。
• 近似フレームワークにより、直接的な解析なしに、ポリア木からラベルなし根なし木への漸近的性質（例：次数分布、部分木数、最大次数）の転送が可能である。
• 長さ $ u_ ext{ℓ} $ のサイクルおよび接続された部分木の数の生成関数は、収束半径が 1 より大きい級数により係数ごとに有界であり、サイクル関連パラメータの指数的尾部境界を示唆する。