Invariant functionals for random matrices

A new approach to the study of the Lyapunov exponents of random matrices is presented. It is proved that, under general assumptions, any family of nonnegative matrices possesses a continuous concave positively homogeneous invariant functional (“antinorm”) on ℝ₊^d. Moreover, the coefficient corresponding to an invariant antinorm equals the largest Lyapunov exponent. All conditions imposed on the matrices are shown to be essential. As a corollary, a sharp estimate for the asymptotics of the mathematical expectation for logarithms of norms of matrix products and of their spectral radii is derived. New upper and lower bounds for Lyapunov exponents are obtained. This leads to an algorithm for computing Lyapunov exponents. The proofs of the main results are outlined.