Bounded Exponential Sums with Multiplicative Coefficients

技术摘要：具有乘性系数的有界指数和

问题陈述
本文研究了在何种条件下，指数和
$$S_f(x, \alpha) := \sum_{n \le x} f(n)e(n\alpha)$$
在 $x \to \infty$ 时保持有界，其中 $f: \mathbb{N} \to \mathbb{C}$ 是一个乘性函数，$\alpha \in \mathbb{R}$ 是固定的，且 $e(t) = e^{2\pi i t}$。虽然经典的结论（例如 Daboussi, Montgomery-Vaughan）已经确定，当 $\alpha$ 为无理数且 $f$ 有界时，$S_f(x, \alpha) = o(x)$，但本研究关注的是“有界性”（$\sup_x |S_f(x, \alpha)| < \infty$）这一极端情况。作者旨在分类那些使得该有界性成立的乘性函数 $f$，特别是将其与扭曲狄利克雷特征 $\chi(n)n^{it}$ 等结构化对象之间的“自负”（pretentious）距离联系起来。

方法论
本文结合了自负数论、筛法和调和分析。其方法论分为三个主要阶段：

1. 向自负函数的归约：
   作者首先建立，如果 $S_f(x, \alpha)$ 是有界的，则 $f$ 必须是“自负的”，即在 Granville-Soundararajan 自负度量下，它接近于形式为 $\chi(n)n^{it}$ 的函数。这依赖于 Tao 的对数平均 Elliott 猜想以及一种 van der Corput 型论证（引理 2.8），用以证明有界的偏和意味着非平凡的自相关，从而迫使 $f$ 类似于一个扭曲特征。

2. 旋转技巧（The Rotation Trick）：
   为了精细化分类，作者改编了由 Klurman, Mangerel, Pohoata, 和 Teräväinen (KMPT21) 引入的“旋转技巧”。该技巧最初是为完全乘性函数设计的，作者将其扩展到了一般的乘性函数（这些函数可能存在零点及高阶素数幂值）。通过构造特定的算术级数并利用自负函数的集中不等式（引理 3.1），作者证明了：如果 $f$ 在素数集合（其倒数之和发散）上显著偏离 $\chi(n)n^{it}$，则指数和不可能保持有界。

3. 大筛法与丢番图逼近：
   对于依赖于 $\alpha$ 的结果（特别是定理 1.2 和 1.3），作者利用了基于第一作者此前工作的指数和的大筛法下界（定理 4.2）。这使得他们能够将 $S_f(x, \alpha)$ 的有界性与 $\alpha$ 的有理逼近分布联系起来。证明过程中调用了 Duffin–Schaeffer–Koukoulopoulos–Maynard 定理，以处理该和在正测度集 $\alpha$ 上有界的案例。

核心结果

• 定理 1.1（一般分类）：
  若 $f$ 是一个满足 $f(n) \in \mathbb{U} \cup \{0\}$（其中 $\mathbb{U}$ 是单位圆）且 $\sum_{p:f(p)=0} 1/p < \infty$ 的乘性函数，且对于某个 $\alpha \in \mathbb{R}$，$S_f(x, \alpha)$ 是有界的，那么存在一个狄利克雷特征 $\chi$ 和一个实数 $t$，使得：
  $$\sum_p \max_k |f(p^k) - \chi(p^k)p^{ikt}| < \infty.$$
  这意味着 $f$ 在素数幂上必须非常接近 $\chi(n)n^{it}$。

• 定理 1.2（特殊情况）：
  对于特定类别的函数，分类更为精确：

  • 如果 $f$ 是完全乘性的且 $\alpha$ 是无理数，有界性意味着对于所有素数 $p$，都有 $f(p) = \chi(p)p^{it}$。
  • 如果 $f$ 取有限个值，有界性意味着对于几乎所有的素数幂，都有 $f(p^k) = f(p^{k-1})\chi(p)$。
  • 如果 $f$ 是完全乘性且取有限个值，有界性意味着对于所有 $p$，都有 $f(p) = \chi(p)$（即 $t=0$）。

• 定理 1.3（正测度集）：
  如果该和在正勒贝格测度的 $\alpha$ 集合上是有界的，则条件加强为：
  $$\sum_p \sum_k |f(p^k) - f(p^{k-1})\chi(p)p^{ikt}| < \infty.$$
  该结果依赖于 Duffin–Schaeffer 定理，以表明 $f$ 与扭曲特征之间的“距离”在素数上的特定 $L^1$ 意义下必须消失。

• 锐度（第 5 节）：
  作者通过构造反例（令 $f(p^k) = 1 + O(p^{-2k})$）证明了定理 1.2 对于一般乘性函数并不成立（仅对完全乘性函数成立）。此外，他们定义了一个“自负度” $\sigma(f)$，以表明定理 1.1 和 1.3 的条件是接近最优的。

意义与主张
本文声称，对于无理数 $\alpha$ 且为完全乘性函数的案例，提供了一个关于产生有界指数和的乘性函数的完整分类。它扩展了“自负”框架的应用范围，以处理具有零点和高阶素数幂值的一般乘性函数，这是一个通过广义旋转技巧解决的重要技术障碍。

这项工作将 Erdős 不连续性问题（特别是 Tao 的解法以及 Frantzikinakis 的加权变体）与乘性函数的结构联系了起来。它证实了，实现此类和有界的唯一途径是让乘性函数本质上模仿一个被 $n$ 的幂次扭曲的狄利克雷特征。作者指出，其结果解决了 Cédric Pilatte 提出的一个猜想（猜想 1.8），即在 $f$ 为乘性且取值在 $\{0, 1\}$ 中的特殊情况。

本文并非提出新的实验应用，而是巩固了对加法特征与乘性结构之间相互作用的理论理解，精炼了“随机”乘性函数（表现出抵消现象）与“结构化”乘性函数（可以维持有界和）之间的界限。