[论文解读] Intrinsic volumes of symmetric cones

Dennis Amelunxen, Bürgisser, Peter|arXiv (Cornell University)|May 9, 2012

Point processes and geometric inequalities参考文献 38被引用 11

一句话总结

本文通过与梅hta积分相关的积分，推导出对称锥——特别是实数、复数和四元数上的半正定矩阵锥——的内在体积的显式公式。主要贡献在于给出了随机半正定规划具有给定秩解的概率的闭式表达，从而解决了半正定规划分析中长期存在的一个开放问题。

ABSTRACT

We compute the intrinsic volumes of the cone of positive semidefinite matrices over the real numbers, over the complex numbers, and over the quaternions, in terms of integrals related to Mehta's integral. Several applications for the probabilistic analysis of semidefinite programming are given.

研究动机与目标

• 计算对称锥的内在体积，特别是实数、复数和四元数上的半正定矩阵锥的内在体积。
• 建立这些内在体积的显式公式，公式形式与梅hta积分相关。
• 将这些公式应用于推导半正定规划中的概率统计量，例如可行性概率和解的秩。
• 将半正定锥的曲率测度与半正定规划的代数次数联系起来，揭示其更深层的几何与代数结构。
• 首次提供长期悬而未决问题的闭式解，即计算随机半正定规划具有给定秩解的概率。

提出的方法

• 作者利用对称锥与Jordan代数的理论，对自对偶锥的基本族进行分类，重点关注实数、复数和四元数上的半正定矩阵锥。
• 通过在对称矩阵空间的单位球面上进行积分，推导出内在体积，利用正交变换下的不变性。
• 核心公式以与梅hta积分密切相关的形式表达，后者源于随机矩阵理论，涉及特征值差积的乘积。
• 应用球面几何中的运动公式，将内在体积与随机子空间交集的期望测度联系起来。
• 使用支撑测度与曲率测度，形式化几何概率框架，从而推导出在随机线性截面下内在体积的期望值。
• 应用对偶性与分解技术，将锥的内在体积与其对偶锥的内在体积联系起来，并推导出在随机投影与交集中期望值的恒等式。

实验结果

研究问题

• RQ1 实数、复数和四元数上的半正定矩阵锥的内在体积是什么？
• RQ2 这些内在体积能否用已知的特殊函数或积分表达？
• RQ3 随机半正定规划具有给定秩解的概率是多少？能否以闭式形式计算？
• RQ4 半正定锥的曲率测度与半正定规划的代数次数之间是否存在结构性联系？
• RQ5 球面几何中的运动公式能否用于推导对称锥随机截面的期望内在体积？

主要发现

• 实数、复数和四元数上的半正定矩阵锥的内在体积由与梅hta积分相关的积分显式给出。
• 随机半正定规划具有秩k解的概率，通过这些内在体积以闭式表达，解决了15年前的开放问题。
• 半正定锥的曲率测度与半正定规划的代数次数表现出显著的结构相似性，暗示存在深层的几何-代数联系。
• 通过运动公式推导出随机线性截面的顶点数的期望值，并表明其依赖于锥的内在体积。
• 内在体积公式在正交群作用下保持不变，反映了半正定锥的对称性。
• 本文确立了半正定锥的内在体积可通过在对称矩阵空间的单位球面上进行积分计算，使用Haar测度与特征值分布。