Improved convergence rates for Lasserre-type hierarchies of upper bounds for box-constrained polynomial optimization

International audienceWe consider the problem of minimizing a given n-variate polynomial f over the hypercube [−1, 1]^n. An idea introduced by Lasserre, is to find a probability distribution on [−1, 1]^n with polynomial density function h (of given degree r) that minimizes the expectation ∫[−1,1]^n f (x)h(x)dµ(x), where dµ(x) is a fixed, finite Borel measure supported on [−1, 1]^n. It is known that, for the Lebesgue measure dµ(x) = dx, one may show an error bound O(1/ √ r) if h is a sum-of-squares density, and an O(1/r) error bound if h is the density of a beta distribution. In this paper, we show an error bound of O(1/r^2), if dµ(x) = (Π^n i=1 √(1 − xi^2)^-1 dx (the well-known measure in the study of orthogonal polynomials), and h has a Schmüdgen-type representation with respect to [−1, 1]^n , which is a more general condition than a sum of squares. The convergence rate analysis relies on the theory of polynomial kernels, and in particular on Jackson kernels. We also show that the resulting upper bounds may be computed as generalized eigenvalue problems, as is also the case for sum-of-squares densities