縮退したランク1の最適解を認めることが多い非凸多項式最適化問題(POP)の高次半正定値計画法(SDP)緩和を解くことを検討します。 SDPだけを解く代わりに、非凸POPを使用したローカル検索を凸SDPを使用したグローバル降下にブレンドする新しいアルゴリズムフレームワークを提案します。特に、最初に、フレームワークのバックボーンとして機能するSDPを解決するために、グローバルに収束する不正確な射影勾配法(iPGM)を設計します。次に、高速非線形計画法アルゴリズムによって生成された、長いが保護されたランク1のステップを実行することにより、iPGMを高速化します。新しいフレームワークがSDPを解決するためにまだグローバルに収束していることを証明します。与えられた点をSDPの実行可能なセットに投影するiPGMサブ問題を解決するために、対称ガウス-ザイデルベースの加速近接勾配法(sGS-APG)を使用して、フェーズ1の2フェーズアルゴリズムを設計し、適切な初期ポイントを生成します。 、およびフェーズ2では、修正された制限付きメモリBFGS(L-BFGS)法を使用して、正確な解を取得します。両方のフェーズの収束を分析し、目的関数が2回連続的に微分可能である必要のない修正L-BFGSの新しいグローバル収束結果を確立します。 POPの多様なセットから生じる2次SDP緩和を解くための数値実験を行います。私たちのフレームワークは、何百万もの等式制約が存在する場合でも、縮退したランク1のSDPを高精度で解決する際の最先端の効率、スケーラビリティ、および堅牢性を示しています。
We consider solving high-order semidefinite programming (SDP) relaxations of nonconvex polynomial optimization problems (POPs) that often admit degenerate rank-one optimal solutions. Instead of solving the SDP alone, we propose a new algorithmic framework that blends local search using the nonconvex POP into global descent using the convex SDP. In particular, we first design a globally convergent inexact projected gradient method (iPGM) for solving the SDP that serves as the backbone of our framework. We then accelerate iPGM by taking long, but safeguarded, rank-one steps generated by fast nonlinear programming algorithms. We prove that the new framework is still globally convergent for solving the SDP. To solve the iPGM subproblem of projecting a given point onto the feasible set of the SDP, we design a two-phase algorithm with phase one using a symmetric Gauss-Seidel based accelerated proximal gradient method (sGS-APG) to generate a good initial point, and phase two using a modified limited-memory BFGS (L-BFGS) method to obtain an accurate solution. We analyze the convergence for both phases and establish a novel global convergence result for the modified L-BFGS that does not require the objective function to be twice continuously differentiable. We conduct numerical experiments for solving second-order SDP relaxations arising from a diverse set of POPs. Our framework demonstrates state-of-the-art efficiency, scalability, and robustness in solving degenerate rank-one SDPs to high accuracy, even in the presence of millions of equality constraints.