Pure states, positive matrix polynomials and sums of hermitian squares

Abstract

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 semidefinite. Our key finding is a natural bijection between the set of pure states of M and the cartesian product of S with the real projective (t-1)-space. This leads us to conceptual proofs of positivity certificates for matrix polynomials, including the recent seminal result of Hol and Scherer: If a symmetric matrix polynomial is positive definite on S, then it belongs to M. We also discuss what happens for non-symmetric matrix polynomials or in the absence of the archimedean assumption, and review some of the related classical results. The methods employed are both algebraic and functional analytic.

15 pages, accepted for publication in Indiana Univ. Math. J

Cited by in corpus (14)

• The matricial relaxation of a linear matrix inequality
• An exact duality theory for semidefinite programming based on sums of squares
• Moment problems for operator polynomials
• There are many more positive maps than completely positive maps
• A Real Nullstellensatz for Free Modules
• The Procesi-Schacher conjecture and Hilbert's 17th problem for algebras with involution
• Some Positivstellensätze for polynomial matrices
• Solving clustered low-rank semidefinite programs arising from polynomial optimization
• Containment Problems for Projections of Polyhedra and Spectrahedra
• Finsler's Lemma for Matrix Polynomials
• A Matrix Positivstellensatz with lifting polynomials
• Finite convergence of the Moment-SOS hierarchy for polynomial matrix optimization
• The Hierarchy of Local Minimums in Polynomial Optimization
• Some applications of Scherer-Hol's theorem for polynomial matrices