We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: On the central path of semidefinite optimization: Degree and worst-case convergence rate

Abstract: In this paper, we investigate the complexity of the central path of semidefinite optimization through the lens of real algebraic geometry. To that end, we propose an algorithm to compute real univariate representations describing the central path and its limit point, where the limit point is described by taking the limit of central solutions, as bounded points in the field of algebraic Puiseux series. As a result, we derive an upper bound $2^{O(m+n^2)}$ on the degree of the Zariski closure of the central path and a complexity bound $O(m+n^2)2^{(m+n^2)}$ for describing the limit point, where $m$ and $n$ denote the number of affine constraints and size of the symmetric matrix, respectively. Furthermore, by the application of the quantifier elimination to the real univariate representations, we provide an upper bound $O(\mu^{1/\gamma})$, with $\gamma=2^{O(m+n^2)}$, on the worst-case convergence rate of the central path.
Subjects: Algebraic Geometry (math.AG)
MSC classes: 14Pxx, 90C22, 90C51
Cite as: arXiv:2105.06630 [math.AG]
  (or arXiv:2105.06630v1 [math.AG] for this version)

Submission history

From: Ali Mohammad Nezhad [view email]
[v1] Fri, 14 May 2021 03:24:40 GMT (1440kb,D)
[v2] Mon, 1 Nov 2021 14:33:39 GMT (1263kb,D)

Link back to: arXiv, form interface, contact.