On the classical Lagrange and Markov spectra: new results on the local dimension and the geometry of the difference set

Abstract

Let $L$ and $M$ denote the classical Lagrange and Markov spectra, respectively. It is known that $L\subset M$ and that $M\setminus L\ne \varnothing$. Inspired by three questions asked by the third author in previous work investigating the fractal geometric properties of the Lagrange and Markov spectra, we investigate the function $d_{loc}(t)$ that gives the local Hausdorff dimension at a point $t$ of $L^{\prime }$. Specifically, we construct several intervals (having non-trivial intersection with $L^{\prime }$) on which $d_{loc}$ is non-decreasing. We also prove that the respective intersections of $M^{\prime }$ and $M^{\prime \prime }$ with these intervals coincide. Furthermore, we completely characterize the local dimension of both spectra when restricted to those intervals. Finally, we demonstrate the largest known elements of the difference set $M\setminus L$ and describe two new maximal gaps of $M$ nearby.

53 pages, 3 figures. Final version, revised according to the referee reports