[論文レビュー] Weak Convergence of Laws of Finite Graphs

Igor Artemenko|arXiv (Cornell University)|Mar 29, 2011

Topological and Geometric Data Analysis参考文献 2被引用数 3

ひとこと要約

本稿では、局所的に有限な根付きグラフの同型類の空間に、有限グラフの確率測度（経験的測度）の弱収束を可能にするための距離 ρ を導入する。根付きグラフの収束が弱収束を意味するとは限らないが、無限の3正則木の有限部分木の列のような特定の列は、非退化なユニモジュラー極限測度に弱収束することが示される。主な貢献は、有限グラフの測度の弱極限として非退化なユニモジュラー極限測度を構成することにある。

ABSTRACT

The law of a finite graph is a probability measure induced by the orbits of the graph under its automorphism group. Every law satisfies the intrinsic mass transport principle, which is also known as unimodularity. We discuss the convergence of sequences of laws of finite graphs. Of particular importance is a conjecture proposed by Aldous and Lyons that claims every unimodular measure is a limit of a sequence of laws. Aside from this open problem, other directions of research are also mentioned. We work out in detail a number of results and examples, some of which are new, and others that have been previously stated without proofs. These results include a new characterization of laws of finite connected graphs, a description of the topological space of paths, and a proof that the compact space of weak limits of laws is convex.

研究の動機と目的

• 局所的に有限な根付きグラフの同型類の空間に距離 ρ を形式化し、グラフ列の収束を研究すること。
• 根付きグラフの収束とそれらの経験的測度（法則）の弱収束との関係を調査すること。
• ユニモジュラー測度が有限グラフの法則の弱極限として生じるかどうかを検討すること。
• 特に木構造やハイパーファイニットグラフ族の文脈において、このような極限の明示的例を構成すること。
• ユニモジュラー性と自己同型に関する不変性が、グラフ列の極限挙動に果たす役割を検討すること。

提案手法

• 局所的に有限な連結根付きグラフの同型類の空間 bG に、根の周りの r-ボールが同型となる最大の r に基づいて距離 ρ を定義する。
• ρ が非アーベル的距離（ultrametric）であることを証明し、収束に強い位相的性質を保証する。
• 有限グラフ G の法則 Ψ(G) を、その頂点上での一様経験的測度として定義する。
• bG 上の有界連続関数 f を用いて、∫f dΨ(Gn) → ∫f dμ により弱収束をテストする。
• 無限の3正則木 T∞ の有限部分木 Tk を根 t で根付きとして構成し、Ψ(Tk) の弱極限を分析する。
• 弱極限 μ が、葉から t へのレイトに沿った i 番目の頂点を根とする無限路 S に対して μ[S, ui] = 1/2^i を満たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 根付きグラフの収束は、それらの法則の弱収束を意味するか？
• RQ2 ユニモジュラー測度が有限グラフの法則の弱極限として生じるか？
• RQ3 無限正則木の有限部分木の法則の弱極限の構造は何か？
• RQ4 ハイパーファイニットグラフ族は、ユニモジュラー極限の存在とどのように関係するか？
• RQ5 任意の頂点推移的無限グラフ上のディラック測度 δ[P∞,·] はユニモジュラーか？

主な発見

• 距離 ρ は well-defined であり、局所的に有限な根付きグラフの同型類の空間 bG 上で非アーベル的距離を形成する。
• 無限の3正則木 T∞ の有限部分木 Tk の列は、ρ-距離で [T∞, t] に収束するが、法則 Ψ(Tk) は δ[T∞,t] に弱収束しない。
• 法則 Ψ(Tk) は、bG3 上のユニモジュラー確率測度 μ に弱収束し、無限路 S を根とする i 番目の頂点 ui に対して μ[S, ui] = 1/2^i を満たす。
• 極限測度 μ は非退化であり、各々が指数的に質量が減少する可算個の根付きパスの上に台を持つ。
• ディラック測度 δ[P∞,·] はユニモジュラー性の不変性条件を満たしており、頂点推移的グラフにおけるより広範なユニモジュラー性を示唆する。
• 有限路の集合はハイパーファイニットであり、有限個のハイパーファイニットグラフ族の和集合も依然としてハイパーファイニットである。