Heath-Brown identities for fractional powers of $ζ$

技术摘要：关于 $\zeta$ 分数次幂的 Heath-Brown 恒等式

问题陈述
本文研究了涉及黎曼 $\zeta$ 函数分数次幂的指数和的估计问题，具体为 $S_z(x, \alpha) = \sum_{n \le x} d_z(n) e(n\alpha)$，其中 $d_z$ 是由 $\zeta(s)^z$ 的狄利克雷系数定义的乘性函数。虽然对于整数指数（例如除数函数 $\tau_k = d_k$ 和莫比乌斯函数 $\mu = d_{-1}$），这类和的行为已得到充分理解，但对于分数情况 $z \in (-1, 1) \setminus \mathbb{Z}$ 仍存在空白。依赖于分解的经典方法（如 $\tau_k = 1^{*k}$）在非整数情况下失效，且现有的恒等式（如 Vaughan 或 Heath-Brown 恒等式）在不经过修改的情况下无法直接应用。先前的部分结果（例如 [MV, Exercise 9] 中对 $d_{1/2}$ 的界限）在小弧估计中给出了次优的中间指数 $6/7$，而整数情况则能达到“Vinogradov 质量”基准 $4/5$。核心问题在于构造一个关于 $\zeta(s)^{\pm a/b}$ 的有限组合恒等式，以便推导出具有最优 $4/5$ 指数且仅含纯对数损失（而非 $x^\varepsilon$ 因子）的界限。

方法论
作者采用了两层方法：代数构造与解析估计。

1. 代数构造（Heath-Brown 型恒等式）：
   其核心创新在于利用牛顿二项式级数在算术函数代数中构造 $\zeta(s)^{\pm a/b}$ 的有限恒等式。

   • 对于分数次幂 $\zeta(s)^{-h/b}$，作者定义了一个截断狄利克雷多项式 $F(s) = \sum_{n \le V} d_{-h/b}(n)n^{-s}$。
   • 通过考虑余项 $H = 1 - \zeta(s)^h F(s)^b$，作者利用了 $H$ 的支撑集在整数 $> V$ 这一性质。因此，$H^K$ 的支撑集在整数 $> V^K$。
   • 将 $H$ 代入 $(1-H)^{-1/b}$ 的截断牛顿二项式展开式中，可以得到一个对 $n \le V^K$ 有效的 $\zeta(s)^{-h/b}$ 的精确恒等式。
   • 本文选取深度 $K=5$ 且 $V = x^{1/5}$。这确保了该恒等式对所有 $n \le x$ 都有效。由此产生的恒等式将 $\zeta(s)^{-h/b}$ 表示为涉及 $F$ 与 $\zeta$ 的幂次的卷积的有限线性组合。至关重要的是，这些卷积中的每一个“长”因子都是 $\zeta$（常函数 1）的正幂次，从而保证了平滑性，而“短”因子则被限制在 1 以内。
   • 对于正指数 $z = h/b$，恒等式通过 $\zeta(s)^{h/b} = \zeta(s) \cdot \zeta(s)^{-(b-h)/b}$ 间接导出，从而保持了长因子的平滑性。
   • 端点情况 $z = -1$（莫比乌斯函数）可以作为一种特殊情况恢复，此时恒等式退化为经典的 Heath-Brown 恒等式。

2. 解析估计：
   构造的恒等式将指数和 $S_z(x, \alpha)$ 简化为多线性形式 $T_{J,L}(x, \alpha)$ 的和。

   • 二进分解（Dyadic Decomposition）： 变量被局部化到二进区间。
   • 组合分歧（Combinatorial Dichotomy）： 应用了“窗口或长变量”引理。对于任何乘积 $P \in (x^{4/5}, x]$ 的二进配置，要么一部分变量可以被归入“II 型窗口” $[x^{2/5}, x^{3/5}]$，要么单个变量是长的（$> x^{3/10}$）而其余变量的乘积是短的（$< x^{7/10}$）。
   • 估计：
     • II 型： 当满足窗口条件时，应用双线性估计，得出 $x^{4/5}$ 项。
     • I 型： 当存在长平滑变量时，该和被视为 I 型和。作者避免了“除数加权 I 型和仅包含对数损失”的错误假设，而是采用了一种两区间策略：
       • 对于 $q \le x^{3/10}$ 和 $q \ge x^{7/10}$，使用均方 I 型估计。
       • 对于中间范围 $x^{3/10} < q < x^{7/10}$，使用带有 $x^{o(1)}$ 损失的点估计。由于 $x^{7/10}$ 与目标 $x^{4/5}$ 之间的差距吸收了这一损失，从而确保最终界限在仅保留对数因子的情况下保留 $4/5$ 指数。

主要结果

1. 小弧界限（定理 1.1 & 1.3）：
   对于任何约简分数 $a/b$ 且 $0 < a/b < 1$，以及对于 $z = \pm a/b$，本文证明：
   $$\sum_{n \le x} d_{\pm a/b}(n) e(n\alpha) \ll_{a,b} \left( \frac{x}{\sqrt{q}} + x^{4/5} + \sqrt{xq} \right) (\log 2x)^C$$
   其中 $|\alpha - r/q| \le 1/q^2$。

   • 该界限没有 $x^\varepsilon$ 损失，其形式与 Vinogradov 对冯·芒戈尔特函数（von Mangoldt function）的估计以及已知对于整数次幂的界限一致。
   • 定理 1.3 将此扩展到端点 $z = -1$（莫比乌斯函数），并给出了一个绝对常数，通过移除 $\varepsilon$ 精炼了先前的估计。

2. 大弧展开（定理 1.5）：
   对于实数 $0 < |z| < 1$，本文提供了 $S_z(x, \alpha)$ 的任意对数精度的展开。主项涉及局部因子 $g_z(q)$（推广了奇异级数）以及源自 Selberg-Delange 方法的系数。误差项为 $O(x (\log x)^{-A})$（对于任何 $A > 0$），尽管由于依赖于 Siegel-Walfisz 定理，其隐含常数是无效的（ineffective）。

3. 一致界限与矩（定理 1.6 & 1.7）：

   • 上确界： 本文确定了 $\sup_\alpha |S_z(x, \alpha)|$ 的数量级。对于 $z > 0$，上确界在 $\alpha=0$ 处取得，并与平均值渐近。对于 $z < 0$，抵消作用使得上确界比 $\ell^1$ 范数减少了一个因子 $(\log x)^{1+|z|}$。
   • 矩： 对于有理数 $z \in (-1, 1)$ 和实数 $s > 2$，本文证明了矩 $\int_0^1 |S_z(x, \alpha)|^s d\alpha$ 的渐近公式。主项由涉及 $g_z(q)$ 的奇异级数决定，类似于 Pandey 对整数除数函数的结论。限制 $s > 2$ 是必要的，因为奇异级数在 $s=2$ 时发散。

意义与主张
本文声称解决了 $\zeta$ 函数在指数和背景下整数次幂与分数次幂之间的差距。其主要意义在于：

• 最优性： 为分数次幂实现了 $x^{4/5}$ 指数，这在以前是一个开放问题，且已知结果仅限于较弱的界限。
• 高效性： 消除了 $x^\varepsilon$ 损失，这对于需要精确误差项的应用（例如圆法）至关重要。
• 代数新颖性： 通过牛顿二项式级数和支撑集论证，构造了关于分数次幂的有限 Heath-Brown 恒等式，为处理算术函数代数中的非整数指数提供了一种新的代数工具。
• 有效性： 小弧界限及恒等式的构造是完全有效的。大弧应用中的无效性明确归因于 Siegel-Walfisz 定理，这是该领域的一个标准限制，而非新的机制所致。

作者强调，由于代数构造依赖于整数 $b$ 次方的 $b$ 次根，因此对有理指数的限制是必要的；同时，$|z| \le 1$ 的限制确保了短系数被限制在 1 以内。本文并不声称在无需重大修改的情况下将这些结果扩展到无理数指数或 $[-1, 1]$ 之外的指数。