Sufficient and Necessary Conditions for Semidefinite Representability of Convex Hulls and Sets
In terms of defining polynomials for S, nonsingular boundary amounts to them having nonvanishing gradient at each point on ∂S and the curvature condition can be expressed as their strict versus nonstrict quasiconcavity at those points on ∂S where they vanish. The gaps between them are ∂S having or n...
Gespeichert in:
Veröffentlicht in: | SIAM journal on optimization 2009-01, Vol.20 (2), p.759-791 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | In terms of defining polynomials for S, nonsingular boundary amounts to them having nonvanishing gradient at each point on ∂S and the curvature condition can be expressed as their strict versus nonstrict quasiconcavity at those points on ∂S where they vanish. The gaps between them are ∂S having or not having singular points either of the gradient or of the curvature's positivity. A sufficient condition bypassing the gaps is when some defining polynomials of S satisfy an algebraic condition called sosconcavity. (iii) For the SDP representability of the convex hull of a compact nonconvex semialgebraic set T, we find that the critical object is ∂cT, the maximum subset of ∂T contained in ∂conv(T). We prove sufficient for SDP representability: ∂cT is nonsingular and positively curved, and necessary is: ∂cT has nonnegative curvature at nonsingular points. The gaps between our sufficient and necessary conditions are similar to case (ii). The positive definite Lagrange Hessian (PDLH) condition, which meshes well with constructions, is also discussed. [PUBLICATION ABSTRACT] |
---|---|
ISSN: | 1052-6234 1095-7189 |
DOI: | 10.1137/07070526x |