Type of Publication:  Preprint 
Publication status:  Published 
Author:  Schweighofer, Markus 
Year of publication:  2020 
ArXivID:  arXiv:1907.13611v2 
Summary: 
Let p be a real zero polynomial in n variables. Then p defines a rigidly convex set C(p). We construct a linear matrix inequality of size n+1 in the same n variables that depends only on the cubic part of p and defines a spectrahedron S(p) containing C(p). The proof of the containment uses the characterization of real zero polynomials in two variables by Helton and Vinnikov. We exhibit many cases where C(p)=S(p). In terms of optimization theory, we introduce a small semidefinite relaxation of a potentially huge hyperbolic program. If the hyperbolic program is a linear program, we introduce even a finitely convergent hierachy of semidefinite relaxations. With some extra work, we discuss the homogeneous setup where real zero polynomials correspond to homogeneous polynomials and rigidly convex sets correspond to hyperbolicity cones. The main aim of our construction is to attack the generalized Lax conjecture saying that C(p) is always a spectrahedron. To this end, we conjecture that real zero polynomials in fixed degree can be "amalgamated" and show it in three special cases with three completely different proofs. We show that this conjecture would imply the following partial result towards the generalized Lax conjecture: Given finitely many planes in Rn, there is a spectrahedron containing C(p) that coincides with C(p) on each of these planes. This uses again the result of Helton and Vinnikov.

Subject (DDC):  510 Mathematics 
Bibliography of Konstanz:  Yes 
Files  Size  Format  View 

There are no files associated with this item. 
SCHWEIGHOFER, Markus, 2020. Spectrahedral relaxations of hyperbolicity cones
@unpublished{Schweighofer2020Spect55988, title={Spectrahedral relaxations of hyperbolicity cones}, year={2020}, author={Schweighofer, Markus} }
<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/22rdfsyntaxns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digitalrepositories.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.unikonstanz.de/rdf/resource/123456789/55988"> <dc:creator>Schweighofer, Markus</dc:creator> <dcterms:title>Spectrahedral relaxations of hyperbolicity cones</dcterms:title> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">20211222T11:39:53Z</dc:date> <dc:contributor>Schweighofer, Markus</dc:contributor> <dc:rights>termsofuse</dc:rights> <dspace:isPartOfCollection rdf:resource="https://kops.unikonstanz.de/rdf/resource/123456789/39"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:abstract xml:lang="eng">Let p be a real zero polynomial in n variables. Then p defines a rigidly convex set C(p). We construct a linear matrix inequality of size n+1 in the same n variables that depends only on the cubic part of p and defines a spectrahedron S(p) containing C(p). The proof of the containment uses the characterization of real zero polynomials in two variables by Helton and Vinnikov. We exhibit many cases where C(p)=S(p). In terms of optimization theory, we introduce a small semidefinite relaxation of a potentially huge hyperbolic program. If the hyperbolic program is a linear program, we introduce even a finitely convergent hierachy of semidefinite relaxations. With some extra work, we discuss the homogeneous setup where real zero polynomials correspond to homogeneous polynomials and rigidly convex sets correspond to hyperbolicity cones. The main aim of our construction is to attack the generalized Lax conjecture saying that C(p) is always a spectrahedron. To this end, we conjecture that real zero polynomials in fixed degree can be "amalgamated" and show it in three special cases with three completely different proofs. We show that this conjecture would imply the following partial result towards the generalized Lax conjecture: Given finitely many planes in Rn, there is a spectrahedron containing C(p) that coincides with C(p) on each of these planes. This uses again the result of Helton and Vinnikov.</dcterms:abstract> <dcterms:isPartOf rdf:resource="https://kops.unikonstanz.de/rdf/resource/123456789/39"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:language>eng</dc:language> <dcterms:issued>2020</dcterms:issued> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">20211222T11:39:53Z</dcterms:available> <bibo:uri rdf:resource="https://kops.unikonstanz.de/handle/123456789/55988"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> </rdf:Description> </rdf:RDF>