On a devil's staircase associated to the joint spectral radii of a family of pairs of matrices (Q363232)

The joint spectral radius of a finite set of real \(d\times d\) matrices is defined to be the maximum possible exponential rate of growth of products of matrices drawn from that set. In previous work of the authors with \textit{K. G. Hare} and \textit{J. Theys} [Adv. Math. 226, No. 6, 4667--4701 (2011; Zbl 1218.15005)] it was shown that for a certain one-parameter family of pairs of matrices, this maximum possible rate of growth is attained along Sturmian sequences with a certain characteristic ratio which depends continuously upon the parameter. In this paper, the authors answer some open questions from that paper by showing that the dependence of the ratio function upon the parameter takes the form of a devil's staircase. They show in particular that this devil's staircase attains every rational value strictly between \(0\) and \(1\) on some interval, and attains irrational values only in a set of Hausdorff dimension zero. This result generalises to include certain one-parameter families considered by other authors. They also give explicit formulas for the preimages of both rational and irrational numbers under the ratio function, thereby establishing a large family of pairs of matrices for which the joint spectral radius may be calculated exactly.