[論文レビュー] Graph limits and exchangeable random graphs

Persi Diaconis, Svante Janson|ArXiv.org|Dec 17, 2007

Limits and Structures in Graph Theory参考文献 17被引用数 279

ひとこと要約

この論文は、交換可能な確率的配列のデ・フィネッティの定理とグラフ極限理論の間の厳密な関係を確立し、交換可能な無限グラフがグラフンに基づくモデルの混合として生じることを示している。主な貢献は、任意の交換可能な無限有向グラフがランダムなグラフンを介してグラフ極限に対応することを証明する表現定理であり、古典的確率論と現代のグラフ極限理論を統合している。

ABSTRACT

We develop a clear connection between deFinetti's theorem for exchangeable arrays (work of Aldous--Hoover--Kallenberg) and the emerging area of graph limits (work of Lovasz and many coauthors). Along the way, we translate the graph theory into more classical probability.

研究の動機と目的

• 交換可能な配列のデ・フィネッティ理論を、発展中のグラフ極限理論と統合すること。
• 交換可能性と表現定理を用いて、グラフ極限理論の確率的基盤を明確化すること。
• アルドウス–フーバー表現定理を有向グラフおよびグラフ極限に拡張すること。
• グラフ極限が、ランダムなグラフンを伴う交換可能な無限グラフの分布と正確に対応することを示すこと。
• 交換可能な確率的配列と測度を保つ写像を用いて、グラフ極限の確率的解釈を提供すること。

提案手法

• 共同で交換可能な配列のアルドウス–フーバー表現定理を用い、エッジインジケーターを i.i.d. の一様確率変数の関数に分解する。
• 頂点にランダムラベルを割り当てた際のエッジ確率（ループインジケーターを含む）をエンコードする、$\mathbf{W} \in \mathcal{W}_5$ のグラフンの五重組を定義する。
• 独立な一様確率変数と可測関数を用いて、無限有向グラフ $G(\infty, \mathbf{W})$ および $G(\infty, \mathbf{W}, p)$ を構築する。
• デ・フィネッティの定理における極端点の特徴づけを適用し、このような交換可能なグラフの分布としてグラフ極限が生じることを示す。
• 測度を保つ写像を用いて、ループ確率を再パrameter化し、表現を四重組 $\mathbf{W}$ と周辺分布 $p$ に簡略化する。
• 有限グラフ $G(n, \mathbf{W})$ が $n \to \infty$ のときほとんど確実に極限に収束し、その極限がグラフン $\mathbf{W}$ によって特徴づけられることを確立する。

実験結果

リサーチクエスチョン

• RQ1 デ・フィネッティの定理における交換可能な配列を、確率的グラフおよびその極限をモデル化するためにどのように拡張できるか？
• RQ2 交換可能な確率的グラフの文脈において、グラフ極限の正確な確率的構造は何か？
• RQ3 有向グラフの文脈において、アルドウス–フーバー表現とデ・フィネッティ表現はどのように統合されるか？
• RQ4 どのような条件下で、グラフ極限が交換可能な確率的グラフの分布に対応するか？
• RQ5 交換可能な配列の表現を、一貫性を持って有向エッジとループを含めるように適合させることは可能か？

主な発見

• すべての交換可能な無限有向グラフは、ランダムなグラフン $\mathbf{W}$ を用いたグラフの混合として生じ、グラフ極限と一対一に対応する。
• グラフ極限 $\Gamma_{\mathbf{W}}$ は、任意の有限有向グラフ $F$ に対して、ホモモーティズム密度 $t(F, \Gamma_{\mathbf{W}}) = \mathbb{P}(F \subseteq G(k, \mathbf{W}))$ によって特徴づけられる。
• 有限グラフ $G(n, \mathbf{W})$ が $n \to \infty$ のときほとんど確実に $\Gamma_{\mathbf{W}}$ に収束する。これは極限の安定性を確認する。
• ループインジケーター $X_{ii}$ は交換可能な系列を形成し、その分布は i.i.d. のベルヌーイ($p$) 変数の混合である。これはデ・フィネッティの定理を回復する。
• 表現 $f_1(\xi_i)$ および $f_2(\xi_i, \xi_j, \xi_{ij})$ を用いた交換可能な配列の表現により、$[0,1]^4$ 上の可測関数を介してグラフ極限を構築できる。
• 集合 $\mathcal{D}_\infty$ 内のグラフ極限は、ちょうど $\mathbf{W} \in \mathcal{W}_5$ に対する分布 $\Gamma_{\mathbf{W}}$ あるいは同値に $\mathbf{W} \in \mathcal{W}_4$ および $p \in [0,1]$ に対する $\Gamma_{\mathbf{W},p}$ である。