2018/08/03 by Javier Pérez, Pérez, Javier
Computer Science · Mathematics · #Matrix Theory and Algorithms #Polynomial and algebraic computation #Tensor decomposition and applications
paper · pdf · doi:10.48550/arxiv.1808.01078
A strong ℓ-ification of a matrix polynomial P(λ)=∑ Aiλi of degree d is a matrix polynomial L(λ) of degree ℓ having the same finite and infinite elementary divisors, and the same numbers of left and right minimal indices as P(λ). Strong ℓ-ifications can be used to transform the polynomial eigenvalue problem associated with P(λ) into an equivalent polynomial eigenvalue problem associated with a larger matrix polynomial L(λ) of lower degree. Typically ℓ=1 and, in this case, L(λ) receives the name of strong linearization. However, there exist some situations, e.g., the preservation of algebraic structures, in which it is more convenient to replace strong linearizations by other low degree matrix polynomials. In this work, we investigate the eigenvalue conditioning of ℓ-ifications from a family of matrix polynomials recently identified and studied by Dopico, Pérez and Van Dooren, the so-called block Kronecker companion forms. We compare the conditioning of these ℓ-ifications with that of the matrix polynomial P(λ), and show that they are about as well conditioned as the original polynomial, provided we scale P(λ) so that max\‖Ai‖2\=1, and the quantity min\‖A0‖2,‖Ad‖2\ is not too small. Moreover, under the scaling assumption max\‖Ai‖2\=1, we show that any block Kronecker companion form, regardless of its degree or block structure, is about as well-conditioned as the well-known Frobenius companion forms. Our theory is illustrated by numerical examples.