[论文解读] A note on Diophantine approximation with Gaussian primes

Stephan Baier|arXiv (Cornell University)|Sep 28, 2016

Analytic Number Theory Research参考文献 2被引用 3

一句话总结

本文通过建立对任意复数 θ ∉ ℚ(i)，存在无穷多个高斯素数 p，使得 ||pθ|| ≤ N(p)^{-1/24+ε}，将经典的丢番图逼近推广至高斯整数。其中 ||·|| 表示到最近高斯整数的距离。通过将哈曼筛法适配至 ℤ[i] 的二维版本，作者证明了在由逼近质量定义的圆环区域内高斯素数的渐近等分布性，达到了指数 1/24，这是该设定下目前最优的结果。

ABSTRACT

We investigate the distribution of $pθ$ modulo 1, where $θ$ is a complex number which is not contained in $\mathbb{Q}(i)$, and $p$ runs over the Gaussian primes.

研究动机与目标

• 将分母为有理数的经典丢番图逼近问题推广至高斯整数环 ℤ[i]，重点研究通过高斯素数进行逼近。
• 证明存在无穷多个高斯素数 p，使得 ||pθ|| 相对于范数 N(p) 较小，类似于有理素数情形下的经典指数 γ=1/4。
• 将哈曼筛法适配至高斯整数环 ℤ[i]，以获得在由逼近质量定义的环形区域中高斯素数的渐近等分布结果。
• 确定满足 ||pθ|| ≤ N(p)^{-γ+ε} 对无穷多个高斯素数 p 成立的最优指数 γ，其中 θ ∉ ℚ(i)。
• 为未来通过克鲁斯滕曼和估计的改进及推广至其他数域奠定基础。

提出的方法

• 通过为高斯整数构造哈曼筛法的二维版本，将筛法定理形式化，使用 I 型和 II 型双线性和。
• 通过上确界范数 ||z|| = max{||Re(z)||, ||Im(z)||} 定义逼近质量，度量到最近高斯整数的距离。
• 将筛法应用于高斯整数集合 A 和 B，其中 A 包含满足 ||nθ|| ≤ δ 的元素，B 为完整集合，两者均位于 dyadic annuli {x/2 < N(p) ≤ x} 内。
• 通过参数化将 ℤ[i] 上的指数和估计转化为一维和，利用特征和技巧控制误差项。
• 使用 θ 的 Hurwitz 连分数逼近 a/q 定义逼近质量，最终结果中 δ ≥ N(p)^{-1/24+ε}。
• 选择参数 x = |q|^{12}, J = [δ^{-1}x^{3ε}], M = x^{2/3}, α = 1/3, β = 1/2，以平衡误差项并实现指数 1/24。

实验结果

研究问题

• RQ1 能否将分母为素数的经典丢番图逼近问题推广至 ℤ[i] 中的高斯素数？
• RQ2 当 θ ∉ ℚ(i) 时，使得 ||pθ|| ≤ N(p)^{-γ+ε} 对无穷多个高斯素数 p 成立的最优指数 γ 是多少？
• RQ3 哈曼筛法能否被适配至 ℤ[i] 的二维设定，以获得在逼近区域中高斯素数的渐近等分布结果？
• RQ4 对 ℤ[i] 中指数和估计的改进在多大程度上可使逼近指数超过 1/24？
• RQ5 能否将此类结果推广至复平面上的固定角域中的高斯素数，或推广至一般数域？

主要发现

• 本文证明：对任意 θ ∈ ℂ ℝ(i)，存在一个无穷递增序列 (N_k)，使得满足 N(p) ∈ (N_k/2, N_k] 且 ||pθ|| ≤ δ_k 的高斯素数 p 的数量渐近等于 4δ_k^2 倍于该范围内所有此类素数的总数，前提是 δ_k ≥ N_k^{-1/24+ε}。
• 通过二维哈曼筛法的适配，实现了指数 1/24，误差项通过指数和估计与参数优化得到控制。
• 结果表明存在无穷多个高斯素数满足 ||pθ|| ≤ N(p)^{-1/24+ε}，这是该设定下目前最优的指数。
• 该方法依赖于将 ℤ[i] 上的二维指数和转化为一维和，从而可应用经典估计，但进一步改进受限于主导误差项。
• 作者表明，若无更强的克鲁斯滕曼型和估计，当前技术无法改进指数 1/24。
• 未来工作可将结果推广至复平面上的扇形区域或一般数域，提示了代数数论中更广泛的研究方向。