On a conjecture of N. Moshchevitin (Q2121982)

Let \( \{x_{n}\}_{ n \geq 1} \) be the strictly increasing sequence of denominators in the sequence of best approximation vectors for simultaneous approximation to \( \xi=(\xi_{1},\cdots,\xi_{m}) \in \mathbb{R}^{m}\) . Consider two sequences of ratios \( > 1 \) attached to \(x_{i}\) : the sequence of quotients \( x_{i+1}/x_{i}\) of successive denominators and the sequence \( \parallel \xi x_{i} \parallel /\parallel \xi x_{i+1} \parallel\) . The following three conditions are relevant for simultaneous approximation: \begin{itemize} \item [(1)] \(x\parallel \xi x\parallel^{m} \gg 1.\) \item [(2)] \( x_{i+1}/x_{i} \ll 1.\) \item[(3)] \(\parallel \xi x_{i} \parallel /\parallel \xi x_{i+1} \parallel \ll 1.\) \end{itemize} For \( m = 1\) it is well known that \((1)\Leftrightarrow (2)\Leftrightarrow(3)\) by the theory of continued fractions. \textit{R. Akhunzhanov} and \textit{N. Moshchevitin} [Math. Z. 301, No. 2, 1573--1602 (2022; Zbl 1492.11110)] showed that the first equivalence as well as the implication \((2)\Rightarrow (3)\) holds true for \( m \geq 2.\) They also proved that \((3)\Rightarrow(1)\) does not hold for \(m = 2\). \textit{W. M. Schmidt} [Monatsh. Math. 198, No. 3, 641--650 (2022; Zbl 1498.11156)] used the parametric geometry of numbers to prove the existence of \(\xi\) having \((3)\) but neither \((1)\) nor \((2)\) for any \( m \geq 2\). N. Moshchevitin conjectured for \( m \geq 3\) that for any value \( r \in \big[\frac{1}{m}, \frac{1}{2}\big]\) there exist \(\xi\) with \(\hat{w} (\xi ) = r\) having \((3)\) but neither \((1)\) nor \((2)\). The present paper is devoted to the proof of this conjecture.The proof is based on on a fundamental theorem of D. Roy and uses the parametric geometry of numbers.