[论文解读] 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

一句话总结

本文通过矩阵束分析重新审视带一个不等式二次约束的二次规划（QP1QC），识别并求解‘非期望’情形——如不可行性、无界性或不可达性——而无需依赖Slater或SDC条件。它提供了一种多项式时间分类方法，并通过矩阵束分解实现替代解法，为标准SDP/秩一分解方法在这些条件不成立时提供了一种稳健的替代方案。

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的分类框架，利用矩阵束分析判断问题是否不可行、无界或不可达。
• 为QP1QC提供一种替代解法，当原始或对偶Slater条件不成立时，绕过标准SDP松弛和秩一分解方法。
• 建立基于正半定束 $ I_{\succeq}(A,B) $ 的多项式时间算法，用于检测并解决有问题的QP1QC实例。
• 通过合同对角化（SDC）或Slater条件的失败，将QP1QC求解方法的适用范围扩展至标准假设之外。

提出的方法

• 本文分析矩阵束 $ I_{\succeq}(A,B) $，定义为满足 $ A + \sigma B \succeq 0 $ 的所有 $ \sigma \geq 0 $ 的集合，用于分类QP1QC问题的行为。
• 利用该束的结构检测问题是否不可行、无界于下或有界但不可达，而无需依赖原始或对偶Slater条件。
• 当标准SDP松弛失效时，该方法通过矩阵束分解提供替代解法路径，避免使用秩一分解。
• 该方法结合S-lemma与锥对偶性，利用束分析推导出即使在标准假设不成立时也成立的强对偶性条件。
• 通过构造 $ A $ 与 $ B $ 无法通过合同变换同时对角化的显式例子，证明无界性或不可达性。
• 证明利用束结构可实现QP1QC行为的多项式时间可判定性，从而支持高效算法实现。

实验结果

研究问题

• RQ1 QP1QC问题能否在不依赖原始或对偶Slater条件的情况下，被分类为可行、无界或不可达情形？
• RQ2 矩阵束 $ I_{\succeq}(A,B) $ 在检测QP1QC中无界性或不可达性方面起什么作用？
• RQ3 当标准SDP/秩一分解方法失效时，能否通过矩阵束分析求解QP1QC？
• RQ4 QP1QC问题在何种条件下无界于下，以及如何高效检测该情形？
• RQ5 无法通过合同变换同时对角化（SDC）的失败与QP1QC中不可达性或无界性有何关联？

主要发现

• 本文证明，QP1QC问题可利用矩阵束 $ I_{\succeq}(A,B) $ 在多项式时间内被分类为不可行、无界于下或有界但不可达。
• 当原始Slater条件不成立时，问题可能无界于下，如示例2所示，其中对所有 $ \sigma \geq 0 $ 都有 $ A + \sigma B \nsucceq 0 $。
• 在示例3中，由于约束 $ x_1x_2 \geq 1 $，问题有下界但不可达，其中 $ x_2 \to 0 $ 但永不等于零。
• 本文证明，若 $ A $ 与 $ B $ 无法通过合同变换同时对角化，则问题可能表现出无界性或不可达性，如示例2–4所示。
• 即使标准SDP松弛失效，QP1QC的解仍可通过矩阵束分析求得，为秩一分解提供了一种稳健的替代方法。
• 该方法在不依赖SDC或Slater条件的前提下，提供了QP1QC的完整分类与求解框架，显著增强了算法的鲁棒性。