Type of Publication:  Journal article 
URI (citable link):  http://nbnresolving.de/urn:nbn:de:bsz:352opus129239 
Author:  Netzer, Tim; Plaumann, Daniel; Schweighofer, Markus 
Year of publication:  2010 
Published in:  SIAM Journal on Optimization ; 20 (2010), 4.  pp. 19441955.  ISSN 10526234 
DOI (citable link):  https://dx.doi.org/10.1137/090750196 
Summary: 
A linear matrix inequality (LMI) is a condition stating that a symmetric matrix whose entries are affinelinear combinations of variables is positive semidefinite. Motivated by the fact that diagonal LMIs define polyhedra, the solution set of an LMI is called a spectrahedron. Linear images of spectrahedra are called semidefinitely representable sets. Part of the interest in spectrahedra and semidefinitely representable sets arises from the fact that one can efficiently optimize linear functions on them by semidefinite programming, such as one can do on polyhedra by linear programming. It is known that every face of a spectrahedron is exposed. This is also true in the general context of rigidly convex sets. We study the same question for semidefinitely representable sets. Lasserre proposed a moment matrix method to construct semidefinite representations for certain sets. Our main result is that this method can work only if all faces of the considered set are exposed. This necessary condition complements sufficient conditions recently proved by Lasserre, Helton, and Nie.

Subject (DDC):  510 Mathematics 
Keywords:  convex set, semialgebraic set, linear matrix inequality, spectrahedron, semidefinite programming, Lasserre relaxation, sums of squares, quadrat 
Link to License:  Terms of use 
Bibliography of Konstanz:  Yes 
NETZER, Tim, Daniel PLAUMANN, Markus SCHWEIGHOFER, 2010. Exposed Faces of Semidefinitely Representable Sets. In: SIAM Journal on Optimization. 20(4), pp. 19441955. ISSN 10526234. Available under: doi: 10.1137/090750196
@article{Netzer2010Expos12347, title={Exposed Faces of Semidefinitely Representable Sets}, year={2010}, doi={10.1137/090750196}, number={4}, volume={20}, issn={10526234}, journal={SIAM Journal on Optimization}, pages={19441955}, author={Netzer, Tim and Plaumann, Daniel and 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/12347"> <dspace:hasBitstream rdf:resource="https://kops.unikonstanz.de/bitstream/123456789/12347/1/Netzer_exposed.pdf"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">20110325T15:19:32Z</dcterms:available> <dc:contributor>Plaumann, Daniel</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.unikonstanz.de/rdf/resource/123456789/39"/> <dcterms:rights rdf:resource="https://kops.unikonstanz.de/page/termsofuse"/> <dcterms:abstract xml:lang="eng">A linear matrix inequality (LMI) is a condition stating that a symmetric matrix whose entries are affinelinear combinations of variables is positive semidefinite. Motivated by the fact that diagonal LMIs define polyhedra, the solution set of an LMI is called a spectrahedron. Linear images of spectrahedra are called semidefinitely representable sets. Part of the interest in spectrahedra and semidefinitely representable sets arises from the fact that one can efficiently optimize linear functions on them by semidefinite programming, such as one can do on polyhedra by linear programming. It is known that every face of a spectrahedron is exposed. This is also true in the general context of rigidly convex sets. We study the same question for semidefinitely representable sets. Lasserre proposed a moment matrix method to construct semidefinite representations for certain sets. Our main result is that this method can work only if all faces of the considered set are exposed. This necessary condition complements sufficient conditions recently proved by Lasserre, Helton, and Nie.</dcterms:abstract> <bibo:uri rdf:resource="http://kops.unikonstanz.de/handle/123456789/12347"/> <dc:rights>termsofuse</dc:rights> <dc:format>application/pdf</dc:format> <dcterms:hasPart rdf:resource="https://kops.unikonstanz.de/bitstream/123456789/12347/1/Netzer_exposed.pdf"/> <dcterms:bibliographicCitation>SIAM journal on optimization ; 20 (2010), 4.  S. 19441955</dcterms:bibliographicCitation> <dc:contributor>Schweighofer, Markus</dc:contributor> <dc:language>eng</dc:language> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Netzer, Tim</dc:creator> <dcterms:issued>2010</dcterms:issued> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:contributor>Netzer, Tim</dc:contributor> <dc:creator>Plaumann, Daniel</dc:creator> <dspace:isPartOfCollection rdf:resource="https://kops.unikonstanz.de/rdf/resource/123456789/39"/> <dcterms:title>Exposed Faces of Semidefinitely Representable Sets</dcterms:title> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">20110325T15:19:32Z</dc:date> <dc:creator>Schweighofer, Markus</dc:creator> </rdf:Description> </rdf:RDF>
Netzer_exposed.pdf  132 