Exact Moment Representation in Polynomial Optimization - Archive ouverte HAL
Article Dans Une Revue Journal of Symbolic Computation Année : 2024

Exact Moment Representation in Polynomial Optimization

Résumé

We investigate the problem of representing moment sequences by measures in the context of Polynomial Optimization Problems, that consist in finding the infimum of a real polynomial on a real semialgebraic set defined by polynomial inequalities. We analyze the exactness of Moment Matrix (MoM) hierarchies, dual to the Sum of Squares (SoS) hierarchies, which are sequences of convex cones introduced by Lasserre to approximate measures and positive polynomials. We investigate in particular flat truncation properties, which allow testing effectively when MoM exactness holds and recovering the minimizers. We show that the dual of the MoM hierarchy coincides with the SoS hierarchy extended with the real radical of the support of the defining quadratic module Q. We deduce that flat truncation happens if and only if the support of the quadratic module associated with the minimizers is of dimension zero. We also bound the order of the hierarchy at which flat truncation holds. As corollaries, we show that flat truncation and MoM exactness hold when regularity conditions, known as Boundary Hessian Conditions, hold (and thus that MoM exactness holds generically); and when the support of the quadratic module Q is zero-dimensional. Effective numerical computations illustrate these flat truncation properties.
Fichier principal
Vignette du fichier
article_exactness.pdf (377.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03082531 , version 1 (28-12-2020)
hal-03082531 , version 2 (09-02-2021)
hal-03082531 , version 3 (20-08-2021)
hal-03082531 , version 4 (27-04-2022)
hal-03082531 , version 5 (29-11-2024)

Identifiants

Citer

Lorenzo Baldi, Bernard Mourrain. Exact Moment Representation in Polynomial Optimization. Journal of Symbolic Computation, In press, pp.102403. ⟨10.1016/j.jsc.2024.102403⟩. ⟨hal-03082531v5⟩
679 Consultations
380 Téléchargements

Altmetric

Partager

More