The variance of a general class of multiplicative functions in short intervals

技术摘要：一类一般性乘法函数在短区间内的方差

问题陈述
本文研究了乘法函数在短区间内方差的渐近评估。虽然乘法函数的全局行为（特别是部分和 $\sum_{n \le X} f(n)$）已得到深入研究，但理解其在长度为 $H$ 的短区间（其中 $H \ll X$）内的波动仍面临重大挑战。作者关注的是如下定义的连续方差：
$$\text{Var}_f(X; H) := \frac{1}{X} \int_X^{2X} \left| \sum_{x < n \le x+H} f(n) - \frac{H}{X} \sum_{n \le X} f(n) \right|^2 dx$$
主要目标是为一类广泛的乘法函数建立精确的方差渐近公式，该类函数超越了诸如莫比乌斯函数或无平方数指示函数等特定情形，涉及关于增长率和阶数的参数框架。

方法论
作者结合了傅里叶分析、复分析以及二元型的算术几何。其方法论围绕将乘法函数 $f(n)$ 分解为卷积结构 $f = 1 *_k h$（其中 $h$ 属于特定的乘法函数类）展开。

1. 分解与截断： 将短区间上的求和拆分为“小因子”（最高至参数 $z$）和“大因子”（大于 $z$）。通过分别估计这两个部分的贡献（记作 $J_{h,z}(X; H)$ 和 $K_{h,z}(X; H)$）来分析方差。
2. 傅里叶分析与留数计算： 对于小因子部分，作者利用傅里叶分析，特别是伯努利多项式的傅里叶展开以及函数 $S(x) = \frac{\sin \pi x}{\pi x}$。他们采用围道积分和柯西留数定理来评估涉及狄利克雷级数和黎曼 Zeta 函数的积分。这使得他们能够提取主项并处理相关生成函数的极点。
3. 二元型上有理点的计数： 处理高阶情况（$k \ge 3$）的一个关键创新是使用计数特定二元型上有理点的技术。作者并未仅仅依赖于之前的研究中用于 $k=2$ 的狄利克雷逼近，而是应用了关于二元型 $F(x, y)$ 整数解密度的 Heath-Brown、Stewart 和 Xiao 的研究结果。这种技术对于界定方差计算中的非对角项至关重要。
4. 大值定理： 对于大因子部分，作者利用 Huxley 的大值定理、Bourgain 关于黎曼 Zeta 函数的亚凸界限以及 Montgomery 的平均值定理，在不假设 Lindelöf 假设的“无条件”设定下控制误差项。

核心贡献与结果

• 一般类别的定义： 本文定义了一个由参数 $\alpha$（增长）、$\beta$（与素数处数值大小相关）和 $k$（阶）表征的一般乘法函数类 $\mathcal{F}_{\alpha, \beta, k}$。该类涵盖了诸如 $\mu_k(n)$（$k$-无平方数指示函数）、$\phi(n)/n$ 以及广义除数函数 $\sigma_\alpha(n)$ 等函数。
• 方差的渐近公式：
  • 情况 $0 \le \alpha < 1/2$： 作者推导出一个方差随 $H^{(1-2\alpha)/k} (\log H)^{\beta^2-1}$ 缩放的渐近公式。主项包含一个常数 $c_{h,k}$ 以及 $\log H$ 的多项式。
  • 情况 $1/2 < \alpha < 2$： 方差收敛于一个依赖于区间长度 $H$ 的常数 $c_{h,k}(H)$，其误差项为 $O(H^{-\epsilon})$。
  • 临界点 $\alpha = 1/2$： 文中指出未针对此临界情况推导出直接的渐近公式，但建立了一个 $O((\log H)^{\beta^2})$ 的上界。
• 改进短区间的适用范围： 本文显著扩展了这些渐近公式成立的已知 $H$ 范围。
  • 对于 $k$-无平方数整数（$k \ge 3$），有效的 $H$ 范围从大约 $X^{0.3}$ 扩展到了 $X^{e(k,0)}$，其中 $e(k,0)$ 随 $k$ 增加而增大（例如 $e(3,0) \approx 0.605$）。
  • 在 Lindelöf 假设下，这些范围被进一步扩展到 $X^{g(k)}$。
• 对一个猜想的反驳： 作者对归一化欧拉函数 $\phi(n)/n$ 进行了详细分析。他们证明了方差极限并非 van Overbeeke 所猜想的绝对常数，而是一个随 $H$ 变化的函数 $c_\zeta(H)$。具体而言，他们展示了当 $H$ 为素数时，该常数下界约为 $0.1036$，这与约等于$0.03$ 的猜想值相矛盾。
• 广义除数函数： 研究结果改进了先前关于 $\sigma_\alpha(n)$ 在 $\alpha \in (-1, -1/2)$ 范围内方差的界限，提供了更宽 $H$ 范围内的渐近公式，并在某些 $\alpha$ 值下突破了 $1/2$ 的障碍。

意义

本文声称其意义在于通过统一的理论框架，将多种不同乘法函数的方差研究联系起来。通过通过傅里叶分析和几何数论（二元型）将“短平均”与“长平均”联系起来，作者为分析短区间内的波动提供了一种稳健的方法。

该工作尤其值得注意之处在于：

1. 反驳 van Overbeeke 猜想： 它纠正了关于 $\phi(n)/n$ 方差的一个特定预测，表明其极限取决于区间长度 $H$ 的算术性质，而非一个普适常数。
2. 突破“半壁障碍”（Half-Barrier）： 该方法允许分析在特定函数类中长度超过 $X^{1/2}$ 的区间内的方差，而在这一区间内，以往的方法往往失效或只能给出较弱的界限。
3. 离散方差与连续方差： 论文区分了离散方差和连续方差，指出虽然连续方差可以在傅里叶空间中克服 $1/2$ 障碍，但离散方差仍受限于该障碍，这凸显了检测微小区间波动时的本质差异。

作者强调，其结果在不依赖于黎曼假设（尽管讨论了 RH 和 Lindelöf 对扩展范围的潜在作用）的情况下，为包括 $k$-无平方数指示函数、归一化欧拉函数和广义除数和在内的函数，提供了新的渐近公式并改进了相关领域。