[論文レビュー] The Relativized Second Eigenvalue Conjecture of Alon

Joel Friedman, David-Emmanuel Kohler|arXiv (Cornell University)|Mar 13, 2014

Graph theory and applications参考文献 8被引用数 17

ひとこと要約

本稿は、$d \geq 3$ である任意の $d$-正則ベースグラフ $B$ に対して、アロンの第二固有値予想の相対化された形を証明し、$B$ のランダムな $n$-被覆が $2\sqrt{d-1} + \epsilon$ より大きな新しい固有値をもつ確率が $O(1/n)$ であることを示している。本稿では、トレース法を強化するための新しい概念「証明可能トレース（certified trace）」を導入し、$B$ がラマヌジャンである場合に、確率の減少率が $n^{-\eta_{\rm fund}(B)}$ となる精密なバウンドを達成しており、フレリーマンの元々の結果を改善している。

ABSTRACT

We prove a relativization of the Alon Second Eigenvalue Conjecture for all $d$-regular base graphs, $B$, with $d\ge 3$: for any $ε>0$, we show that a random covering map of degree $n$ to $B$ has a new eigenvalue greater than $2\sqrt{d-1}+ε$ in absolute value with probability $O(1/n)$. Furthermore, if $B$ is a Ramanujan graph, we show that this probability is proportional to $n^{-{η_{ m \,fund}}(B)}$, where ${η_{ m \,fund}}(B)$ is an integer depending on $B$, which can be computed by a finite algorithm for any fixed $B$. For any $d$-regular graph, $B$, ${η_{ m \,fund}}(B)$ is greater than $\sqrt{d-1}$. Our proof introduces a number of ideas that simplify and strengthen the methods of Friedman's proof of the original conjecture of Alon. The most significant new idea is that of a ``certified trace,'' which is not only greatly simplifies our trace methods, but is the reason we can obtain the $n^{-{η_{ m \,fund}}(B)}$ estimate above. This estimate represents an improvement over Friedman's results of the original Alon conjecture for random $d$-regular graphs, for certain values of $d$.

研究の動機と目的

• すべての $d$-正則ベースグラフ $B$ について $d \geq 3$ のもとで、アロンの相対化された第二固有値予想を解決すること。
• ランダムな $n$-被覆が $2\sqrt{d-1} + \epsilon$ より大きな新しい固有値をもつ確率に対する鋭い上界を確立すること。
• 「証明可能トレース」としての新概念を導入し、その理論を構築することで、ランダムグラフ被覆におけるスペクトル解析を簡素化・強化するための新手法を提供すること。
• ベースグラフ $B$ の基本的パワー $\eta_{\rm fund}(B)$ を計算すること。この値は、$B$ がラマヌジャンである場合に、大きな新しい固有値をもつ確率の減少率を決定づける。
• フレリーマンによる元々のアロン予想の証明を、ベースグラフ $B$ の構造的制約を組み込むことで一般化すること。

提案手法

• 「証明可能トレース」としての概念を導入——制御されたねじれ構造を持つウォークを追跡することで、スペクトルモーメント推定値を改善する洗練されたトレース法。
• $B$-ねじれ（$B$-tangles）を定義し、集合 $\operatorname{Tangle}_{<r,B}$ を用いて、スペクトルモーメントに顕著に寄与するウォークを特徴付ける。
• 指示関数 $\mathbb{I}_{{\rm TF}_{r,B}}$ を用いて $r$-ねじれ自由グラフを分離し、トレース展開の切り詰めを可能にする。
• ウォーク集合 $\mathcal{W}(k,n)$ と $(k,n)$-ウォーク和 $\operatorname{WalkSum}(\mathcal{W},k,n)$ を用いて、被覆の隣接行列のモーメントを計算する。
• $r$-次の証明可能トレース $\operatorname{CertTr}_{<r}(G,k)$ を構築し、ねじれを含むウォークに起因する誤差項を制御する。
• ハシモト行列 $H_G$ 及びそのスペクトル半径 $\rho(H_G)$ を用い、隣接スペクトルと非後退ウォークを関連づけ、$\rho^\mathrm{new}_B(A_G)$ に対するバウンドを導出する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな $n$-被覆が $d$-正則ベースグラフ $B$ に対して、$2\sqrt{d-1} + \epsilon$ より大きな新しい固有値をもつ確率はどのくらいか？
• RQ2 この確率の減少率は、ベースグラフ $B$ の構造にどのように依存するか？
• RQ3 トレース法は、ランダム被覆のスペクトルギャップに対するよりきめの細かいバウンドを得るために改善可能か？
• RQ4 $B$-ねじれは、ランダムリフトのスペクトル分布において果たす役割は何か？
• RQ5 ラマヌジャンベースグラフにおいて、確率の減少率の指数を決定づける計算可能な不変量 $B$ は存在するか？

主な発見

• 任意の $d$-正則ベースグラフ $B$ について $d \geq 3$ ならば、ランダムな $n$-被覆が $2\sqrt{d-1} + \epsilon$ より大きな新しい固有値をもつ確率は $O(1/n)$ である。
• $B$ がラマヌジャングラフである場合、確率は $n^{-\eta_{\rm fund}(B)}$ のように減少し、ここで $\eta_{\rm fund}(B)$ は有限のアルゴリズムによって計算可能な整数である。
• 基本的パワー $\eta_{\rm fund}(B)$ は、任意の $d$-正則グラフ $B$ に対して $\eta_{\rm fund}(B) > \sqrt{d-1}$ を満たす。
• 「証明可能トレース」の導入により、トレースに基づくスペクトル解析が簡素化され、ねじれを含むウォークに起因する誤差項の制御がより厳密に行えるようになった。
• 本手法は、特定の状況においてフレリーマンの元々のアロン予想の証明を、大きな新しい固有値をもつ確率の減少率がより速くなるように改善している。
• 本フレームワークにより、$B$-ねじれを介して構造的ウォークパターンの寄与を分離・制御することで、ランダムリフトにおけるスペクトルギャップの体系的解析が可能になった。