[論文レビュー] A Revisit to Quadratic Programming with One Inequality Quadratic Constraint via Matrix Pencil

Yong Hsia, Gang-Xuan Lin+1 more|arXiv (Cornell University)|Dec 5, 2013

Advanced Optimization Algorithms Research参考文献 16被引用数 5

ひとこと要約

この論文は、スレーター条件やSDC条件に依存せずに、不実行性、非有界性、到達不能性などの「望ましくない」ケースを特定・解消するため、行列ペンシル解析を用いて1つの不等式二次制約を伴う二次計画法（QP1QC）を再考する。標準的なSDP/ランク1分解が失敗する状況でも、多項式時間での分類と代替解法を提供する。

ABSTRACT

The quadratic programming over one inequality quadratic constraint (QP1QC) is a very special case of quadratically constrained quadratic programming (QCQP) and attracted much attention since early 1990's. It is now understood that, under the primal Slater condition, (QP1QC) has a tight SDP relaxation (PSDP). The optimal solution to (QP1QC), if exists, can be obtained by a matrix rank one decomposition of the optimal matrix X? to (PSDP). In this paper, we pay a revisit to (QP1QC) by analyzing the associated matrix pencil of two symmetric real matrices A and B, the former matrix of which defines the quadratic term of the objective function whereas the latter for the constraint. We focus on the \undesired" (QP1QC) problems which are often ignored in typical literature: either there exists no Slater point, or (QP1QC) is unbounded below, or (QP1QC) is bounded below but unattainable. Our analysis is conducted with the help of the matrix pencil, not only for checking whether the undesired cases do happen, but also for an alternative way to compute the optimal solution in comparison with the usual SDP/rank-one-decomposition procedure.

研究の動機と目的

• 標準的な文献で無視されがちなQP1QCにおける『望ましくない』ケース（不実行性、下からの非有界性、有界だが到達不能な問題）を扱う。
• スレーター条件を必要とせず、行列ペンシル解析を用いてQP1QCの問題が不実行、非有界、または到達不能であるかを分類するフレームワークを構築する。
• 主問題または双対スレーター条件が成立しない場合に、標準的なSDP緩和やランク1分解を回避する代替解法を提供する。
• 正定値ペンシル $ I_{\succeq}(A,B) $ を用いて、多項式時間で問題のあるQP1QCインスタンスを検出・解消するアルゴリズムを確立する。
• スレーター条件や同時に合同による対角化（SDC）の仮定に依存しないQP1QC解法の適用範囲を拡張する。

提案手法

• QP1QC問題の挙動を分類するために、$ A + \sigma B \succeq 0 $ を満たす $ \sigma \geq 0 $ の集合として定義される行列ペンシル $ I_{\succeq}(A,B) $ を分析する。
• ペンシルの構造を用いて、主問題または双対スレーター条件を必要とせずに、問題が不実行、下からの非有界、または有界だが到達不能であるかを検出する。
• 標準的なSDP緩和が失敗する場合、ランク1分解を避けるために行列ペンシル分解を用いた代替解法を提供する。
• S-lemmおよびコネック双対性をペンシル解析と組み合わせることで、標準的仮定が成立しない場合でも強い双対性条件を導出する。
• $ A $ と $ B $ が同時に合同による対角化ができない例を明示的に構築し、非有界性や到達不能性を示す。
• ペンシル構造を用いることで、QP1QCの挙動分類が多項式時間で決定可能であることを証明し、効率的なアルゴリズム実装を可能にする。

実験結果

リサーチクエスチョン

• RQ1 スレーター条件を必要とせず、QP1QC問題を不実行、非有界、または到達不能に分類することは可能か？
• RQ2 行列ペンシル $ I_{\succeq}(A,B) $ は、QP1QCにおける非有界性や到達不能性の検出にどのような役割を果たすか？
• RQ3 標準的なSDP/ランク1分解が失敗する場合に、QP1QCの解を行列ペンシル解析を用いて計算可能か？
• RQ4 QP1QC問題が下から非有界である条件は何か？ そして、それを効率的に検出する方法は？
• RQ5 同時に合同による対角化（SDC）の失敗は、QP1QCにおける到達不能性や非有界性とどのように関係するか？

主な発見

• この論文は、行列ペンシル $ I_{\succeq}(A,B) $ を用いて、QP1QC問題が不実行、下からの非有界、または有界だが到達不能であるかを多項式時間で分類できることを確立した。
• 主スレーター条件が成立しない場合、問題は下からの非有界である可能性があり、例2では $ A + \sigma B \nsucceq 0 $ がすべての $ \sigma \geq 0 $ に対して成り立たないことが示された。
• 例3では、制約 $ x_1x_2 \geq 1 $ の下で $ x_2 \to 0 $ だがゼロに到達しないため、問題は下に有界だが到達不能である。
• この論文は、$ A $ と $ B $ が同時に合同による対角化ができない場合、問題が非有界または到達不能である可能性があることを示し、例2〜4でこれを確認した。
• 標準的なSDP緩和が失敗しても、行列ペンシル解析を用いてQP1QCの解を求められ、ランク1分解に対する強固な代替手法を提供する。
• SDC条件やスレーター条件を必要とせず、QP1QCの完全な分類と解法フレームワークを提供する。これによりアルゴリズムの強健性が向上する。