[論文レビュー] A Geometric View of SDP Exactness in QCQPs and its Applications

Alex L. Wang, Fatma Kılınç-Karzan|arXiv (Cornell University)|Nov 13, 2020

Advanced Optimization Algorithms Research参考文献 44被引用数 4

ひとこと要約

本稿は、二次制約付き二次プログラム（QCQPs）の半定形計画（SDP）緩和における正確性を分析する幾何的枠組みを提示する。凸ラグランジュ乗数の錐 Γ およびその関連する ΓP と Γ° を分析することで、目的関数値の正確性および凸包の正確性の十分（一部では必要）な条件を導出し、これらの幾何的構造が十分に理解されている場合には正確性の体系的取り扱いが可能になる。

ABSTRACT

Quadratically constrained quadratic programs (QCQPs) are a highly expressive class of nonconvex optimization problems. While QCQPs are NP-hard in general, they admit a natural convex relaxation via the standard (Shor) semidefinite program (SDP) relaxation. Towards understanding when this relaxation is exact, we study general QCQPs and their (projected) SDP relaxations. We present sufficient (and in some cases, also necessary) conditions for objective value exactness (the condition that the objective values of the QCQP and its SDP relaxation coincide) and convex hull exactness (the condition that the convex hull of the QCQP epigraph coincides with the epigraph of its SDP relaxation). Our conditions for exactness are based on geometric properties of $Γ$, the cone of convex Lagrange multipliers, and its relatives $Γ_P$ and $Γ^\circ$. These tools form the basis of our main message: questions of exactness can be treated systematically whenever $Γ$, $Γ_P$, or $Γ^\circ$ is well-understood. As further evidence of this message, we apply our tools to address questions of exactness for a prototypical QCQP involving a binary on-off constraint, quadratic matrix programs, the QCQP formulation of the partition problem, and random and semi-random QCQPs.

研究の動機と目的

• QCQPs の SDP 緩和が正確な解をもたらす条件を理解するための幾何的枠組みの構築を目的とする。
• 従来の研究が射影的凸ラグランジュ乗数の多面体集合を仮定していたという制限を克服することを目的とする。
• QCQPs における目的関数値の正確性および凸包の正確性に関する既存の結果を統合・拡張することを目的とする。
• 二値オンオフ制約、行列計画、ランダム QCQPs などの具体的な問題への枠組みの応用を目的とする。
• QCQP の上位集合の凸包がその SDP 緩和の上位集合と一致する条件を確立することを目的とする。

提案手法

• QCQPs における正確性を特徴付けるために、凸ラグランジュ乗数の錐 Γ およびその射影的変種 ΓP を導入する。
• ラグランジュ乗数構造の境界および極値的挙動を分析するため、双対錐 Γ° を定義する。
• 幾何的双対性および半定形計画法の双対性を用いて、QCQP の解と SDP 緩和との関係を関係づける。
• 次元数の数え上げ的議論および部分空間解析を用いて、正確性をテストする摂動を構築する。
• ベクトルおよび行列の摂動技術を用いて、ε-近似可能解を用いて正確解からのずれの上限を求める。
• S-lemma およびランク1生成（ROG）錐の性質を、幾何的枠組み内での特別なケースとして活用する。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュ乗数の錐 Γ がどのような幾何的条件下に、QCQP の SDP 緩和が元の問題の最適値と正確に一致するか。
• RQ2 QCQP の上位集合の凸包が、その SDP 緩和の上位集合と一致するのはいつか。
• RQ3 二値制約や行列計画から生じるような非多面体的乗数集合を持つ QCQPs に対して、この枠組みをどのように適用できるか。
• RQ4 対角型または単一制約のケースを越えて、一般の QCQPs における正確性の証明に ΓP および Γ° の構造が果たす役割は何か。
• RQ5 幾何的アプローチを用いて、半ランダムまたは構造的 QCQPs における QCQP と SDP 解との間のギャップに定量的バインドを導出できるか。

主な発見

• 本稿は、ラグランジュ乗数の錐 Γ の幾何的構造に基づいて、目的関数値の正確性の十分かつ一部では必要条件を確立した。
• 凸包の正確性が、QCQP の上位集合がその SDP 緩和の上位集合と等しい場合に成立することを証明した。これは、ΓP および Γ° に対する特定の幾何的条件下で保証される。
• S-lemma や対角型 QCQPs に関する既存の結果を、共通の幾何的レンズで統合することで、枠組みを一般化した。
• オンオフ制約をもつ QCQP に対して、Γ 及びその双対 Γ° の幾何的性質を用いて正確性の条件を導出し、乗数錐が適切に定義されていれば正確性が成立することを示した。
• 半ランダム QCQPs において、ε-近似可能解および摂動解析を用いて最適性ギャップの定量的バインドを導出可能であることを明らかにした。
• Γ° が十分に理解されていれば、ΓP が多面体的でなくても正確性を体系的に証明可能であることが明らかになった。