[论文解读] Report on some recent advances in Diophantine approximation

Michel Waldschmidt|ArXiv.org|Aug 27, 2009

Mathematical Dynamics and Fractals参考文献 105被引用 16

一句话总结

本文综述了丢番图逼近领域的最新进展，重点关注实数与复数的有理数、多项式及代数逼近，以及高维空间中的同时逼近。研究建立了平面曲线附近有理点的精确度量结果，该曲线具有非零曲率，证明了类似Khintchine的定理及其Hausdorff测度版本，表明在 $ w \in (1/2,1) $ 时，此类曲线上 $ w $-逼近点的集合的维数为 $ \frac{2-w}{1+w} $。

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.

研究动机与目标

• 填补对流形上同时丢番图逼近系统性理解的不足，以及高维空间中代数曲面附近有理点分布的理解。
• 为具有非零曲率的光滑平面曲线上的点提供有理逼近的精确度量估计。
• 在具有非零曲率的此类曲线上，建立完整的Khintchine型定理及其Hausdorff测度版本。
• 将对丢番图逼近中“近似失败”现象的理解从有理二次曲线推广至一般光滑曲线。
• 统一并推广高维丢番图逼近中关于普遍性、分布性及逼近指数的结果。

提出的方法

• 利用普遍性框架，证明具有非零曲率的光滑平面曲线附近的有理点构成一个普遍系统。
• 应用Khintchine转移原理，推导出当 $ \delta \gg Q^{-2} $ 时，距离曲线 $ \Gamma $ 不超过 $ \delta $ 的有理点数量的下界。
• 结合Vaughan与Velani的分析技术，以及Beresnevich、Dickinson和Velani的结果，改进Huxley对 $ N_\Gamma(Q,\delta) $ 的界，获得在 $ \delta \gg Q^{-2} $ 条件下的精确渐近估计。
• 运用丢番图指数理论，包括 $ \omega $、$ \widehat{\omega} $ 和 $ \nu $，分析渐近与一致逼近行为。
• 利用多项式与代数逼近中的“大小”与“高度”概念，比较 $ |P(\xi)| $ 的小值与到代数数的小距离。
• 应用度量数论工具，包括Lebesgue测度与Hausdorff测度，刻画曲线上 $ w $-逼近点集合的大小。

实验结果

研究问题

• RQ1 对于具有非零曲率的光滑平面曲线 $ \Gamma $，距离 $ \delta $ 内的有理点 $ (p_1/q, p_2/q) $ 的精确渐近下界是什么？
• RQ2 此类曲线上有理点的分布如何与度量丢番图逼近中的普遍性概念相关联？
• RQ3 当 $ w \in (1/2,1) $ 时，具有非零曲率的光滑平面曲线上 $ w $-逼近点集合的Hausdorff维数是多少？
• RQ4 能否在具有非零曲率的曲线上建立Khintchine型定理？其收敛-发散判别准则为何？
• RQ5 Huxley对曲线上有理点的界是否可推广至包含 $ \delta \gg Q^{-2} $ 的精确估计？该结果能否推广至高维流形？

主要发现

• 对于任意具有非零曲率的光滑平面曲线 $ \Gamma $，当 $ \delta \gg Q^{-2} $ 时，距离 $ \Gamma $ 不超过 $ \delta $ 的有理点 $ (p_1/q, p_2/q) $ 的数量满足 $ N_\Gamma(Q,\delta) \gg Q^3 \delta $。
• 此类曲线上 $ w $-逼近点集合的Hausdorff维数为 $ \frac{2-w}{1+w} $，其中 $ w \in (1/2,1) $，提供了其大小的精确度量。
• 在 $ \Gamma $ 上，完整的Khintchine型定理成立：集合 $ \mathcal{A}_2(\psi,\Gamma) $ 的Lebesgue测度为 0 或 $ \ell $，取决于 $ \sum h \psi(h) $ 是否收敛或发散。
• 已建立Khintchine定理的Hausdorff测度版本：$ \mathcal{H}^s(\mathcal{A}_2(\psi,\Gamma)) $ 为 0 或 $ +\infty $，取决于 $ \sum h^{2-s} \psi(h)^s $ 是否收敛。
• 通过结合Beresnevich、Dickinson、Velani与Vaughan的结果，将 $ N_\Gamma(Q,\delta) \ll Q^{3+\varepsilon}\delta + Q $ 的界改进为 $ \delta \gg Q^{-2} $ 条件下的精确渐近估计。
• 高维类比在很大程度上仍为开放问题，特别是关于流形或代数曲面附近的有理点，表明当前理解中存在显著空白。