フロベニウスの定理
A regular graph of degree "k" is connected if and only if the eigenvalue "k" has multiplicity one. The "only if" direction is a consequence of the Perron–Frobenius theorem.