Solving Conic Optimization Problems via Self-Dual Embedding and Facial Reduction: A Unified Approach

Type: Article

Publication Date: 2017-01-01

Citations: 39

DOI: https://doi.org/10.1137/15m1049415

View Chat PDF

Abstract

We establish connections between the facial reduction algorithm of Borwein and Wolkowicz and the self-dual homogeneous model of Goldman and Tucker when applied to conic optimization problems. Specifically, we show that the self-dual homogeneous model returns facial reduction certificates when it fails to return a primal-dual optimal solution or a certificate of infeasibility. Using this observation, we give an algorithm based on facial reduction for solving the primal problem that, in principle, always succeeds. (An analogous algorithm is easily stated for the dual problem.) This algorithm has the appealing property that it only performs facial reduction when it is required, not when it is possible; e.g., if a primal-dual optimal solution exists, it will be found in lieu of a facial reduction certificate even if Slater's condition fails. For the case of linear, second-order, and semidefinite optimization, we show that the algorithm can be implemented by assuming oracle access to the central-path limit point of an extended embedding, a strictly feasible conic problem with a strictly feasible dual. We then give numerical experiments illustrating barriers to practical implementation.

Locations

  • Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) - View - PDF
  • SIAM Journal on Optimization - View

Similar Works

Action Title Year Authors
+ PDF Chat The Many Faces of Degeneracy in Conic Optimization 2017 Dmitriy Drusvyatskiy
Henry Wolkowicz
+ Reduction methods in semidefinite and conic optimization 2017 Frank Permenter
+ Strong duality in conic linear programming: facial reduction and extended duals 2013 GĂĄbor Pataki
+ A facial reduction algorithm and extended duals in conic linear programming 2013 GĂĄbor Pataki
+ PDF Chat Strong Duality in Conic Linear Programming: Facial Reduction and Extended Duals 2013 GĂĄbor Pataki
+ PDF Chat Conic Optimization via Operator Splitting and Homogeneous Self-Dual Embedding 2016 Brendan O’Donoghue
Eric Chu
Neal Parikh
Stephen Boyd
+ Conic Optimization via Operator Splitting and Homogeneous Self-Dual Embedding 2013 Brendan O’Donoghue
Eric Chu
Neal Parikh
Stephen Boyd
+ Conic Optimization via Operator Splitting and Homogeneous Self-Dual Embedding 2013 Brendan O’Donoghue
Eric Chu
Neal S. Parikh
Stephen Boyd
+ The many faces of degeneracy in conic optimization 2017 Dmitriy Drusvyatskiy
Henry Wolkowicz
+ PDF Chat Conic programming: Infeasibility certificates and projective geometry 2020 Simone Naldi
Rainer Sinn
+ Operator Splitting for Conic Optimization via Homogeneous Self-Dual Embedding 2013 Brendan O’Donoghue
Eric Chu
Neal Parikh
Stephen Boyd
+ PDF Chat Solving SDP completely with an interior point oracle 2021 Bruno F. Lourenço
Masakazu Muramatsu
Takashi Tsuchiya
+ Solving SDP Completely with an Interior Point Oracle 2015 Bruno F. Lourenço
Masakazu Muramatsu
Takashi Tsuchiya
+ PDF Chat Partial facial reduction: simplified, equivalent SDPs via approximations of the PSD cone 2017 Frank Permenter
Pablo A. Parrilo
+ Fast ADMM for homogeneous self-dual embedding of sparse SDPs * *Y. Zheng and G. Fantuzzi contributed equally to this work. Y. Zheng is supported by the Clarendon Scholarship and the Jason Hu Scholarship. 2017 Yang Zheng
Giovanni Fantuzzi
Antonis Papachristodoulou
Paul J. Goulart
Andrew Wynn
+ Fast ADMM for homogeneous self-dual embedding of sparse SDPs 2017 Yang Zheng
Giovanni Fantuzzi
Antonis Papachristodoulou
Paul J. Goulart
Andrew Wynn
+ PDF Chat Affine FR : an Effective Facial Reduction Algorithm for Semidefinite Relaxations of Combinatorial Problems 2024 Hao Hu
Boshi Yang
+ PDF Chat Sieve-SDP: a simple facial reduction algorithm to preprocess semidefinite programs 2019 Yuzixuan Zhu
GĂĄbor Pataki
Quoc Tran-Dinh
+ Complete Facial Reduction in One Step for Spectrahedra 2017 Stefan Sremac
Hugo J. Woerdeman
Henry Wolkowicz
+ Preprocessing and Reduction for Semidefinite Programming via Facial Reduction: Theory and Practice 2013 Yuen-Lam Cheung

Cited by (37)

Action Title Year Authors
+ PDF Chat Douglas–Rachford splitting and ADMM for pathological convex optimization 2019 Ernest K. Ryu
Yanli Liu
Wotao Yin
+ PDF Chat Facial Reduction and Partial Polyhedrality 2018 Bruno F. Lourenço
Masakazu Muramatsu
Takashi Tsuchiya
+ PDF Chat Facially Dual Complete (Nice) Cones and Lexicographic Tangents 2019 Vera Roshchina
Levent Tunçel
+ PDF Chat Sparse semidefinite programs with guaranteed near-linear time complexity via dualized clique tree conversion 2020 Richard Y. Zhang
Javad Lavaei
+ PDF Chat Solving Natural Conic Formulations with Hypatia.jl 2022 Chris Coey
Lea Kapelevich
Juan Pablo Vielma
+ PDF Chat Outer approximation with conic certificates for mixed-integer convex problems 2020 Chris Coey
Miles Lubin
Juan Pablo Vielma
+ PDF Chat Conic Optimization with Spectral Functions on Euclidean Jordan Algebras 2022 Chris Coey
Lea Kapelevich
Juan Pablo Vielma
+ PDF Chat Performance enhancements for a generic conic interior point algorithm 2022 Chris Coey
Lea Kapelevich
Juan Pablo Vielma
+ PDF Chat Sieve-SDP: a simple facial reduction algorithm to preprocess semidefinite programs 2019 Yuzixuan Zhu
GĂĄbor Pataki
Quoc Tran-Dinh
+ PDF Chat The Many Faces of Degeneracy in Conic Optimization 2017 Dmitriy Drusvyatskiy
Henry Wolkowicz
+ PDF Chat Amenable cones: error bounds without constraint qualifications 2019 Bruno F. Lourenço
+ Solving SDP Completely with an Interior Point Oracle 2015 Bruno F. Lourenço
Masakazu Muramatsu
Takashi Tsuchiya
+ Facial Reduction and Partial Polyhedrality 2015 Bruno F. Lourenço
Masakazu Muramatsu
Takashi Tsuchiya
+ PDF Chat Solution refinement at regular points of conic problems 2019 Enzo Busseti
Walaa M. Moursi
S. T. P. Boyd
+ PDF Chat A limiting analysis on regularization of singular SDP and its implication to infeasible interior-point algorithms 2022 Takashi Tsuchiya
Bruno F. Lourenço
Masakazu Muramatsu
Takayuki Okuno
+ PDF Chat Operator Splitting for a Homogeneous Embedding of the Linear Complementarity Problem 2021 Brendan O’Donoghue
+ Numerical algebraic geometry and semidefinite programming 2021 Jonathan D. Hauenstein
Alan C. Liddell
Sanesha McPherson
Yi Zhang
+ PDF Chat Error Bounds and Singularity Degree in Semidefinite Programming 2021 Stefan Sremac
Hugo J. Woerdeman
Henry Wolkowicz
+ PDF Chat Regularization Algorithms for Linear Copositive Programming Problems: An Approach Based on the Concept of Immobile Indices 2022 O. I. Kostyukova
Tatiana Tchemisova
+ PDF Chat Solving SDP completely with an interior point oracle 2021 Bruno F. Lourenço
Masakazu Muramatsu
Takashi Tsuchiya
+ PDF Chat A framework for solving mixed-integer semidefinite programs 2017 Tristan Gally
Marc E. Pfetsch
Stefan Ulbrich
+ PDF Chat New Predictor–Corrector Algorithm for Symmetric Cone Horizontal Linear Complementarity Problems 2022 Zsolt Darvay
Petra RenĂĄta RigĂł
+ A new use of Douglas–Rachford splitting for identifying infeasible, unbounded, and pathological conic programs 2018 Yanli Liu
Ernest K. Ryu
Wotao Yin
+ Worst case bounds on facial reduction for conic programming 2016 Lourenco Bruno Figueira
Masakazu Muramatsu
Takashi Tsuchiya
+ A New Use of Douglas-Rachford Splitting and ADMM for Identifying Infeasible, Unbounded, and Pathological Conic Programs 2017 Yanli Liu
Ernest K. Ryu
Wotao Yin
+ PDF Chat A Two-Step Pre-Processing for Semidefinite Programming 2020 Vyacheslav Kungurtsev
Jakub Mareček
+ Chordal and factor-width decompositions for scalable semidefinite and polynomial optimization 2021 Yang Zheng
Giovanni Fantuzzi
Antonis Papachristodoulou
+ Presolving for Mixed-Integer Semidefinite Optimization 2022 Frederic Matter
Marc E. Pfetsch
+ Operator splitting for a homogeneous embedding of the linear complementarity problem 2020 Brendan O’Donoghue
+ A Two-Step Pre-Processing for Semidefinite Programming 2018 Vyacheslav Kungurtsev
Jakub Mareček
+ CBLIB 2014: a benchmark library for conic mixed-integer and continuous optimization 2015 Henrik A. Friberg
+ Face reduction and the immobile indices approaches to regularization of linear Copositive Programming problems 2021 O. I. Kostyukova
Tatiana Tchemisova
+ Closing duality gaps of SDPs completely through perturbation when singularity degree is one 2024 Takashi Tsuchiya
Bruno F. Lourenço
Masakazu Muramatsu
Takayuki Okuno
+ Projection onto the exponential cone: a univariate root-finding problem 2023 Henrik A. Friberg
+ PDF Chat A low-rank coordinate-descent algorithm for semidefinite programming relaxations of optimal power flow 2017 Jakub Mareček
Martin Takáč
+ Complete Facial Reduction in One Step for Spectrahedra 2017 Stefan Sremac
Hugo J. Woerdeman
Henry Wolkowicz
+ Facially Dual Complete (Nice) cones and lexicographic tangents 2017 Vera Roshchina
Levent Tunçel

Citing (28)

Action Title Year Authors
+ Self-Dual Embeddings 2000 Etienne de Klerk
TamĂĄs Terlaky
C. Roos
+ Convex Analysis and Optimization 2003 Dimitri P. Bertsekas
Angelia Nedić
Asuman Ozdaglar
+ SDPT3 — a Matlab software package for semidefinite-quadratic-linear programming, version 3.0 2001 Reha TĂŒtĂŒncĂŒ
Kim-Chuan Toh
Michael J. Todd
+ Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones 1999 J.F. Sturm
+ PDF Chat On the Convergence of the Central Path in Semidefinite Optimization 2002 Margaréta Halickå
Etienne de Klerk
C. Roos
+ An independent benchmarking of SDP and SOCP solvers 2003 Hans D. Mittelmann
+ PDF Chat Basis selection for SOS programs via facial reduction and polyhedral approximations 2014 Frank Permenter
Pablo A. Parrilo
+ PDF Chat Incorporating Condition Measures into the Complexity Theory of Linear Programming 1995 James Renegar
+ An O(√nL)-Iteration Homogeneous and Self-Dual Linear Programming Algorithm 1994 Yinyu Ye
Michael J. Todd
Shinji Mizuno
+ Projections of Convex Programs with Unattained Infima 1975 Robert Abrams
+ PDF Chat Cones of diagonally dominant matrices 1975 George P. Barker
David Carlson
+ On homogeneous interrior-point algorithms for semidefinite programming 1998 Florian A. Potra
Rongqin Sheng
+ Error Bounds for Linear Matrix Inequalities 2000 J.F. Sturm
+ PDF Chat On the behavior of the homogeneous self-dual model for conic convex optimization 2005 Robert M. Freund
+ Strange behaviors of interior-point methods for solving semidefinite programming problems in polynomial optimization 2011 Hayato Waki
Maho Nakata
Masakazu Muramatsu
+ Facial Reduction Algorithms for Conic Optimization Problems 2012 Hayato Waki
Masakazu Muramatsu
+ Initialization in semidefinite programming via a self-dual skew-symmetric embedding 1997 Etienne de Klerk
C. Roos
TamĂĄs Terlaky
+ Regularizing the abstract convex program 1981 Jonathan M. Borwein
Henry Wolkowicz
+ Infeasible Start Interior-Point Primal-Dual Methods in Nonlinear Programming 1995 Yurii Nesterov
+ PDF Chat Strong Duality in Conic Linear Programming: Facial Reduction and Extended Duals 2013 GĂĄbor Pataki
+ Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming 2015 Minghui Liu
GĂĄbor Pataki
+ Notes on Duality in Second Order and p -Order Cone Optimization 2002 Erling D. Andersen
C. Roos
TamĂĄs Terlaky
+ On the Central Paths in Symmetric Cone Programming 2016 HĂ©ctor RamĂ­rez
David Sossa
+ The Slater condition is generic in linear conic programming 2012 Mirjam DĂŒr
Bolor Jargalsaikhan
Georg Still
+ Operator Splitting for Conic Optimization via Homogeneous Self-Dual Embedding 2013 Brendan O’Donoghue
Eric Chu
Neal Parikh
Stephen Boyd
+ Duality and Self-Duality for Conic Convex Programming 1996 Z-Q. Luo
J.F. Sturm
S. Zhang
+ PDF Chat Solving SDP completely with an interior point oracle 2021 Bruno F. Lourenço
Masakazu Muramatsu
Takashi Tsuchiya
+ Preprocessing and Regularization for Degenerate Semidefinite Programs 2013 Yuen-Lam Cheung
Simon P. Schurr
Henry Wolkowicz