Pure states, positive matrix polynomials and sums of hermitian squares

Igor Klep, Markus Schweighofer

Let M be an archimedean quadratic module of real t-by-t matrix polynomials in n variables, and let S be the set of all real n-tuples where each element of M is positive semidefinit…