Polynomial Zigzag Matrices, Dual Minimal Bases, and the Realization of Completely Singular Polynomials

De Teran, Fernando and Dopico, Froilan and Mackey, D. Steven and Van Dooren, Paul (2015) Polynomial Zigzag Matrices, Dual Minimal Bases, and the Realization of Completely Singular Polynomials. [MIMS Preprint]

Warning
There is a more recent version of this item available.
[thumbnail of zigzag-matrices_MIMS-1.pdf] PDF
zigzag-matrices_MIMS-1.pdf

Download (505kB)

Abstract

Minimal bases of rational vector spaces are a well known and important tool in systems theory. If minimal bases for two subspaces of rational $n$-space are displayed as the rows of polynomial matrices $Z_1(\la)_{k \times n}$ and $Z_2(\la)_{m \times n}$, respectively, then $Z_1$ and $Z_2$ are said to be dual minimal bases if the subspaces have complementary dimension, i.e., $k+m = n$, and $Z_1^{}(\la) Z_2^T(\la) = 0$. In other words, each $Z_j(\la)$ provides a minimal basis for the nullspace of the other. It has long been known that for any dual minimal bases $Z_1(\la)$ and $Z_2(\la)$, the row degree sums of $Z_1$ and $Z_2$ are the same. In this paper we show that this is the only constraint on the row degrees, thus characterizing the possible row degrees of dual minimal bases. The proof is constructive, making extensive use of a new class of sparse, structured polynomial matrices that we have baptized zigzag matrices. Another application of these polynomial zigzag matrices is the constructive solution of the following inverse problem for minimal indices -- given a list of left and right minimal indices and a desired degree $d$, does there exist a completely singular matrix polynomial (i.e., a matrix polynomial with no elementary divisors whatsoever) of degree $d$ having exactly the prescribed minimal indices? We show that such a matrix polynomial exists if and only if $d$ divides the sum of the minimal indices. The constructed realization is simple, and explicitly displays the desired minimal indices in a fashion analogous to the classical Kronecker canonical form of singular pencils.

Item Type: MIMS Preprint
Uncontrolled Keywords: zigzag matrices, singular matrix polynomials, minimal indices, dual minimal bases, inverse problem
Subjects: MSC 2010, the AMS's Mathematics Subject Classification > 15 Linear and multilinear algebra; matrix theory
MSC 2010, the AMS's Mathematics Subject Classification > 93 Systems theory; control
Depositing User: Dr. D. Steven Mackey
Date Deposited: 06 Feb 2015
Last Modified: 20 Oct 2017 14:13
URI: https://eprints.maths.manchester.ac.uk/id/eprint/2246

Available Versions of this Item

Actions (login required)

View Item View Item