38 research outputs found
Semidefinite representation of convex hulls of rational varieties
Using elementary duality properties of positive semidefinite moment matrices
and polynomial sum-of-squares decompositions, we prove that the convex hull of
rationally parameterized algebraic varieties is semidefinite representable
(that is, it can be represented as a projection of an affine section of the
cone of positive semidefinite matrices) in the case of (a) curves; (b)
hypersurfaces parameterized by quadratics; and (c) hypersurfaces parameterized
by bivariate quartics; all in an ambient space of arbitrary dimension
On semidefinite representations of non-closed sets
Spectrahedra are sets defined by linear matrix inequalities. Projections of
spectrahedra are called semidefinitely representable sets. Both kinds of sets
are of practical use in polynomial optimization, since they occur as feasible
sets in semidefinite programming. There are several recent results on the
question which sets are semidefinite representable. So far, all results focus
on the case of closed sets. In this work we develop a new method to prove
semidefinite representability of sets which are not closed. For example, the
interior of a semidefinite representable set is shown to be semidefinite
representable. More general, one can remove faces of a semidefinite
representable set and preserve semidefinite representability, as long as the
faces are parametrized in a suitable way.Comment: 13 page
On semidefinite representations of plane quartics
This note focuses on the problem of representing convex sets as projections
of the cone of positive semidefinite matrices, in the particular case of sets
generated by bivariate polynomials of degree four. Conditions are given for the
convex hull of a plane quartic to be exactly semidefinite representable with at
most 12 lifting variables. If the quartic is rationally parametrizable, an
exact semidefinite representation with 2 lifting variables can be obtained.
Various numerical examples illustrate the techniques and suggest further
research directions
Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design
We describe an elementary algorithm to build convex inner approximations of
nonconvex sets. Both input and output sets are basic semialgebraic sets given
as lists of defining multivariate polynomials. Even though no optimality
guarantees can be given (e.g. in terms of volume maximization for bounded
sets), the algorithm is designed to preserve convex boundaries as much as
possible, while removing regions with concave boundaries. In particular, the
algorithm leaves invariant a given convex set. The algorithm is based on
Gloptipoly 3, a public-domain Matlab package solving nonconvex polynomial
optimization problems with the help of convex semidefinite programming
(optimization over linear matrix inequalities, or LMIs). We illustrate how the
algorithm can be used to design fixed-order controllers for linear systems,
following a polynomial approach
Exposed faces of semidefinitely representable sets
A linear matrix inequality (LMI) is a condition stating that a symmetric
matrix whose entries are affine linear combinations of variables is positive
semidefinite. Motivated by the fact that diagonal LMIs define polyhedra, the
solution set of an LMI is called a spectrahedron. Linear images of spectrahedra
are called semidefinite representable sets. Part of the interest in
spectrahedra and semidefinite representable sets arises from the fact that one
can efficiently optimize linear functions on them by semidefinite programming,
like one can do on polyhedra by linear programming.
It is known that every face of a spectrahedron is exposed. This is also true
in the general context of rigidly convex sets. We study the same question for
semidefinite representable sets. Lasserre proposed a moment matrix method to
construct semidefinite representations for certain sets. Our main result is
that this method can only work if all faces of the considered set are exposed.
This necessary condition complements sufficient conditions recently proved by
Lasserre, Helton and Nie
Convex hulls of curves of genus one
Let C be a real nonsingular affine curve of genus one, embedded in affine
n-space, whose set of real points is compact. For any polynomial f which is
nonnegative on C(R), we prove that there exist polynomials f_i with f \equiv
\sum_i f_i^2 (modulo I_C) and such that the degrees deg(f_i) are bounded in
terms of deg(f) only. Using Lasserre's relaxation method, we deduce an explicit
representation of the convex hull of C(R) in R^n by a lifted linear matrix
inequality. This is the first instance in the literature where such a
representation is given for the convex hull of a nonrational variety. The same
works for convex hulls of (singular) curves whose normalization is C. We then
make a detailed study of the associated degree bounds. These bounds are
directly related to size and dimension of the projected matrix pencils. In
particular, we prove that these bounds tend to infinity when the curve C
degenerates suitably into a singular curve, and we provide explicit lower
bounds as well.Comment: 1 figur