[論文レビュー] Graphons and cut metric on sigma-finite measure spaces

Svante Janson|arXiv (Cornell University)|Aug 5, 2016

Advanced Topology and Set Theory参考文献 6被引用数 8

ひとこと要約

この論文は、グラフン理論をσ-有限測度空間へと拡張し、カット距離におけるグラフンの同値性、完備性、コンパクト性に関する基礎的結果を確立している。同値性はプルバックと自明な拡張を用いて特徴づけられ、有界性の条件が証明され、カット距離における完全有界集合の完全な特徴づけがなされ、スパースグラフ極限の理論を確率空間を超えて前進させている。

ABSTRACT

Borgs, Chayes, Cohn and Holden (2016+) recently extended the definition of graphons from probability spaces to arbitrary $σ$-finite measure spaces, in order to study limits of sparse graphs. They also extended the definition of the cut metric, and proved various results on the resulting metric space. We continue this line of research and give various further results on graphons and the cut metric in this general setting, extending known results for the standard case of graphons on probability spaces. In particular, we characterize pairs of equivalent graphons, and we give new results on completeness and compactness.

研究の動機と目的

• 確率空間から一般のσ-有限測度空間へのグラフン理論およびカット距離の理論を拡張し、スパースグラフ極限の研究を可能にする。
• 標準的なグラフン設定から一般化された結果を用いて、二つのグラフンがカット距離においていつ同値となるかを特徴づける。
• ボルグスらの先行研究におけるギャップを埋めるために、カット距離空間における完備性および完全有界性の条件を確立する。
• カット距離におけるグラフンの完全有界集合の完全な特徴づけを提供する。これはコンパクト性および収束解析に不可欠である。

提案手法

• プルバックと自明な拡張を用いて、二つのグラフンが同値であるための条件を特徴づけ、同値であるための必要十分条件が、共通のプルバックまたは自明な拡張から得られることを示している。
• 関連するグラフンの特性関数の列の極限点を抽出するために、$L^∞(\mathbb{R}_+)$における弱-*コンパクト性を適用している。
• カットノルムおよびカット距離 $\delta_\square$ を用いて収束性と有界性を分析し、標準的な $[0,1]$-値グラフン設定からの技法を拡張している。
• 任意のσ-有限測度空間がLebesgue測度を伴う$\mathbb{R}_+$に還元可能であるという事実を活用し、分析を単純化している。
• 特性関数の弱-*収束およびそのテンソル積の解析に、$L^1$と$L^\infty$の双対性を用いている。
• 分離可能性および弱-*位相の距離化可能性といった関数解析の結果を活用し、コンパクト性および収束性の性質を証明している。

実験結果

リサーチクエスチョン

• RQ1 σ-有限測度空間上に定義された二つのグラフンがカット距離においていつ同値となるか。また、その同値性はどのように特徴づけられるか。
• RQ2 一般のσ-有限設定におけるカット距離下でのグラフン集合の完備性を保証する条件は何か。
• RQ3 カット距離におけるグラフンの完全有界集合の完全な特徴づけは何か。
• RQ4 σ-有限枠組みにおけるプルバックおよび自明な拡張の下で、カット距離はどのように振る舞うか。
• RQ5 追加の正則性条件を仮定せずに、グラフン集合のコンパクト性を特徴づけることは可能か。

主な発見

• ボレルσ-有限測度空間上に定義された二つのグラフンは、カット距離において同値であるための必要十分条件として、ほとんど everywhere で等しいペアのプルバックが存在することである。
• 同値性の完全な特徴づけは、プルバックと自明な拡張によって生成されることであり、これはロヴァーシュ（2012）の結果をσ-有限設定へ一般化したものである。
• すべてのグラフンの空間はカット距離において完備ではないが、完全有界集合はカットノルムおよびプルバック条件を用いて完全に特徴づけられる。
• グラフンの集合がカット距離において完全有界であるための必要十分条件は、カットノルムで一様有界であること、かつ測度が1以下である集合に関連するプルバック条件を満たすことである。
• 任意のカットノルムが一様に有界なグラフンの列に対して、その列がカット距離で収束する部分列をもつための必要十分条件は、関連する特性関数の列が弱-*収束する部分列をもつことであることを証明している。
• カットノルムが有界なグラフンの単位球がカット距離においてコンパクトであるための必要十分条件は、対応する特性関数の列が弱-*極限をもつことである。これにより、追加の仮定のもとで相対的にコンパクトな集合の特徴づけが得られる。