A Positivstellensatz for Sums of Nonnegative Circuit Polynomials
A Positivstellensatz for Sums of Nonnegative Circuit Polynomials
Recently, the second and third authors developed sums of nonnegative circuit polynomials (SONC) as a new certificate of nonnegativity for real polynomials, which is independent of sums of squares. In this paper we show that the SONC cone is full-dimensional in the cone of nonnegative polynomials. We establish a Positivstellensatz …