[論文レビュー] Interlacing Families II: Mixed Characteristic Polynomials and the Kadison-Singer Problem

Adam W. Marcus, Daniel A. Spielman+1 more|arXiv (Cornell University)|Jun 17, 2013

Matrix Theory and Algorithms参考文献 38被引用数 36

ひとこと要約

この論文は、混合特徴多項式を導入し、多項式の交互性族の手法を適用することで、カジソン＝サイダー問題を解決した。ヴェイバーの予想 $KS_2$ とパビング予想を証明し、任意のノルムが有界なベクトルの集合を、均一なパビング境界を持つ部分集合に分割できることを示した。これにより、作用素代数および関数解析における長年の問題が解決された。

ABSTRACT

We use the method of interlacing families of polynomials introduced to prove two theorems known to imply a positive solution to the Kadison--Singer problem. The first is Weaver's conjecture $KS_{2}$ \cite{weaver}, which is known to imply Kadison--Singer via a projection paving conjecture of Akemann and Anderson. The second is a formulation due to Casazza, et al., of Anderson's original paving conjecture(s), for which we are able to compute explicit paving bounds. The proof involves an analysis of the largest roots of a family of polynomials that we call the "mixed characteristic polynomials" of a collection of matrices.

研究の動機と目的

• 作用素代数における純状態の $C^*$-代数への拡張に関する基礎的問題であるカジソン＝サイダー問題を解決すること。
• カジソン＝サイダー問題を含むアケマンとアンダーソンの射影パビング予想を経由して、ヴェイバーの予想 $KS_2$ を証明すること。
• アンダーソンが提示した元のパビング予想に対する明示的なパビング境界を、新しい多項式手法を用いて確立すること。
• 行列族の最大固有値を分析するために、混合特徴多項式の理論を構築・適用すること。
• スペクトルスパarsificationおよび行列分解問題における最適境界を導出するために、多項式の交互性族が使用可能であることを示すこと。

提案手法

• 行列の特徴多項式の凸結合として、混合特徴多項式の概念を導入すること。
• これらの混合多項式の最大根を分析するために、多項式の交互性族を定義すること。
• 実安定多項式の理論とその根の交互性特性を用いて、混合特徴多項式の最大根を有界化すること。
• 交互性族の手法を適用し、混合多項式の最大根が個々の行列の最大根の最大値以下であることを示すこと。
• 混合特徴多項式が実安定であり、極値固有値を有界化するのに必要な交互性条件を満たすという事実を活用すること。
• これらの多項式技法を行列理論および凸解析の結果と組み合わせ、射影に対するパビング境界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 交互性族の多項式の手法を混合特徴多項式に拡張することで、極値固有値を有界化できるか？
• RQ2 任意のノルムが有界なベクトルの集合に対してヴェイバーの予想 $KS_2$ は成り立ち、多項式の交互性を用いて証明可能か？
• RQ3 このフレームワークを用いて、アンダーソンが提示した元のパビング予想に対する明示的なパビング境界を計算可能か？
• RQ4 パビング分解における射影のノルムに、ベクトルの最大ノルムにのみ依存する均一な境界が存在するか？
• RQ5 深いつながりを持つ作用素代数的道具を避ける多項式的手法により、カジソン＝サイダー問題を解決できるか？

主な発見

• 任意の作用素ノルムが1以下であるベクトルの集合は、$k$個の部分集合に分割可能であり、各部分集合への射影のノルムが $O(\log k)$ 以下であることを示した。これにより、均一なパビング境界が確立された。
• ヴェイバーの予想 $KS_2$ が確認された。任意の $\|v_i\| \leq 1$ を満たすベクトルの集合に対して、$k$個の部分に分割可能であり、各部分への射影の和の最大固有値が $O(\log k)$ 以下に抑えられることを示した。
• 正定値行列の族に対する混合特徴多項式の最大根は、交互性条件のもとで、個々の行列の最大根の最大値以下である。
• この手法により、定数倍の要因を除いて最適な境界を持つ $k$-パビングの存在が構成的証明された。
• 混合特徴多項式が実安定であることが示され、これにより交互性定理を適用し、スペクトル境界を導出可能となった。
• カジソン＝サイダー問題の解決は、$KS_2$ とパビング予想の両方を同じ多項式フレームワークで証明した結果として得られた。