Certifying convergence of Lasserre's hierarchy via flat truncation

From MaRDI portal
Publication:2434992



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.


In this paper, the author presents a new typical approach for solving the optimization of minimizing a polynomial optimization subject to polynomial constraints. The certificate for checking finite and asymptotical convergence of Lassees's hierarchy based on either Putinar's or Schmudgens's Positivstellensatz is established. The author also proves that flat truncation can be used as a certificate to check exactness of standard SOS relaxations and Jacobin SDP relaxations.




Cited in
(87)


Describes a project that uses

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)