Exactness and Effective Degree Bound of Lasserre’s Relaxation for Polynomial Optimization over Finite Variety

In this paper, we address the effective degree bound problem for Lasserre’s hierarchy of moment-sum-of-squares (SOS) relaxations in polynomial optimization involving n variables. We assume that the first n equality constraint polynomials $g_1,\dots ,g_n$ do not share any nontrivial common complex zero locus at infinity and that the optimal solutions are nonsingular. Under these conditions, we derive an effective degree bound for the exactness of Lasserre’s hierarchy. Importantly, the assumption of no solutions at infinity holds on a Zariski open set within the space of polynomials of fixed degrees. As a direct consequence, we provide the first explicit degree bound for gradient-type SOS relaxation under a generic condition.

Funding: Z. Hua is supported by the Research Grants Council, University Grants Committee [Grant 17305123] . Z. Qu is supported by the National Natural Science Foundation of China [Grant 12001458].