Determinantal Representations and B\'ezoutians

Abstract

We show that for every smooth hyperbolic polynomial h there is another hyperbolic polynomial q such that qh has a definite determinantal representation. This is proved by considering sum-of-squares decompositions of certain bilinear forms called B\'ezoutians. Besides commutative algebra, the proof relies on results from real algebraic geometry.