[论文解读] Simultaneous approximation to values of the exponential function over the adeles

Damien Roy|arXiv (Cornell University)|May 5, 2019

Meromorphic and Entire Functions参考文献 14被引用 1

一句话总结

该论文通过分析数域的所有阿基米德和p进完备化下的同时有理逼近，在adele框架下证明了埃尔米特对代数数指数值的逼近几乎是最优的。它证明了指数函数线性形式的绝对值乘积具有涉及对数项的下界，从而在数域的adele上的数论几何中展示了埃尔米特方法的近乎最优性。

ABSTRACT

We show that Hermite's approximations to values of the exponential function at given algebraic numbers are nearly optimal when considered from an adelic perspective. We achieve this by taking into account the ratio of these values whenever they make sense in the various completions (Archimedean or $p$-adic) of a number field containing these algebraic numbers.

研究动机与目标

• 在数域的adele背景下，研究埃尔米特对代数数指数值的逼近的最优性。
• 理解在不同完备化（阿基米德和p进）中指数级数的收敛性质如何影响同时逼近的质量。
• 在数域的所有位置上，建立指数函数线性形式的绝对值乘积的紧下界。
• 证明埃尔米特的经典逼近在adele上的数论几何中几乎是最优的，同时考虑所有完备化。
• 探讨所观察到的近乎最优性是否反映了指数函数逼近理论中更广泛的现象。

提出的方法

• 使用adele框架，同时考虑数域K的所有阿基米德和p进完备化。
• 在adele上应用数论几何，分析adele环上的凸体和格。
• 通过指数函数的幂级数展开应用埃尔米特的经典逼近，重点关注收敛完备化中指数值的比值。
• 利用整数环的结构和局部收敛条件，推导出所有位置上 |x| 与 |xeα − y| 乘积的下界。
• 利用埃尔米特逼近子的递推关系，特别是在 s=2 的情况下，计算矩阵 An,n 并将其与连分数展开联系起来。
• 在数论几何的背景下应用半结果式和最速上升理论，以界定凸体的连续最小值。

实验结果

研究问题

• RQ1 当在数域的所有位置上考虑时，埃尔米特对代数数指数值的逼近是否近乎最优？
• RQ2 在数域的所有完备化中，指数函数线性形式的绝对值乘积的紧下界是什么？
• RQ3 在p进和阿基米德完备化中，指数级数的收敛性质如何影响同时逼近的质量？
• RQ4 对数下界是否可以推广到数域中多个指数值的逼近乘积？
• RQ5 埃尔米特方法的近乎最优性是否反映了指数函数在adele逼近理论中更深层次的结构性特征？

主要发现

• 对于具有单个阿基米德位点的数域K，且α ∈ K满足某些局部收敛条件，则对所有x, y ∈ OK且x ≠ 0，有 |x| |xeα − y| ≥ c(log |x|)⁻²ᵍ⁻¹，其中g表示满足 |α|v ≠ 1 或v为阿基米德位点的位点数。
• 在e³的情况下，论文证明了ℝ²中凸体Cₙ与格Λₙ的连续最小值λ₁(Cₙ, Λₙ)和λ₂(Cₙ, Λₙ)满足 (cn²)⁻¹ ≤ λ₁ ≤ λ₂ ≤ cn²，其中常数c > 1与n无关。
• 数值计算表明，对于4 ≤ |x| ≤ 10⁵⁰⁰⁰⁰⁰，不等式 |x| |xe³ − y| ≥ (3 log |x| log log |x|)⁻¹ 成立，表明逼近误差具有强烈的对数衰减。
• 论文提供了一种基于递推关系的方法，通过矩阵Cₙ和An计算e³和e⁻³的连分数展开，部分商由An的约化矩阵分解得出。
• 对于s ≥ 2，论文猜想乘积 |x₁| |x₁e^{α₂} − x₂|⋯|x₁e^{αₛ} − xₛ| 的下界为 (log |x₁|)⁻ᵍ，其中g > 0，这推广了贝克定理，但采用对数而非多项式衰减。
• 埃尔米特逼近子的递推关系被推广；当s=2且α₁=0, α₂=α时，矩阵An,n被证明等于 (n−1)!CₙCₙ₋₁⋯C₁，其中Cᵢ是依赖于i和α的2×2矩阵。