Strictly positive polynomials in the boundary of the SOS cone

We study the boundary of the cone of real polynomials that can be decomposed as a sum of squares (SOS) of real polynomials. This cone is included in the cone of nonnegative polynomials and both cones share a part of their boundary, which corresponds to polynomials that vanish at at least one point....

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Laplagne, Santiago, Valdettaro, Marcelo
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Laplagne, Santiago
Valdettaro, Marcelo
description We study the boundary of the cone of real polynomials that can be decomposed as a sum of squares (SOS) of real polynomials. This cone is included in the cone of nonnegative polynomials and both cones share a part of their boundary, which corresponds to polynomials that vanish at at least one point. We focus on the part of the boundary which is not shared, corresponding to strictly positive polynomials. For the cases of polynomials of degree 6 in 3 variables and degree 4 in 4 variables, this boundary has been completely characterized by G. Blekherman. For the cases of more variables or higher degree, results by G. Blekherman, R. Sinn and M. Velasco and other authors based on general conjectures give bounds for the maximum number of polynomials that can appear in a SOS decomposition and the maximum rank of the matrices in the Gram spectrahedron. Combining theoretical results and computational techniques, we compute examples that allow us to prove the optimality of the bounds for all degrees and number of variables. Additionally, we give examples for the following problems: examples in the boundary of the cone that are the sum of less than $n$ squares and have common complex roots, and examples of polynomials in the boundary with length larger than the expected from the dimension.
doi_str_mv 10.48550/arxiv.2012.05951
format Article
fullrecord <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2012_05951</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2012_05951</sourcerecordid><originalsourceid>FETCH-LOGICAL-a671-3b7cedb6306abce0285bf3503ecb56a380593a87ff514f3e7168599159e20cc23</originalsourceid><addsrcrecordid>eNotjzFvwjAUhL0wIOgPYMJ_IMH24znO0AGhtlRCYgh7ZJtn1VKIUUhR8--bhk53J51O3zG2kiLfGkSxsd1PfORKSJULLFHO2WvVd9H3zcBv6R77-KDRNEObrtE2dx5b3n8Rd-m7vdhu4ClMuTpV3KeWlmwWxhq9_OuCnd_fzvtDdjx9fO53x8zqQmbgCk8Xp0Fo6zwJZdAFQAHkHWoLZmQBa4oQUG4DUCG1wbKUWJIS3itYsPVzduKvb128jjD13496-gG_OQ9CXA</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Strictly positive polynomials in the boundary of the SOS cone</title><source>arXiv.org</source><creator>Laplagne, Santiago ; Valdettaro, Marcelo</creator><creatorcontrib>Laplagne, Santiago ; Valdettaro, Marcelo</creatorcontrib><description>We study the boundary of the cone of real polynomials that can be decomposed as a sum of squares (SOS) of real polynomials. This cone is included in the cone of nonnegative polynomials and both cones share a part of their boundary, which corresponds to polynomials that vanish at at least one point. We focus on the part of the boundary which is not shared, corresponding to strictly positive polynomials. For the cases of polynomials of degree 6 in 3 variables and degree 4 in 4 variables, this boundary has been completely characterized by G. Blekherman. For the cases of more variables or higher degree, results by G. Blekherman, R. Sinn and M. Velasco and other authors based on general conjectures give bounds for the maximum number of polynomials that can appear in a SOS decomposition and the maximum rank of the matrices in the Gram spectrahedron. Combining theoretical results and computational techniques, we compute examples that allow us to prove the optimality of the bounds for all degrees and number of variables. Additionally, we give examples for the following problems: examples in the boundary of the cone that are the sum of less than $n$ squares and have common complex roots, and examples of polynomials in the boundary with length larger than the expected from the dimension.</description><identifier>DOI: 10.48550/arxiv.2012.05951</identifier><language>eng</language><subject>Mathematics - Algebraic Geometry ; Mathematics - Commutative Algebra</subject><creationdate>2020-12</creationdate><rights>http://creativecommons.org/licenses/by/4.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,776,881</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2012.05951$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2012.05951$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Laplagne, Santiago</creatorcontrib><creatorcontrib>Valdettaro, Marcelo</creatorcontrib><title>Strictly positive polynomials in the boundary of the SOS cone</title><description>We study the boundary of the cone of real polynomials that can be decomposed as a sum of squares (SOS) of real polynomials. This cone is included in the cone of nonnegative polynomials and both cones share a part of their boundary, which corresponds to polynomials that vanish at at least one point. We focus on the part of the boundary which is not shared, corresponding to strictly positive polynomials. For the cases of polynomials of degree 6 in 3 variables and degree 4 in 4 variables, this boundary has been completely characterized by G. Blekherman. For the cases of more variables or higher degree, results by G. Blekherman, R. Sinn and M. Velasco and other authors based on general conjectures give bounds for the maximum number of polynomials that can appear in a SOS decomposition and the maximum rank of the matrices in the Gram spectrahedron. Combining theoretical results and computational techniques, we compute examples that allow us to prove the optimality of the bounds for all degrees and number of variables. Additionally, we give examples for the following problems: examples in the boundary of the cone that are the sum of less than $n$ squares and have common complex roots, and examples of polynomials in the boundary with length larger than the expected from the dimension.</description><subject>Mathematics - Algebraic Geometry</subject><subject>Mathematics - Commutative Algebra</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2020</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotjzFvwjAUhL0wIOgPYMJ_IMH24znO0AGhtlRCYgh7ZJtn1VKIUUhR8--bhk53J51O3zG2kiLfGkSxsd1PfORKSJULLFHO2WvVd9H3zcBv6R77-KDRNEObrtE2dx5b3n8Rd-m7vdhu4ClMuTpV3KeWlmwWxhq9_OuCnd_fzvtDdjx9fO53x8zqQmbgCk8Xp0Fo6zwJZdAFQAHkHWoLZmQBa4oQUG4DUCG1wbKUWJIS3itYsPVzduKvb128jjD13496-gG_OQ9CXA</recordid><startdate>20201210</startdate><enddate>20201210</enddate><creator>Laplagne, Santiago</creator><creator>Valdettaro, Marcelo</creator><scope>AKZ</scope><scope>GOX</scope></search><sort><creationdate>20201210</creationdate><title>Strictly positive polynomials in the boundary of the SOS cone</title><author>Laplagne, Santiago ; Valdettaro, Marcelo</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a671-3b7cedb6306abce0285bf3503ecb56a380593a87ff514f3e7168599159e20cc23</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Mathematics - Algebraic Geometry</topic><topic>Mathematics - Commutative Algebra</topic><toplevel>online_resources</toplevel><creatorcontrib>Laplagne, Santiago</creatorcontrib><creatorcontrib>Valdettaro, Marcelo</creatorcontrib><collection>arXiv Mathematics</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Laplagne, Santiago</au><au>Valdettaro, Marcelo</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Strictly positive polynomials in the boundary of the SOS cone</atitle><date>2020-12-10</date><risdate>2020</risdate><abstract>We study the boundary of the cone of real polynomials that can be decomposed as a sum of squares (SOS) of real polynomials. This cone is included in the cone of nonnegative polynomials and both cones share a part of their boundary, which corresponds to polynomials that vanish at at least one point. We focus on the part of the boundary which is not shared, corresponding to strictly positive polynomials. For the cases of polynomials of degree 6 in 3 variables and degree 4 in 4 variables, this boundary has been completely characterized by G. Blekherman. For the cases of more variables or higher degree, results by G. Blekherman, R. Sinn and M. Velasco and other authors based on general conjectures give bounds for the maximum number of polynomials that can appear in a SOS decomposition and the maximum rank of the matrices in the Gram spectrahedron. Combining theoretical results and computational techniques, we compute examples that allow us to prove the optimality of the bounds for all degrees and number of variables. Additionally, we give examples for the following problems: examples in the boundary of the cone that are the sum of less than $n$ squares and have common complex roots, and examples of polynomials in the boundary with length larger than the expected from the dimension.</abstract><doi>10.48550/arxiv.2012.05951</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier DOI: 10.48550/arxiv.2012.05951
ispartof
issn
language eng
recordid cdi_arxiv_primary_2012_05951
source arXiv.org
subjects Mathematics - Algebraic Geometry
Mathematics - Commutative Algebra
title Strictly positive polynomials in the boundary of the SOS cone
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-22T05%3A53%3A50IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Strictly%20positive%20polynomials%20in%20the%20boundary%20of%20the%20SOS%20cone&rft.au=Laplagne,%20Santiago&rft.date=2020-12-10&rft_id=info:doi/10.48550/arxiv.2012.05951&rft_dat=%3Carxiv_GOX%3E2012_05951%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true