A convex polynomial that is not sos-convex

From MaRDI portal
(Redirected from Publication:715094)




Abstract: A multivariate polynomial p(x)=p(x1,...,xn) is sos-convex if its Hessian H(x) can be factored as H(x)=MT(x)M(x) with a possibly nonsquare polynomial matrix M(x). It is easy to see that sos-convexity is a sufficient condition for convexity of p(x). Moreover, the problem of deciding sos-convexity of a polynomial can be cast as the feasibility of a semidefinite program, which can be solved efficiently. Motivated by this computational tractability, it has been recently speculated whether sos-convexity is also a necessary condition for convexity of polynomials. In this paper, we give a negative answer to this question by presenting an explicit example of a trivariate homogeneous polynomial of degree eight that is convex but not sos-convex. Interestingly, our example is found with software using sum of squares programming techniques and the duality theory of semidefinite optimization. As a byproduct of our numerical procedure, we obtain a simple method for searching over a restricted family of nonnegative polynomials that are not sums of squares.




Cited in
(33)


Describes a project that uses

Uses Software





This page was built for publication: A convex polynomial that is not sos-convex

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q715094)