Improved effective estimates of Pólya's Theorem for quadratic forms

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Tan, Colin
Format: Preprint
Published: 2018
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866916463533621248
author Tan, Colin
author_facet Tan, Colin
contents Following de Loera and Santos, the Pólya exponent of a $n$-ary real form (i.e. a homogeneous polynomial in $n$ variables with real coefficients) $f$ is the infimum of the upward closed set of nonnegative integers $m$ such that $(x_1 + \cdots + x_n)^m f$ strictly has positive coefficients. By a theorem of Pólya, a form assumes only positive values over the standard $(n - 1)$-simplex in Euclidean $n$-space if and only if its Pólya exponent is finite. In this note, we compute an upper bound of the Pólya exponent of a quadratic form $f$ 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_κ= λ^2 x_1^2 - 2 κλx_1 x_2 + x_2^2$, which assumes only positive values over the standard $1$-simplex whenever $0 \le κ< 1 < λ$, our upper bound of its Pólya's exponent is $O(1/λ)$ times that of de Klerk, Laurent and Parrilo's as $λ$ tends to infinity.
format Preprint
id arxiv_https___arxiv_org_abs_1804_02715
institution arXiv
publishDate 2018
record_format arxiv
spellingShingle Improved effective estimates of Pólya's Theorem for quadratic forms
Tan, Colin
Algebraic Geometry
Primary 12D99, Secondary 14P99, 26C99
Following de Loera and Santos, the Pólya exponent of a $n$-ary real form (i.e. a homogeneous polynomial in $n$ variables with real coefficients) $f$ is the infimum of the upward closed set of nonnegative integers $m$ such that $(x_1 + \cdots + x_n)^m f$ strictly has positive coefficients. By a theorem of Pólya, a form assumes only positive values over the standard $(n - 1)$-simplex in Euclidean $n$-space if and only if its Pólya exponent is finite. In this note, we compute an upper bound of the Pólya exponent of a quadratic form $f$ 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_κ= λ^2 x_1^2 - 2 κλx_1 x_2 + x_2^2$, which assumes only positive values over the standard $1$-simplex whenever $0 \le κ< 1 < λ$, our upper bound of its Pólya's exponent is $O(1/λ)$ times that of de Klerk, Laurent and Parrilo's as $λ$ tends to infinity.
title Improved effective estimates of Pólya's Theorem for quadratic forms
topic Algebraic Geometry
Primary 12D99, Secondary 14P99, 26C99
url https://arxiv.org/abs/1804.02715