L-free directed bipartite graphs and echelon-type canonical forms (Q2010504)

The authors continue the investigations started on their previuos work [Oper. Theory: Adv. Appl. 259, 79--124 (2017; Zbl 1365.15014)]. Here they introduce several new echelon-like canonical forms of matrices in \(\mathbb{C}^{m\times n}\) and give an algorithm for constructing a typical instance of such canonical forms. They are further interested in studying linear subspaces of matrices in \(\mathbb{C}^{m\times n}\) determined by a pattern of zeros and consider the problem of understanding when the new canonical forms of matrices from these subspaces belong to the same subspace. The main result, Theorem 4.1, provides the affirmative answer to this problem when the pattern of zeros, represented as a directed graph, represents the so-called L-free directed bipartite graph. They also discuss relations with the previous paper [loc. cit.] and apply the new results to count equivalence classes of matrices in \(\mathbb{C}^{m\times n}\). It is worth mentioning that all introduced concepts and the algorithm are well illustrated by examples. For the entire collection see [Zbl 1411.47002].