A Generalized Muirhead Inequality and Symmetric Sums of Nonnegative Circuits

Janin Heuer, Ngoc Mai Tran, Timo de Wolff

Circuit polynomials are a certificate of nonnegativity for real polynomials, which can be derived via a generalization of the classical inequality of arithmetic and geometric means…