Polynomial optimization with real varieties

From MaRDI portal



Abstract: We consider the optimization problem of minimizing a polynomial f(x) subject to polynomial constraints h(x)=0, g(x)>=0. Lasserre's hierarchy is a sequence of sum of squares relaxations for finding the global minimum. Let K be the feasible set. We prove the following results: i) If the real variety V_R(h) is finite, then Lasserre's hierarchy has finite convergence, no matter the complex variety V_C(h) is finite or not. This solves an open question in Laurent's survey. ii) If K and V_R(h) have the same vanishing ideal, then the finite convergence of Lasserre's hierarchy is independent of the choice of defining polynomials for the real variety V_R(h). iii) When K is finite, a refined version of Lasserre's hierarchy (using the preordering of g) has finite convergence.


The author studies the following polynomial optimization problem NEWLINE\[NEWLINEf_{\min}: \min f(x),\qquad\text{s.t.}\quad h_i(x)= 0\;(i=1,\dots, m_1),\quad g_j(x)= 0\;(j= 1,\dots, m_2),NEWLINE\]NEWLINE where \(f\) and all \(g_j\) and \(h_i\) are real polynomials in \(x\).NEWLINENEWLINE Laserre's hierarchy is a sequence of sum of square relaxations for finding the global minimum \(f_{\min}\).NEWLINENEWLINE The author proves some open questions on the convergence of Lasserre's hierarchy.




Cited in
(55)








This page was built for publication: Polynomial optimization with real varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2866200)