[論文レビュー] Connectedness in graph limits

Svante Janson|ArXiv.org|Feb 26, 2008

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

ひとこと要約

本稿では、重み付き組み合わせを用いてグラフ極限の直接和を定義することで、グラフ極限における連結性の概念を導入し、すべてのグラフ極限が一意に連結成分に分解されることを確立している。主な貢献は、漸近的成分サイズ、収束するグラフ列における最小カット、および関連する無限ランダムグラフのほとんど確実な連結性との同値性を通じたグラフ極限の連結性の特徴付けである。

ABSTRACT

We define direct sums and a corresponding notion of connectedness for graph limits. Every graph limit has a unique decomposition as a direct sum of connected components. As is well-known, graph limits may be represented by symmetric functions on a probability space; there are natural definitions of direct sums and connectedness for such functions, and there is a perfect correspondence with the corresponding properties of the graph limit. Similarly, every graph limit determines an infinite random graph, which is a.s. connected if and only if the graph limit is connected. There are also characterizations in terms of the asymptotic size of the largest component in the corresponding finite random graphs, and of minimal cuts in sequences of graphs converging to a given limit.

研究の動機と目的

• 稠密なグラフ列の極限対象としてのグラフ極限へのグラフ連結性の概念の拡張を目的とする。
• 有限グラフの素性和の一般化として、重みを用いたグラフ極限の直接和演算を定義すること。
• すべてのグラフ極限が、有限グラフと同様に、一意に連結成分に分解可能であることを証明すること。
• 有限グラフ列の漸近的性質および最小カットを通じて、グラフ極限の連結性を特徴付けること。
• グラフ極限の連結性と、それに対応する無限ランダムグラフのほとんど確実な連結性との同値性を確立すること。

提案手法

• グラフ極限 Γ₁, Γ₂ および α ∈ [0,1] に対して、有限グラフ列の収束に基づく重み付き直接和演算 αΓ₁ ⊕ (1−α)Γ₂ を定義する。
• カット距離位相とカットノルムを用いて、グラフ列の収束を定義し、直接和構成と整合性を持つようにする。
• 二つのグラフ列が極限 Γ および Γ′ に収束し、頂点の割合がそれぞれ α および 1−α に収束するならば、それらの素性和は αΓ ⊕ (1−α)Γ′ に収束することを証明する。
• グラフ極限 Γ₁ が連結極限であるとし、ある α ∈ (0,1] およびグラフ極限 Γ₂ に対して Γ = αΓ₁ ⊕ (1−α)Γ₂ を満たすとき、そのような Γ₁ を成分として定義する。
• 非負の重みの和が 1 以下である可算無限個のグラフ極限の族に対し、直接和を拡張し、成分への分解を可能にする。
• グラフ極限の連結性と、有限グラフ列における成分サイズの漸近的挙動および最小カットとの同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限グラフにおける連結性の概念を、意味的に意味のある方法でグラフ極限へ拡張できるか？
• RQ2 任意のグラフ極限が、有限グラフと同様に、一意に連結成分に分解可能か？
• RQ3 グラフ極限の連結性は、それへ収束する有限グラフ列における最大成分サイズの漸近的挙動とどのように関係するか？
• RQ4 有限グラフ列における最小カットと、その極限の連結性との関係は何か？
• RQ5 グラフ極限に付随する無限ランダムグラフは、極限の連結性とどのように関係するか？

主な発見

• すべてのグラフ極限 Γ ∈ U∞ は、非負の重みの和が 1 に等しい連結成分の直接和として一意に分解可能であり、その成分は有限個または無限個である可能性がある。
• グラフ極限が非連結であるための必要十分条件は、頂点集合にバランスの取れた分割が存在し、そのカットに o(v²) 本の辺が存在するような有限グラフ列がそれへ収束することである。
• グラフ極限に付随する無限ランダムグラフがほとんど確実に連結であるための必要十分条件は、グラフ極限自身が連結であることである。
• 有限グラフ列が極限 Γ に収束するとき、その最大成分サイズが o(v²) であるための必要十分条件は、Γ が非連結であることである。
• グラフ極限が非連結であるための必要十分条件は、それへ収束する部分列の有限グラフ列と、線形サイズの部分に分割され、それらの間の辺数が o(v²) であるような分割列が存在することである。
• グラフ極限における直接和演算 αΓ₁ ⊕ (1−α)Γ₂ は、定義が明確であり、有限グラフ列の収束と整合性を持つ。