2023/12/16 by Philippe Moustrou, Cordian Riener, Moustrou, Philippe +4
Computer Science · Mathematics · #14P05 #20C30 #90C30 #Advanced Optimization Algorithms Research #FOS: Mathematics #Mathematical functions and polynomials #Optimization and Control (math.OC) #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.2312.10500
openalex publication_date 2023/12/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.