English

Degree bound of P\'olya Positivstellenstaz

Algebraic Geometry 2018-02-09 v1

Abstract

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

Keywords

Cite

@article{arxiv.1802.02752,
  title  = {Degree bound of P\'olya Positivstellenstaz},
  author = {Ze Kang Tan},
  journal= {arXiv preprint arXiv:1802.02752},
  year   = {2018}
}