[論文レビュー] Spectral Polyhedra

Raman Sanyal, James Saunderson|arXiv (Cornell University)|Jan 13, 2020

Point processes and geometric inequalities参考文献 13被引用数 4

ひとこと要約

本稿では、固有値が対称な凸集合に属する対称行列によって定義される凸体のクラスとしてスペクトル多面体を導入する。これはシュール＝ホーンの軌道体を一般化したものであり、スペクトル多面体が小さなスペクトラルシャドウ表現を持つスペクトラヒドロンであることを証明し、交わり、双対性、ミンコフスキー和に関して閉じていることを示す。また、ステイナー多項式および面の軌道に関する公式も導出する。

ABSTRACT

A convex set is a collection of symmetric matrices whose range of eigenvalues form a symmetric convex set. Spectral convex sets generalize the Schur-Horn orbitopes studied by Sanyal-Sottile-Sturmfels (2011). We study this class of convex bodies, which is closed under intersections, polarity, and Minkowski sums. We describe orbits of faces and give a formula for their Steiner polynomials. We then focus on spectral polyhedra. We prove that spectral polyhedra are spectrahedra and give small representations as spectrahedral shadows. We close with observations and questions regarding hyperbolicity cones, polar convex bodies, and spectral zonotopes.

研究の動機と目的

• 対称行列と固有値の制約を用いて定義されるスペクトル凸集合を導入することで、シュール＝ホーンの軌道体を一般化すること。
• スペクトル多面体の代数的および幾何的性質を、交わり、双対性、ミンコフスキー和といった基本的な凸体操作に関して研究すること。
• スペクトル多面体がスペンクトラヒドロンであることを確立し、最小次元のスペンクトラルシャドウ表現を提供すること。
• スペクトル多面体のステイナー多項式についての公式を導出し、幾何的不変量とスペクトルデータを結びつけること。
• 未解決の問題と観察を通じて、双曲性錐、双対凸体、スペクトルゾノトープとの関係を探索すること。

提案手法

• 固有値の範囲が対称な凸集合をなす対称行列の凸集合として、スペクトル凸集合を定義する。
• 行列の凸幾何とスペクトル理論を用いて、交わり、双対性、ミンコフスキー和に関して閉じていることを示す。
• 固有値の対称性とスペクトル多面体上の群作用を用いて、面の軌道を特徴付ける。
• スペクトル不変量と対称関数を用いて、一般化されたスペクトル多面体のステイナー多項式の公式を導出する。
• 低ランク行列制約と半定値計画法の技術を用いて、スペクトル多面体をスペンクトラルシャドウとして表現する。
• 双対性と代数幾何学を用いて、スペクトルゾノトープと双曲性錐を調査し、未解決の問題を提示する。

実験結果

リサーチクエスチョン

• RQ1 スペクトル多面体は、対称行列凸集合の文脈において、どのようにシュール＝ホーンの軌道体を一般化するか？
• RQ2 極性やミンコフスキー和といった基本的演算に関して、スペクトル多面体の代数的および幾何的性質は何か？
• RQ3 スペクトル多面体は、次元が小さいスペンクトラルシャドウとして表現可能か？
• RQ4 スペクトル多面体における面の軌道の構造は何か。また、どのようにパrameter化可能か？
• RQ5 スペクトル多面体と双曲性錐、双対凸体との間にどのような関係があるか？

主な発見

• スペクトル多面体はスペンクトラヒドロンであり、小さなスペンクトラルシャドウ表現を有するため、効率的な半定値計画法の定式化が可能である。
• スペクトル多面体のクラスは、交わり、双対性、ミンコフスキー和に関して閉じており、軌道体の構造的性質を拡張する。
• スペクトル多面体のステイナー多項式についての一般化された公式が導出され、幾何的不変量とスペクトルデータを結びつける。
• スペクトル多面体における面の軌道は、対称的な固有値パターンとスペクトル領域上の群作用によって特徴付けられる。
• 本稿では、スペクトル多面体と双曲性錐との間の関係を確立し、凸幾何学と代数幾何学におけるより深い関連性を示唆する。
• スペクトルゾノトープと双対凸体に関する未解決の問題が提示され、今後の研究の方向性が示唆される。