Pré-Publication, Document De Travail Année : 2025

Positively not SOS: pseudo-moments and extreme rays in exact arithmetic

Positively not SOS: pseudo-moments and extreme rays in exact arithmetic

Résumé

A polynomial that is a sum of squares (SOS) of other polynomials is evidently positive. The converse is not true, there are positive polynomials which are not SOS. This note focuses on the problem of certifying, in exact arithmetic, that a given positive polynomial is not SOS. Using convex duality, this can be achieved by constructing a separating linear functional called a pseudo-moment certificate. We present constructive procedures to compute such certificates with rational coefficients for several famous forms (homogeneous polynomials) that are known to be positive but not SOS. Our method leverages polynomial symmetries to reduce the problem size and provides explicit integer-based formulas for generating these rational certificates. As a by-product, we can also generate extreme rays of the pseudomoment cone in exact arithmetic.

Fichier principal
Vignette du fichier
pseudomoments.pdf (232.19 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05231643 , version 1 (31-08-2025)

Licence

Identifiants

  • HAL Id : hal-05231643 , version 1

Citer

Didier Henrion. Positively not SOS: pseudo-moments and extreme rays in exact arithmetic. 2025. ⟨hal-05231643⟩
380 Consultations
205 Téléchargements

Partager

  • More