[論文レビュー] Lower Bounds for Sizes of Semidefinite Formulations for Some Combinatorial Optimization Problems.

Troy Lee, Dirk Oliver Theis|arXiv (Cornell University)|Jan 1, 2012

Advanced Optimization Algorithms Research被引用数 1

ひとこと要約

この論文は、行列のゼロ/非ゼロパターンにのみ依存するサポートベースの下界が、非負行列の正定値下界を証明する能力において根本的に制限されていることを確立している。サポートが引き起こす構造的制約を同定することで、著者たちはこのような手法が半正定値定式化の完全な複雑性を捉えられないことを示し、組合せ最適化問題において広く用いられるこの手法に内在する限界を明らかにしている。

ABSTRACT

The positive semidefinite rank of a nonnegative $(m imes n)$-matrix~$S$ is the minimum number~$q$ such that there exist positive semidefinite $(q imes q)$-matrices $A_1,\dots,A_m$, $B_1,\dots,B_n$ such that $S(k,\ell) = \mbox{tr}(A_k^* B_\ell)$. The most important, lower bound technique for nonnegative rank is solely based on the support of the matrix S, i.e., its zero/non-zero pattern. In this paper, we characterize the power of lower bounds on positive semidefinite rank based on solely on the support.

研究の動機と目的

• サポートベースの下界の理論的パワーが正定値下界に与える影響を調査すること。
• 行列のゼロ/非ゼロパターンが正定値下界に及ぼす構造的制約を同定すること。
• サポートベースの手法が組合せ問題の半正定値定式化において、タイトまたは意味のある下界を達成できるかどうかを特定すること。
• 行列のサポートにのみ依存する既存の下界技術の限界を同定すること。

提案手法

• 著者たちは、正定値行列のトレース内積に基づく枠組みを用いて正定値下界を分析している。
• 非負行列 S の正定値下界を、S(k,ℓ) = tr(A_k^* B_ℓ) を満たす q×q 正定値行列 A_k および B_ℓ が存在する最小の q として定義している。
• 研究は、S のゼロと非ゼロの位置にのみ依存するサポートベースの下界に焦点を当てる。
• このようなサポートベースの下界が非自明であるためには、行列 S が満たすべき構造的制約を導出している。
• 組合せ的および代数的技法を用いて、サポートのみに依存する分析の限界を同定している。
• 分析により、サポートベースの手法が半正定値定式化における特定のランク不足を検出できないことが明らかになった。

実験結果

リサーチクエスチョン

• RQ1 サポートベースの正定値下界は、組合せ問題の半正定値定式化において高いランクを証明するために効果的か？
• RQ2 行列のサポートの構造的性質が、正定値下界に対するサポートベースの下界のパワーをどのように制限するか？
• RQ3 正定値下界が低いにもかかわらず、サポートベースの手法がその低ランクを検出できない行列は存在するか？
• RQ4 行列のゼロ/非ゼロパターンが最小正定値下界をどの程度制約するか？
• RQ5 代数的または組合せ的不変量を用いて、サポートベースの下界の限界を形式的に同定できるか？

主な発見

• 正定値下界に対するサポートベースの下界は根本的に制限されており、半正定値定式化の完全な複雑性を捉えられない。
• 行列のゼロ/非ゼロパターンは、サポートのみの分析の有効性を制限する厳密な構造的制約を引き起こす。
• サポートベースの手法が、低ランクの正定値定式化が存在するにもかかわらずその低ランク下界を証明できない行列が存在する。
• 本論文は、組合せ最適化において多くの場合に、サポートベースの技術が強い下界を証明するのに不十分であることを示している。
• サポートパターンから導出された構造的制約は、ランク認証に行列のスパarsityにのみ依存するという内在的な弱みを明らかにする。