Counterexamples of Friedlander--Iwaniec dual sums conjecture

技术摘要：Friedlander–Iwaniec 对偶和猜想的反例

问题陈述
本文探讨了由 Friedlander 和 Iwaniec (2005) 提出的关于“锐利截断非线性对偶和”大小的一个特定猜想。在具有解析度 $m$、导数 $D$ 及阿基米德权重 $k$ 的自守 $L$-函数与通过泛函方程相关的狄利克雷级数的背景下，Friedlander 和 Iwaniec 定义了如下和式：
$$B_{\ell,D}(x, N) := \sum_{n \le N} b(n) n^{-\beta_m} \cos\left( 2\pi m \left(\frac{nx}{D}\right)^{1/m} + \frac{\pi \ell}{4} \right)$$
其中 $\beta_m = \frac{m+1}{2m}$，$\ell = m - 3 - 2k$。

猜想 1.1 预测，对于任何 $\varepsilon > 0$，该和式满足如下一致界限：
$$B_{\ell,D}(x, N) \ll_{\varepsilon, \kappa} (DNx)^{\varepsilon}$$
该猜想在 $x$ 和 $N$ 变化时（保持度数、导数及阿基米德数据固定）是一致成立的。该猜想表明对偶和表现出“次幂级”（subpower）抵消，有效地将平凡界限（约为 $N^{\theta_m}$，其中 $\theta_m = \frac{m-1}{2m}$）替换为比任何 $N$ 的正幂次增长都慢的界限。

本文研究了当 $A(s) = B(s) = \zeta(s)^m$（对应于 $m$ 重除数函数 $d_m(n)$）时，该猜想是否成立。

方法论
作者采用了一种确定性的、针对振荡和相位的局部分析，重点关注“端点共振”（endpoint resonance）。其核心机制在于观察到：对于相位函数 $\Phi_x(n) = \kappa (nx)^{1/m}$，当参数 $x$ 相对于 $N$ 进行适当缩放时，相位函数在大型端点 $N$ 附近会变得很小。

1. 相位对齐（Phase Alignment）： 作者构造了一组参数序列 $x_N$，使得最后一个项（$n=N$）的相位恰好与余弦函数的极大值（或周期剖面 $\Omega$ 非零的点）对齐。
2. 相干块构造（Coherent Block Construction）： 通过选择使 $N$ 处的相位为驻相（模 $2\pi$）的 $x_N$，作者识别出了一个终端区间整数 $[N-H_N, N]$，在该区间内，相位的变化量小于一个常数。在此区间内，余弦项保持统一的正实部。
3. 下界估计： 由于系数 $d_m(n)$ 严格为正（$d_m(n) \ge 1$），该相干块上的求和不会发生抵消。相反，它会累积到与该块的加权质量成比例的大小。
4. 一般引理： 本文首先建立了一个通用的“锐利端点扇区引理”（定理 2.1），针对形式为 $\sum c_n n^{-\beta} \Omega(\kappa (nx)^\nu)$ 的求和，证明如果系数有下界，则此类求和在特定端点必须表现出幂次级的增长。

主要结果
本文为 $A(s) = \zeta(s)^m$ 且 $m \ge 4$ 的情况提供了关于猜想 1.1 的显式反例。

• 定理 1.2（锐利端点下界）： 对于任何整数 $m \ge 2$ 和缩放参数 $0 < a < m-1$，存在序列 $x_N \asymp N^a$ 和截断点 $M_N \in \{N, N-H_N\}$，使得：
  $$|B_m(x_N, M_N)| \gg_{m,a,\lambda} N^{\Delta_m(a)}$$
  其中指数为 $\Delta_m(a) = \frac{m-3-2a}{2m}$。
• 推论 1.3（猜想失效）：
  • 情况 (i)： 当 $m \ge 4$ 且 $0 < a < \frac{m-3}{2}$ 时，指数 $\Delta_m(a)$ 为正。因此，该和式按 $N$ 的正幂次增长，直接违背了猜想 1.1 预测的次幂级界限 $(DNx)^\varepsilon$。
  • 情况 (ii)： 对于 $m \ge 6$，即使在 $1 \le N \le x$（即 $a=1$）的范围内，该反例依然成立，而这正是通常被考虑的应用范围。
  • 情况 (iii)： 对于 $m \ge 5$，存在 $N \asymp x^{(m-1)/2}$ 的反例。

意义与主张
本文声称，该结果使 Friedlander 和 Iwaniec 提出的通过一致对偶和估计来界定除数问题误差项的特定路径失效。

• 对一致性的反驳： 结果表明，对于 $m$ 重除数函数，当 $m \ge 4$ 时，猜想 1.1 的“次幂级”界限是错误的。猜想之所以失效，是因为泛函方程是自反的（involutory）；两次应用对偶会返回原始级数，这阻止了该方法在一般情况下改进对偶和的平凡界限。
• 对猜想 2 的影响： 本文指出，虽然这些反例使通过“一致锐利对偶和路径”来证明猜想 1.6（关于除数问题误差项 $E_A(x)$ 的界限）的方案失效，但它们并未证伪猜想 1.6 本身。关于 $\Delta_m(x) \ll x^{(m-1)/(2m)+\varepsilon}$（Piltz 除数猜想）的猜想目前仍是一个开放问题。
• 机制识别： 该工作识别出“端点共振”是导致非线性对偶和中一致次幂级估计失效的基本障碍。它阐明了虽然平滑求和或特定的参数范围可能允许抵消，但锐利截断的求和在特定端点会表现出巨大的、相干的贡献。

结论
本文得出结论：对于数据 $\zeta(s)^m$ 且 $m \ge 4$，Friedlander 和 Iwaniec 的猜想 1.1 是错误的。失效的原因在于能够将振荡相位与除数函数的正系数在整数的终端块上对齐，从而创造出一个具有幂次级大小的“相干块”，而这种规模无法仅通过泛函方程来抑制。