-
A Positivstellensatz for Sums of Nonnegative Circuit Polynomials
Authors:
Mareike Dressler,
Sadik Iliman,
Timo de Wolff
Abstract:
Recently, the second and the third author developed sums of nonnegative circuit polynomials (SONC) as a new certificate of nonnegativity for real polynomials, which is independent of sums of squares.
In this article we show that the SONC cone is full-dimensional in the cone of nonnegative polynomials. We establish a Positivstellensatz which guarantees that every polynomial which is positive on a…
▽ More
Recently, the second and the third author developed sums of nonnegative circuit polynomials (SONC) as a new certificate of nonnegativity for real polynomials, which is independent of sums of squares.
In this article we show that the SONC cone is full-dimensional in the cone of nonnegative polynomials. We establish a Positivstellensatz which guarantees that every polynomial which is positive on a given compact, semi-algebraic set can be represented by the constraints of the set and SONC polynomials. Based on this Positivstellensatz we provide a hierarchy of lower bounds converging against the minimum of a polynomial on a given compact set $K$. Moreover, we show that these new bounds can be computed efficiently via interior point methods using results about relative entropy functions.
△ Less
Submitted 17 March, 2017; v1 submitted 20 July, 2016;
originally announced July 2016.
-
An Approach to Constrained Polynomial Optimization via Nonnegative Circuit Polynomials and Geometric Programming
Authors:
Mareike Dressler,
Sadik Iliman,
Timo de Wolff
Abstract:
In this article we combine two developments in polynomial optimization. On the one hand, we consider nonnegativity certificates based on sums of nonnegative circuit polynomials, which were recently introduced by the second and the third author. On the other hand, we investigate geometric programming methods for constrained polynomial optimization problems, which were recently developed by Ghasemi…
▽ More
In this article we combine two developments in polynomial optimization. On the one hand, we consider nonnegativity certificates based on sums of nonnegative circuit polynomials, which were recently introduced by the second and the third author. On the other hand, we investigate geometric programming methods for constrained polynomial optimization problems, which were recently developed by Ghasemi and Marshall. We show that the combination of both results yields a new method to solve certain classes of constrained polynomial optimization problems. We test the new method experimentally and compare it to semidefinite programming in various examples.
△ Less
Submitted 5 June, 2018; v1 submitted 19 February, 2016;
originally announced February 2016.
-
Gap vectors of real projective varieties
Authors:
Grigoriy Blekherman,
Sadik Iliman,
Martina Juhnke-Kubitzke,
Mauricio Velasco
Abstract:
Let $X\subseteq \mathbb{P}^m$ be a totally real, non-degenerate, projective variety and let $Γ\subseteq X(\mathbb{R})$ be a generic set of points. Let $P$ be the cone of nonnegative quadratic forms on $X$ and let $Σ$ be the cone of sums of squares of linear forms. We examine the dimensions of the faces $P(Γ)$ and $Σ(Γ)$ consisting of forms in $P$ and $Σ$, which vanish on $Γ$. As the cardinality of…
▽ More
Let $X\subseteq \mathbb{P}^m$ be a totally real, non-degenerate, projective variety and let $Γ\subseteq X(\mathbb{R})$ be a generic set of points. Let $P$ be the cone of nonnegative quadratic forms on $X$ and let $Σ$ be the cone of sums of squares of linear forms. We examine the dimensions of the faces $P(Γ)$ and $Σ(Γ)$ consisting of forms in $P$ and $Σ$, which vanish on $Γ$. As the cardinality of the set $Γ$ varies in $1,\dots,\rm{codim}(X)$, the difference between the dimensions of $P(Γ)$ and $Σ(Γ)$ defines a numerical invariant of $X$, which we call the gap vector of X. In this article we begin a systematic study of its fundamental properties. Our main result is a formula relating the components of the gap vector of $X$ and the quadratic deficiencies of $X$ and its generic projections. The quadratic deficiency is a fundamental numerical invariant of projective varieties introduced by F. L. Zak. The relationship between quadratic deficiency and gap vectors allows us to effectively compute the gap vectors of concrete varieties as well as to prove several general properties. We prove that gap vectors are weakly increasing, obtain upper bounds for their rate of growth and prove that these upper bounds are eventually achieved for all varieties. Moreover, we give a characterization of the varieties with the simplest gap vectors: We prove that the gap vector vanishes identically precisely for varieties of minimal degree, and characterize the varieties whose gap vector equals $(0,\dots, 0,1)$. In particular, our results give a new proof of the theorem of Blekherman, Smith and Velasco saying that there are nonnegative quadratic forms which are not sums of squares on every variety, which is not of minimal degree. Finally, we determine the gap vector of all Veronese embeddings of $\mathbb{P}^2$, generalizing work of the first three authors.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
-
Lower Bounds for Polynomials with Simplex Newton Polytopes Based on Geometric Programming
Authors:
Sadik Iliman,
Timo de Wolff
Abstract:
In this article, we propose a geometric programming method in order to compute lower bounds for real polynomials. We provide new sufficient conditions for polynomials to be nonnegative as well as to have a sum of binomial squares representation. These criteria rely on the coefficients and the support of a polynomial and generalize all previous ones by Lasserre, Ghasemi, Marshall, Fidalgo and Kovac…
▽ More
In this article, we propose a geometric programming method in order to compute lower bounds for real polynomials. We provide new sufficient conditions for polynomials to be nonnegative as well as to have a sum of binomial squares representation. These criteria rely on the coefficients and the support of a polynomial and generalize all previous ones by Lasserre, Ghasemi, Marshall, Fidalgo and Kovacec to polynomials with arbitrary simplex Newton polytopes.
This generalization yields a geometric programming approach for computing lower bounds for polynomials that significantly extends the geometric programming method proposed by Ghasemi and Marshall. Furthermore, it shows that geometric programming is strongly related to nonnegativity certificates based on sums of nonnegative circuit polynomials, which were recently introduced by the authors.
△ Less
Submitted 24 February, 2016; v1 submitted 25 February, 2014;
originally announced February 2014.
-
Amoebas, Nonnegative Polynomials and Sums of Squares Supported on Circuits
Authors:
Sadik Iliman,
Timo de Wolff
Abstract:
We completely characterize sections of the cones of nonnegative polynomials, convex polynomials and sums of squares with polynomials supported on circuits, a genuine class of sparse polynomials. In particular, nonnegativity is characterized by an invariant, which can be immediately derived from the initial polynomial. Furthermore, nonnegativity of such polynomials $f$ coincides with solidness of t…
▽ More
We completely characterize sections of the cones of nonnegative polynomials, convex polynomials and sums of squares with polynomials supported on circuits, a genuine class of sparse polynomials. In particular, nonnegativity is characterized by an invariant, which can be immediately derived from the initial polynomial. Furthermore, nonnegativity of such polynomials $f$ coincides with solidness of the amoeba of $f$, i.e., the Log-absolute-value image of the algebraic variety $\mathcal{V}(f) \subset (\mathbb{C}^*)^n$ of $f$.
These results generalize earlier works both in amoeba theory and real algebraic geometry by Fidalgo, Kovacec, Reznick, Theobald and de Wolff and solve an open problem by Reznick. They establish the first direct connection between amoeba theory and nonnegativity of real polynomials. Additionally, these statements yield a completely new class of nonnegativity certificates independent from sums of squares certificates.
△ Less
Submitted 24 October, 2015; v1 submitted 3 February, 2014;
originally announced February 2014.
-
Dimensional Differences Between Faces of the Cones of Nonnegative Polynomials and Sums of Squares
Authors:
Grigoriy Blekherman,
Sadik Iliman,
Martina Kubitzke
Abstract:
We study dimensions of the faces of the cone of nonnegative polynomials and the cone of sums of squares; we show that there are dimensional differences between corresponding faces of these cones. These dimensional gaps occur in all cases where there exist nonnegative polynomials that are not sums of squares. The gaps occur generically, they are not the product of selecting special faces of the con…
▽ More
We study dimensions of the faces of the cone of nonnegative polynomials and the cone of sums of squares; we show that there are dimensional differences between corresponding faces of these cones. These dimensional gaps occur in all cases where there exist nonnegative polynomials that are not sums of squares. The gaps occur generically, they are not the product of selecting special faces of the cones. For ternary forms and quaternary quartics, we completely characterize when these differences are observed. Moreover, we provide an explicit description for these differences in the two smallest cases, in which the cone of nonnegative polynomials and the cone of sums of squares are different. Our results follow from more general results concerning the relationship between the second ordinary power and the second symbolic power of the vanishing ideal of points in projective space.
△ Less
Submitted 3 May, 2013;
originally announced May 2013.
-
Low Dimensional Test Sets for Nonnegativity of Even Symmetric Forms
Authors:
Sadik Iliman,
Timo de Wolff
Abstract:
An important theorem by Timofte states that nonnegativity of real $n$-variate symmetric polynomials of degree $d$ can be decided at test sets given by all points with at most $\lfloor\frac{d}{2}\rfloor$ distinct components. However, if the degree is sufficiently larger than the number of variables, then the theorem obviously does not provide nontrivial information. Our approach is to look at…
▽ More
An important theorem by Timofte states that nonnegativity of real $n$-variate symmetric polynomials of degree $d$ can be decided at test sets given by all points with at most $\lfloor\frac{d}{2}\rfloor$ distinct components. However, if the degree is sufficiently larger than the number of variables, then the theorem obviously does not provide nontrivial information. Our approach is to look at $(m + 1)$-dimensional subspaces of even symmetric forms of degree 4d, at which nonnegativity can be checked at $(m - 1)$-points, i.e., points with at most $m - 1 \in \N$ distinct components, where $m$ is independent of the degree of the forms and better than Timofte's bound. Furthermore, for fixed $k \in \N$, we tackle problems concerning the maximum dimension of such subspaces, at which nonnegativity can be checked at all $k$-points, as well as the geometrical and topological structure of the set of all forms whose nonnegativity can be decided at all $k$-points.
△ Less
Submitted 18 March, 2013;
originally announced March 2013.
-
Separating inequalities for nonnegative polynomials that are not sums of squares
Authors:
Sadik Iliman,
Timo de Wolff
Abstract:
Ternary sextics and quaternary quartics are the smallest cases where there exist nonnegative polynomials that are not sums of squares (SOS). A complete classification of the difference between these cones was given by G. Blekherman via analyzing the extreme rays of the corresponding dual cones. However, an exact computational approach in order to build separating extreme rays for nonnegative polyn…
▽ More
Ternary sextics and quaternary quartics are the smallest cases where there exist nonnegative polynomials that are not sums of squares (SOS). A complete classification of the difference between these cones was given by G. Blekherman via analyzing the extreme rays of the corresponding dual cones. However, an exact computational approach in order to build separating extreme rays for nonnegative polynomials that are not sums of squares is a widely open problem. We provide a method substantially simplifying this computation for certain classes of polynomials on the boundary of the PSD cones. In particular, our method yields separating extreme rays for every nonnegative ternary sextic with at least seven zeros. As an application to further instances, we compute a rational certificate proving that the Motzkin polynomial is not SOS.
△ Less
Submitted 1 August, 2012; v1 submitted 19 January, 2012;
originally announced January 2012.
