Abstract
A polynomial optimization problem (POP) consists of minimizing a multivariate real polynomial on a semi-algebraic set \(K\) described by polynomial inequalities and equations. In its full generality it is a non-convex, multi-extremal, difficult global optimization problem. More than an decade ago, J. B. Lasserre proposed to solve POPs by a hierarchy of convex semidefinite programming (SDP) relaxations of increasing size. Each problem in the hierarchy has a primal SDP formulation (a relaxation of a moment problem) and a dual SDP formulation (a sum-of-squares representation of a polynomial Lagrangian of the POP). In this note, we show that there is no duality gap between each primal and dual SDP problem in Lasserre’s hierarchy, provided one of the constraints in the description of set \(K\) is a ball constraint. Our proof uses elementary results on SDP duality, and it does not assume that \(K\) has a strictly feasible point.
Similar content being viewed by others
References
de Klerk, E., Terlaky, T., Roos, K.: Self-dual embeddings. In: Wolkowicz, H., Saigal, R., Vandenberghe, L. (eds.) Handbook of Semidefinite Programming. Theory, Algorithms, and Applications. Kluwer, Boston (2000)
Henrion, D., Lasserre, J.B.: Detecting global optimality and extracting solutions in GloptiPoly. In: Henrion, D., Garulli A. (eds.). Positive Polynomials in Control. Lecture Notes on Control and Information Sciences, vol. 312. Springer, Berlin (2005)
Henrion, D., Lasserre, J.B.: Inner approximations for polynomial matrix inequalities and robust stability regions. IEEE Trans. Autom. Control 57(6), 1456–1467 (2012)
Lasserre, J.B.: Optimisation globale et théorie des moments. C. R. Acad. Sci. Paris Sér. I 331, 929–934 (2000)
Lasserre, J.B.: Global optimization with polynomials and the problem of moments. SIAM J. Optim. 11, 796–817 (2001)
Nie, J.: Optimality conditions and finite convergence of Lasserre’s hierarchy. Math. Program. Ser. A 146, 97–121 (2014)
Schweighofer, M.: Optimization of polynomials on compact semialgebraic sets. SIAM J. Optim. 15, 805–825 (2005)
Shapiro, A., Scheinber, K.: Duality, optimality conditions and perturbation analysis. In: Wolkowicz, H., Saigal, R., Vandenberghe, L. (eds.) Handbook of Semidefinite Programming. Theory, Algorithms, and Applications. Kluwer, Boston (2000)
Trnovská, M.: Strong duality conditions in semidefinite programming. J. Electr. Eng. 56, 1–5 (2005)
Waki, H., Nakata, M., Muramatsu, M.: Strange behaviors of interior-point methods for solving semidefinite programming problems in polynomial optimization. Comput. Optim. Appl. 53(3), 823–844 (2012)
Acknowledgments
The authors would like to thank the anonymous reviewer for insightful comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Josz, C., Henrion, D. Strong duality in Lasserre’s hierarchy for polynomial optimization. Optim Lett 10, 3–10 (2016). https://doi.org/10.1007/s11590-015-0868-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11590-015-0868-5