3a56b35bf20285c8.tex
1: \begin{abstract}
2: {
3: We consider the problem of minimizing  a continuous function $f$  over a compact set $\bK$.
4: We analyze a hierarchy of  upper bounds proposed by Lasserre in [{\em SIAM J. Optim.} $21(3)$ $(2011)$, pp. $864-885$],
5:  obtained by searching for an optimal probability density function $h$ on $\bK$ which is a sum of squares of polynomials,
6:  so that the expectation $\int_{\bK} f(x)h(x)dx$ is minimized.
7: We show that the rate of convergence is {no worse than} $O(1/\sqrt{r})$, where $2r$ is the degree bound on the density function. This analysis applies to the case when $f$ is Lipschitz continuous and   $\bK$ is a  full-dimensional
8:   compact set satisfying some boundary condition (which is satisfied, e.g.,  {for convex bodies}).
9:   %for polytopes and the Euclidean ball).
10: The $r$th upper bound in the hierarchy may be computed using semidefinite programming if $f$ is a polynomial of degree $d$,
11:  and if all moments of order up to $2r+d$ of the Lebesgue measure on $\bK$ are known, which holds, for example, if $\bK$ is a simplex,
12:   hypercube, or a Euclidean ball.
13: }
14: 
15: {
16: \keywords{Polynomial optimization \and Semidefinite optimization\and  Lasserre hierarchy}
17: % \PACS{PACS code1 \and PACS code2 }
18: \subclass{90C22\and 90C26 \and 90C30}
19: }
20: \end{abstract}
21: