Publikation: Sum-of-Squares Certificates for Copositivity via Test States
Dateien
Datum
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
DOI (zitierfähiger Link)
Internationale Patentnummer
Angaben zur Forschungsförderung
Swiss National Science Foundation: 200021_207429/ 1
Projekt
Open Access-Veröffentlichung
Sammlungen
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Publikationsstatus
Erschienen in
Zusammenfassung
In 1995, Reznick showed an important variant of the obvious fact that any positive semidefinite (real) quadratic form is a sum of squares of linear forms: If a form (of arbitrary even degree) is positive definite, then it becomes a sum of squares of forms after being multiplied by a sufficiently high power of the sum of its squared variables. If the form is just positive semidefinite instead of positive definite, this fails badly in general. In this work, however, we identify two classes of positive semidefinite even quartic forms for which the statement continues to hold even though they have, in general, infinitely many projective real zeros. The first class consists of all even quartic positive semidefinite forms in five variables. This provides a natural certificate for a matrix of size five being copositive and answers positively a question asked by Laurent and Vargas in 2022. The second class consists of certain quartic positive semidefinite forms that arise from graphs and their stability number. This shows finite convergence of a hierarchy of semidefinite approximations for the stability number of a graph proposed by de Klerk and Pasechnik in 2002. In both cases, the main tool for the proofs is the method of pure states on ideals developed by Burgdorf, Scheiderer, and Schweighofer in 2012. We hope to make this method more accessible by introducing the notion of a test state.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
Schlagwörter
Konferenz
Rezension
Zitieren
ISO 690
SCHWEIGHOFER, Markus, Luis Felipe VARGAS, 2024. Sum-of-Squares Certificates for Copositivity via Test States. In: SIAM Journal on Applied Algebra and Geometry. Society for Industrial and Applied Mathematics (SIAM). 2024, 8(4), S. 797-820. eISSN 2470-6566. Verfügbar unter: doi: 10.1137/23m1611798BibTex
@article{Schweighofer2024-12-31Sumof-71388, year={2024}, doi={10.1137/23m1611798}, title={Sum-of-Squares Certificates for Copositivity via Test States}, number={4}, volume={8}, journal={SIAM Journal on Applied Algebra and Geometry}, pages={797--820}, author={Schweighofer, Markus and Vargas, Luis Felipe} }
RDF
<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/71388"> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2024-11-22T07:50:56Z</dc:date> <dc:language>eng</dc:language> <dc:creator>Schweighofer, Markus</dc:creator> <dcterms:issued>2024-12-31</dcterms:issued> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/> <dc:creator>Vargas, Luis Felipe</dc:creator> <dc:contributor>Schweighofer, Markus</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:abstract>In 1995, Reznick showed an important variant of the obvious fact that any positive semidefinite (real) quadratic form is a sum of squares of linear forms: If a form (of arbitrary even degree) is positive definite, then it becomes a sum of squares of forms after being multiplied by a sufficiently high power of the sum of its squared variables. If the form is just positive semidefinite instead of positive definite, this fails badly in general. In this work, however, we identify two classes of positive semidefinite even quartic forms for which the statement continues to hold even though they have, in general, infinitely many projective real zeros. The first class consists of all even quartic positive semidefinite forms in five variables. This provides a natural certificate for a matrix of size five being copositive and answers positively a question asked by Laurent and Vargas in 2022. The second class consists of certain quartic positive semidefinite forms that arise from graphs and their stability number. This shows finite convergence of a hierarchy of semidefinite approximations for the stability number of a graph proposed by de Klerk and Pasechnik in 2002. In both cases, the main tool for the proofs is the method of pure states on ideals developed by Burgdorf, Scheiderer, and Schweighofer in 2012. We hope to make this method more accessible by introducing the notion of a test state.</dcterms:abstract> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/71388"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2024-11-22T07:50:56Z</dcterms:available> <dc:contributor>Vargas, Luis Felipe</dc:contributor> <dcterms:title>Sum-of-Squares Certificates for Copositivity via Test States</dcterms:title> </rdf:Description> </rdf:RDF>