A tree-based approach to joint spectral radius determination

We suggest a novel method to determine the joint spectral radius of finite sets of matrices by validating the finiteness property. It is based on finding a certain finite tree with nodes representing sets of matrix products. Our approach accounts for cases where one or several matrix products satisfy the finiteness property. Moreover, is potentially functional even for reducible sets of matrices.