[論文レビュー] Graph limits and hereditary properties

Svante Janson|arXiv (Cornell University)|Feb 17, 2011

Advanced Graph Theory Research参考文献 24被引用数 4

ひとこと要約

本稿は、禁止部分グラフやインターセクショングラフ表現などの構造的制約を伴う、遺伝的グラフクラスに関連するグラフ極限を調査する。特定の遺伝的クラス（例えば、クラウフリーフリーおよびコクリーフリーフリーのグラフ）において、グラフ極限が空グラフまたは完全グラフ極限に収束することを示し、グラフとその補グラフが両方ともクラスに属する場合には、ランダムな極限が生じることを示している。

ABSTRACT

We collect some general results on graph limits associated to hereditary classes of graphs. As examples, we consider some classes defined by forbidden subgraphs and some classes of intersection graphs, including triangle-free graphs, chordal graphs, cographs, interval graphs, unit interval graphs, threshold graphs, and line graphs.

研究の動機と目的

• 遺伝的グラフクラスのグラフ極限をグラフ極限理論の枠組みで特徴付けること。
• 禁止部分グラフやインターセクション性などの構造的制約が、グラフ列の極限的挙動に与える影響を分析すること。
• グラフ極限が決定的（例：[0] または [1]）であるか、ランダム（例：[0] と [1] の混合）であるかの条件を特定すること。
• 区間グラフやコグラフなどの特定クラスに関する既知の結果を、遺伝的性質の一般枠組みに拡張すること。
• クラウフリーフリーかつコクリーフリーフリーであるグラフにおける辺数の鋭い上限を確立し、極値グラフ理論と極限理論を結びつけること。

提案手法

• グラフ極限のコンactな距離空間 $υ\overline{\mathcal{U}}$ を用い、同型写像密度 $t(F,G)$ および部分グラフ密度 $t_{\text{ind}}(F,G)$ を用いて収束を定義する。
• グラフオン $W$ を用いてグラフ極限を表現する。ここでグラフオン $W$ は、$[0,1]^2 \to [0,1]$ の対称的可測関数である。
• ランダムグラフモデルを用いて遺伝的クラスの極限を特徴づけ、$n \to \infty$ の際の $t(F,G_n)$ の漸近的挙動によって極限が決定されることを示す。
• 特にラマヌジャン理論を用いて、クラウフリーフリーかつコクリーフリーフリーであるグラフの構造を制限する極値グラフ理論の結果を適用する。
• グラフとその補グラフの間の対称性と双対性を用いて、補グラフをとる操作に関して閉じたクラスの極限が、[0] と [1] のランダム混合であることを示す。
• 測度論的議論を用いて、グラフオン $W$ がクラウフリーフリーかつコクリーフリーフリーであれば、$W$ はほとんど everywhere で 0 または 1 でなければならないことを示し、結果として自明な極限が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 遺伝的クラスに属するグラフ列が一意なグラフ極限に収束する条件は何か？
• RQ2 クラウフリーフリーまたはコクリーフリーフリーといった構造的制約が、遺伝的クラスの可能なグラフ極限に与える影響は何か？
• RQ3 補グラフをとる操作に関して閉じた遺伝的クラスにおける一様ランダムグラフの極限的挙動は何か？
• RQ4 クラウフリーフリーかつコクリーフリーフリーであるグラフの辺密度を、自明な極限への収束を強制するように制限できるか？
• RQ5 インターセクショングラフ表現（例：区間グラフ、ユニット区間グラフ）は、非自明なグラフ極限をどれほど得られるか？

主な発見

• クラウフリーフリーかつコクリーフリーフリーであるグラフ極限は、ほとんど everywhere で 0 または 1 でなければならないため、可能な極限は [0]（空）または [1]（完全）に限られる。
• クラウフリーフリーかつコクリーフリーフリーである任意のグラフ列 $G_n$ について、辺数は $e(G_n) = o(n^2)$ または $inom{n}{2} - e(G_n) = o(n^2)$ を満たし、[0] または [1] に収束することが示される。
• もし $n \geq R(8,8)$ であれば、グラフ $G$ がクラウフリーフリーかつコクリーフリーフリーであることと、$G \in \mathcal{Q}$ または $\overline{G} \in \mathcal{Q}$ であることは同値である。ここで $\mathcal{Q}$ は最大次数 ≤2 かつ $K_3$ 成分を含まないグラフのクラスである。
• クラス $\mathcal{Q}$ の閉包に含まれる唯一のグラフ極限は $[0]$ であるため、$\mathcal{Q}$ 内の任意の列は空グラフ極限に収束する。
• 一様ランダムなクラウフリーフリーかつコクリーフリーフリーなグラフ $G_n$ の分布極限は、[0] または [1] にそれぞれ確率 $1/2$ で等しくなるランダムグラフ極限である。
• クラス $\mathcal{Q}$ の閉包が $\widehat{\mathcal{Q}} = \{[0]\}$ であるという結果は、パスおよび長さ ≥4 のサイクルに制限された成分を持つグラフクラスから非自明なグラフ極限が生じないことを示している。