Title:Nonnegative Polynomials and Circuit Polynomials

Abstract:Circuit polynomials are polynomials supported on circuits. The nonnegativity of circuit polynomials is easy to check. Representing polynomials as sums of nonnegative circuit polynomials is a certificate of the nonnegativity of polynomials. For a polynomial with a simplex Newton polytope satisfying certain conditions, it is nonnegative if and only if it is a sum of nonnegative circuit polynomials. In this paper, we generalize this conclusion to polynomials with general Newton polytopes. Moreover, we put the problem to decide if a polynomial can be written as a sum of nonnegative circuit polynomials down to the feasibility of a relative entropy program. Since relative entropy programs are convex, they can be checked very efficiently.