English

Improved effective estimates of P\'olya's Theorem for quadratic forms

Algebraic Geometry 2024-11-04 v3

Abstract

Following de Loera and Santos, the P\'olya exponent of a nn-ary real form (i.e. a homogeneous polynomial in nn variables with real coefficients) ff is the infimum of the upward closed set of nonnegative integers mm such that (x1++xn)mf(x_1 + \cdots + x_n)^m f strictly has positive coefficients. By a theorem of P\'olya, a form assumes only positive values over the standard (n1)(n - 1)-simplex in Euclidean nn-space if and only if its P\'olya exponent is finite. In this note, we compute an upper bound of the P\'olya exponent of a quadratic form ff that assumes only positive values over the standard simplex. Our bound improves a previous upper bound due to de Klerk, Laurent and Parrilo. For example, for the binary quadratic form fκ=λ2x122κλx1x2+x22f_\kappa = \lambda^2 x_1^2 - 2 \kappa \lambda x_1 x_2 + x_2^2, which assumes only positive values over the standard 11-simplex whenever 0κ<1<λ0 \le \kappa < 1 < \lambda, our upper bound of its P\'olya's exponent is O(1/λ)O(1/\lambda) times that of de Klerk, Laurent and Parrilo's as λ\lambda tends to infinity.

Keywords

Cite

@article{arxiv.1804.02715,
  title  = {Improved effective estimates of P\'olya's Theorem for quadratic forms},
  author = {Colin Tan},
  journal= {arXiv preprint arXiv:1804.02715},
  year   = {2024}
}

Comments

4 pages. The main result of this paper is not new. Essentially, this result was already gotten by Bomze and de Klerk (Journal of Global Optimization, 2002, see Theorems 3.1 and 3.2 and their proofs)

R2 v1 2026-06-23T01:17:20.050Z