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.

Improved bounds on the supremum of autoconvolutions

Sharp supremum and Hölder bounds for stochastic integrals indexed by a parameter

Sharp L1 Inequalities for Sup-Convolution

Computable Lipschitz Bounds for Deep Neural Networks

Improved concentration bounds for sums of independent sub-exponential random variables

Improved Chebyshev inequality: new probability bounds with known supremum of PDF

Inverse theorems for discretized sums and $L^q$ norms of convolutions in $\mathbb{R}^d$

On Lower Complexity Bounds for Large-Scale Smooth Convex Optimization

Operators on anti-dual pairs: Supremum and infimum of positive operators

Upper bounds for the relaxed area of $\mathbb S^1$-valued Sobolev maps and its countably subadditive interior envelope

Schur Complement-Based Infinity Norm Bounds for the Inverse of DSDD Matrices

A sharp lower bound for a class of non-local approximations of the total variation

Self-improving boundedness of the maximal operator on quasi-Banach lattices over spaces of homogeneous type

Lower Bounds for Weighted Chebyshev and Orthogonal Polynomials

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

On the infimum of the upper envelope of certain families of functions

Sobolev and Hölder estimates for the $\overline \partial$ equation on pseudoconvex domains of finite type in $\mathbb C^2$

Valadier-like formulas for the supremum function II: The compactly indexed case

Bounds for theta sums in higher rank II

Lower semicontinuity and relaxation of nonlocal $L^\infty$-functionals

Generalized van Trees inequality: Local minimax bounds for non-smooth functionals and irregular statistical models