Convex hulls of curves of genus one
From MaRDI portal
Publication:645211
Abstract: 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.
Recommendations
Cites work
- scientific article; zbMATH DE number 729680 (Why is no real title available?)
- scientific article; zbMATH DE number 1944141 (Why is no real title available?)
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- scientific article; zbMATH DE number 826245 (Why is no real title available?)
- Advances in convex optimization: conic programming
- Convex sets with semidefinite representation
- Exposed faces of semidefinitely representable sets
- Linear matrix inequality representation of sets
- Non-existence of degree bounds for weighted sums of squares representations
- On semidefinite representations of non-closed sets
- Positive polynomials and projections of spectrahedra
- Positivity and sums of squares: a guide to recent results
- Semidefinite representation of convex sets
- Sufficient and necessary conditions for semidefinite representability of convex hulls and sets
- Sums of squares of regular functions on real algebraic varieties
- Sums of squares on real algebraic curves
- The moment problem for non-compact semialgebraic sets
- Theta bodies for polynomial ideals
Cited in
(11)- Hyperbolic secant varieties of \(M\)-curves
- Matrix convex hulls of free semialgebraic sets
- Semidefinite Representation for Convex Hulls of Real Algebraic Curves
- Intersection cuts for nonlinear integer programming: convexification techniques for structured sets
- Maximum semidefinite and linear extension complexity of families of polytopes
- The geometry of genus-one helicoids
- Spectrahedral shadows
- A matrix Positivstellensatz with lifting polynomials
- One-dimensional projective structures, convex curves and the ovals of Benguria and Loss
- Semidefinite Representation of Convex Sets and Convex Hulls
- The convex hull of a variety
This page was built for publication: Convex hulls of curves of genus one
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q645211)