[論文レビュー] Coordinate shadows of semi-definite and Euclidean distance matrices

Dmitriy Drusvyatskiy, Gábor Pataki+1 more|arXiv (Cornell University)|May 8, 2014

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

ひとこと要約

本稿は、半正定値行列とユークリッド距離行列の行列成分への射影（座標シャドウ）を分析する。正定値行列の錐とEDMの錐の射影としてのシャドウについて、EDM錐のシャドウは常に閉集合であることが証明され、一方、PSD錐のシャドウは、自己ループを持つ頂点がグラフの残りの部分から分離されている場合に限り閉集合である。弦的条件の下で、実行可能領域の最小の面は組み合わせ論的記述を備え、完成問題の特異度は1以下である。これにより、簡略化された顔の削減アルゴリズムが可能となる。

ABSTRACT

We consider the projected semi-definite and Euclidean distance cones onto a subset of the matrix entries. These two sets are precisely the input data defining feasible semi-definite and Euclidean distance completion problems. We classify when these sets are closed, and use the boundary structure of these two sets to elucidate the Krislock-Wolkowicz facial reduction algorithm. In particular, we show that under a chordality assumption, the "minimal cones" of these problems admit combinatorial characterizations. As a byproduct, we record a striking relationship between the complexity of the general facial reduction algorithm (singularity degree) and facial exposedness of conic images under a linear mapping.

研究の動機と目的

• 半正定値行列錐およびユークリッド距離行列錐の座標シャドウが閉集合となる条件を同定すること。
• これらのシャドウの幾何的構造と、行列完成問題における顔の削減におけるその役割を明確化すること。
• 境界および面構造を用いて、半正定値行列とユークリッド距離行列の完成問題を統一的に分析すること。
• Krislock-Wolkowiczの顔の削減アルゴリズムがEDM完成問題の文脈でどのように幾何的に基礎づけられるかを明示すること。
• 顔の露出性と組み合わせ論的面記述を活用して、ノイズありまたは不正確なEDM完成問題へアルゴリズム枠組みを拡張すること。

提案手法

• グラフの辺集合によってインデックス付けされた行列成分への部分集合へのPSDおよびEDM錐の射影写像を定義し、座標シャドウを導出する。
• 顔の削減理論を用いて、行列完成問題における実行可能領域の最小の面を分析する。
• クリークに基づく削減戦略を採用し、各最大クリークが実行可能集合を含む面を露出することを示す。
• 顔の双対作用を用いて、局所的なクリーク空間における露出面を、グローバルな行列空間におけるそれらと関連付ける。
• 距離行列写像の一般化逆行列を用いて、EDM錐における露出面を特徴付ける。
• 弦的条件下で、完成問題の特異度が1以下であることを確立し、効率的な顔の削減を可能にする。

実験結果

リサーチクエスチョン

• RQ1 正定値半定値行列錐の座標シャドウが閉集合となる条件は何か？
• RQ2 ユークリッド距離行列錐の座標シャドウが閉集合となる条件は何か？
• RQ3 これらのシャドウの境界構造は、行列完成問題における顔の削減の複雑さにどのように関係するか？
• RQ4 弦的条件下で、実行可能領域の最小の面にどのような組み合わせ論的記述を与えることができるか？
• RQ5 EDM完成問題の顔の削減アルゴリズムは、シャドウの幾何的性質を活用して、ノイズありまたは不正確なデータへ一般化可能か？

主な発見

• ユークリッド距離行列錐の座標シャドウは、グラフ構造にかかわらず常に閉集合である。
• 正定値半定値行列錐の座標シャドウは、自己ループを持つ頂点の集合がグラフの残りの部分から分離されている場合に限り閉集合である。
• 弦的条件の下で、行列完成問題における実行可能領域の最小の面は、最大クリークを用いた組み合わせ論的記述を備える。
• グラフが弦的である場合、完成問題の特異度は1以下である。これは、効率的な顔の削減を示唆する。
• EDM完成問題の顔の削減アルゴリズムは、座標シャドウの露出面構造を活用することで、ノイズあり設定へ簡略化・一般化可能である。
• 本稿は、錐型最適化問題の特異度と、線形写像によるその像の顔の露出性との間の驚くべき関係を確立した。