Realizations of non-commutative rational functions around a matrix centre, II: The lost-abbey conditions

TL;DR

This paper establishes the equality of the domain of a non-commutative rational function and its minimal realizations, introduces lost-abbey conditions for matrix coefficients, and explores their implications in nc function theory.

Contribution

It proves the domain equality for nc rational functions and minimal realizations, and introduces lost-abbey conditions that constrain matrix coefficients in realizations.

Findings

Domain of a nc rational function equals the domain of its minimal realizations.

Lost-abbey conditions are necessary for matrix coefficients in realizations.

The domain of regularity coincides with the stable extended domain.

Abstract

In a previous paper the authors generalized classical results of minimal realizations of non-commutative (nc) rational functions, using nc Fornasini--Marchesini realizations which are centred at an arbitrary matrix point. In particular, it was proved that the domain of regularity of a nc rational function is contained in the invertibility set of a corresponding pencil of any minimal realization of the function. In this paper we prove an equality between the domain of a nc rational function and the domain of any of its minimal realizations. As for evaluations over stably finite algebras, we show that the domain of the realization w.r.t any such algebra coincides with the so called matrix domain of the function w.r.t the algebra. As a corollary we show that the domain of regularity and the stable extended domain coincide. In contrary to both the classical case and the scalar case -- where every matrix coefficients which satisfy the controllability and observability conditions can appear in a minimal realization of a nc rational function -- the matrix coefficients in our case have to satisfy certain equations, called linearized lost-abbey conditions, which are related to Taylor--Taylor expansions in nc function theory.