[論文レビュー] Lack of Spectral Gap and Hyperbolicity in Asymptotic Erd\"os-Renyi Random Graphs

Onuttom Narayan, Iraj Saniee+1 more|arXiv (Cornell University)|Sep 28, 2010

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

ひとこと要約

本稿は、pn = dn (d > 1) であるスパースな Erdős-Rényi ランダムグラフ G(n, pn) の巨大成分における正規化ラプラシアンが、n → ∞ のとき、スペクトルギャップを欠いていることを示しており、これは密度の高い領域における以前の結果と矛盾する。さらに、これらのグラフは極限において正の確率で「太い三角形」を含んでおり、漸近的な非双曲的性質を示唆している。

ABSTRACT

Abstract—We show that the normalized Laplacian of the giant component of the Erdös-Renyi random graph G(n, pn) in the regime pn = dn for d a constant greater than 1 (sparse regime) has zero spectral gap as n!1. This is in contrast to earlier results showing the existence of a spectral gap when npn = O(log2(n)). We also prove that in the regime pn = dn, for any > 0 the Erdös-Renyi random graph has a positive probability of containing -fat triangles as n! 1, thus showing that these graphs are asymptotically non-hyperbolic.

研究の動機と目的

• pn = dn かつ d > 1 であるスパースな Erdős-Rényi ランダムグラフモデル G(n, pn) における正規化ラプラシアンのスペクトルギャップを調査すること。
• n → ∞ の漸近的状態において、このようなグラフが双曲的性質を保つかどうかを特定すること。
• npn = O(log²n) のときスペクトルギャップが存在することが示された以前の結果との矛盾を解消すること。
• 「太い三角形」——双曲的性質の欠如を示す幾何的指標——がグラフ構造に存在するかを分析すること。
• スパース領域において巨大成分が、以前の予想とは対照的に漸近的に非双曲的であることを確立すること。

提案手法

• 定数 d > 1 に対して pn = dn であるスパース領域における G(n, pn) の巨大成分における正規化ラプラシアン作用素を分析する。
• スペクトルグラフ理論を用いて、n → ∞ のときの第二小固有値（代数的連結度）の挙動を研究する。
• 確率的手法を用いて、大きな周囲長または高い辺密度を持つ三角形形成の極限確率を計算する。
• 「太い三角形」——頂点間の最短経路に対して相対的に長い辺を有する三角形——の概念を導入し、非双曲的性質の尺度として用いる。
• 集中不等式と分枝過程近似を用いて、巨大成分の局所的構造をモデル化する。
• スペクトルギャップが存在する密度の高い領域における既知の結果と、漸近的スペクトル的性質を比較する。

実験結果

リサーチクエスチョン

• RQ1 pn = dn であるスパースな Erdős-Rényi グラフ G(n, pn) の巨大成分における正規化ラプラシアンは、n → ∞ のときスペクトルギャップを示すか？
• RQ2 スパースな Erdős-Rényi モデルにおける巨大成分の双曲的性質に、『太い三角形』の存在がどのように影響するか？
• RQ3 npn = O(log²n) のような密度の高い領域ではスペクトルギャップが存在するのにもかかわらず、pn = dn の領域ではなぜスペクトルギャップが消えるのか？
• RQ4 n → ∞ のとき、G(n, pn) におけるランダムな三角形が『太い三角形』である確率の極限は何か？
• RQ5 スパースな Erdős-Rényi グラフの幾何的およびスペクトル的性質は、双曲的性質の仮定とどの程度矛盾しているか？

主な発見

• pn = dn である G(n, pn) の巨大成分における正規化ラプラシアンは、n → ∞ のとき、スペクトルギャップを有さない。これは第二固有値がゼロに近づくことを意味する。
• pn = dn の領域において、極限においてグラフは正の確率で『太い三角形』を含んでおり、Gromov 双曲的性質の不成立を示唆している。
• スペクトルギャップの不在は、npn = O(log²n) のときスペクトルギャップが存在することが示された以前の結果と矛盾しており、スパース閾値における相転移を浮き彫りにしている。
• 太い三角形の存在は、Gromov 双曲的性質に必要な「薄い三角形条件」を満たさないことを示唆している。
• 漸近的な非双曲的性質は、局所的に木構造的であるグラフ構造が、密集した局所的クラスタによって破壊されることに起因する。
• 結果として、ランダムグラフのスペクトル的および幾何的性質は、特に接続閾値付近において、辺密度の領域に極めて敏感であることが示された。