Lower bounds for low moments of character sums, I: Short sums with general multiplicative weights

技术摘要：特征和低阶矩的下界，I

问题陈述
本文研究了狄利克雷特征和（Dirichlet character sums）以及连续特征和（zeta sums）在低阶矩（$0 \le q \le 1$）下的精确下界问题。具体而言，它研究了以下量值的平均大小：
$$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q}$$
其中 $r$ 是一个大素数，且 $1 \le x \le r^{0.499}$。作者还考虑了带有乘性权重 $h(n)$ 的加权和 $\sum_{n \le x} h(n)\chi(n)$（其中 $|h(p)|=1$ 且 $|h(p^k)| \le 1$）以及连续和 $\sum_{n \le x} n^{it}$。

作者的前期工作 [10] 建立了这些矩的上界，其表现出“优于平方根级抵消”的特性，具体阶数为：
$$\left( \frac{x}{1 + (1-q)\sqrt{\log \log (10L)}} \right)^q$$
其中 $L = \min\{x, r/x\}$。虽然这些上界被认为是尖锐的，但现有的下界（例如 La Bretèche, Munsch, 和 Tenenbaum [1]）在对数因子项上仍存在差距。本文旨在弥补这一差距，并证明在指定的 $x$ 范围内，这些上界确实是尖锐的。

方法论
证明过程依赖于一种“代理”（proxy）方法，这是 $L$-函数矩分析中的常用手段，涉及构造一个特定的辅助对象 $I(\chi)$，旨在模拟特征和 $\sum_{n \le x} \chi(n)$ 的行为，但使其在分析上更加易处理。

1. 构造代理 $I(\chi)$：
   代理通过一个“经屏障调整的”（barrier-adjusted）佩龙积分（Perron integral）来定义：
   $$I(\chi) = \frac{1}{2\pi i} \int_{1/2-iT}^{1/2+iT} \left( \sum_{x^{1-3\beta} < p \le x^{1-\beta}} \frac{\chi(p)}{p^s} \right) F^*_\chi(s) G_\chi(s) \frac{x^s}{s} ds$$

• 截断： 积分在高度 $T$ 处进行截断。
• 结构化多项式： 内层和被替换为在不相交素数范围上的狄利克雷多项式乘积：大素数区间 $(x^{1-3\beta}, x^{1-\beta}]$、$P$-光滑数（$\le x^\beta$）以及 $P$-粗数（$> P$）。
• 屏障（The Barrier）： 关键组成部分是 $G_\chi(s)$，这是一个近似“屏障”函数的短狄利克雷多项式。该屏障限制了跨越多个尺度（由 $P e^{-j}$ 定义）的局部欧拉乘积 $\prod_{p \le P} |1 - \chi(p)p^{-s}|^{-1}$ 的增长。这种屏障的设计灵感来自于关于随机乘性函数的结论，旨在抑制那些会导致四阶矩爆炸的“异常”大值。

2. 相关性与矩估计：
   证明策略将主定理归约为涉及代理 $I(\chi)$ 的两个关键命题：

• 相关性： 特征和与代理之间的相关性的下界：$E_{\text{char}} |\sum \chi(n)| |I(\chi)|$。
• 矩： 代理的二阶和四阶矩的上界：$E_{\text{char}} |I(\chi)|^2$ 以及 $E_{\text{char}} |I(\chi)|^4$。
  通过应用 Hölder 不等式，可以从这些量值中导出目标矩的下界。

3. 向随机乘性函数过渡：
   一个关键步骤是从特征和转向 Steinhaus 随机乘性函数 $f(n)$。利用正交关系 $E_{\text{char}} \chi(n)\overline{\chi(m)} = \delta_{n,m}$（当 $n,m < r$ 时成立），作者表明，只要所涉及的狄利克雷多项式的长度相对于 $r$ 足够小（具体为 $x^{2+4\beta} \ll r$），特征平均值就与随机乘性函数的期望相匹配。这使得可以使用概率工具（如 Khintchine 不等式、随机欧拉乘积的性质）来估计 $I(\chi)$ 的矩。

4. 处理屏障：
   核心的技术难点在于估计代理的四阶矩。屏罚 $G_\chi(s)$ 的构造确保了在靠近的点 $s$ 和 $s'$ 处，由于欧拉乘积相关性产生的“爆炸”因子保持在可忽略的水平。屏障限制了对数欧拉乘积的部分和落在特定范围内，从而有效地控制了“乘性混沌”（multiplicative chaos）行为。

主要贡献与结果
本文建立了以下尖锐的下界，与已知的上界相匹配：

• 定理 1： 对于大素数 $r$，对于 $1 \le x \le r^{0.499}$ 且 $0 \le q \le 1$ 均匀成立：
  $$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q} \gg \left( \frac{x}{1 + (1-q)\sqrt{\log \log (10x)}} \right)^q$$
• 定理 2： 同样的尖锐下界也适用于加权和 $\sum_{n \le x} h(n)\chi(n)$，其中 $h(n)$ 是满足 $|h(p)|=1$ 且 $|h(p^k)| \le 1$ 的乘性函数。
• 定理 3： 同样的尖锐下界也适用于连续特征和（zeta sums）$\sum_{n \le x} n^{it}$，其中 $1 \le x \le T^{0.499}$。

意义与主张

• 尖锐性： 这些结果证实了 [10] 中得到的上界在 $x \le r^{0.499}$ 范围内是尖锐的这一猜想。这提供了在该机制下低阶矩的完整数量级理解。
• 方法论创新： 本文引入了一种特定的“经屏障调整的”代理对象，该对象能成功模拟特征和的行为，同时允许进行严格的四阶矩估计。这种方法作为在随机乘性函数设定下使用的条件化论证的替代方案，因为由于导体 $r$ 的限制，直接将后者应用于特征和是非常困难的。
• 范围限制： 作者指出，$x \le r^{0.499}$（具体为 $x < r^{1/2}$）的限制源于调用正交关系 (1.3) 所需的代理狄利克雷多项式的长度约束。
• 未来工作： 文中提到，一篇伴随论文 [14] 利用无权重和的特殊性质，将这些论证扩展到了非加权和的整个范围 $x \le 0.99r$，从而克服了此处遇到的长度限制。这种扩展导致了关于狄利克雷 $\theta$ 函数的非零结果。

本文并未声称解决了 $1 < q < 2$ 时的矩行为（即二阶矩与四阶矩之间的间隙），并指出这仍然是一个开放性的挑战，尽管据推测它遵循类似的对数模式。