English

Bad approximability, bounded ratios and Diophantine exponents

Number Theory 2026-02-04 v2

Abstract

For a real m×nm\times n matrix ξ\pmb{\xi}, we consider its sequence of best Diophantine approximation vectors xiZn,i=1,2,3,... \pmb{x}_i \in \mathbb{Z}^n, \, i =1,2,3, ... , the sequences of its norms Xi=xiX_i = \|\pmb{x}_i\| and the norms of remainders Li=ξxiL_i = \|\pmb{\xi}\pmb{x}_i\|. It is known that, in the cases m=1m=1, bad approximability of ξ\pmb{\xi} is equivalent to the boundedness of ratios Xi+1Xi\frac{X_{i+1}}{X_i}, while for n=1n=1 bad approximability of ξ\pmb{\xi} is equivalent to the boundedness of ratios LiLi+1 \frac{L_i}{L_{i+1}}. Moreover, carefully constructed example show that in the cases m=1m=1 and n=1n=1 boundedness of ratios LiLi+1 \frac{L_i}{L_{i+1}} and Xi+1Xi\frac{X_{i+1}}{X_i} respectively (the order of ratios changed), does not imply bad approximability of ξ\pmb{\xi}. In the present paper, we study the impact of the boundedness of ratios on Diophantine properties of ξ\pmb{\xi}, in particular, what restrictions it gives for Diophantine exponents ω(ξ)\omega(\pmb{\xi}) and ω^(ξ)\hat{\omega}(\pmb{\xi}). One of our particular results deals with the case m=n=2m=n=2. We prove that for 2×22\times 2 matrices ξ\pmb{\xi} boundedness of both ratios Xi+1Xi,LiLi+1 \frac{X_{i+1}}{X_i}, \frac{L_i}{L_{i+1}} implies inequality ω^(ξ)43\hat{\omega}(\pmb{\xi})\le \frac{4}{3} and that this result is optimal. Our methods combine parametric geometry of numbers as well as more classical tools.

Keywords

Cite

@article{arxiv.2505.15964,
  title  = {Bad approximability, bounded ratios and Diophantine exponents},
  author = {Antoine Marnat and Nikolay Moshchevitin and Johannes Schleischitz},
  journal= {arXiv preprint arXiv:2505.15964},
  year   = {2026}
}

Comments

This version is corrected in accordance with referee's report

R2 v1 2026-07-01T02:29:43.752Z