COSMO: A conic operator splitting method for convex conic problems
arXiv:1901.10887 · doi:10.1007/s10957-021-01896-x
Abstract
This paper describes the Conic Operator Splitting Method (COSMO) solver, an operator splitting algorithm for convex optimisation problems with quadratic objective function and conic constraints. At each step the algorithm alternates between solving a quasi-definite linear system with a constant coefficient matrix and a projection onto convex sets. The low per-iteration computational cost makes the method particularly efficient for large problems, e.g. semidefinite programs that arise in portfolio optimisation, graph theory, and robust control. Moreover, the solver uses chordal decomposition techniques and a new clique merging algorithm to effectively exploit sparsity in large, structured semidefinite programs. A number of benchmarks against other state-of-the-art solvers for a variety of problems show the effectiveness of our approach. Our Julia implementation is open-source, designed to be extended and customised by the user, and is integrated into the Julia optimisation ecosystem.
45 pages, 11 figures
References in corpus (1)
Cited by in corpus (14)
- Chordal and factor-width decompositions for scalable semidefinite and polynomial optimization
- Enhancing synchronization by optimal correlated noise
- A sparse ADMM-based solver for linear MPC subject to terminal quadratic constraint
- Efficiently solving the harmonic model predictive control formulation
- Certification of genuine multipartite entanglement in spin ensembles with measurements of total angular momentum
- Bounds and convex heuristics for bi-objective optimal experiment design in water networks
- A Certifably Correct Algorithm for Generalized Robot-World and Hand-Eye Calibration
- QOCO: A Quadratic Objective Conic Optimizer with Custom Solver Generation
- Investigating Pure State Uniqueness in Tomography via Optimization
- Instance-specific linear relaxations of semidefinite optimization problems
- Performance Bounds for Quantum Feedback Control
- Coordinate-Update Algorithms can Efficiently Detect Infeasible Optimization Problems
- Efficient online update of model predictive control in embedded systems using first-order methods
- Better bounds on finite-order Grothendieck constants