New gaps on the Lagrange and Markov spectra (Q6583684)

Given a number \(\alpha=[a_0;a_1,\dots]\) and \(n\in \mathbb{N}\) define \N\[\N\lambda_n(\alpha)=\left([a_n;a_{n-1},\dots,a_0]+[0;a_{n+1},a_{n+2},\dots]\right).\N\]\NNow define \(L(\alpha)=\limsup\lambda_n(\alpha)\) and \(m(\alpha)=\lim_{n\rightarrow \infty}\lambda_n(\alpha)\) provided the limit exists. Define the Lagrange spectrum as \(L=\{L(\alpha):\alpha\in \mathbb{R}\setminus\mathbb{Q}\}\) and the Markov spectrum is \(M=\{m(\alpha):a\in \mathbb{R}\setminus\mathbb{Q}\}\). In this paper, the authors discuss the set \(L\setminus M\) and the gaps in the Lagrange and Markov spectrums. In particular, they use a computer assisted proof to improve the lower bound on the Hausdorff dimension of \(L\setminus M\).