Commentarii Mathematici Helvetici


Full-Text PDF (287 KB) | Metadata | Table of Contents | CMH summary
Volume 87, Issue 1, 2012, pp. 113–140
DOI: 10.4171/CMH/250

Published online: 2012-01-16

Pure states, nonnegative polynomials and sums of squares

Sabine Burgdorf[1], Claus Scheiderer[2] and Markus Schweighofer[3]

(1) Universität Konstanz, Germany
(2) Universität Konstanz, Germany
(3) Universität Konstanz, Germany

In recent years, much work has been devoted to a systematic study of polynomial identities certifying strict or non-strict positivity of a polynomial $f$ on a basic closed set $K\subset\mathbb{R}^n$. The interest in such identities originates not least from their importance in polynomial optimization. The majority of the important results requires the archimedean condition, which implies that $K$ has to be compact. This paper introduces the technique of pure states into commutative algebra. We show that this technique allows an approach to most of the recent archimedean Stellensätze that is considerably easier and more conceptual than the previous proofs. In particular, we reprove and strengthen some of the most important results from the last years. In addition, we establish several such results which are entirely new. They are the first that allow $f$ to have arbitrary, not necessarily discrete, zeros in $K$.

Keywords: Pure states, extremal homomorphisms, order units, nonnegative polynomials, sums of squares, convex cones, quadratic modules, preorderings, semirings

Burgdorf Sabine, Scheiderer Claus, Schweighofer Markus: Pure states, nonnegative polynomials and sums of squares. Comment. Math. Helv. 87 (2012), 113-140. doi: 10.4171/CMH/250