Triple convolution sums of the generalised divisor functions and related sums over primes

这是一份关于论文《广义除数函数的三重卷积和及相关素数上的和》（TRIPLE CONVOLUTION SUMS OF THE GENERALISED DIVISOR FUNCTIONS AND RELATED SUMS OVER PRIMES）的详细技术总结。

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

核心问题：
本文研究的是广义除数函数（generalised divisor functions）的三重移位卷积和（triple shifted convolution sums）。
定义广义除数函数 $d_k(n)$ 为将 $n$ 写成 $k$ 个正整数乘积的方法数（即 $\zeta(s)^k$ 的狄利克雷级数系数）。
作者关注以下形式的和：
$$T(d_k, d_l, d_m; x, h) := \sum_{n \le x} d_k(n+h) d_l(n) d_m(n-h)$$
其中 $h$ 是一个固定的正整数，且满足 $h \le x^{1-\epsilon}$。

研究动机与现状：

• 历史背景： 除数函数的卷积和是解析数论的核心课题。Ingham 曾研究了 $d(n)d(n+h)$ 的移位卷积和。
• 未解之谜： 对于 $k \ge 3$ 的移位卷积和（即 $d_k(n)d_k(n+h)$），精确的渐近公式尚未被证明（Conrey-Gonek 猜想，Tao 的预测）。
• 三重卷积的困难： 相比于双重卷积，三重卷积（如 $d(n+h)d(n)d(n-h)$）的渐近估计更为困难。Browning 曾猜想 $T(d,d,d;x,h) \sim c_h x (\log x)^3$，但尚未证明。
• 素数上的问题： 受 Titchmarsh 除数问题（研究 $\sum_{p \le x} d(p-a)$）的启发，作者进一步研究了在素数 $p$ 上求和的情况：
  $$T'(d_k, d_m; x, h) := \sum_{p \le x} d_k(p+h) d_m(p-h)$$
  （注：由于 $d_l(p)=l$ 是常数，三重素数和本质上退化为双重移位卷积和）。

2. 方法论 (Methodology)

本文采用了三种主要方法的结合：

1. 多变量狄利克雷级数与 Tauberian 定理 (Multiple Dirichlet Series & Tauberian Theorems)：

   • 作者构造了与卷积和相关的多变量狄利克雷级数 $F(s_1, s_2, s_3)$。
   • 利用 de la Bretèche 的 Tauberian 定理（针对多变量狄利克雷级数），通过分析级数在复平面上的极点结构和解析延拓性质，推导出和式的主项渐近行为。
   • 这种方法能够精确地提取出常数项，而不仅仅是给出量级估计。

2. 概率启发式论证 (Probabilistic Heuristics)：

   • 参考 Tao 和 Ng-Thom 的工作，作者引入了随机变量模型。将 $d_k(n)$ 视为由素数局部因子 $X_p, Y_p, Z_p$ 的乘积构成的随机变量。
   • 通过计算这些随机变量的期望值及其相关性（特别是当素数 $p$ 整除 $h$ 或 $2h$ 时的局部相关性），预测了渐近公式中的常数结构。
   • 这部分工作验证了由解析方法导出的常数与概率模型预测的一致性。

3. Bombieri-Vinogradov 定理 (Bombieri-Vinogradov Theorem)：

   • 在处理素数上的和时，作者使用了 Bombieri-Vinogradov 定理及其推广形式（涉及 $d_k(q)d_m(q)$ 加权的版本）。
   • 该定理允许在模数 $q$ 较大（接近 $x^{1/2}$）的情况下，控制素数在算术级数中的分布误差，从而处理 $\sum_{p \le x} a(n)$ 这类涉及素数指示函数的和。

3. 主要贡献与结果 (Key Contributions & Results)

A. 广义除数函数的三重卷积和 (Theorem 1.1)

作者证明了对于整数 $k, l, m \ge 2$ 和 $h \le x^{1-\epsilon}$，存在一个正确的量级下界：
$$T(d_k, d_l, d_m; x, h) \ge \nabla_{k,l,m}(h) \frac{3^{k+l+m-3}}{(k-1)!(l-1)!(m-1)!} x (\log x)^{k+l+m-3} + O(x (\log x)^{k+l+m-4})$$

• 常数 $\nabla_{k,l,m}(h)$ 的显式表达： 该常数由多变量狄利克雷级数的留数给出，具有清晰的算术结构：
  $$\nabla_{k,l,m}(h) = C_{k,l,m}(h) D_{k,l,m}(h) \prod_p \left(1 - \frac{1}{p}\right)^{k+l+m-3}$$
  其中 $C_{k,l,m}(h)$ 处理了 $p|2h$ 的局部相关性，$D_{k,l,m}(h)$ 处理了 $p \nmid 2h$ 的情况。
• 意义： 这是首次为一般 $k,l,m$ 的三重卷积和建立了带有正确常数因子的下界。虽然上界可以通过 Nair-Tenebaum 的工作推导，但下界的常数精确性是通过 Tauberian 理论获得的。

B. 素数上的三重卷积和 (Theorem 1.2)

作者研究了素数上的和 $T'(d_k, d_m; x, h)$，并证明了：
$$T'(d_k, d_m; x, h) \ge \nabla'_{k,m}(h) \frac{4^{k+m-2}}{(k-1)!(m-1)!} x (\log x)^{k+m-3} + O(x (\log x)^{k+m-4})$$

• 方法创新： 结合了多变量 Tauberian 理论与 Bombieri-Vinogradov 定理。
• 常数结构： 同样给出了显式的算术常数 $\nabla'_{k,m}(h)$，其中涉及欧拉函数 $\phi$ 和局部条件 $g_1(u, w)$。
• 备注： 对于 $k=m=2$ 的特殊情况（即普通除数函数），作者指出可以通过更精细的平方项处理将常数因子从 $1/4^2$ 改进为 $1/4$。

C. 概率验证 (Section 5)

作者详细展示了如何通过概率模型（Conjecture 5.1）重新推导出上述常数 $\nabla_{k,l,m}(h)$。

• 证明了概率模型中的期望值乘积比 $\frac{E(X_p Y_p Z_p)}{E(X_p)E(Y_p)E(Z_p)}$ 的无穷乘积形式，与解析方法中得到的常数完全一致。
• 这为解析结果提供了强有力的独立验证，并解释了常数中出现的复杂算术项（如 $p|2h$ 时的特殊处理）的数论来源。

4. 技术细节与常数构造

论文的核心技术难点在于处理多变量狄利克雷级数 $F(s_1, s_2, s_3)$ 的欧拉积分解：

1. 分解策略： 将欧拉积分为 $p | 2h$ 和 $p \nmid 2h$ 两部分。
   • 对于 $p \nmid 2h$，利用 $g(p^{\nu_1}, p^{\nu_2}, p^{\nu_3})$ 的性质（仅当至多一个 $\nu_i > 0$ 时非零），将级数展开为 $\zeta$ 函数的幂次形式加上收敛的修正项。
   • 对于 $p | 2h$，直接计算局部和，得到常数 $C_{k,l,m}(h)$。
2. Tauberian 应用： 利用 de la Bretèche 定理，将级数在 $s_i=0$ 附近的奇点行为（由 $\zeta(1+s_i)$ 的极点决定）转化为和式的主项。
3. 线性形式： 定义了特定的线性形式集合 $L$，确保主项多项式的次数正确（即 $\log x$ 的幂次为 $k+l+m-3$）。

5. 意义与影响 (Significance)

1. 推进了高维卷积和问题： 解决了广义除数函数三重卷积和下界的精确常数问题，填补了从 $k=2$ 到 $k \ge 3$ 的理论空白。
2. 连接了解析与概率方法： 清晰地展示了多变量 Tauberian 理论导出的常数与概率启发式预测的一致性，增强了该领域猜想的可信度。
3. 素数分布的新视角： 将 Titchmarsh 除数问题推广到更复杂的卷积形式，展示了 Bombieri-Vinogradov 定理在处理加权素数和时的强大能力。
4. 常数显式化： 不同于以往仅给出量级 $O(x(\log x)^k)$ 的结果，本文给出了常数项的完整算术表达式，这对于理解除数函数在移位下的相关性结构至关重要。

综上所述，该论文通过结合现代解析数论的强有力工具（多变量 Tauberian 定理、Bombieri-Vinogradov 定理）与概率启发式方法，成功地为广义除数函数的三重卷积和建立了精确的下界估计，并揭示了其背后的深层算术结构。