Integer matrices that are not copositive have certificates of less than quadratic complexity

Timo Hirscher

A real symmetric n times n matrix is called copositive if the corresponding quadratic form is non-negative on the closed first orthant. If the matrix fails to be copositive there e…