[論文レビュー] Existence of Small Separators Depends on Geometry for Geometric Inhomogeneous Random Graphs

Johannes Lengler, Lazar Todorović|arXiv (Cornell University)|Nov 10, 2017

Stochastic processes and statistical mechanics参考文献 3被引用数 3

ひとこと要約

本稿では、幾何的非一様ランダムグラフ（GIRGs）における線形サイズの分離集合の存在が、根本的にその背後にある幾何構造に依存することを示している。特に、ユークリッドGIRGsでは部分線形の分離集合が存在するが、最小成分距離（MCD）幾何におけるGIRGsでは存在しない。著者らは、エッジの依存関係を扱うために二面的アズマの不等式の新規応用を用い、MCDに基づくGIRGsが定数のクラスタリング係数を持つことを証明することで、この事実を裏付けている。これにより、ユークリッド型グラフとは対照的に、小規模な分離集合を有さないことが明らかになった。

ABSTRACT

We show that Geometric Inhomogeneous Random Graphs (GIRGs) with power law weights may either have or not have separators of linear size, depending on the underlying geometry. While it was known that for Euclidean geometry it is possible to split the giant component into two linear size components by removing at most n^{1-\eps} edges, we show that this is impossible if the geometry is given by the minimum component distance.

研究の動機と目的

• 幾何的非一様ランダムグラフ（GIRGs）にべき則分布の重みが与えられた場合、その分離集合の存在が背後にある幾何構造に依存するかどうかを明らかにすること。
• 非ユークリッド幾何、特に最小成分距離（MCD）幾何の場合に、GIRGsに部分線形の分離集合が存在するかどうかという未解決の問題を解明すること。
• GIRGsにおける強いエッジ依存関係という課題に直面し、独立エッジバッチ処理のような標準的手法が適用できない状況を克服すること。
• MCDに基づくGIRGsが定数のクラスタリング係数を持つことを確立し、これにより小規模な分離集合が存在しないこと、ユークリッドGIRGsとは対照的であることを示すこと。

提案手法

• 著者らは、依存するエッジの存在下でも集中を制御できるよう、差分が有界な二面的アズマの不等式を用い、GIRGの依存関係を扱うための重要な革新を実現した。
• 頂点の位置と重みが良好に振る舞う高確率事象に条件づけることで、局所的近傍における近隣頂点の均一な分布を保証した。
• 頂点の位置と重みを独立にサンプリングし、エッジ確率を重みと幾何的距離に依存させる形でランダムグラフモデルを構築した。
• 条件付き確率の境界を用いてクラスタリング係数を分析し、低重み頂点の近隣頂点が空間的に近くに位置するため、互いに接続されやすいことを示した。
• 条件付き事象下での重み付き次数および近隣頂点数の和の集中を示すために、レ・カムの定理を用いた。
• マーティングレートに基づく集中評価をクラスタリング係数関数に適用し、高次数頂点が集中を乱すのを防ぐために、注意深く定義された誤差事象を導入した。

実験結果

リサーチクエスチョン

• RQ1 GIRGsにおける小規模な分離集合の存在は、幾何空間の選択、特にユークリッド幾何と最小成分距離（MCD）幾何との間で依存するか？
• RQ2 独立エッジバッチ処理のような、部分線形分離集合を証明するための標準的手法は、依存するエッジを持つGIRGsに適応可能か？
• RQ3 MCDに基づくGIRGsにおけるクラスタリング係数の挙動は何か？ また、小規模な分離集合の存在とどのように関係するか？
• RQ4 MCDに基づくGIRGsの巨大成分は、部分線形のエッジ削除に対して安定か？ それとも、分割を妨げる本質的な構造的障壁があるか？
• RQ5 GIRGsにおけるエッジの依存関係は、アズマの不等式のような古典的集中不等式の適用性にどのように影響するか？

主な発見

• 最小成分距離（MCD）幾何では、GIRGsは部分線形の分離集合を持たない。巨大成分は、o(n)本のエッジを削除しても、二つの線形サイズの部分に分割できない。
• MCDに基づくGIRGsにおけるクラスタリング係数は、高確率でΩ(1)である。これは、小規模な分離集合を妨げる強い局所的クラスタリングを示している。
• 著者らは、低重み頂点における期待クラスタリング係数がΩ(1)であることを証明し、アズマの不等式による集中評価により、グラフ全体で高確率でΩ(1)であることが保証された。
• これに対して、ユークリッドGIRGsは部分線形の分離集合を有するため、幾何的構造がグラフ分割特性を根本的に変えることが明らかになった。
• エッジの依存関係を克服するために、注意深く定義された誤差事象を用いた二面的アズマの不等式を用いることで、GIRGsにおける依存性にもかかわらず集中評価が可能になった。
• この結果により、明確な二分岐が示された。すなわち、部分線形の分離集合が存在するのは、ユークリッド的（または類似する）幾何に限る。MCD幾何では存在しない。