Symmetric SAGE and SONC forms, exactness and quantitative gaps - Archive ouverte HAL
Article Dans Une Revue Journal of Symbolic Computation Année : 2025

Symmetric SAGE and SONC forms, exactness and quantitative gaps

Résumé

The classes of sums of arithmetic-geometric exponentials (SAGE) and of sums of nonnegative circuit polynomials (SONC) provide nonnegativity certificates which are based on the inequality of the arithmetic and geometric means. We study the cones of symmetric SAGE and SONC forms and their relations to the underlying symmetric nonnegative cone. As main results, we provide several symmetric cases where the SAGE or SONC property coincides with nonnegativity and we present quantitative results on the differences in various situations. The results rely on characterizations of the zeroes and the minimizers for symmetric SAGE and SONC forms, which we develop. Finally, we also study symmetric monomial mean inequalities and apply SONC certificates to establish a generalized version of Muirhead's inequality.

Dates et versions

hal-04775065 , version 1 (09-11-2024)

Identifiants

Citer

Philippe Moustrou, Cordian Riener, Thorsten Theobald, Hugues Verdure. Symmetric SAGE and SONC forms, exactness and quantitative gaps. Journal of Symbolic Computation, 2025, 127, pp.102374. ⟨10.1016/j.jsc.2024.102374⟩. ⟨hal-04775065⟩

Collections

UNIV-TLSE2
21 Consultations
0 Téléchargements

Altmetric

Partager

More