In semidefinite programming a proposed optimal solution may be quite poor in spite of having sufficiently small residual in the optimality conditions. This issue may be framed in terms of the discrepancy between forward error (the unmeasurable "true error") and backward error (the measurable violation of optimality conditions). In [SIAM J. Optim., 10 (2000), pp. 1228-1248], Sturm provided an upper bound on forward error in terms of backward error and singularity degree. In this work we provide a method to bound the maximum rank over all optimal solutions and use this result to obtain a lower bound on forward error for a class of convergent sequences. This lower bound complements the upper bound of Sturm. The results of Sturm imply that semidefinite programs with slow convergence necessarily have large singularity degree. Here we show that large singularity degree is, in some sense, also a sufficient condition for slow convergence for a family of external-type "central" paths. Our results are supported by numerical observations.
ERROR BOUNDS AND SINGULARITY DEGREE IN SEMIDEFINITE PROGRAMMING
Creators
Stefan Sremac - Univ Waterloo, Combinator & Optimizat, Waterloo, ON N2L 3G1, Canada
Hugo J. Woerdeman - Drexel University
Henry Wolkowicz - Univ Waterloo, Combinator & Optimizat, Waterloo, ON N2L 3G1, Canada
Publication Details
SIAM journal on optimization, v 31(1), pp 812-836
Publisher
Siam Publications
Number of pages
25
Grant note
DMS 2000037 / National Science Foundation; National Science Foundation (NSF)
NSERC; Natural Sciences and Engineering Research Council of Canada (NSERC)
355645 / Simons Foundation
Resource Type
Journal article
Language
English
Academic Unit
Mathematics
Web of Science ID
WOS:000636678300032
Scopus ID
2-s2.0-85104360467
Other Identifier
991019168217404721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool: