Publikation:

Sum-of-Squares Certificates for Copositivity via Test States

Lade...
Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2024

Autor:innen

Vargas, Luis Felipe

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
DOI (zitierfähiger Link)
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

European Union (EU): 813211
Swiss National Science Foundation: 200021_207429/ 1

Projekt

Open Access-Veröffentlichung
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Zeitschriftenartikel
Publikationsstatus
Published

Erschienen 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/23m1611798

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)
510 Mathematik

Schlagwörter

copositive matrix, stability number, stable set, graph polynomial, sum of squares, nonnegative polynomial, Lasserre hierarchy, Reznick's Positivstellensatz, pure state, test state, semidefinite programming

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690SCHWEIGHOFER, 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/23m1611798
BibTex
@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>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Unbekannt
Diese Publikation teilen