Some Properties of Laurent Polynomial Matrices
Résumé
In the context of multivariate signal processing, factorizations involving so-called para-unitary matrices are relevant as well demonstrated in the book of Vaidyanathan, and more recently in a series of papers by McWhirter and co-authors. However, known factorizations of matrix polynomials, such as the Smith form, involve unimodular matrices but usual factorizations such as QR, eigenvalue or singular value decompositions, have not been proved to exist for polynomial matrices, if defined with para-unitary matrices, except for very restrictive matrices. It is clear that Cholesky factorization requires square roots, and that EVD and SVD require roots of higher degree polynomials. But one can ask oneself whether the closure of the field of polynomial coefficients is enough or not. It turns out that it is not. Nevertheless, density arguments allow to approximate any polynomial matrix by an SVD-type factorization involving paraunitary polynomial matrices. With that goal, we define the appropriate framework for Laurent polynomial matrices, that is, polynomial matrices with both positive and negative powers in a single variable, particularly the notion of ordrer and degree. We introduce a Smith form for these matrices involving ''L-unimodular'' matrices which are matrices with a monomial non-zero determinant. The 'Elementary Polynomial Givens Rotations' of Foster and McWhirter are of that kind.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...