[論文レビュー] Graphons, cut norm and distance, couplings and rearrangements

Svante Janson|arXiv (Cornell University)|Sep 13, 2010

Limits and Structures in Graph Theory参考文献 40被引用数 27

ひとこと要約

本稿は、確率空間上の対称的可測関数（グラフオン）のカットノルムおよびカット距離について包括的なサーベイを提供し、グラフ限界理論における同値性、収束性、一意性に関する基礎的結果を確立する。ボルグス、チェイス、ロヴァーシュによる一意性定理の新たな証明を提示し、一般の確率空間へ結果を拡張し、{0,1}-値および純粋グラフオンに関する新規な発見を含む。

ABSTRACT

We give a survey of basic results on the cut norm and cut metric for graphons (and sometimes more general kernels), with emphasis on the equivalence problem. The main results are not new, but we add various technical complements, and a new proof of the uniqueness theorem by Borgs, Chayes and Lovász. We allow graphons on general probability spaces whenever possible. We also give some new results for {0,1}-valued graphons and for pure graphons.

研究の動機と目的

• 任意の確率空間にわたるグラフオンのカットノルムおよびカット距離に関する基礎的結果を統合・一般化すること。
• 文脈的に暗黙的または証明なしに述べられる標準的結果の技術的ギャップを解消し、完全で自己完結的な証明を提供すること。
• ボルグス、チェイス、ロヴァーシュが確立したグラフ限界のグラフオン表現の一意性定理に対する新しい証明を提示すること。
• 特に{0,1}-値および純粋グラフオンといった特殊クラスのグラフオンへ結果を拡張し、新たな解析的洞察を提供すること。
• L^1関数に対する可測な評価写像における可分性の役割を明確にし、理論の基礎的測度論的問題を解決すること。

提案手法

• グラフオンの比較に重要なセミノルムであるカットノルム $\|W\|_\square = \sup_{S,T \subseteq \Omega} \left| \int_{S \times T} W \, d\mu^2 \right|$, を用いる。
• カット距離 $\delta_\square(W_1, W_2) = \inf_{\sigma} \|W_1 - W_2^\sigma\|_\square$（$\sigma$ は測度を保存する変換）を用いて、グラフオンの同値性を定義する。
• 測度を保存する自己同型によるグラフオンの再配置の概念を用い、カット距離における同値類を研究する。
• 可測な評価写像 $\Phi(f,x)$ を構成するため、$L^1(\Omega^2)$ の可分部分空間を用いる。これにより、点関数評価における技術的問題を解決する。
• 単調クラス定理および再帰的近似を用いて、可分な $L^1$ 部分空間に属する関数の可測代表元を構成する。
• 原子を持たない確率空間の構造と、$L^1$-関数の可算稠密集合による表現を活用し、可測性および a.e. 収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 二つのグラフオンがカット距離に関して同値であるための条件は何か？ これはその背後にあるグラフ限界とどのように関係するか？
• RQ2 測度を保存する変換がカット距離の定義およびグラフオン表現の一意性を保証するために果たす正確な役割は何か？
• RQ3 $L^1(\Omega)$ の可分性が、$L^1(\Omega^2)$ に属する関数に対する可測な点関数評価写像の存在に与える影響は何か？
• RQ4 {0,1}-値グラフオンの構造的性質は何か？ また、カットノルムおよびカット距離とどのように関係するか？
• RQ5 純粋グラフオンの構造的性質とカット距離収束を用いて、グラフオン表現の一意性定理を再証明できるか？

主な発見

• カット距離 $\delta_\square$ はグラフオンの空間に位相を誘導し、その位相は部分グラフ密度収束の位相と同値である。
• 二つのグラフオンがカット距離に関して同値であることは、それらが同じグラフ限界を表していることと同値であり、この距離が限界対象を特徴付ける役割を果たすことを確認する。
• ボルグス、チェイス、ロヴァーシュの一意性定理は、純粋グラフオンの性質とカット距離の構造を用いて再証明され、自己完備な新しい証明が得られた。
• {0,1}-値グラフオンに関しては、カットノルムおよびカット距離がグラフのカット距離と一致し、理論が古典的極値グラフ論と結びつく。
• 任意の可分部分空間 $A \subset L^1(\Omega)$ に対して、可測な評価写像 $\Phi: A \times \Omega \to \mathbb{R}$ が存在するが、一般に非可分な $L^1$ 空間では成立しない。
• 非可分な $L^1$ 空間（例えば、非可算個の $[0,1]$ の積）では、普遍的に可測な評価写像は存在せず、これは補題 G.1 における可分性条件の必要性を示している。