arXiv reaDer
大規模なランク 1 半定値緩和を解決するためのスペクトル頂点に沿った STRIDE
STRIDE along Spectrahedral Vertices for Solving Large-Scale Rank-One Semidefinite Relaxations
ランク 1 の最適解を認める非凸多項式最適化問題 (POP) の高次半正定値計画 (SDP) 緩和を解くことを検討します。 POP から独立して SDP を解決する既存のアプローチは、大きな問題に対応できないか、そのような SDP の典型的な縮退のために収束が遅くなるという問題があります。 vErtices に沿った SpecTrahedral pRoximal gradIent Descent (STRIDE) と呼ばれる新しいアルゴリズム フレームワークを提案します。これは、非凸 POP の高速ローカル検索と凸 SDP のグローバル ディセントをブレンドします。具体的には、STRIDE は、SDP を解決するための近接勾配法 (PGM) によって駆動されるグローバルに収束する軌道に従います。降下。 STRIDE がグローバルに収束することを証明します与えられた点を SDP の実行可能セットに射影するという副問題を解決するために、射影ステップを継続的に微分可能な制約のない最適化として再定式化し、限られたメモリの BFGS 法を適用してスケーラビリティと精度の両方を達成します。機械学習とコンピューター ビジョンの 2 つの重要なアプリケーションから生じる 2 次 SDP 緩和を解くための数値実験を行います。 STRIDE は、既存の 5 つの SDP ソルバーの多様なセットを支配し、数百万の等式制約が存在する場合でも、退化したランク 1 SDP (たとえば、1e-9 未満の KKT 残差) を解決できる唯一のソルバーです。
We consider solving high-order semidefinite programming (SDP) relaxations of nonconvex polynomial optimization problems (POPs) that admit rank-one optimal solutions. Existing approaches, which solve the SDP independently from the POP, either cannot scale to large problems or suffer from slow convergence due to the typical degeneracy of such SDPs. We propose a new algorithmic framework, called SpecTrahedral pRoximal gradIent Descent along vErtices (STRIDE), that blends fast local search on the nonconvex POP with global descent on the convex SDP. Specifically, STRIDE follows a globally convergent trajectory driven by a proximal gradient method (PGM) for solving the SDP, while simultaneously probing long, but safeguarded, rank-one "strides", generated by fast nonlinear programming algorithms on the POP, to seek rapid descent. We prove STRIDE has global convergence. To solve the subproblem of projecting a given point onto the feasible set of the SDP, we reformulate the projection step as a continuously differentiable unconstrained optimization and apply a limited-memory BFGS method to achieve both scalability and accuracy. We conduct numerical experiments on solving second-order SDP relaxations arising from two important applications in machine learning and computer vision. STRIDE dominates a diverse set of five existing SDP solvers and is the only solver that can solve degenerate rank-one SDPs to high accuracy (e.g., KKT residuals below 1e-9), even in the presence of millions of equality constraints.
updated: Fri May 28 2021 18:07:16 GMT+0000 (UTC)
published: Fri May 28 2021 18:07:16 GMT+0000 (UTC)
参考文献 (このサイトで利用可能なもの) / References (only if available on this site)
被参照文献 (このサイトで利用可能なものを新しい順に) / Citations (only if available on this site, in order of most recent)
Amazon.co.jpアソシエイト