[論文レビュー] Limits of dense graph sequences

László Lovász, Balázs Szegedy|ArXiv.org|Aug 12, 2004

Limits and Structures in Graph Theory参考文献 5被引用数 10

ひとこと要約

この論文は、任意の収束する稠密グラフ列が、対称的で可測な関数 $W: [0,1]^2 \to [0,1]$ の形をした一意的な極限対象を持つことを確立し、その関数が積分公式を通じてすべての部分グラフ密度の極限を符号化することを示している。主な貢献は、反射正定性とこのような $W$-極限の存在を用いて、ホモモーフィズム密度の極限として生じるグラフパラメータを完全に特徴づけることにある。

ABSTRACT

We show that if a sequence of dense graphs has the property that for every fixed graph F, the density of copies of F in these graphs tends to a limit, then there is a natural ``limit object'', namely a symmetric measurable 2-variable function on [0,1]. This limit object determines all the limits of subgraph densities. We also show that the graph parameters obtained as limits of subgraph densities can be characterized by ``reflection positivity'', semidefiniteness of an associated matrix. Conversely, every such function arises as a limit object. Along the lines we introduce a rather general model of random graphs, which seems to be interesting on its own right.

研究の動機と目的

• 稠密グラフ列における部分グラフ密度の極限として生じるグラフパラメータを特徴づけること。
• 収束する稠密グラフ列に対して、任意のものに対して一様な極限対象である対称的で可測な関数 $W: [0,1]^2 \to [0,1]$ の存在を確立すること。
• 接続行列の構造と反射正定性を用いて、このような極限パラメータを完全に特徴づけること。
• $W$-ランダムグラフを導入し、それらがすべてのこのような極限行動を捉える一般モデルを提供すること。
• 新しい枠組みを用いて、古典的な極値グラフ理論の結果を極限設定に拡張すること。

提案手法

• グラフ準同型密度 $t(F,G)$ を、$F$ から $G$ へのランダム写像がグラフ準同型である確率として定義する。
• 極限対象 $W: [0,1]^2 \to [0,1]$ を導入し、$t(F,W) = \int_{[0,1]^k} \prod_{ij \in E(F)} W(x_i,x_j) \, dx_1 \cdots dx_k$ が成り立つようにする。
• 任意の収束するグラフ列に対して、その正規化された隣接行列が、$W$ のようなものにカットノルムで収束する部分列が存在することを証明する。
• 反射正定性を用いて極限グラフパラメータを特徴づける：グラフパラメータ $t$ が極限であるための必要十分条件は、その接続行列が半正定値であることである。
• $W$-ランダムグラフを、エッジ確率が $W$ によって定まる一般のランダムグラフモデルとして定義し、それがほとんど確実に $W$ に収束することを示す。
• マルティンゲール収束とツェマーーディ型正則性を用いて、グラフ列が $W$ に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 収束する稠密グラフ列の普遍的極限対象は何であり、それがすべての部分グラフ密度極限をどのように符号化するか？
• RQ2 どのグラフパラメータが稠密グラフ列における部分グラフ密度の極限として生じうるか？
• RQ3 反射正定性を用いて、このような極限パラメータをどのように特徴づけられるか？
• RQ4 任意の対称的で可測な関数 $W: [0,1]^2 \to [0,1]$ が、あるグラフ列の極限として実現可能か？
• RQ5 $W$-ランダムグラフは、グラフ極限行動のモデリングと特徴づけにおいて果たす役割は何か？

主な発見

• 任意の収束する稠密グラフ列は、任意の固定グラフ $F$ に対して $t(F,G_n) \to t(F,W)$ を満たす極限対象 $W: [0,1]^2 \to [0,1]$ を持つ。
• 極限 $t(F,W)$ は積分公式 $t(F,W) = \int_{[0,1]^k} \prod_{ij \in E(F)} W(x_i,x_j) \, dx_1 \cdots dx_k$ で与えられる。
• グラフパラメータ $t$ が部分グラフ密度の極限であるための必要十分条件は、正規化されていること、乗法的であること、およびその接続行列が半正定値であること（反射正定性）である。
• 極限関数 $W$ は本質的に一意である：すべての $F$ に対して $t(F,W) = t(F,U)$ が成り立つならば、$U$ と $W$ は $[0,1]^2$ 上の測度を保つ変換に関して同値である。
• エッジ確率が $W$ で定まる任意の $W$-ランダムグラフモデルは、ほとんど確実に $W$ に収束するグラフ列を生成する。
• グッドマンの不等式 $t(K_3,G) \geq t(K_2,G)(2t(K_2,G) - 1)$ などの極値グラフ理論の不等式は、反射正定性と極限枠組みの結果である。