Separating inequalities for nonnegative polynomials that are not sums of squares

Sadik Iliman, Timo de Wolff

Ternary sextics and quaternary quartics are the smallest cases where there exist nonnegative polynomials that are not sums of squares (SOS). A complete classification of the differ…