[論文レビュー] Limits of compact decorated graphs

László Lovász, Balázs Szegedy|arXiv (Cornell University)|Oct 25, 2010

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

ひとこと要約

この論文は、コンパクトな第二可分ハウスドルフ空間 𝒦 の要素によってラベル付けされた辺をもつコンパクトな装飾付きグラフへのグラフ極限理論の一般化を提示する。同論文は、装飾付きグラフのホモモーフィズム密度を用いた収束を確立し、極限対象を [0,1]² から 𝒦 上の確率測度への対称的可測関数 W: [0,1]² → Δ(𝒦) として構成する。これは、重み付きグラフ、多重グラフ、エッジ彩色グラフ構造を厳密な位相的・測度論的基礎の上に、グラフン枠組みへと拡張するものである。

ABSTRACT

Following a general program of studying limits of discrete structures, and motivated by the theory of limit objects of converge sequences of dense simple graphs, we study the limit of graph sequences such that every edge is labeled by an element of a compact second-countable Hausdorff space K. The "local structure" of these objects can be explored by a sampling process, which is shown to be equivalent to knowing homomorphism numbers from graphs whose edges are decorated by continuous functions on K. The model includes multigraphs with bounded edge multiplicities, graphs whose edges are weighted with real numbers from a finite interval, edge-colored graphs, and other models. In all these cases, a limit object can be defined in terms of 2-variable functions whose values are probability distributions on K.

研究の動機と目的

• コンパクトで第二可分なハウスドルフ空間 𝒦 の要素によってエッジが装飾されるグラフ列のグラフ極限理論を一般化すること。
• サンプリング分布とホモモーフィズム密度を用いて、このような装飾付きグラフ列の収束を定義すること。
• Δ(𝒦) が 𝒦 上の確率測度の空間であるとき、極限対象を対称的可測関数 W: [0,1]² → Δ(𝒦) として構成すること。
• 連続関数で装飾されたグラフに対して、ホモモーフィズム密度の収束と同値である収束を示すこと。
• 重み付きグラフ、多重グラフ、エッジ彩色グラフの既存の枠組みを、単一の位相的・関数解析的構造へと統合・拡張すること。

提案手法

• S-装飾付きグラフを、集合 S に値をとる対称行列として導入し、エッジ装飾のラベル空間として 𝒦 を用いる。
• k 個のランダムなノードを選択し、それらの上にエッジ装飾を保持する部分グラフを誘導するサンプリングプロセス 𝔾(G,k) を定義する。
• F-装飾付きグラフ F と G-装飾付きグラフ G に対して、ホモモーフィズム数 hom(F,G) と密度 t(F,G) を定義する。ここで F は 𝒦 上の連続関数で装飾される。
• グラフ列の収束基準として、サンプリング分布の弱収束を用いる。
• 弱正則分割と同時収束技術を用いて、ステップ関数による近似を通じて極限対象を構成する。
• モーメント列の収束を示し、可測関数に対する有界マルティンゲール収束を用いることで、極限対象 W: [0,1]² → Δ(𝒦) の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな位相空間 𝒦 の要素によってエッジがラベル付けされたグラフのグラフ極限理論は、どのように拡張可能か？
• RQ2 サンプリング分布とホモモーフィズム密度の観点から、𝒦-装飾付きグラフ列の収束を保証する条件は何か？
• RQ3 Δ(𝒦) が 𝒦 上の確率測度の空間であるとき、極限対象 W: [0,1]² → Δ(𝒦) を可測関数として構成できるか？
• RQ4 連続関数で装飾された F-装飾付きグラフのすべてに対して、装飾付きグラフ列の収束がホモモーフィズム密度の収束と同値であるか？
• RQ5 このような極限対象の存在性と可測性を保証するために必要な位相的・関数解析的道具は何か？

主な発見

• 𝒦-装飾付きグラフ列の収束は、すべての k に対してそのサンプリング分布の弱収束と同値である。
• 収束する 𝒦-装飾付きグラフ列の極限は、Δ(𝒦) が 𝒦 上のボレル確率測度の空間であるとき、対称的可測関数 W: [0,1]² → Δ(𝒦) として存在する。
• 装飾集合が C(𝒦) において生成系をなす限り、連続装飾を持つすべての F-装飾付きグラフ F に対して、ホモモーフィズム密度 t(F,G) は t(F,W) に収束する。
• 極限対象 W は、ステップ関数近似の列と有界マルティンゲール収束を用いて構成され、モーメント列のほとんど everywhere 収束を保証する。
• すべての F に対して t(F,W) = limₙ t(F,Gₙ) が成り立ち、ほとんどすべての (x,y) ∈ [0,1]² に対して W(x,y) は 𝒦-モーメント列である。
• この構成は、単純グラフおよび重み付きグラフの既知の結果を一般化し、有界なエッジ多重度をもつ多重グラフ、実数値重み付きグラフ、エッジ彩色グラフを、一つの枠組みで統一的に扱える。