Polynomial Matrix Spectral Factorization

Polynomial Matrix Spectral Factorization or Matrix Fejer–Riesz Theorem is a tool used to study the matrix decomposition of polynomial matrices. Polynomial matrices are widely studied in the fields of systems theory and control theory and have seen other uses relating to stable polynomials. In stability theory, Spectral Factorization has been used to find determinantal matrix representations for bivariate stable polynomials and real zero polynomials.

Given a univariate positive polynomial, i.e., $p(t) > 0$ for all $t \in \mathbb$, the Fejer–Riesz Theorem yields the polynomial spectral factorization $p(t) = q(t)\bar(t)$. Results of this form are generically referred to as Positivstellensatz.

Likewise, the Polynomial Matrix Spectral Factorization provides a factorization for positive definite polynomial matrices. This decomposition also relates to the Cholesky decomposition for scalar matrices $A =LL^*$. This result was originally proven by Norbert Wiener in a more general context which was concerned with integrable matrix-valued functions that also had integrable log determinant. Because applications are often concerned with the polynomial restriction, simpler proofs and individual analysis exist focusing on this case. Weaker positivstellensatz conditions have been studied, specifically considering when the polynomial matrix has positive definite image on semi-algebraic subsets of the reals. Many publications recently have focused on streamlining proofs for these related results. This article roughly follows the recent proof method of Lasha Ephremidze which relies only on elementary linear algebra and complex analysis.

Spectral factorization is used extensively in linear–quadratic–Gaussian control and many algorithms exist to calculate spectral factors. Some modern algorithms focus on the more general setting originally studied by Wiener while others have used Toeplitz matrix advances to speed up factor calculations.

Definition

Consider polynomial matrix
$P(t) = \beginp_(t) &\ldots &p_(t) \\ \vdots & \ddots & \vdots\\ p_(t) & \cdots& p_(t)\\ \end,$
where each entry $p_(t)$ is a complex coefficient polynomial of at most $N$-degree. If $P(t)$ is a positive definite hermitian matrix for all $t \in \mathbb$, then there exists a polynomial matrix
$Q(t) = \beginq_(t) &\ldots &q_(t) \\ \vdots & \ddots & \vdots\\ q_(t) & \cdots& q_(t)\\ \end,$
such that $P(t) = Q(t) Q(t)^*$ where $Q(t)^*$ is the conjugate transpose. When $q_(t)$ is a complex coefficient polynomial or complex coefficient rational function then so are the elements of its conjugate transpose.

We can furthermore find $Q(t)$ which is nonsingular on the lower half plane.

Rational spectral factorization

Let $p(t)$ be a rational function where $p(t) > 0$ for all $t \in \mathbb$. Then there exists a rational function $q(t)$ such that $p(t) = q(t)\bar(t)$ and $q(t)$ has no poles or zeroes in the lower half plane. This decomposition is unique up to multiplication by complex scalars of norm $1$.

To prove existence write
$p(x) = c \frac,$
where $\alpha_i \neq \beta_j$. Letting $x \to \infty$, we can conclude that $c$ is real and positive. Dividing out by $\sqrt$ we reduce to the monic case. The numerator and denominator have distinct sets of roots, so all real roots which show up in either must have even multiplicity (to prevent a sign change locally). We can divide out these real roots to reduce to the case where $p(t)$ has only complex roots and poles. By hypothesis we have
$p(x) = \frac = \frac = \overline.$
Since all of the $\alpha_i, \beta_j$are complex (and hence not fixed points of conjugation) they both come in conjugate pairs. For each conjugate pair, pick the zero or pole in the upper half plane and accumulate these to obtain $q(t)$. The uniqueness result follows in a standard fashion.

Cholesky decomposition

The inspiration for this result is a factorization which characterizes positive definite matrices.

Decomposition for scalar matrices

Given any positive definite scalar matrix $A$, the Cholesky decomposition allows us to write $A = LL^*$ where $L$ is a lower triangular matrix. If we don't restrict to lower triangular matrices we can consider all factorizations of the form $A = V V^*$. It is not hard to check that all factorizations are achieved by looking at the orbit of $L$ under right multiplication by a unitary matrix, $V = L U$.

To obtain the lower triangular decomposition we induct by splitting off the first row and first column:$\begin a_ & \mathbf_^* \\ \mathbf_ & A_ \\ \end = \begin l_ & 0 \\ \mathbf_ & L_ \end \begin l_^* & \mathbf_^* \\ 0 & L_^* \end = \begin l_ l_^* & l_ \mathbf_^* \\ l_^* \mathbf_ & \mathbf_ \mathbf_^*+ L_ L_^* \end$Solving these in terms of $a_$ we get$l_ = \sqrt$$\mathbf_ = \frac\mathbf_$$L_ L_^* = A_ - \frac \mathbf_ \mathbf^*_$

Since $A$ is positive definite we have $a_$is a positive real number, so it has a square root. The last condition from induction since the right hand side is the Schur complement of $A$, which is itself positive definite.

Decomposition for rational polynomial matrices

A rational polynomial matrix is defined as a matrix
$P(t) = \beginp_(t) &\ldots &p_(t) \\ \vdots & \ddots & \vdots\\ p_(t) & \cdots& p_(t)\\ \end,$
where each entry $p_(t)$ is a complex rational function. If $P(t)$ is a positive definite Hermitian matrix for all $t\in\mathbb$, then by the symmetric Gaussian elimination we performed above, all we need to show is there exists a rational $q_(t)$ such that $p_(t) = q_(t) q_(t)^*$, which follows from our rational spectral factorization. Once we have that then we can solve for $l_(t), \mathbf_(t)$. Since the Schur complement is positive definite for the real $t$ away from the poles and the Schur complement is a rational polynomial matrix we can induct to find $L_$.

It is not hard to check that we get $P(t) = L(t) L(t)^*$where $L(t)$ is a rational polynomial matrix with no poles in the lower half plane.

Extension to polynomial decompositions

One way to prove the existence of polynomial matrix spectral factorization is to apply the Cholesky decomposition to a rational polynomial matrix and modify it to remove lower half plane singularities. That is, given
$P(t) = \beginp_(t) &\ldots &p_(t) \\ \vdots & \ddots & \vdots\\ p_(t) & \cdots& p_(t)\\ \end,$
where each entry $p_(t)$ is a complex coefficient polynomial for all $t\in\mathbb$, a rational polynomial matrix $L(t)$ with no lower half plane poles exists such that $P(t) = L(t) L(t)^*$. Given a rational polynomial matrix $U(t)$ which is unitary valued for real $t$, there exists another decomposition
$P(t) = L(t) L(t)^* = L(t) U(t)U(t)^*L(t)^*.$
If $\det(L(a)) = 0$ then there exists a scalar unitary matrix $U$ such that
$U e_1 = \frac.$
This implies $L(t) U$ has first column vanish at $a$. To remove the singularity at $a$ we multiply by$U(t) = \operatorname(1, \ldots, \frac, \ldots, 1)$$L(t) U U(t)$ has determinant with one less zero (by multiplicity) at a, without introducing any poles in the lower half plane of any of the entries.

Example

Consider the following rational matrix decomposition
$A(t) = \begin t^2 + 1 & 2 t \\ 2 t & t^2 + 1 \\ \end = \begin t - i & 0 \\ \frac & \frac \\ \end \begin t + i & \frac \\ 0 & \frac \\ \end.$
This decomposition has no poles in the upper half plane. However
$\det\left(\begin t - i & 0 \\ \frac & \frac \\ \end\right)=\frac,$
so we need to modify our decomposition to get rid of the singularity at $-i$. First we multiply by a scalar unitary matrix
$U =\frac \begin1 & 1 \\ i & -i \\ \end,$ such that
$\begin t - i & 0 \\ \frac & \frac \\ \end U = \frac\begin t-i & t - i \\ i \frac & -i(t+i) \\ \end,$
becomes a new candidate for our decomposition. Now the first column vanishes at $t=i$, so we multiply through (on the right) by
$U(t) =\frac \begin\frac & 0 \\ 0 & 1\end,$
to obtain
$Q(t) = \frac\begin t-i & t - i \\ i \frac & -i(t+i) \\ \end U(t) = \frac\begin t + i & t - i \\ i(t-i) & -i(t+i) \\ \end,$
where
$\det(Q(t)) = i(1-t^2).$
This is our desired decomposition $A(t) = Q(t) Q(t)^*$ with no singularities in the lower half plane.

Extend analyticity to all of C

After modifications, the decomposition $P(t)=Q(t) Q(t)^*$satisfies $Q(t)$ is holomorphic and invertible on the lower half plane. To extend analyticity to the upper half plane we need this key observation: If an invertible rational matrix $Q(t)$ is holomorphic in the lower half plane, $Q(t)^$ is holomorphic in the lower half plane as well. The analyticity follows from the adjugate matrix formula (since both the entries of $Q(t)$ and $\det(Q(t))^$are analytic on the lower half plane). The determinant of a rational polynomial matrix can only have poles where its entries have poles, so $\det(Q(t))$ has no poles in the lower half plane.

Subsequently,
$Q(t)=(P(t)Q(t)^)^*.$
Since $Q(t)^$ is analytic on the lower half plane, $Q(t)$ is analytic on the upper half plane. Finally if $Q(t)$ has a pole on the real line then $Q(t)^*$ has the same pole on the real line which contradicts the hypothesis that $P(t)$ has no poles on the real line (i.e. it is analytic everywhere).

The above shows that if $Q(t)$ is analytic and invertible on the lower half plane indeed $Q(t)$ is analytic everywhere and hence a polynomial matrix.

Uniqueness

Given two polynomial matrix decompositions which are invertible on the lower half plane
$P(t)=Q(t) Q(t)^*=R(t)R(t)^*,$
then
$R(t)^Q(t)Q(t)^*(R(t)^*)^=I.$
Since $R(t)$ is analytic on the lower half plane and nonsingular, $R(t)^Q(t)$ is a rational polynomial matrix which is analytic and invertible on the lower half plane. As such, $R(t)^Q(t)$ is a polynomial matrix which is unitary for all $t\in\mathbb$. This means that if $\mathbf_i(t)$ is the $i^$ row of $Q(t)$then $\mathbf_i(t) \mathbf_i(t)^* = 1$. For real $t$ this is a sum of non-negative polynomials which sums to a constant, implying each of the summands are in fact constant polynomials. Then $Q(t) = R(t) U$where $U$ is a scalar unitary matrix.

See also

* Matrix factorization of a polynomial

Notes

References

*
*
*
*
*
* {{cite journal , last1=Wiener , first1=N. , last2=Masani , first2=P. , title=The prediction theory of multivariate stochastic processes: I. The regularity condition , journal=Acta Mathematica , volume=98 , date=1957 , issn=0001-5962 , doi=10.1007/BF02404472 , pages=111–150

Matrix decompositions
Polynomials