[论文解读] Diophantine approximation in small degree

Damien Roy|ArXiv.org|Mar 12, 2003

Mathematical Dynamics and Fractals参考文献 8被引用 14

一句话总结

本文研究了使用低次代数整数和多项式对实数进行最佳丢番图逼近的指数。通过改进戴维斯和施密特的数的几何方法，本文证明了对次数不超过3的代数整数逼近实数 $\xi$ 时，指数 $\gamma + 1 \approx 2.618$ 是最优的，且在多项式值估计 $|P(\xi)| \ll H(P)^{-\gamma}$ 中，指数 $\gamma \approx 1.618$ 同样最优，极小数通过基于递推关系的构造实现了这些界限。

ABSTRACT

We discuss the problem of finding optimal exponents in Diophantine estimates involving one real number and, in some cases where such an exponent is known, present some properties of the corresponding extremal numbers.

研究动机与目标

• 确定实数 $\xi$ 用次数不超过3的代数整数进行丢番图逼近时的最优指数。
• 证明在 $|\xi - \alpha| \ll H(\alpha)^{-(\gamma+1)}$ 中，指数 $\gamma + 1 \approx 2.618$ 是最优的，优于已知的 $ (n+3)/2 $ 界（当 $n=3$ 时）。
• 确立在次数不超过3的首一整系数多项式 $P$ 的估计 $|P(\xi)| \ll H(P)^{-\gamma}$ 中，指数 $\gamma \approx 1.618$ 的紧确性。
• 将极小实数表征为在代数整数与多项式逼近中逼近指数均达到最优的数，并通过逼近三元组的递推关系构造此类数。

提出的方法

• 将戴维斯与施密特的数的几何方法适配，以分析 $\xi$ 与 $\xi^2$ 同时被分母相同的有理数逼近的情形。
• 引入逼近三元组 $\mathbf{y}_k = (y_{k,0}, y_{k,1}, y_{k,2})$ 的递推关系，以刻画极小实数。
• 使用加权多重变量多项式空间 $E(\mathbf{d}, p)$ 检测逼近三元组之间的代数依赖性。
• 应用基于在 $\mathbf{1} = (1,1,1)$ 处偏导数消失的判别准则，证明某些多项式在序列 $\mathbf{y}_k$ 上恒为零，从而导出递推关系。
• 在 $E(\mathbf{d}, p)$ 中进行计算机辅助搜索，识别出非平凡多项式（例如涉及 $[\mathbf{u}_3, \mathbf{u}_3, \mathbf{u}_4]$ 的行列式），以获得递推关系。
• 证明 $\|\mathbf{y}_k\|$ 的增长速率意味着 $L_\xi(\mathbf{y}_k) \ll \|\mathbf{y}_k\|^{-1/\gamma}$，从而确认 $\xi$ 的极小性。

实验结果

研究问题

• RQ1 在次数不超过3的代数整数 $\alpha$ 逼近 $|\xi - \alpha| \ll H(\alpha)^{-(\gamma+1)}$ 中，指数 $\gamma + 1 \approx 2.618$ 是否最优？
• RQ2 在次数不超过3的首一整系数多项式 $P$ 的估计 $|P(\xi)| \ll H(P)^{-\gamma}$ 中，指数 $\gamma \approx 1.618$ 是否可进一步改进？
• RQ3 何种特征使得实数 $\xi$ 在代数整数与多项式逼近设置中均达到最优逼近指数？
• RQ4 所有极小实数是否均满足由逼近三元组 $\mathbf{y}_k$ 导出的相同递推结构？
• RQ5 加权多项式空间 $E(\mathbf{d}, p)$ 的方法是否可用于系统性地推导逼近序列的递推关系？

主要发现

• 在次数不超过3的代数整数逼近 $\xi$ 时，指数 $\gamma + 1 \approx 2.618$ 是最优的，通过构造不可数多个实现该界限的极小数得以证明。
• 在次数不超过3的首一整系数多项式 $P$ 的估计 $|P(\xi)| \ll H(P)^{-\gamma}$ 中，指数 $\gamma \approx 1.618$ 是最优的，且对无穷多个此类 $P$ 可达等号。
• 极小实数的特征在于存在一列逼近三元组 $\mathbf{y}_k$，其满足由 $E(\mathbf{d}, p)$ 中某些多重变量多项式消失所导出的递推关系。
• 逼近三元组 $\mathbf{y}_k$ 的递推结构本质上是唯一的，并由此导出的极小数构造方法推广了先前的结果。
• 基于 $E(\mathbf{d}, p)$ 中多项式高阶偏导数在原点消失的判别准则，确保了 $\mathbf{y}_k$ 之间的代数关系对所有充分大的 $k$ 成立，从而支持递推关系的推导。
• 该方法确认：若 $L_\xi(\mathbf{y}_k) \ll \|\mathbf{y}_k\|^{-1/\gamma}$，则 $\xi$ 为极小数，而所构造的序列满足此条件，从而证明了其极小性。