Exact algorithms for semidefinite programs with degenerate feasible set - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Exact algorithms for semidefinite programs with degenerate feasible set

Simone Naldi
Mohab Safey El Din

Résumé

Let A 0 ,. .. , A n be m × m symmetric matrices with entries in Q, and let A(x) be the linear pencil A 0 + x 1 A 1 + · · · + x n A n , where x = (x 1 ,. .. , x n) are unknowns. The linear matrix inequality (LMI) A(x) 0 defines the subset of R n , called spectrahedron, containing all points x such that A(x) has non-negative eigenvalues. The minimization of linear functions over spectrahedra is called semidefinite programming (SDP). Such problems appear frequently in control theory and real algebra, especially in the context of nonnegativity certificates for multivariate polynomials based on sums of squares. Numerical software for solving SDP are mostly based on the interior point method, assuming some non-degeneracy properties such as the existence of interior points in the admissible set. In this paper, we design an exact algorithm based on symbolic homotopy for solving semidefinite programs without assumptions on the feasible set, and we analyze its complexity. Because of the exactness of the output, it cannot compete with numerical routines in practice but we prove that solving such problems can be done in polynomial time if either n or m is fixed.
Fichier principal
Vignette du fichier
degSDP.pdf (320.18 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01705590 , version 1 (09-02-2018)
hal-01705590 , version 2 (05-05-2018)

Identifiants

Citer

Didier Henrion, Simone Naldi, Mohab Safey El Din. Exact algorithms for semidefinite programs with degenerate feasible set. ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York City, United States. 17p., ⟨10.1145/3208976.3209022⟩. ⟨hal-01705590v2⟩
805 Consultations
501 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More