Deciding positivity of multisymmetric polynomials


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

GÖRLACH, Paul, Cordian RIENER, Tillmann WEISSER, 2016. Deciding positivity of multisymmetric polynomials. In: Journal of Symbolic Computation. 74, pp. 603-616. ISSN 0747-7171. eISSN 1095-855X. Available under: doi: 10.1016/j.jsc.2015.10.001

@article{Gorlach2016Decid-32900, title={Deciding positivity of multisymmetric polynomials}, year={2016}, doi={10.1016/j.jsc.2015.10.001}, volume={74}, issn={0747-7171}, journal={Journal of Symbolic Computation}, pages={603--616}, author={Görlach, Paul and Riener, Cordian and Weißer, Tillmann} }

<rdf:RDF xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dcterms:abstract xml:lang="eng">The question how to certify non-negativity of a polynomial function lies at the heart of Real Algebra and also has important applications to Optimization. In this article we investigate the question of non-negativity in the context of multisymmetric polynomials. In this setting we generalize the characterization of non-negative symmetric polynomials given in Timofte (2003), Riener (2012) by adapting the method of proof developed in Riener (2013). One particular case where our results can be applied is the question of certifying that a (multi-)symmetric polynomial defines a convex function. As a direct corollary of our main result we deduce that in the case of a fixed degree it is possible to derive a method to test for convexity which makes use of the special structure of (multi-)symmetric polynomials. In particular it follows that we are able to drastically simplify the algorithmic complexity of this question in the presence of symmetry. This is not to be expected in the general (i.e. non-symmetric) case, where it is known that testing for convexity is NP-hard already in the case of polynomials of degree 4 (Ahmadi et al., 2013).</dcterms:abstract> <dc:creator>Riener, Cordian</dc:creator> <bibo:uri rdf:resource=""/> <dc:language>eng</dc:language> <dc:contributor>Riener, Cordian</dc:contributor> <dcterms:title>Deciding positivity of multisymmetric polynomials</dcterms:title> <dc:date rdf:datatype="">2016-02-08T13:34:34Z</dc:date> <dc:contributor>Weißer, Tillmann</dc:contributor> <dc:creator>Weißer, Tillmann</dc:creator> <dcterms:issued>2016</dcterms:issued> <dc:contributor>Görlach, Paul</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:available rdf:datatype="">2016-02-08T13:34:34Z</dcterms:available> <dspace:isPartOfCollection rdf:resource=""/> <dcterms:isPartOf rdf:resource=""/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Görlach, Paul</dc:creator> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Mein Benutzerkonto