Computing Lower Rank Approximations of Matrix Polynomials

12/11/2017
by   Mark Giesbrecht, et al.
0

Given an input matrix polynomial whose coefficients are floating point numbers, we consider the problem of finding the nearest matrix polynomial which has rank at most a specified value. This generalizes the problem of finding a nearest matrix polynomial that is algebraically singular with a prescribed lower bound on the dimension given in a previous paper by the authors. In this paper we prove that such lower rank matrices at minimal distance always exist, satisfy regularity conditions, and are all isolated and surrounded by a basin of attraction of non-minimal solutions. In addition, we present an iterative algorithm which, on given input sufficiently close to a rank-at-most matrix, produces that matrix. The algorithm is efficient and is proven to converge quadratically given a sufficiently good starting point. An implementation demonstrates the effectiveness and numerical robustness of our algorithm in practice.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/04/2019

Nearest matrix polynomials with a specified elementary divisor

The problem of finding the distance from a given n × n matrix polynomial...
research
12/11/2018

Computing Nearby Non-trivial Smith Forms

We consider the problem of computing the nearest matrix polynomial with ...
research
04/21/2019

A convex relaxation to compute the nearest structured rank deficient matrix

Given an affine space of matrices L and a matrix θ∈ L, consider the prob...
research
06/06/2021

Lower Bounds on Stabilizer Rank

The stabilizer rank of a quantum state ψ is the minimal r such that | ψ⟩...
research
08/24/2023

A Riemannian optimization method to compute the nearest singular pencil

Given a square pencil A+ λ B, where A and B are complex matrices, we con...
research
12/30/2018

A New Deflation Method For Verifying the Isolated Singular Zeros of Polynomial Systems

In this paper, we develop a new deflation technique for refining or veri...
research
01/01/2020

Compressed Super-Resolution I: Maximal Rank Sum-of-Squares

Let μ(t) = ∑_τ∈ Sα_τδ(t-τ) denote an |S|-atomic measure defined on [0,1]...

Please sign up or login with your details

Forgot password? Click here to reset