Exact Moment Representation in Polynomial Optimization - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2022

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. This consists 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) relaxations, dual to the Sum of Squares (SoS) relaxations, which are hierarchies 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. We consider the quadratic module Q generated by the inequalities. We show that the dual of the MoM relaxation coincides with the SoS relaxation extended with the real radical of the support of Q, and focus on the zero-dimensional case, generalizing results for equations defining a finite real variety. We deduce sufficient and necessary conditions for flat truncation, under the finite convergence assumption: 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 relaxation at which flat truncation holds. As corollaries, we conclude that flat truncation holds: • when regularity conditions, known as Boundary Hessian Conditions, hold: this result implies that flat truncation and MoM exactness holds generically; • when the support of the quadratic module Q is zero-dimensional; • in singular cases, flat truncation holds for the MoM relaxation extended with the polar constraints when the real variety of polar points is finite. Effective numerical computations illustrate these flat truncation properties.
Fichier principal
Vignette du fichier
exact_baldi_mourrain.pdf (371.88 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. 2022. ⟨hal-03082531v4⟩
679 Consultations
380 Téléchargements

Altmetric

Partager

More