[论文解读] 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$-正則基圖 $B$（其中 $d \geq 3$）的 Alon 第二特徵值猜想之相對化版本，顯示隨機 $n$-覆蓋圖具有大於 $2\sqrt{d-1} + \epsilon$ 的新特徵值之機率為 $O(1/n)$。本文引入了「認證跡」這一新概念，以強化跡方法，並在 $B$ 為 Ramanujan 圖時，達成更精細的 $n^{-\eta_{\rm fund}(B)}$ 機率界，優於 Friedman 的原始結果。

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$）解決 Alon 的相對化第二特徵值猜想。
• 建立隨機 $n$-覆蓋圖具有大於 $2\sqrt{d-1} + \epsilon$ 的新特徵值之機率的緊緻上界。
• 引入並發展「認證跡」理論，作為簡化與強化隨機圖覆蓋中譜分析之新工具。
• 計算基圖 $B$ 的基本指數 $\eta_{\rm fund}(B)$，其決定當 $B$ 為 Ramanujan 圖時，大新特徵值機率之衰減速率。
• 透過納入基圖 $B$ 的結構約束，推廣 Friedman 對原始 Alon 猜想的證明。

提出的方法

• 引入「認證跡」概念——一種改良的跡方法，可追蹤具有受控扭結結構的行走路徑，以改善譜矩估計。
• 定義 $B$-扭結，並使用集合 $\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)$，以控制非扭結自由行走所產生的誤差項。
• 利用 Hashimoto 矩陣 $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$ 不變量，可決定 Ramanujan 基圖中機率衰減之指數？

主要发现

• 對於任一 $d$-正則基圖 $B$（其中 $d \geq 3$），隨機 $n$-覆蓋圖具有大於 $2\sqrt{d-1} + \epsilon$ 的新特徵值之機率為 $O(1/n)$。
• 當 $B$ 為 Ramanujan 圖時，機率以 $n^{-\eta_{\rm fund}(B)}$ 速率衰減，其中 $\eta_{\rm fund}(B)$ 為可透過有限演算法計算之整數。
• 基本指數 $\eta_{\rm fund}(B)$ 對任一 $d$-正則圖 $B$ 滿足 $\eta_{\rm fund}(B) > \sqrt{d-1}$。
• 引入「認證跡」簡化了基於跡的譜分析，並能更精確地控制含扭結行走所產生的誤差項。
• 本方法在某些情況下優於 Friedman 對 Alon 猜想原始證明之結果，提供更大新特徵值機率之更強衰減速率。
• 該框架可系統化分析隨機提升之譜間隔，透過 $B$-扭結有效隔離與控制結構化行走模式之貢獻。