Abstract:We present precise bit and degree estimates for the optimal value of the polynomial optimization problem $f^*:=\text{inf}_{x\in \mathscr{X}}~f(x)$, where $\mathscr{X}$ is a semi-algebraic set satisfying some non-degeneracy conditions. Our bounds depend on the degree, the bitsize of $f$, and the polynomials defining $\mathscr{X}$, and are single exponential with respect to the number of variables. They generalize the single exponential bounds from Jeronimo, Perrucci, and Tsigaridas (SIAM Journal on Optimization, 23(1):241--255, 2013) for the minimum of a polynomial function on a compact connected component of a basic closed semi-algebraic set. The tools that we use allow us to obtain specialized bounds and dedicated algorithms for two large families of polynomial optimization problems in which the optimum value might not be attained. The first family forms a dense set of real polynomial functions with a fixed collection of Newton polytopes; we provide the best approximation yet for the bifurcation set, which contains the optimal value, and we deduce an effective method for computations. As for the second family, we consider any unconstrained polynomial optimization problem; we present more precise bounds, together with a better bit complexity estimate of an algorithm to compute the optimal value.

On Wirsing's problem in small exact degree

Wirsing-type inequalities

On two uniform exponents of approximation related to Wirsing's problem

On approximation to a real number by algebraic numbers of bounded degree

Improved fewnomial upper bounds from Wronskians and dessins d'enfant

Two-dimensional Weyl sums failing square-root cancellation along lines

On the arithmetic of polynomials over a number field

On arithmetic inequalities for points of bounded degree

Lower bounds by Birkhoff interpolation

On unsolvable equations of prime degree

Rational points and prime values of polynomials in moderately many variables

Uniform dual approximation to Veronese curves in small dimension

On anticyclotomic variants of the $p$-adic Birch and Swinnerton-Dyer conjecture

Bounds on the infimum of polynomials over a generic semi-algebraic set using asymptotic critical values

An extension of the Hermite-Biehler theorem with application to polynomials with one positive root

Lower bounds for algebraic computation trees with integer inputs

Parametric geometry of numbers over a number field and extension of scalars

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

Some notes on the pseudorandomness of Legendre symbol and Liouville function

A variant of Weyl's inequality for systems of forms and applications

An asymptotic refinement of the Gauss-Lucas Theorem for random polynomials with i.i.d. roots