An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem
Henri Lombardi, Daniel Perrucci, Marie-Françoise Roy · Memoirs of the American Mathematical Society · 2020
We prove an elementary recursive bound on the degrees for Hilbert’s 17th problem. More precisely we express a nonnegative polynomial as a sum of squares of rational functions, and we obtain as degree estimates for the numerators and denominators the following tower of five exponentials 2 2 2 d 4 k \begin{equation*} 2^{ 2^{ 2^{d^{4^{k}}} } } \end{equation*} where d d is the degree and k k is the number of variables of the input polynomial. Our method is based on the proof of an elementary recursive bound on the degrees for Stengle’s Positivstellensatz. More precisely we give an algebraic certificate of the emptyness of the realization of a system of sign conditions and we obtain as degree bounds for this certificate a tower of five exponentials, namely 2 2 ( 2 max { 2 , d } 4 k + s 2 k max { 2 , d } 16 k b i t ( d ) ) \begin{equation*} 2^{ 2^{\left (2^{\max \{2,d\}^{4^{k}}}+ s^{2^{k}}\max \{2, d\}^{16^{k}\mathrm {bit}(d)} \right )} } \end{equation*} where d d is a bound on the degrees, s s