A Generalized Muirhead Inequality and Symmetric Sums of Nonnegative Circuits
Abstract
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. In this article, we show that similarly nonnegativity of symmetric real polynomials can be certified via a generalization of the classical Muirhead inequality. Moreover, we show that a nonnegative symmetric polynomial admits a decomposition into sums of nonnegative circuit polynomials if and only if it satisfies said generalized Muirhead condition. The latter re-proves a result by Moustrou, Naumann, Riener, Theobald, and Verdure for the case of the symmetric group in a shortened and more elementary way.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2022
- DOI:
- 10.48550/arXiv.2211.07266
- arXiv:
- arXiv:2211.07266
- Bibcode:
- 2022arXiv221107266H
- Keywords:
-
- Mathematics - Algebraic Geometry;
- 12D15;
- 13J30;
- 14P99;
- 20B30;
- 26D15;
- 90C23
- E-Print:
- 16 pages