[论文解读] 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$，该猜想通过阿凯曼与安德森的投影铺砌猜想可推出凯迪森-辛格问题。
• 利用一种新颖的多项式方法，为安德森原始的铺砌猜想建立显式的铺砌界。
• 发展并应用混合特征多项式的理论，以分析矩阵族的最大特征根。
• 证明交错族多项式可用于推导谱稀疏化与矩阵分解问题中的最优界。

提出的方法

• 引入混合特征多项式的概念，作为矩阵特征多项式的凸组合。
• 定义多项式交错族，以分析这些混合多项式的最大根。
• 利用实稳定多项式及其根交错性质的理论，以界定混合特征多项式最大根的上界。
• 应用交错族方法，证明混合多项式的最大根至多等于各独立矩阵最大根中的最大值。
• 利用混合特征多项式为实稳定且满足必要交错条件的性质，以界定极值特征值的上界。
• 将这些多项式技巧与矩阵理论及凸分析的结果相结合，推导出投影的铺砌界。

实验结果

研究问题

• RQ1 交错族多项式的方法能否推广至混合特征多项式，以界定极值特征值？
• RQ2 对于任意具有有界范数的向量集合，威弗猜想 $KS_2$ 是否成立？能否通过多项式交错方法证明？
• RQ3 能否在此框架下为安德森原始的铺砌猜想计算出显式的铺砌界？
• RQ4 是否存在一个仅依赖于向量最大范数的投影铺砌分解中范数的统一上界？
• RQ5 凯迪森-辛格问题能否通过避免使用深层算子代数工具的多项式方法得以解决？

主要发现

• 本文证明，任意一组算子范数不超过 1 的向量均可被划分为 $k$ 个子集，使得每个子集上投影的范数至多为 $O(\log k)$，从而确立了统一的铺砌界。
• 通过证明对于任意满足 $\|v_i\| \leq 1$ 的向量集合，存在一种划分为 $k$ 个部分的方式，使得每个部分上投影和的最大特征值被 $O(\log k)$ 有界，从而确认了威弗猜想 $KS_2$。
• 在满足交错条件的前提下，一族正半定矩阵的混合特征多项式的最大根至多等于各矩阵最大根中的最大值。
• 该方法给出了 $k$-铺砌存在性的构造性证明，其界至多相差常数因子。
• 证明了混合特征多项式为实稳定，从而可应用交错定理以推导谱界。
• 凯迪森-辛格问题的解作为同一多项式框架下同时证明 $KS_2$ 与铺砌猜想的结果而确立。