Ruelle–Perron–Frobenius theorem