Geometry of exactness of moment-SOS relaxations for polynomial optimization - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2023

Geometry of exactness of moment-SOS relaxations for polynomial optimization

Résumé

The moment-SOS (sum of squares) hierarchy is a powerful approach for solving globally non-convex polynomial optimization problems (POPs) at the price of solving a family of convex semidefinite optimization problems (called moment-SOS relaxations) of increasing size, controlled by an integer, the relaxation order. We say that a relaxation of a given order is exact if solving the relaxation actually solves the POP globally. In this note, we study the geometry of the exactness cone, defined as the set of polynomial objective functions for which the relaxation is exact. Generalizing previous foundational work on quadratic optimization on real varieties, we prove by elementary arguments that the exactness cones are unions of semidefinite representable cones monotonically embedded for increasing relaxation order.
Fichier principal
Vignette du fichier
exactness.pdf (485.54 Ko) Télécharger le fichier

Dates et versions

hal-04258249 , version 1 (25-10-2023)
hal-04258249 , version 2 (27-11-2023)
hal-04258249 , version 3 (27-02-2024)

Identifiants

Citer

Didier Henrion. Geometry of exactness of moment-SOS relaxations for polynomial optimization. 2023. ⟨hal-04258249v3⟩
362 Consultations
105 Téléchargements

Altmetric

Partager

More