[論文レビュー] Intrinsic volumes of symmetric cones

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

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

ひとこと要約

この論文は、実数、複素数、ケイリー数の上での正定値行列の錐——特に、メーハの積分に関連する積分を用いて、対称錐の内接体積の明示的公式を導出する。主な貢献は、ランダムな半定値計画法が与えられたランクの解を持つ確率を閉形式で得ることであり、半定値計画法解析における長年の未解決問題を解決する。

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.

研究の動機と目的

• 実数、複素数、ケイリー数上の正定値行列の錐——特に、R、C、H 上の正定値行列の錐——の内接体積を計算すること。
• これらの内接体積を、メーハの積分に関連する積分を用いて明示的な式で表現すること。
• これらの公式を応用し、実行可能性や解のランクといった半定値計画法における確率的統計を導出すること。
• 正定値行列の錐の曲率測度と半定値計画法の代数的次数との間の構造的関係を明らかにすることにより、より深い幾何学的・代数的構造を解明すること。
• ランダムな半定値計画法が与えられたランクの解を持つ確率を求めるという長年の未解決問題に対する、初めての閉形式解を提供すること。

提案手法

• 著者らは、対称錐とジョルダン代数の理論を用いて、自己スケーリング錐の基本的クラスを分類し、特に実数、複素数、ケイリー数上の正定値行列の錐に注目する。
• 直交変換の不変性を活用して、対称行列空間上の単位球面上での統合により、内接体積を導出する。
• コアとなる公式は、ランダム行列理論に現れる固有値の差の積を含む、メーハの積分に密接に関連する積分として表現される。
• 球面幾何における運動積分公式を用いて、内接体積とランダム部分空間との交差における期待測度を関連付ける。
• サポート測度と曲率測度を用いて、幾何確率フレームワークを形式化し、ランダム線形断面における内接体積の期待値の導出を可能にする。
• 双対性と分解技術を用いて、錐の内接体積とその双対の内接体積との関係を確立し、ランダム射影や交差における期待値に関する恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 実数、複素数、ケイリー数上の正定値行列の錐の内接体積は何か？
• RQ2 これらの内接体積は、既知の特殊関数や積分を用いてどのように表現できるか？
• RQ3 ランダムな半定値計画法が与えられたランクの解を持つ確率は何か？ そして、これは閉形式で計算可能か？
• RQ4 正定値行列の錐の曲率測度と半定値計画法の代数的次数との間に構造的関係があるか？
• RQ5 球面幾何における運動積分公式を用いて、対称錐のランダム断面の期待内接体積を導出できるか？

主な発見

• 実数、複素数、ケイリー数上の正定値行列の錐の内接体積は、メーハの積分に関連する積分を含む明示的公式で与えられる。
• ランダムな半定値計画法がランクkの解を持つ確率は、これらの内接体積を用いて閉形式で表現され、15年前の未解決問題を解決する。
• 正定値行列の錐の曲率測度は、半定値計画法の代数的次数と顕著な構造的類似性を示し、深い幾何的・代数的関係を示唆する。
• 運動積分公式を用いて、正定値行列の錐のランダム線形断面の頂点数の期待値が導出され、それが錐の内接体積に依存することが示された。
• 内接体積の公式は、直交群の作用に関して不変であり、正定値行列の錐の対称性を反映している。
• 本論文は、ハール測度と固有値分布を用いて、対称行列空間上の単位球面上での統合により、正定値行列の錐の内接体積が計算可能であることを確立した。