[論文レビュー] Deciding polyhedrality of spectrahedra

Avinash Bhardwaj, Philipp Rostalski+1 more|arXiv (Cornell University)|Feb 21, 2011

Digital Image Processing Techniques参考文献 11被引用数 7

ひとこと要約

本稿では、直交変換と合同不変部分空間分解を用いて、定義行列写像の正規形を計算することで、スペクトラヒドロンが多面体であるかどうかを決定するアルゴリズムを提示する。主な貢献は、多面体的構造を明らかにする計算可能な正規形を提供することであり、一般にNP困難である問題に対しても、多面体性のアルゴリズム的検出を可能にする。

ABSTRACT

Spectrahedra are linear sections of the cone of positive semidefinite matrices that, as convex bodies, generalize the class of polyhedra. In this paper we investigate the problem of recognizing when a spectrahedron is polyhedral. We reprove a result of Ramana (1998) regarding the structure of spectrahedra and we devise a normal form of representations of spectrahedra. This normal form is effectively computable and leads to an algorithm for deciding polyhedrality.

研究の動機と目的

• スペクトラヒドロンが多面体であるかどうかを特定するという、凸幾何学および最適化における根本的な問題に取り組む。
• 多面体性の認識に向け、Ramanaのスペクトラヒドロンに関する構造的結果を一般化・強化する。
• 実際に計算可能で効果的なアルゴリズムフレームワークを構築し、多面体性を決定する。
• 多面体的構造を露呈するスペクトラヒドロン表現の正規形を提供する。
• 多面体的性質を隠すことがある、冗長的または対角化不可能なスペクトラヒドロン表現の課題に応える。

提案手法

• 方法は、内部点におけるコレスキー逆行列を用いて行列写像をユニタル形式に変換することから始まり、正規化された表現を保証する。
• すべての交換子行列の核を共通にとることで、行列写像の合同不変部分空間を計算し、行列が可換となる最大部分空間を同定する。
• アルゴリズムは直交変換を適用して、行列写像の可換部分を対角化し、多面体的および非多面体的成分を分離する正規形を導出する。
• 変換行列 M を用いて正規形を構築し、ユニタル変換と対角化直交行列を統合することで、ブロック対角構造が得られる。
• 関連する多面体的錐内に線形空間（lineality space）が存在するかをチェックすることで、非多面体性を確認する。
• 近似多面体の頂点列挙を用いて包含関係の検証を行い、近似多面体が元のスペクトラヒドロンに含まれるかどうかを確認する。

実験結果

リサーチクエスチョン

• RQ1 行列表現が対角化不可能であっても、スペクトラヒドロンが多面体としてアルゴリズム的に同定可能か？
• RQ2 定義行列が可換でない場合に、スペクトラヒドロンの多面体的性質を決定づける構造的性質は何か？
• RQ3 スペクトラヒドロンの正規形をどのように計算すれば、その多面体的フェースを露呈できるか？
• RQ4 特に変換におけるビット複雑性を考慮した場合、このような正規形の計算の計算複雑性はどの程度か？
• RQ5 非対角化可能または冗長な行列写像で表された場合でも、アルゴリズムが非多面体的スペクトラヒドロンを検出可能か？

主な発見

• 提案された正規形の計算により、行列写像を可換部分と非可換部分に分解することで、スペクトラヒドロンが多面体であるかどうかを効果的に判別できる。
• アルゴリズムは、近似多面体錐内に線形空間が存在することを検出することで、非多面体性を確認する。これは、元のスペクトラヒドロンが鋭錐であっても同様に成立する。
• 合同不変部分空間の計算は多項式時間で可能であり、アルゴリズムの中心的ステップとして実行可能である。
• ユニタル行列写像への変換には、例3.6で示されるように、二重指数的ビット複雑性が生じる可能性があり、固有の数値的課題を示唆する。
• 正規形は明確に2つの多面体的フェースを示しており、スペクトラヒドロン錐内に多面体的構造が存在することを確認する。
• アルゴリズムは大規模な半定値計画法の前処理には非効率であるが、仮説検証や理論的探求において価値がある。