[论文解读] Ramanujan Graphs and the Solution of the Kadison-Singer Problem

Adam W. Marcus, Daniel A. Spielman+1 more|arXiv (Cornell University)|Aug 19, 2014

Graph theory and applications参考文献 27被引用 23

一句话总结

本文通過互穿多項式族與混合特徵多項式的方法，解決了卡迪森-辛格問題，並證明了對每個度數都存在無限多組二分圖的拉馬努金圖。其主要貢獻在於建立了一套新穎的分析框架，用以界定隨機矩陣系綜的最大特徵值，進而實現圖形的最佳譜擴散，並確認了泛函分析與組合數學中長期存在的猜想。

ABSTRACT

We survey the techniques used in our recent resolution of the Kadison-Singer problem and proof of existence of Ramanujan Graphs of every degree: mixed characteristic polynomials and the method of interlacing families of polynomials. To demonstrate the method of interlacing families of polynomials, we give a simple proof of Bourgain and Tzafriri's restricted invertibility principle in the isotropic case.

研究动机与目标

• 解決卡迪森-辛格問題，此為算子代數中關於希爾伯特空間投影分割的長期懸而未決問題。
• 證明對每個 d ≥ 3，都存在無限多組 d-正則二分圖的拉馬努金圖，擴展了以往僅適用於特殊度數的構造方法。
• 發展並應用一種新方法——互穿多項式族，以界定圖形稀疏化與受限可逆性中出現的隨機矩陣系綜的譜範數。
• 建立混合特徵多項式的緊緻界，以證實拉馬努金圖譜擴散的最優性。
• 統合隨機矩陣理論、譜圖論與實穩定多項式技術，以解決泛函分析與組合數學中的問題。

提出的方法

• 引入互穿多項式族方法，用以分析源自矩陣系綜的多項式族之根。
• 定義混合特徵多項式作為關鍵工具，以編碼隨機簽名鄰接矩陣的期望特徵多項式。
• 運用多變數障礙函數與實穩定多項式，追蹤微分算子 (1−∂zj) 對多項式根位置的影響。
• 建立互穿引理的多變數類比，顯示應用 (1−∂zj) 可以以受控方式移動根的穩健上界。
• 應用實穩定多項式理論與赫爾頓-維尼科夫表示法，證明障礙函數的單調性與凸性。
• 利用阿隆-博帕納下界作為見證，顯示所導出的特徵值界在拉馬努金圖脈絡下的緊緻性。

实验结果

研究问题

• RQ1 能否使用避免深入算子代數機制的多項式方法來解決卡迪森-辛格問題？
• RQ2 對每個度數 d ≥ 3，是否都存在無限多組 d-正則二分圖的拉馬努金圖，超越基於數論群的已知構造？
• RQ3 互穿多項式族方法能否用以證明具有最優常數的受限可逆性定理？
• RQ4 d-正則圖鄰接矩陣的隨機簽名之最大特徵值的最緊緻界為何？
• RQ5 混合特徵多項式與障礙函數如何相互作用，以在隨機矩陣系綜中產生最緊緻的譜界？

主要发现

• 卡迪森-辛格問題透過互穿多項式族與混合特徵多項式的方法獲得肯定解答。
• 每個 d-正則圖皆存在一種簽名方式，使得所得矩陣的所有非平凡特徵值的絕對值均被限制在 2√(d−1) 以內，從而確認對每個 d ≥ 3，都存在無限多組二分圖的拉馬努金圖。
• d-正則圖的隨機簽名之最大特徵值以正機率不超過 d(1+√(2/d))² = d+2+2√(2d)，其漸近行為與已知的拉馬努金構造一致。
• 混合特徵多項式最大特徵值的界是緊緻的，因為任何改進都會與阿隆-博帕納下界矛盾。
• 該方法在各向同性情形下以最優常數證明了布爾甘與察弗里瑞的受限可逆性原理。
• 該框架表明拉馬努金圖的譜間隔為最優，且其特徵值分佈與無限 d-正則樹一致。