Perron-Frobenius theorem
Let be a nonnegative matrix. Denote its spectrum by .Then the spectral radius is an eigenvalue, that is, , and is associated to a nonnegative eigenvector
.
If, in addition, is an irreducible matrix, then , for all , , and is a simple eigenvalue associated to a positive eigenvector.
If, in addition, is a primitive matrix, then for all , .