English

Best versus uniform Diophantine approximatio

Number Theory 2025-04-07 v1

Abstract

Let 0<m<n0<m<n be integers, and let KwK_w denote the completion of a number field KK at a non-trivial place ww. For each non-zero uKwn\textbf{u}\in K_w^n, let ωm1(u)\omega_{m-1}(\textbf{u}) denote the exponent of best approximation to u\textbf{u} by vector subspaces of KwnK_w^n of dimension mm defined over KK, and let ω^m1(u)\widehat{\omega}_{m-1}(\textbf{u}) denote the corresponding exponent of uniform approximation. Finally, let Sm,nS_{m,n} denote the set of all pairs (ω^m1(u),ωm1(u))(\widehat{\omega}_{m-1}(\textbf{u}),\omega_{m-1}(\textbf{u})) where u\textbf{u} runs through all points of KwnK_w^n with linearly independent coordinates over KK. In this paper we use parametric geometry of numbers to study this spectrum Sm,nS_{m,n}, noting at first that it is independent of the choice of KK and ww. We may thus assume that K=QK=\mathbb{Q} and Kw=RK_w=\mathbb{R}. In this context, Schmidt and Summerer proposed conjectural descriptions for S1,nS_{1,n} and Sn1,nS_{n-1,n} which were confirmed by Marnat and Moshchevitin for each n2n\ge 2. We give an alternative proof of their result based on the PhD thesis of the first author, highlighting the duality between the two spectra. In his thesis, the first author generalized the conjecture to any pair (m,n)(m,n) and proved it to be true also for S2,4S_{2,4}. We present this as well, but show that this natural conjecture fails for S3,5S_{3,5}. Moreover, the part of S3,5S_{3,5} that we succeed to compute here suggests a complicated boundary for that set, possibly not semialgebraic. We also give a qualitative description of Sm,nS_{m,n} for a general pair (m,n)(m,n).

Keywords

Cite

@article{arxiv.2504.03106,
  title  = {Best versus uniform Diophantine approximatio},
  author = {Martin Rivard-Cooke and Damien Roy},
  journal= {arXiv preprint arXiv:2504.03106},
  year   = {2025}
}

Comments

42 pages, 2 figures

R2 v1 2026-06-28T22:46:07.284Z