Abstract

This paper introduces QPDO, a primal-dual method for convex quadratic programs which builds upon and weaves together the proximal point algorithm and a damped semismooth Newton method. The outer proximal regularization yields a numerically stable method, and we interpret the proximal operator as the unconstrained minimization of the primal-dual proximal augmented Lagrangian function. This allows the inner Newton scheme to exploit sparse symmetric linear solvers and multi-rank factorization updates. Moreover, the linear systems are always solvable independently from the problem data and exact linesearch can be performed. The proposed method can handle degenerate problems, provides a mechanism for infeasibility detection, and can exploit warm starting, while requiring only convexity. We present details of our open-source C implementation and report on numerical results against state-of-the-art solvers. QPDO proves to be a simple, robust, and efficient numerical method for convex quadratic programming.

Highlights

  • Quadratic programs (QPs) are one of the fundamental problems in optimization

  • Active-set methods for QPs originated from extending the simplex method for linear programs (LPs) [64]

  • In this work we present a numerical method for solving general QPs

Read more

Summary

Introduction

Quadratic programs (QPs) are one of the fundamental problems in optimization. We consider linearly constrained convex QPs, in the form: min 1 ⊤ + ⊤ , s.t. A. De Marchi positive semidefinite, i.e., ⪰ 0 , and (ii) and satisfy ≤ , < +∞ , and > −∞ component-wise; cf [33, 59]. We will refer to the nonempty, closed and convex set. Note that (1) represents a general convex QP, in that it accomodates equality constraints and bounds. We denote N the sum of the number of nonzero entries in and , i.e., N∶=nnz( ) + nnz( )

Background
Approach
Outer loop: inexact proximal point method
Optimality conditions
Proximal point algorithm
Early termination
Warm starting
Primal and dual infeasibility
Merit function
Search direction
Exact linesearch
Algorithm and convergence
Convergence analysis
Relationship with similar methods
Implementation details
Linear solver
Parameters selection
Infeasibility detection
Preconditioning
Numerical results
Random problems
Results
Maros‐Mészáros problems
Degenerate and infeasible problems
Conclusions
43. MOSEK ApS

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.