[论文解读] Divisor problem in arithmetic progressions modulo a prime power

Kui Liu, Igor E. Shparlinski+1 more|arXiv (Cornell University)|Feb 11, 2016

Analytic Number Theory Research参考文献 9被引用 4

一句话总结

该论文为模素数幂 $ q = p^k $ 的算术级数中整数的除数函数平均值建立了渐近公式，突破了经典的 $ q \leq x^{2/3} $ 限制。通过改进在素数幂模数上短区间内 Kloosterman 和的平均估计，证明了对所有足够大的 $ k $ 和奇素数 $ p $，有 $ E(X;q,a) \ll X / q^{1+\sigma} $ 对 $ q \leq X^{2/3+\sigma} $ 一致成立，其中 $ \sigma > 0 $，并统一推广了以往结果中关于 $ k $ 的界限。

ABSTRACT

We obtain an asymptotic formula for the average value of the divisor function over the integers $n \le x$ in an arithmetic progression $n \equiv a \pmod q$, where $q=p^k$ for a prime $p\ge 3$ and a sufficiently large integer $k$. In particular, we break the classical barrier $q \le x^{2/3}$ for such formulas, and generalise a recent result of R.~Khan (2015), making it uniform in $k$.

研究动机与目标

• 将除数函数在模素数幂算术级数中平均值的渐近公式的有效范围扩展至经典 $ q \leq x^{2/3} $ 阈值以上。
• 将 Khan（2015）关于素数幂模数的结果推广为关于指数 $ k $ 的统一有界形式，适用于所有足够大的 $ k $，而非固定 $ k $。
• 改进在素数幂模数上短区间内 Kloosterman 和的平均阶，实现超越 Weil 绑定的非平凡节省。
• 为 $ q = p^k $ 的除数问题中的误差项 $ E(X;q,a) $ 建立统一估计，明确体现对 $ k $ 和 $ p $ 的依赖关系。

提出的方法

• 推导出在短区间 $ 1 \leq n \leq N $ 上、满足 $ N \geq q^\lambda $，$ \lambda > 0 $ 的 $ q = p^k $ 下，Kloosterman 和 $ S(n,a;q) = \sum_{b^* \mod q} e\left(\frac{nb + a\bar{b}}{q}\right) $ 的新平均估计。
• 应用基于 $ p $-进分析和二项式系数 $ \binom{1/2}{i} $ 性质的新型指数和分解，以控制生成多项式导数的 $ p $-进赋值。
• 利用函数方程 $ S(mn,a;q) = S(a,mn;q) = S(n,am;q) $ 将求和重述为适合对乘法平移进行平均的形式。
• 采用递归的 $ p $-进提升论证，以控制多项式 $ f(t) $ 系数的 $ p $-进赋值，从而在求和估计中实现非平凡节省。
• 将改进后的 Kloosterman 和估计（定理 1.2）与经典的除数和恒等式结合，推导出主误差项的界。
• 以 Weil 绑定为基线，并表明当 $ q = p^k $ 且 $ k $ 足够大时，短区间上的平均值可提供强于经典界限的节省。

实验结果

研究问题

• RQ1 在模素数幂的算术级数中，除数问题的古典 $ q \leq x^{2/3} $ 限制是否可被突破？
• RQ2 对于 $ q = p^k $ 且 $ k $ 较大时，$ n \leq X $，$ n \equiv a \pmod{q} $ 的除数和中误差项 $ E(X;q,a) $ 是否可对所有足够大的 $ k $ 实现统一有界？
• RQ3 在素数幂模数上，短区间内 Kloosterman 和的平均值是否可实现超越 Weil 绑定的非平凡节省？
• RQ4 是否可将 Khan（2015）对固定 $ k $ 的结果推广为对所有足够大的 $ k $ 成立的统一有界形式？
• RQ5 是否存在最优指数 $ \sigma > 0 $，使得对所有 $ q = p^k $，$ p \geq 3 $，$ k \geq k_0 $，有 $ E(X;q,a) \ll X / q^{1+\sigma} $ 一致成立？

主要发现

• 论文证明了对所有 $ p \geq 3 $，$ k \geq k_0 $，且 $ q \leq X^{2/3+\sigma} $，有 $ E(X;q,a) \ll X / q^{1+\sigma} $ 一致成立，其中 $ \sigma > 0 $ 为绝对常数。
• 该界突破了经典的 $ q \leq x^{2/3} $ 限制，扩展了算术级数中除数问题渐近公式的有效范围。
• 改进的关键在于提出了一个新的 Kloosterman 和平均估计：$ \sum_{1 \leq n \leq N} S(n,a;q) \ll_{\lambda} N q^{1/2 - \tau} $，其中 $ N \geq q^\lambda $，$ \lambda > 0 $，且 $ \tau > 0 $ 仅依赖于 $ \lambda $。
• 该结果在 $ k $ 上保持统一，推广了 Khan（2015）的结果（其要求 $ k $ 固定且 $ p $ 较大），现对所有足够大的 $ k $ 成立。
• 关键创新在于通过 $ p $-进二项式系数分析控制生成多项式导数的 $ p $-进赋值，从而在求和估计中实现非平凡节省。
• 界 $ \mathfrak{F}_3 \ll N q^{1/2 - \lambda k / (80B)} $ 表明，只要 $ k $ 相对于 $ \lambda $ 足够大，误差将关于 $ q $ 多项式衰减，从而确认了在 $ k $ 上的统一性。