Improved Averaged Distribution of $d_3(n)$ in Prime Arithmetic Progressions

这是一篇关于数论中除数函数分布问题的学术论文的详细技术总结。

论文标题

素数算术级数中 $d_3(n)$ 分布的改进平均分布
(Improved Averaged Distribution of $d_3(n)$ in Prime Arithmetic Progressions)

作者：Metin Can Aydemir, Muhammet Boran
核心工具：Petrow-Young 次凸性界 (Subconvexity Bound)

---

1. 研究背景与问题 (Problem Statement)

核心问题：
研究三元除数函数 $d_3(n)$（即 $n$ 写成三个正整数乘积的方法数）在算术级数 $n \equiv a \pmod q$ 中的分布情况。

关键概念：分布指数 (Exponent of Distribution)
如果对于任意 $\epsilon > 0$，当模数 $q \le x^{\theta - \epsilon}$ 时，误差项在某种平均意义下具有预期的渐近行为，则称 $d_3(n)$ 的分布指数为 $\theta$。

历史背景与现状：

• 经典结果：对于二元除数函数 $d(n)$，Selberg 和 Hooley 证明了其分布指数为 $2/3$。
• $d_3(n)$ 的困难：对于 $d_3(n)$，突破 $1/2$ 的界限非常困难。
  • Friedlander 和 Iwaniec 首次改进至 $1/2 + 1/230$。
  • Heath-Brown 改进至 $1/2 + 1/82$。
  • Fouvry, Kowalski 和 Michel 在素数模情况下改进至 $1/2 + 1/46$。
• 平均分布的突破：
  • Banks, Heath-Brown 和 Shparlinski (2005) 提出通过对剩余类 $a \pmod q$ 进行平均，可以扩展分布范围。
  • Nguyen (2010s) 将上述方法应用于 $d_3(n)$，证明了在平均意义下，分布指数达到了 $2/3$。即对于 $q \ll x^{2/3-\epsilon}$，误差项在平均意义下发生抵消。
  • 对于 $k=4$ 的情况，Parry 最近利用 Petrow-Young 的次凸性界将分布指数提升到了 $4/7$。

本文目标：
利用 Petrow-Young 关于 Dirichlet L-函数的次凸性界，将 $d_3(n)$ 在素数模 $q$ 下的平均分布指数从 $2/3$ 改进到 $8/11$ (约 0.727)。

---

2. 主要结果 (Main Results)

定理 1.1 (核心定理)：
设 $q$ 为素数，$q \le x^{8/11}$。定义误差项 $\Delta(a/q)$ 为 $d_3(n)$ 在算术级数中的和与主项之差。则对于任意 $\epsilon > 0$，有：
$$\sum_{a=1}^{q} |\Delta(a/q)|^2 \ll_{\epsilon} x^{3/2+\epsilon} q^{11/16}$$
这表明在模 $q \le x^{8/11}$ 的范围内，$d_3(n)$ 在平均意义下具有良好的分布性质。

推论 (定理 1.2)：
通过柯西 - 施瓦茨不等式，得到绝对误差界的平均估计：
$$\sum_{a=1}^{q} |E_x(q, a)| \ll_{\epsilon} x^{3/4+\epsilon} q^{11/32}$$
这证明了在 $q \le x^{8/11}$ 范围内，$d_3(n)$ 在算术级数中是均匀分布的（平均意义下）。

---

3. 方法论与关键技术 (Methodology)

本文遵循 Parry [11] 处理 $d_4(n)$ 的方法框架，但针对 $d_3(n)$ 的特性进行了调整。主要技术路线如下：

3.1 解析工具：Voronoi 求和公式

利用 Ivić 的 Voronoi 求和公式将原始和式转化为对偶和式。

• 引入平滑权重函数 $w(t)$ 和傅里叶变换 $\hat{w}_q(n)$。
• 将误差项 $\tilde{\Delta}(h/q)$ 表示为涉及 $d_3(n)$ 和特定系数 $A_{h/q}(n), B_{h/q}(n)$ 的对偶级数。
• 系数 $A_{h/q}(n)$ 和 $B_{h/q}(n)$ 涉及 Ramanujan 和与指数和的复杂组合。

3.2 核心难点：处理对偶和中的互相关项

在计算误差项的平方和 $\sum |\Delta|^2$ 时，需要估计形如 $\sum_{n,m} d_3(n)d_3(m) c_q(n-m)$ 的和式，其中 $c_q$ 是 Ramanujan 和。

• 分解：利用正交性将和式分解为主项（来自主特征）和误差项（来自非主特征）。
• 关键引理 (Lemma 3)：证明了当 $(nm, q)=1$时，$\sum_{h} A_{h/q}(n)A_{h/q}(m)$ 可以转化为包含 Ramanujan 和 $c_q(n \pm m)$ 的表达式。

3.3 核心突破：Petrow-Young 次凸性界

这是本文提升分布指数的关键。

• 传统瓶颈：之前的 $2/3$ 界限受限于 Dirichlet L-函数在临界线上的矩估计（通常使用 $L(1/2+it, \chi)$ 的 2 阶或 4 阶矩）。
• 新工具：利用 Petrow 和 Young (2020) 证明的 Dirichlet L-函数次凸性界：
  $$L(1/2+it, \chi) \ll_{\epsilon} (q(1+|t|))^{1/6+\epsilon}$$
  这一界比传统的凸性界（$1/4$）更优。
• 应用：
  • 在 Lemma 7 中，利用该次凸性界估计了 L-函数在临界线上的 3 阶矩（实际上是 $L^3$ 的积分平方和）。
  • 通过精细的参数选择（如 $y = q^{1/8}$），将误差项中的 $q$ 的幂次降低。
  • 在 Lemma 10 和 Lemma 11 中，利用改进的矩估计界定了涉及 Ramanujan 和的双变量和式，从而得到了更优的误差项上界。

3.4 优化参数

通过平衡误差项中的各项（主要涉及 $Y$ 参数，即平滑窗口的宽度），最终确定最优的 $Y \approx x^{3/4} q^{11/32}$，从而导出 $q \le x^{8/11}$ 的结论。

---

4. 关键引理与步骤摘要

1. Lemma 1 & 2 (Voronoi 公式与系数估计)：建立对偶和表达式，并证明当 $q|n$ 时系数 $A_{h/q}(n)$ 的有界性。
2. Lemma 3 (互相关转换)：将 $A_{h/q}(n)A_{h/q}(m)$ 的和转化为 $c_q(n-m)$ 和 $c_q(n+m)$ 的形式。
3. Lemma 6 & 7 (L-函数矩估计)：
   • Lemma 6 给出标准的二阶矩界。
   • Lemma 7 是核心，利用 Petrow-Young 次凸性界证明了 $\sum_{\chi} (\int |L|^3/t)^2 \ll q^{11/8}$。这一 $q^{11/8}$ 的因子直接决定了最终分布指数的提升。
4. Lemma 10 & 11 (和式估计)：结合上述矩估计，给出涉及 $d_3(n)d_3(m)c_q(n-m)$ 的加权和的具体上界。
5. 定理证明 (Section 3)：
   • 将 $\sum |\Delta|^2$ 展开。
   • 利用 Lemma 3 将问题转化为 Lemma 11 中的和式。
   • 代入优化后的参数，得到最终界限。

---

5. 意义与贡献 (Significance)

1. 理论突破：
   将 $d_3(n)$ 的平均分布指数从经典的 $2/3$ 提升至 $8/11$。这是该领域自 Banks-Heath-Brown-Shparlinski 和 Nguyen 工作以来的重要进展。

   • $2/3 \approx 0.666$
   • $8/11 \approx 0.727$
     这一提升表明，在更大的模数范围内，$d_3(n)$ 在素数模的算术级数中表现出更强的均匀分布特性。

2. 方法学贡献：
   展示了 Petrow-Young 次凸性界 在解决经典除数函数分布问题中的强大威力。此前该工具主要用于 $k=4$ 的情况（Parry 的工作），本文成功将其推广并适配到 $k=3$ 的复杂情形，证明了该技术在处理高阶除数函数平均分布问题中的普适性。

3. 技术细节：
   论文详细处理了 $d_3(n)$ 特有的对偶和结构（涉及 $A_{h/q}$ 和 $B_{h/q}$ 的复杂交互），并展示了如何通过精细的解析技巧（如 Voronoi 公式、Ramanujan 和的性质、L-函数矩的混合估计）来克服技术障碍。

总结：
这篇文章通过引入最新的 L-函数次凸性界，显著改进了三元除数函数在素数模算术级数中的平均分布结果，将分布范围扩大了约 10%，是解析数论领域关于除数函数分布问题的一个重要进展。