Certifying convergence of Lasserre's hierarchy via flat truncation

From MaRDI portal
Publication:2434992

DOI10.1007/S10107-012-0589-9zbMATH Open1305.65151arXiv1106.2384OpenAlexW2052557161MaRDI QIDQ2434992FDOQ2434992


Authors: Jiawang Nie Edit this on Wikidata


Publication date: 3 February 2014

Published in: Mathematical Programming. Series A. Series B (Search for Journal in Brave)

Abstract: This paper studies how to certify the convergence of Lasserre's hierarchy of semidefinite programming relaxations for solving multivariate polynomial optimization. We propose flat truncation as a general certificate for this purpose. Assume the set of global minimizers is nonempty and finite. Our main results are: i) Putinar type Lasserre's hierarchy has finite convergence if and only if flat truncation holds, under some general assumptions, and this is also true for the Schmudgen type one; ii) under the archimedean condition, flat truncation is asymptotically satisfied for Putinar type Lasserre's hierarchy, and similar is true for the Schmudgen type one; iii) for the hierarchy of Jacobian SDP relaxations, flat truncation is always satisfied. The case of unconstrained polynomial optimization is also discussed.


Full work available at URL: https://arxiv.org/abs/1106.2384




Recommendations




Cites Work


Cited In (69)

Uses Software





This page was built for publication: Certifying convergence of Lasserre's hierarchy via flat truncation

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