Degree bound of P\'olya Positivstellenstaz

TL;DR

This paper improves bounds on the degree m needed for the positivity of coefficients in Pólya's Positivstellensatz for polynomials of degree 3 and 4, refining previous complexity estimates.

Contribution

The authors provide tighter bounds for the degree m in Pólya's Positivstellensatz specifically for degree 3 and 4 polynomials, improving upon Powers-Reznick's estimates.

Findings

For degree 3, m > 1.5 * (L(P)/λ(P)) - 1

For degree 4, m > (4232/2505) * (L(P)/λ(P)) - 1

Improved bounds reduce the degree m needed for positivity of coefficients.

Abstract

P\'olya's Positivstellensatz on the $1$-simplex says that if $P(x)$ is a real polynomial such that $P(x)>0$ whenever $x \ge 0$, then all the coefficients of $(1+x)^mP(x)$ are positive whenever $m$ is large. Powers-Reznick gave a complexity estimate for P\'olya's Positivstellensatz. Namely, they proved that, for such $P(x)$ of degree $d$, all the coefficients of $(1+x)^mP(x)$ are positive whenever $m > \frac{1}{2} (d^2 -d) \frac{L(P)}{\lambda(P)} - d$. where $\frac{L(P)}{\lambda(P)}$ is an invariant of $P(x)$. For $d=3$ and $d=4$ specifically, we improve Powers-Reznick's bound by showing $m > \frac{3}{2} \frac{L(P)}{\lambda(P)} - 1$ for $d=3$ and $ m > \frac{4232}{2505} \frac{L(P)}{\lambda(P)} - 1$ for $d=4$.