A Zero-One Law for Uniform Diophantine Approximation in Euclidean Norm

Abstract

Abstract We study a norm-sensitive Diophantine approximation problem arising from the work of Davenport and Schmidt on the improvement of Dirichlet’s theorem. Its supremum norm case was recently considered by the 1st-named author and Wadleigh [ 17], and here we extend the set-up by replacing the supremum norm with an arbitrary norm. This gives rise to a class of shrinking target problems for one-parameter diagonal flows on the space of lattices, with the targets being neighborhoods of the critical locus of the suitably scaled norm ball. We use methods from geometry of numbers to generalize a result due to Andersen and Duke [ 1] on measure zero and uncountability of the set of numbers (in some cases, matrices) for which Minkowski approximation theorem can be improved. The choice of the Euclidean norm on $\mathbb{R}^2$ corresponds to studying geodesics on a hyperbolic surface, which visit a decreasing family of balls. An application of the dynamical Borel–Cantelli lemma of Maucourant [ 25] produces, given an approximation function $\psi $, a zero-one law for the set of $\alpha \in \mathbb{R}$ such that for all large enough $t$ the inequality $\left (\frac{\alpha q -p}{\psi (t)}\right )^2 + \left (\frac{q}{t}\right )^2 < \frac{2}{\sqrt{3}}$ has non-trivial integer solutions.