Realization of joint spectral radius via Ergodic theory

Abstract

Based on the classic multiplicative ergodic theorem and the semi-uniform subadditive ergodic theorem, we show that there always exists at least one ergodic Borel probability measure such that the joint spectral radius of a finite set of square matrices of the same size can be realized almost everywhere with respect to this Borel probability measure. The existence of at least one ergodic Borel probability measure, in the context of the joint spectral radius problem, is obtained in a general setting.