Irreducible nonnegative matrix

A square nonnegative matrix $A$ is irreducible if for each pair $(i,j)$ there is an integer $k\ge 0$ with $(A^k{)}_{ij}>0$. This says that every index can reach every other through positive entries. The Perron–Frobenius theorem then gives a positive leading eigenvector and an algebraically simple eigenvalue. Irreducibility alone permits other eigenvalues of the same modulus: the cyclic permutation matrix $\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$ has eigenvalues $1,-1$.

A square nonnegative matrix $A$ is primitive if some positive integer power $A^k$ has strictly positive entries. It is therefore an irreducible nonnegative matrix. The Perron–Frobenius theorem gives a leading eigenvalue whose modulus is strictly larger than that of every other eigenvalue. Every strictly positive matrix is primitive; the two-cycle permutation matrix is irreducible but not primitive.