No label defined (Q3129100)

Let \(B_n\) denote the set of all Boolean matrices of order \(n\). It is clear that for any \(A\in B_n\) there exists the least nonnegative integer \(k\) such that \(A^k= A^{k+p}\) for some positive integer \(p\). This \(k\) is called the power convergent index of \(A\). Denote the power convergent index of \(A\) by \(k(A)\). Let \(D_n(d)\), \(1\leq d\leq n\), be the set of Boolean matrices of order \(n\) with exact \(d\) non-zero diagonal elements. The authors give complete characterizations for the extreme matrices with the largest power convergent index in \(D_n(d)\), thus the extreme matrix problem of power convergent index for Boolean matrices with non-zero trace is settled.