Minimal quasi-separable realizations for the inverse of a quasi-separable operator (Q2369043)

The authors complete a variety of known precise characterizations for the efficient inversion of systems of equations by providing another way of characterizing the Moore--Penrose inverse system of a system given by a quasi-separable representation, namely by a guaranteed minimal quasi-separable representation for the inverse system itself. The algorithmic procedure follows the method of \textit{A.--J.\ van der Veen} [Archiv für Elektronik u.\ Übertragungstechnik 49, 372--382 (1985)] and adds to it the characterization of intrinsic inner factors and the state space realization of the actual inverse. This approach provides closed formulas for the state space characterization of the inverse that are guaranteed to be minimal in the state space complexity. The computation can be done entirely on the original representation, using local computations of the same complexity as other matrix inversions. A one-pass algorithm is maintained provided that the original representation satisfies some structural properties and one is satisfied with a final representation that has not been split into upper and lower parts.