Positive semidefinite univariate matrix polynomials

DOI10.1007/S00209-018-2137-7MaRDI QIDQ2633126zbMATH OpenOpenAlexWikidataFDO

Authors Christoph Hanselka, Rainer Sinn

Publication date 8 May 2019

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.08261

zbMATH Keywords

matrix factorizationsmatrix polynomialSmith normal formsum of squares

Mathematics Subject Classification ID

Quadratic forms over local rings and fields (11E08) Sums of squares and representations by other particular quadratic forms (11E25) Real algebra (13J30) Real algebraic sets (14P05) Factorization theory (including Wiener-Hopf and spectral factorizations) of linear operators (47A68)

Abstract: 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 $nimesn$ can be written as a sum of squares $M=Q^{T}Q$, where $Q$ has size $(n+1)imesn$, 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^{T}Q$ 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'er-Riesz Theorem.

Recommendations

• Matrix Fejér-Riesz theorem with gaps
• Determinantal representations and the Hermite matrix
• Positivstellensätze for polynomial matrices
• ``Positive noncommutative polynomials are sums of squares.
• An elementary and constructive solution to Hilbert’s 17th Problem for matrices

Cites work

• A Cassels-Pfister theorem for involutions on central simple algebras
• scientific article; zbMATH DE number 1601019 (Why is no real title available?)
• scientific article; zbMATH DE number 2132158 (Why is no real title available?)
• scientific article; zbMATH DE number 1313469 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 3009965 (Why is no real title available?)
• scientific article; zbMATH DE number 3329115 (Why is no real title available?)
• Low-rank sum-of-squares representations on varieties of minimal degree
• Multiplikative quadratische Formen
• On non-optimal spectral factorizations
• On the representation of rational functions as sums of squares
• Real zeros for positive semidefinite forms. I
• Sums of squares of linear forms
• The operator Fejér-Riesz theorem
• The prediction theory of multivariate stochastic processes. I. The regularity condition. - II. The linear predictor

Cited in

(9)

• Positive univariate trace polynomials
• A straightforward proof of the polynomial factorization of a positive semi-definite polynomial matrix
• Polynomial matrix inequality and semidefinite representation
• scientific article; zbMATH DE number 70084 (Why is no real title available?)
• Positivity, complete positivity, and SOS representation
• Matrix Fejér-Riesz theorem with gaps
• Real factorization of positive semidefinite matrix polynomials
• Strict positivstellensätze for matrix polynomials with scalar constraints
• Positive semidefinite quadratic forms on unitary matrices

This page was built for publication: Positive semidefinite univariate matrix polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2633126)