Positive semidefinite univariate matrix polynomials
- 30 Downloads
We study sum-of-squares representations of symmetric univariate real matrix polynomials that are positive semidefinite along the real line. We give a new proof of the fact that every positive semidefinite univariate matrix polynomial of size \(n\times n\) can be written as a sum of squares \(M=Q^TQ\), where Q has size \((n+1)\times n\), which was recently proved by Blekherman–Plaumann–Sinn–Vinzant. Our new approach using the theory of quadratic forms allows us to prove the conjecture made by these authors that these minimal representations \(M=Q^TQ\) are generically in one-to-one correspondence with the representations of the nonnegative univariate polynomial \(\det (M)\) as sums of two squares. In parallel, we will use our methods to prove the more elementary hermitian analogue that every hermitian univariate matrix polynomial M that is positive semidefinite along the real line, is a square, which is known as the matrix Fejér–Riesz Theorem.
KeywordsMatrix factorizations Matrix polynomial Sum of squares Smith normal form
Mathematics Subject ClassificationPrimary 14P05 Secondary 47A68 11E08 11E25 13J30
We are grateful to Markus Schweighofer. Our approach extends fruitful discussions with him. The first author is supported by the Faculty Research Development Fund (FRDF) of The University of Auckland (Project no. 3709120). The second author would like to thank Bernd Sturmfels and the Max-Planck-Institute in Leipzig for their hospitality and support.
- 1.Blekherman, G., Plaumann, D., Sinn, R., Vinzant, C.: Low-rank sum-of-squares representations on varieties of minimal degree. Int. Math. Res. Not. (2016). https://doi.org/10.1093/imrn/rnx113
- 4.Dritschel, M.A., Rovnyak, J.: The operator Fejér-Riesz theorem. In: Axler, S., Rosenthal, P., Sarason, D. (eds.) A Glimpse at Hilbert Space Operators: Paul R. Halmos in Memoriam, pp. 223–254. Springer, Basel (2010). https://doi.org/10.1007/978-3-0346-0347-8_14
- 5.Eisenbud, D.: Commutative Algebra. Graduate Texts in Mathematics, vol. 150. Springer, New York (1995) (with a view toward algebraic geometry) Google Scholar
- 9.Leep, D.B.: Sums of squares of polynomials and the invariant \(g_n(r)\). Unpublished manuscript, personal communication (2006)Google Scholar
- 10.MacDuffee, C.C.: The theory of matrices. Zentralblatt MATH 59(02), 347–462 (1933)Google Scholar
- 12.O’Meara, O.T.: Introduction to Quadratic Forms. Springer, New York (1971) (second printing, corrected, Die Grundlehren der mathematischen Wissenschaften, Band 117) Google Scholar
- 13.Prestel, A., Delzell, C.N.: Positive Polynomials. Springer Monographs in Mathematics. Springer, Berlin (2001) (from Hilbert’s 17th problem to real algebra) Google Scholar