[論文レビュー] The spectrum of random lifts

Louigi Addario‐Berry, Simon Griffiths|arXiv (Cornell University)|Dec 18, 2010

Graph theory and applications参考文献 18被引用数 10

ひとこと要約

この論文は、固定された $d$-正則グラフ $H$ のランダム $n$-リフトのスペクトル特性を分析し、非常に高い確率で、$H$ から引き継がれない新しい固有値は、すべて $O(\sqrt{d})$ の大きさに有界であることを示している。$H$ がラマヌジャンならば、そのランダム $n$-リフトはほぼラマヌジャン的であり、例外的な固有値は $O(|E(H)|)$ のサイズの密な部分グラフから生じる。これは、ランダムリフトを用いた大規模なラマヌジャングラフの存在に対する強い証拠を提供する。

ABSTRACT

For a fixed d-regular graph H, a random n-lift is obtained by replacing each vertex v of H by a "fibre" containing n vertices, then placing a uniformly random matching between fibres corresponding to adjacent vertices of H. We show that with extremely high probability, all eigenvalues of the lift that are not eigenvalues of H, have order O(sqrt(d)). In particular, if H is Ramanujan then its n-lift is with high probability nearly Ramanujan. We also show that any exceptionally large eigenvalues of the n-lift that are not eigenvalues of H, are overwhelmingly likely to have been caused by a dense subgraph of size O(|E(H)|).

研究の動機と目的

• 固定された $d$-正則グラフ $H$ のランダム $n$-リフトのスペクトル分布を理解すること、特に $H$ から引き継がれない固有値の挙動に焦点を当てる。
• ラマヌジャングラフのランダムリフトが、すべての非自明固有値が $O(\sqrt{d})$ に有界である、つまりほぼラマヌジャン的である可能性があるかどうかを調査すること。
• ランダムリフトにおいて顕著に大きな固有値が生じる構造的要因を特定すること、特にそれらが密な部分グラフに起因するかどうかを検討すること。
• 無限大の $d$-正則ツリーの有限商の確率的モデルを提供することを目的とし、ランダムリフトをスペクトル拡張の研究ツールとして用いる。

提案手法

• 各頂点を $n$ 個の頂点からなるファイバーに置き換え、$H$ の隣接頂点間のファイバー間に一様ランダムマッチングを配置することでランダム $n$-リフトを構築する。
• リフトの隣接行列を分析し、ベースグラフ $H$ に存在しない固有値（「新しい固有値」と呼ばれる）に注目する。
• スペクトル分解とベクトルバランス技術を用いて、$H$ のリフト固有ベクトルに直交する固有ベクトルを分離し、それらが新しい固有値に対応することを保証する。
• 確率的および組合せ的バウンドを適用して新しい固有値の大きさを制御し、集中不等式とベクトル内積の推定値を用いる。
• パターンに基づく数え上げ論法を用いて、通常よりも大きな固有値を生じる可能性のある構成の数を制限し、密な部分グラフが存在しない限りそれらがまれであることを示す。
• ファイバー上でバランスの取れたベクトル $x$ を導入し、内積推定値を用いて $x$ のレイリー商と最大の新しい固有値 $\lambda^*(G)$ を関連づけ、主要なバウンドを導出する。

実験結果

リサーチクエスチョン

• RQ1 固定された $d$-正則グラフ $H$ のランダム $n$-リフトにおける新しい固有値の典型的な大きさは何か？
• RQ2 ラマヌジャングラフのランダムリフトは、すべての非自明固有値が $O(\sqrt{d})$ に有界である、つまりほぼラマヌジャン的である可能性があるか？
• RQ3 リフトのどの構造的特徴が $O(\sqrt{d})$ より顕著に大きな固有値を生じさせやすいか？
• RQ4 ランダムリフトにおける顕著に大きな固有値の発生は、スパarsな構造か、密な部分グラフの構造に起因するか？

主な発見

• 非常に高い確率で、$d$-正則グラフ $H$ のランダム $n$-リフトにおけるすべての新しい固有値の絶対値は、$n$ とは無関係に $O(\sqrt{d})$ に有界である。
• ベースグラフ $H$ がラマヌジャンであれば、そのランダム $n$-リフトは高確率で $O(\sqrt{d})$-弱ラマヌジャン的であり、すべての非自明固有値がラマヌジャン境界 $2\sqrt{d-1}$ から $O(\sqrt{d})$ の範囲内にある。
• $H$ から引き継がれない顕著に大きな固有値は、$O(|E(H)|)$ のサイズの密な部分グラフから生じる可能性が極めて高く、スパースな構造やランダムな揺らぎからは生じない。
• ランダム $n$-リフトが $O(\sqrt{d})$ より大きな新しい固有値を持つ確率は、$O(|E(H)|)$ のサイズの密な部分グラフが存在しない限り無視できるほど小さい。
• 通常よりも大きな固有値を生じる可能性のある構成の数は、$\log_2(nh) \cdot A^{2hd\log_2 d}$ に有界であり、このような構成がまれであることを示している。
• 解析により、バランスの取れたベクトルのレイリー商と最大の新しい固有値の間の定量的関係が確立され、正規化されたベクトル $x$ に対して $|\langle x,x\rangle_{N,E}| \geq \lambda^*(G)/96 - 5\sqrt{d}$ のバウンドが得られた。