[论文解读] Hyperbolic polynomials and the Kadison-Singer problem

Petter Brändén|arXiv (Cornell University)|Sep 10, 2018

Mathematical Dynamics and Fractals参考文献 18被引用 8

一句话总结

本文将 Marcus、Spielman 和 Srivastava 对 Kadison-Singer 问题的突破性证明扩展至双曲多项式与双曲性锥的更广泛框架，消除了秩约束，并在划分问题中提供了更紧致的算子范数界。它建立了一个关于双曲锥上混合特征多项式的通用定理，对所有 $ r \geq 2 $ 获得改进的算子范数界，其中 $ r=2 $ 时结果完全一致，而 $ r>2 $ 时实现严格改进。

ABSTRACT

Recently Marcus, Spielman and Srivastava gave a spectacular proof of a theorem which implies a positive solution to the Kadison-Singer problem via Weaver's $KS_r$ conjecture. We extend this theorem to the realm of hyperbolic polynomials and hyperbolicity cones, as well as to arbitrary ranks. We also sharpen the theorem by providing better bounds, which imply better bounds in Weaver's $KS_r$ conjecture for each $r>2$. For $r=2$ our bound agrees with Bownik et al.

研究动机与目标

• 将 Marcus、Spielman 和 Srivastava 对 Kadison-Singer 问题的解法从正半定矩阵推广至双曲多项式与双曲性锥的设定。
• 消除原始定理中的秩一约束，使方法可应用于更高秩算子以及欧几里得 Jordan 代数和对称域等代数结构。
• 改进划分不等式中的算子范数界，尤其针对 $ r > 2 $ 的情形，同时在 $ r = 2 $ 时保持紧致性。
• 在双曲多项式理论框架下统一证明方法，避免依赖 Helton-Vinnikov 定理进行矩阵到多项式的转换。
• 推导混合特征多项式最大特征值的显式、精确界，以迹和秩参数表示。

提出的方法

• 引入相容多项式族作为交错族的一个子类，实现对混合特征多项式的结构化分析。
• 通过双曲多项式的多重线性延拓定义混合双曲多项式，构造一个在期望与划分下封闭的多项式类。
• 推导双曲多项式的相关性不等式，以在随机划分下控制混合特征多项式最大特征值。
• 利用双曲多项式的凸性与实根性质，对混合特征多项式的最大零点施加界。
• 运用双曲性锥理论，将算子范数划分结果推广至任意双曲多项式，包括四元数与 Jordan 代数上的情形。
• 采用基于双曲性锥中独立随机向量的概率方法，将问题简化为基于期望的不等式，最终导出 Marcus-Srivastava 定理的广义版本。

实验结果

研究问题

• RQ1 Marcus-Srivastava 定理在 Kadison-Singer 问题上的结果能否从秩一矩阵推广至一般双曲多项式与双曲性锥？
• RQ2 当正半定矩阵不被限制为秩一时，其划分下和的算子范数最优界是什么？
• RQ3 在双曲设定下，混合特征多项式最大特征值的界如何依赖于迹与秩参数？
• RQ4 能否使证明框架完全内嵌于双曲多项式理论，避免使用如 Helton-Vinnikov 定理等外部工具？
• RQ5 在广义设定下，最大特征值的显式、精确界是什么，特别是对 $ r > 2 $ 的情形？

主要发现

• 本文建立了 Marcus-Srivastava 定理在任意双曲多项式与双曲性锥上的推广，消除了对秩一的依赖。
• 对于 $ r = 2 $，所得界与 Bownik 等人的精确结果完全一致，验证了在已知情形下的正确性与一致性。
• 对每个 $ r > 2 $，本文提供的算子范数界相比先前结果实现严格改进，且给出了以 $ \epsilon $ 和 $ r $ 表示的显式表达式。
• 对 $ r \geq 2 $ 的界由下式给出：$ \delta(\epsilon, \infty, r) = \begin{cases} 1 + 2\sqrt{\epsilon}\sqrt{1 - \epsilon/r} + \frac{r-1}{r}\epsilon, & \epsilon \leq r/(r+1), \\ 2 + \epsilon(1 - 2/r), & \epsilon > r/(r+1). \end{cases} $
• 该方法在双曲多项式理论内部构建了连贯且内在的证明，无需借助 Helton-Vinnikov 定理将矩阵问题转化为多项式形式。
• 结果适用于一大类代数结构，包括四元数上的厄米特矩阵、欧几里得 Jordan 代数与对称域，显著拓展了原始 Kadison-Singer 解决方案的适用范围。