On Hilbert's 17th problem in low degree

Olivier Benoist

Artin solved Hilbert's 17th problem, proving that a real polynomial in $n$ variables that is positive semidefinite is a sum of squares of rational functions, and Pfister showed tha…