mlsanityData to 7 Oct 2026

An Inexact Projected Gradient Method with Rounding and Lifting by Nonlinear Programming for Solving Rank-One Semidefinite Relaxation of Polynomial Optimization

arXiv 2105.14033 ↗First posted 28 May 2021math.OC cs.CV cs.LGcited by 10

Not on the map. Why?

Abstract (arXiv)

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.

Key facts. Cited by 10 papers in the map (data through 7 Oct 2026). Builds on 29 of its 97 references that are in the map. First posted on arXiv 28 May 2021.

Builds on

29 of 97 references.

References · 29

  1. 2020TEASER: Fast and Certifiable Point Cloud Registrationcited by 274
  2. 2013Manopt, a Matlab toolbox for optimization on manifoldscited by 112
  3. 2019Graduated Non-Convexity for Robust Spatial Perception: From Non-Minimal Solvers to Global Outlier Rejectioncited by 92
  4. 2016SE-Sync: A Certifiably Correct Algorithm for Synchronization over the Special Euclidean Groupcited by 80
  5. 2014Exact Recovery in the Stochastic Block Modelcited by 77
  6. 2016The non-convex Burer-Monteiro approach works on smooth semidefinite programscited by 44
  7. 2019A Polynomial-time Solution for Robust Registration with Extreme Outlier Ratescited by 38
  8. 2020ROBIN: a Graph-Theoretic Approach to Reject Outliers in Robust Estimation using Invariantscited by 38
  9. 2019Scalable Semidefinite Programmingcited by 36
  10. 2019A Quaternion-based Certifiably Optimal Solution to the Wahba Problem with Outlierscited by 29
  11. 2020Outlier-Robust Estimation: Hardness, Minimally Tuned Algorithms, and Applicationscited by 26
  12. 2014SDPNAL+: A Majorized Semismooth Newton-CG Augmented Lagrangian Method for Semidefinite Programming with Nonnegative Constraintscited by 22
17 more
  1. 2020One Ring to Rule Them All: Certifiably Robust Geometric Perception with Outlierscited by 19
  2. 2019In Perfect Shape: Certifiably Optimal 3D Shape Reconstruction from 2D Landmarkscited by 17
  3. 2021Optimal Pose and Shape Estimation for Category-level 3D Object Perceptioncited by 15
  4. 2019TSSOS: A Moment-SOS hierarchy that exploits term sparsitycited by 14
  5. 2017On the local stability of semidefinite relaxationscited by 12
  6. 2020Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extensioncited by 11
  7. 2018Exact Semidefinite Formulations for a Class of (Random and Non-Random) Nonconvex Quadratic Programscited by 7
  8. 2019A convex relaxation to compute the nearest structured rank deficient matrixcited by 7
  9. 2019On the tightness of SDP relaxations of QCQPscited by 7
  10. 2017Chordal decomposition in operator-splitting methods for sparse semidefinite programscited by 6
  11. 2014A Convergent 3-Block Semi-Proximal Alternating Direction Method of Multipliers for Conic Programming with 4-Type of Constraintscited by 5
  12. 2020A hierarchy of spectral relaxations for polynomial optimizationcited by 4
  13. 2014Strong duality in Lasserre's hierarchy for polynomial optimizationcited by 3
  14. 2015An Efficient Inexact Symmetric Gauss-Seidel Based Majorized ADMM for High-Dimensional Convex Composite Conic Programmingcited by 3
  15. 2017On the R-superlinear convergence of the KKT residues generated by the augmented Lagrangian method for convex composite conic programmingcited by 3
  16. 2017Sparse Semidefinite Programs with Guaranteed Near-Linear Time Complexity via Dualized Clique Tree Conversioncited by 3
  17. 2019The sum-of-squares hierarchy on the sphere, and applications in quantum information theorycited by 3

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2022: 3; 2023: 1; 2024: 3; 2025: 0; 2026: 3.

10 papers.