1 Introduction
A matrix is
nonnegative (positive) if all of its entries are nonnegative (positive) real numbers. Nonnegative matrices have many attractive properties and are important in a variety of applications [
1,
2]. For two nonnegative matrices
A and
B of the same size, the notation
\(A\geq B\) or
\(B\leq A\) means that
\(A-B\) is nonnegative.
A sign pattern is a matrix whose entries are from the set \(\{ +, -, 0\}\). In a talk at the 12th ILAS conference (Regina, Canada, June 26–29, 2005), Professor Xingzhi Zhan posed the following problem.
A nonnegative square matrix
A is said to be
primitive if there exists a positive integer
k such that
\(A^{k}\) is positive. If we denote by
\(f(A)\) the number of positive entries in
A, it seems that the sequence
\(\{f(A^{k})\}_{k=1}^{\infty}\) is increasing for any primitive matrix
A. However, Šidák [
3] observed that there is a primitive matrix
A of order 9 satisfying
\(f(A)=18>f(A^{2})=16\). This is the motivation for us to investigate the nonnegative matrix
A such that
\(\{f(A^{k})\}_{k=1}^{\infty}\) is monotonic. It is reasonable to expect that the sequence will be monotonic when
\(f(A)\) is too small or too large.
Since the value of each positive entry in A does not affect \(f(A^{k})\) for all positive integers k, it suffices to consider the 0–1 matrix, i.e., the matrix whose entries are either 0 or 1. Denote by \(E_{ij}\) the matrix with its entry in the ith row and jth column being 1 and with all other entries being 0. For simplicity we use 0 to denote the zero matrix whose size will be clear from the context.
2 Main results
Let A be a nonnegative square matrix. We will use the fact that if \(A^{2}\geq A\ (A^{2}\leq A)\), then \(A^{k+1}\geq A^{k}\ (A^{k+1}\leq A^{k})\) for all positive integers k and thus \(\{f(A^{k})\}_{k=1}^{\infty}\) is increasing (decreasing).
Proof
Under permutation similarity and transpose, it suffices to consider the following cases.
(1) \(A=E_{11}+E_{22}+E_{33}\). Then \(A^{2}=A\).
(2) \(A=E_{11}+E_{22}+E_{12}\). Then \(A^{2}=A+E_{12}\geq A\).
(3) \(A=E_{11}+E_{22}+E_{13}\). Then \(A^{2}=A\).
(4) \(A=E_{11}+E_{22}+E_{34}\). Then \(A^{2}=E_{11}+E_{22}\leq A\).
(5) \(A=E_{11}+E_{12}+E_{13}\). Then \(A^{2}=A\).
(6) \(A=E_{11}+E_{12}+E_{21}\). Then \(A^{2}=A+E_{11}+E_{22}\geq A\).
(7) \(A=E_{11}+E_{12}+E_{31}\). Then \(A^{2}=A+E_{32}\geq A\).
(8) \(A=E_{11}+E_{12}+E_{23}\). Then \(A^{k}=E_{11}+E_{12}+E_{13}\) for all \(k\geq2\).
(9) \(A=E_{11}+E_{12}+E_{32}\). Then \(A^{2}=E_{11}+E_{12}\leq A\).
(10) \(A=E_{11}+E_{12}+E_{34}\). Then \(A^{2}=E_{11}+E_{12}\leq A\).
(11) \(A=E_{11}+E_{23}+E_{24}\). Then \(A^{2}=E_{11}\leq A\).
(12) \(A=E_{11}+E_{23}+E_{32}\). Then \(A^{k}=E_{11}+E_{22}+E_{33}\) for all even k, \(A^{k}=A\) for all odd k.
(13) \(A=E_{11}+E_{23}+E_{34}\). Then \(A^{2}=E_{11}+E_{24}\), \(A^{k}=E_{11}\) for all \(k\geq3\).
(14) \(A=E_{11}+E_{23}+E_{45}\). Then \(A^{2}=E_{11}\leq A\).
(15) \(A=E_{12}+E_{13}+E_{14}\). Then \(A^{2}=0\).
(16) \(A=E_{12}+E_{13}+E_{21}\). Then \(A^{k}=E_{11}+E_{22}+E_{23}\) for all even k, \(A^{k}=A\) for all odd k.
(17) \(A=E_{12}+E_{13}+E_{41}\). Then \(A^{2}=E_{42}+E_{43}\), \(A^{3}=0\).
(18) \(A=E_{12}+E_{13}+E_{23}\). Then \(A^{2}=E_{13}\leq A\).
(19) \(A=E_{12}+E_{13}+E_{24}\). Then \(A^{2}=E_{14}\), \(A^{3}=0\).
(20) \(A=E_{12}+E_{13}+E_{42}\). Then \(A^{2}=0\).
(21) \(A=E_{12}+E_{13}+E_{45}\). Then \(A^{2}=0\).
(22) \(A=E_{12}+E_{21}+E_{34}\). Then \(A^{k}=E_{11}+E_{22}\) for all even k, \(A^{k}=E_{12}+E_{21}\) for all odd \(k\geq3\).
(23)
\(A=E_{12}+E_{23}+E_{31}\). Then
$$A^{k}= \textstyle\begin{cases} E_{11}+E_{22}+E_{33},& k\equiv0\ (\mathrm{mod} 3);\\ A, & k\equiv1\ (\mathrm{mod} 3);\\ E_{13}+E_{21}+E_{32},& k\equiv2\ (\mathrm{mod} 3). \end{cases} $$
(24) \(A=E_{12}+E_{23}+E_{34}\). Then \(A^{2}=E_{13}+E_{24}\), \(A^{3}=E_{14}\), \(A^{4}=0\).
(25) \(A=E_{12}+E_{23}+E_{45}\). Then \(A^{2}=E_{13}\), \(A^{3}=0\).
(26) \(A=E_{12}+E_{34}+E_{56}\). Then \(A^{2}=0\).
Since in each case \(\{f(A^{k})\}_{k=1}^{\infty}\) is either increasing or decreasing, this completes the proof. □
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.