Sign changes of the Liouville function in arithmetic progressions

技术摘要：算术级数中刘维尔函数的符号变化

问题陈述
本文探讨了一个关于算术级数中最小素数的林尼克定理的乘性函数类比。虽然林尼克定理保证了存在一个素数 $p \equiv a \pmod q$ 且满足 $p \ll q^L$（目前 $L=5$），但本研究考察了刘维尔函数 $\lambda(n)$ 在算术级数中的分布。具体而言，作者提出：对于素数模 $q$ 和既约剩余类 $a \pmod q$，$N$ 需要多大才能保证存在整数 $n, m \le N$，使得 $n \equiv m \equiv a \pmod q$，同时 $\lambda(n) = -1$ 且 $\lambda(m) = +1$？换言之，在固定的算术级数中，刘维尔函数在什么尺度上必然发生符号变化？

方法论
证明采用反证法。作者假设对于足够大的素数 $q$，刘维尔函数在所有满足 $n \equiv a \pmod q$ 且 $n \le q^{5/2+\varepsilon}$ 的 $n$ 上保持恒定符号 $\kappa \in \{-1, +1\}$。论证分为三个主要阶段：

1. 通过组合论证实现周期性与平衡：
   利用引理 7，作者证明如果 $\lambda(n)$ 在直到 $N \ge q^{2+\varepsilon}$ 的级数上为常数，那么对于 $n \le N/q$，$\lambda(n)$ 必须是 $q$-周期的（具体而言，当 $(n,q)=1$ 时，$\lambda(n+q) = \lambda(n)$）。此外，这一假设迫使模 $q$ 的既约剩余类上 $\lambda(n)$ 的和恰好为零。这一步依赖于组合集合论（引理 6，即鸽巢原理的应用），以表明如果长度为 $q$ 的区间内 $+1$ 和 $-1$ 值的计数不平衡，就可以构造出级数中整数的乘积，从而违反恒定符号假设。

2. 由狄利克雷特征逼近：
   假设周期性和零和条件成立，引理 8 利用大筛法不等式和泊松求和公式证明，$\lambda(n)$ 本质上必须与一个实狄利克雷特征 $\chi_q$（勒让德符号）一致，并缩放一个常数 $\kappa' \in \{-1, 1\}$。具体而言，对于所有 $n \le q$，有 $\lambda(n) = \kappa' \chi_q(n)$，至多有 $O(q^{1-\varepsilon/4})$ 个例外。

3. 排除两种情形：
   证明最后排除了 $\kappa'$ 的两种可能取值：

   • 情形 $\kappa' = -1$： 如果 $\lambda(n) \approx -\chi_q(n)$，作者分析了满足 $\chi_q(p) = \pm 1$ 的素数 $p \le q^{1/2}$ 的分布。通过考虑此类素数的乘积，他们表明满足假设所需的例外数量将与已知的素数密度（通过素数定理）相矛盾。
   • 情形 $\kappa' = +1$： 如果 $\lambda(n) \approx \chi_q(n)$，作者构造了一个乘性函数 $g(n) = \sum_{d|n} \chi_q(d)$。他们表明，在此假设下，$g(n)$ 对大多数非平方整数为零。然而，利用引理 5（梅林逆变换）和 $L(1, \chi_q)$ 的西格尔下界（引理 3），他们推导出了 $\sum g(n)W(n/q)$ 的下界，这与从消失性质推导出的上界相矛盾。

主要结果
主定理（定理 1）确立：对于任意 $\varepsilon > 0$，对于任何相对于 $1/\varepsilon$ 足够大的素数 $q$，以及任何剩余类 $(a, q)=1$，存在整数 $n, m \le q^{5/2+\varepsilon}$，使得 $n \equiv m \equiv a \pmod q$，且 $\lambda(n) = -1$ 和 $\lambda(m) = +1$。

意义与局限性
作者将这一结果定位为理解算术级数中乘性函数符号变化的重要一步。界限 $q^{5/2+\varepsilon}$ 改进了以往关于一般乘性函数的无条件结果，并达到了此前仅在广义黎曼猜想（GRH）下针对特定情况已知的结果质量。

论文明确指出该结果的一个局限性：与林尼克定理不同（其指数和隐含常数是可有效计算的），这里的论证依赖于西格尔定理。因此，$q$ 在 $1/\varepsilon$ 方面被视为“足够大”的阈值是不可计算的。

作者将他们的方法与马托迈基（Matomäki）和特雷瓦伊宁（Teräväinen）[7] 的并行工作区分开来，后者针对一般实值乘性函数（对于刘维尔函数是无条件的）实现了更强的界限 $q^{2+\varepsilon}$。作者强调，他们的论证简短且沿着不同的路线进行，具体利用了大筛法、泊松求和与刘维尔函数特定性质之间的相互作用，从而推导出 $q^{5/2}$ 阈值。