[論文レビュー] Multigraph limits, unbounded kernels, and Banach space decorated graphs

Dávid Kunszenti-Kovács, László Lovász+1 more|arXiv (Cornell University)|Jun 30, 2014

Limits and Structures in Graph Theory参考文献 14被引用数 9

ひとこと要約

本稿は、バナッハ空間値のグラフンを用いた一般化された関数解析的枠組みを導入し、上限のない辺多重度をもつ多重グラフや、上限のない重みが付与された辺をもつグラフの極限を扱えるようにする。これは、サンプリングまたはジャブルノルム収束が失敗する場合でも、ノードおよびエッジのホモモーフィズム密度が極限対象に収束することを確立し、コンパクトな装飾を超えた多重グラフ極限理論における重要なギャップを解消する。

ABSTRACT

We present a construction that allows us to define a limit object of Banach space decorated graph sequences in a generalized homomorphism density sense. This general functional analytic framework provides a universal language for various combinatorial limit notions. In particular it makes it possible to assign limit objects to multigraph sequences that are convergent in the sense of node-and-edge homomorphism numbers, and it generalizes the limit theory for graph sequences with compact decorations.

研究の動機と目的

• 上限のない辺多重度をもつ多重グラフや、有界でない重みが付与された辺をもつグラフを含む、組合せ的対象の普遍的極限理論の構築。
• 既存のグラフ極限理論をコンパクトな装飾を超えて一般化し、非コンパクトなバナッハ空間値の辺装飾へと結果を拡張すること。
• コンパクト性が緩和された状況において、ノードおよびエッジのホモモーフィズム収束と、サンプリングまたはジャブルノルム収束の間の関係を明確化すること。
• サンプリングまたはジャブルノルム収束によって捉えられない場合でも、ノードおよびエッジのホモモーフィズム密度の意味で収束する多重グラフ列の極限対象の構成。

提案手法

• 著者らは、バナッハ空間値のグラフンを定義し、古典的グラフン形式を非コンパクトな装飾へと一般化したホモモーフィズム密度の枠組みを用いる。
• ジャブルノルムを導入し、この一般化された設定において、カウンティング補題と弱正則性補題を証明することで、グラフンをステップ関数で近似可能であることを示す。
• 測度を保存する変換とモーメント列を用いて、上限のない辺多重度をもつ多重グラフ列から極限グラフンを定義する。
• 実数の非負の部分集合への関数としての辺多重度の符号化と、自然数上のディラック測度の使用により、L1またはLp空間値のバナッハ装飾付きグラフとして多重グラフをモデル化する。
• W-ランダム装飾付きグラフを定義し、それらを用いてランダム多重グラフをモデル化し、ホモモーフィズム密度による収束性を分析する。
• 近似測度の全 Variation 収束およびL2収束を用いて、ホモモーフィズム密度が極限グラフンのものに収束する有限多重グラフ列を構成する。

実験結果

リサーチクエスチョン

• RQ1 ホモモーフィズム密度を用いて、上限のない辺多重度をもつ多重グラフ列の極限理論を構築できるか？
• RQ2 装飾が非コンパクトな場合、ノードおよびエッジのホモモーフィズム収束は、サンプリングまたはジャブルノルム収束を意味するか？
• RQ3 バナッハ空間値のグラフンは、古典的グラフン枠組みを、上限のない辺の重みまたは多重度を含む形にどのように一般化できるか？
• RQ4 サンプリングまたはジャブルノルム収束によって捉えられない多重グラフの極限対象は存在するか？もしあるならば、それらはどのように特徴づけられるか？
• RQ5 連続的な重み関数を離散的測度の代わりに用いることで、同じ枠組みを上限のない重みをもつ辺付きグラフへと拡張できるか？

主な発見

• 本稿は、サンプリングまたはジャブルノルム収束によって捉えられない場合でも、ノードおよびエッジのホモモーフィズム密度の意味で収束する多重グラフ列の極限対象を構成する。
• 2つの異なるグラフンが、すべてのテストグラフFに対して同一のノードおよびエッジのホモモーフィズム密度を持つが、それらに対応するランダム多重グラフにおける辺多重度の分布は異なることがあることを示している。
• ジャブルノルムおよび近似グラフンのL2収束はホモモーフィズム密度の収束を意味するが、逆は非有界な場合に成り立たないことを証明している。
• 上限のない辺多重度をもつ多重グラフに対して、極限対象は、多重度分布のモーメント列を用いて、バナッハ空間値のグラフンとして表現可能であり、特にL1またはLp空間に値をとる。
• 切断およびスケーリングされた測度を用いた近似多重グラフの構成により、多重度分布間の全 Variation 距離が0に近づくことが保証され、ホモモーフィズム密度の収束が維持される。
• 離散的測度をR≥0上の連続的測度に置き換えることで、この枠組みは上限のない重みをもつ辺付きグラフへと一般化可能であり、和の代わりに積分を用いる。