[論文レビュー] 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-正則な二部グラフのラマヌジャン・グラフの無限族の存在を証明すること。
• グラフのスパarsificationや制限的逆行列に関する確率的行列集合のスペクトルノルムをバウンドするための、新しい手法—入れ子族の多項式—を構築し、適用すること。
• ラマヌジャン・グラフにおけるスペクトル拡張の最適性を示す、混合特徴多項式に対する鋭い境界を確立すること。
• 確率的行列理論、スペクトルグラフ理論、および実安定多項式の技術を統合し、関数解析学および組合せ論における問題を解決すること。

提案手法

• 行列集合から導かれる多項式族の根を分析するため、入れ子族の多項式の手法を導入する。
• ランダムな符号化された隣接行列の期待固有多項式を符号化するための鍵となる道具として、混合特徴多項式を定義する。
• 多変数バリア関数と実安定多項式を用いて、微分作用素 (1−∂zj) が多項式の根の位置に与える影響を追跡する。
• 入れ子の補題の多変数版を確立し、(1−∂zj) を適用することで、根の堅牢な上界が制御された量だけシフトすることを示す。
• 実安定多項式の理論とヘルトン＝ヴィニコフ表現を用いて、バリア関数の単調性と凸性を証明する。
• ラマヌジャン・グラフの文脈における導出された固有値バウンドの鋭さを示すために、アロン＝ボパナウンドを下界の証拠として活用する。

実験結果

リサーチクエスチョン

• RQ1 深いつながりを持つ作用素代数的道具を避け、多項式的手法を用いてカジソン＝シンガー問題を解くことは可能か？
• RQ2 数論的群に基づく既知の構成を超えて、すべての次数 d ≥ 3 に対して、d-正則な二部グラフのラマヌジャン・グラフの無限族が存在するか？
• RQ3 入れ子族の多項式の手法を用いて、最適定数を伴う制限的逆行列定理を証明できるか？
• RQ4 d-正則グラフの隣接行列のランダム符号化における最大固有値の最もタイトなバウンドは何か？
• RQ5 混合特徴多項式とバリア関数は、確率的行列集合における鋭いスペクトルバウンドをもたらすためにどのように作用し合うか？

主な発見

• カジソン＝シンガー問題は、入れ子族の多項式および混合特徴多項式の手法を用いて肯定的に解決された。
• すべての d ≥ 3 に対して、d-正則グラフは、非自明な固有値の絶対値が 2√(d−1) 以下に抑えられる符号化をもつ。これにより、すべての d ≥ 3 に対して無限個の二部グラフのラマヌジャン・グラフの族の存在が裏付けられる。
• d-正則グラフのランダム符号化における最大固有値は、正の確率で d(1+√(2/d))² = d+2+2√(2d) 以下である。これは、既知のラマヌジャン構成の漸近的挙動と一致する。
• 混合特徴多項式の最大固有値バウンドは鋭く、改善が可能であればアロン＝ボパナウンドに矛盾する。
• この手法により、ボーグァインとツァフリの制限的逆行列原理が、最適定数を伴って、等方的状況において証明された。
• この枠組みにより、ラマヌジャン・グラフのスペクトルギャップが最適であり、その固有値分布が無限大のd-正則木と一致することが示された。