Linear preservers of extremes of rank inequalities over semirings: Row and column ranks (Q819149)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear preservers of extremes of rank inequalities over semirings: Row and column ranks |
scientific article |
Statements
Linear preservers of extremes of rank inequalities over semirings: Row and column ranks (English)
0 references
22 March 2006
0 references
There are different ways to define a rank of a matrix with entries from a \textit{semiring} (a ring without the minus sign; in the present review, a semiring is \textit{unital}, without zero divisors, and \textit{antinegative}, i.e. \(a+b=0\) implies \(a=0=b\)). The authors are in particular interested in a \textit{column rank}, \(c(A)\), and, when the semiring is contained in non-negative real numbers, also in the `classical' matrix rank \(\rho(A)\). Here, \(c(A)\) is the dimension of the linear span of columns of \(A\) over a semiring \({\mathcal S}\); in general we have \(\rho(A)\leq c(A)\). They start by listing some sharp inequalities involving \(c(A)\) and \(\rho(A)\). Then, they consider the extremal case when inequality turns into equality, and study surjective linear preservers of such matrix tuples. As a sample result, the inequality \(c(AB)\leq c(B)\) always holds for \(n\)-by-\(n\) matrices over semiring \({\mathcal S}\). In the extremal case, suppose a linear surjection \(\Phi:M_{n}({\mathcal S})\to M_{n}({\mathcal S})\) satisfies \(c(AB)=c(B)\Rightarrow c(\Phi(A)\Phi(B))=c(\Phi(B))\). If \(n\geq 4\) then \(\Phi(X)=P(X\circ B)P^t\) where \(P\) is a permutation matrix, and where matrix \(B\) is of column rank one, with its entries being units from the center of \(\mathcal S\). Here, \(X\circ B\) denotes the entrywise product of two matrices. For some of the listed inequalities, transposition is also possible, depending on the arithmetic in a semiring. The proofs are a reduction to linear `line preservers,' i.e. to linear surjections that map each row/column of a matrix to a row or a column. Over \(\mathcal S\) (=unital antinegative semiring without zero divisors), such surjections come in two forms: \(X\mapsto P(X\circ B)Q\) or \(X\mapsto P(X\circ B)^tQ\) for some permutation matrices \(P,Q\) and some matrix \(B\), whose entries are units from the center.
0 references
Rank inequality
0 references
Linear preserver
0 references
Row rank
0 references
Column rank
0 references
Semiring
0 references