Geometrical Study of the Cone of Sums of Squares plus Sums of Nonnegative Circuits
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917869074251776 |
|---|---|
| author | Dressler, Mareike Kuhlmann, Salma Schick, Moritz |
| author_facet | Dressler, Mareike Kuhlmann, Salma Schick, Moritz |
| contents | In this article, we combine sums of squares (SOS) and sums of nonnegative circuit (SONC) forms, two independent nonnegativity certificates for real homogeneous polynomials. We consider the convex cone SOS+SONC of forms that decompose into a sum of an SOS and a SONC form and study it from a geometric point of view. We show that the SOS+SONC cone is proper and neither closed under multiplications nor under linear transformation of variables. Moreover, we present an alternative proof of an analog of Hilbert's 1888 Theorem for the SOS+SONC cone and prove that in the non-Hilbert cases it provides a proper superset of both the SOS and the SONC cone. This follows by exploiting a new necessary condition for membership in the SONC cone. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2305_14848 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Geometrical Study of the Cone of Sums of Squares plus Sums of Nonnegative Circuits Dressler, Mareike Kuhlmann, Salma Schick, Moritz Algebraic Geometry Combinatorics Optimization and Control Primary: 14P99, 90C23, Secondary: 12D15, 26C10, 52A99, 52B99 In this article, we combine sums of squares (SOS) and sums of nonnegative circuit (SONC) forms, two independent nonnegativity certificates for real homogeneous polynomials. We consider the convex cone SOS+SONC of forms that decompose into a sum of an SOS and a SONC form and study it from a geometric point of view. We show that the SOS+SONC cone is proper and neither closed under multiplications nor under linear transformation of variables. Moreover, we present an alternative proof of an analog of Hilbert's 1888 Theorem for the SOS+SONC cone and prove that in the non-Hilbert cases it provides a proper superset of both the SOS and the SONC cone. This follows by exploiting a new necessary condition for membership in the SONC cone. |
| title | Geometrical Study of the Cone of Sums of Squares plus Sums of Nonnegative Circuits |
| topic | Algebraic Geometry Combinatorics Optimization and Control Primary: 14P99, 90C23, Secondary: 12D15, 26C10, 52A99, 52B99 |
| url | https://arxiv.org/abs/2305.14848 |