[Paper Review] Report on some recent advances in Diophantine approximation

Michel Waldschmidt|ArXiv.org|Aug 27, 2009

Mathematical Dynamics and Fractals105 references16 citations

TL;DR

This paper reviews recent advances in Diophantine approximation, focusing on rational, polynomial, and algebraic approximations to real and complex numbers, as well as simultaneous approximation in higher dimensions. It establishes sharp metric results for rational points near planar curves with non-vanishing curvature, proving a Khintchine-type theorem and its Hausdorff measure analogue, showing that the set of $ w $-approximable points on such curves has dimension $ \frac{2-w}{1+w} $ for $ w \in (1/2,1) $.

ABSTRACT

A basic question of Diophantine approximation, which is the first issue we discuss, is to investigate the rational approximations to a single real number. Next, we consider the algebraic or polynomial approximations to a single complex number, as well as the simultaneous approximation of powers of a real number by rational numbers with the same denominator. Finally we study generalisations of these questions to higher dimensions. Several recent advances have been made by B. Adamczewski, Y. Bugeaud, S. Fischler, M. Laurent, T. Rivoal, D. Roy and W.M. Schmidt, among others. We review some of these works.

Motivation & Objective

• Address the lack of systematic understanding of simultaneous Diophantine approximation on manifolds and rational point distribution near algebraic varieties in higher dimensions.
• Provide sharp metric estimates for rational approximations to points on smooth planar curves with non-vanishing curvature.
• Establish a complete Khintchine-type theorem and its Hausdorff measure analogue for simultaneous approximation on such curves.
• Extend the understanding of 'near-misses' in Diophantine approximation beyond rational quadratic curves to general smooth curves.
• Unify and generalize results on ubiquity, distribution, and approximation exponents in higher-dimensional Diophantine approximation.

Proposed method

• Utilize the ubiquity framework to show that rational points near smooth planar curves with non-vanishing curvature form a ubiquitous system.
• Apply the Khintchine transfer principle to derive lower bounds on the number of rational points within distance $ \delta $ of a curve $ \Gamma $, for $ \delta \gg Q^{-2} $.
• Combine analytic techniques from Vaughan and Velani with results from Beresnevich, Dickinson, and Velani to refine Huxley’s bound on $ N_\Gamma(Q,\delta) $, achieving sharp asymptotic estimates.
• Employ the theory of Diophantine exponents, including $ \omega $, $ \widehat{\omega} $, and $ \nu $, to analyze asymptotic and uniform approximation behavior.
• Use the concept of size and height in polynomial and algebraic approximation to compare small values of $ |P(\xi)| $ and small distances to algebraic numbers.
• Apply metric number theory tools, including Lebesgue and Hausdorff measures, to characterize the size of sets of $ w $-approximable points on curves.

Experimental results

Research questions

• RQ1 What is the sharp asymptotic lower bound for the number of rational points $ (p_1/q, p_2/q) $ within distance $ \delta $ of a smooth planar curve $ \Gamma $ with non-vanishing curvature?
• RQ2 How does the distribution of rational points near such curves relate to the concept of ubiquity in metric Diophantine approximation?
• RQ3 What is the Hausdorff dimension of the set of $ w $-approximable points on a smooth planar curve with non-vanishing curvature for $ w \in (1/2,1) $?
• RQ4 Can a Khintchine-type theorem be established for simultaneous approximation on curves with non-vanishing curvature, and what are the convergence-divergence criteria?
• RQ5 Is there a generalization of Huxley’s bound on rational points near curves to include sharp estimates for $ \delta \gg Q^{-2} $, and does it extend to higher-dimensional manifolds?

Key findings

• For any smooth planar curve $ \Gamma $ with non-vanishing curvature, the number of rational points $ (p_1/q, p_2/q) $ within distance $ \delta $ of $ \Gamma $ satisfies $ N_\Gamma(Q,\delta) \gg Q^3 \delta $ when $ \delta \gg Q^{-2} $.
• The set of $ w $-approximable points on such a curve has Hausdorff dimension $ \frac{2-w}{1+w} $ for $ w \in (1/2,1) $, providing a precise measure of its size.
• A complete Khintchine-type theorem holds for simultaneous approximation on $ \Gamma $: the Lebesgue measure of the set $ \mathcal{A}_2(\psi,\Gamma) $ is either 0 or $ \ell $, depending on whether $ \sum h \psi(h) $ converges or diverges.
• The Hausdorff measure analogue of the Khintchine theorem is established: $ \mathcal{H}^s(\mathcal{A}_2(\psi,\Gamma)) $ is 0 or $ +\infty $ depending on the convergence of $ \sum h^{2-s} \psi(h)^s $.
• By combining results of Beresnevich, Dickinson, Velani, and Vaughan, the bound $ N_\Gamma(Q,\delta) \ll Q^{3+\varepsilon}\delta + Q $ is improved to a sharp asymptotic estimate for $ \delta \gg Q^{-2} $.
• Higher-dimensional analogues remain largely open, particularly for rational points near manifolds or algebraic varieties, indicating a significant gap in current understanding.