For a bounded subset S of d\times d complex matrices, the Berger-Wang theorem and Bochi's inequality allow to approximate the joint spectral radius of S from below by the spectral radius of a short product of elements from S. Our goal is two-fold: we review these results, providing self-contained proofs, and we derive an improved version with explicit bounds that are polynomial in d. We also discuss other complete valued fields .
We prove explicit polynomial bounds for Bochi's inequalities regarding the joint spectral radius of a subset of d\times d matrices .
R
For a bounded subset S of d\times d complex matrices, the Berger-Wang theorem and
We prove explicit polynomial bounds for
R
inequality allow to approximate
inequalities regarding
R
S from below by the spectral radius of a short product of elements from S. Our goal is two-fold: we review these results, providing self-contained proofs, and we derive an improved version with explicit bounds that are polynomial in d. We also discuss other complete valued fields
a subset of d\times d matrices