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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2009
- DOI:
- 10.48550/arXiv.0907.2260
- arXiv:
- arXiv:0907.2260
- Bibcode:
- 2009arXiv0907.2260K
- Keywords:
-
- Mathematics - Operator Algebras;
- Mathematics - Optimization and Control;
- 15A48;
- 11E25;
- 13J30 (Primary);
- 15A54;
- 14P10;
- 46A55 (Secondary)
- E-Print:
- 15 pages, accepted for publication in Indiana Univ. Math. J