[论文解读] A note on character sums over short moving intervals

Adam J. Harper|arXiv (Cornell University)|Mar 17, 2022

Analytic Number Theory Research被引用 4

一句话总结

本文研究了短移动区间上特征和的分布，表明Lamzouri的猜想——在 $ H = o(q/\log q) $ 条件下，归一化和 $ S_{\chi,H}(X)/\sqrt{H} $ 的极限分布为高斯分布——对某些狄利克雷特征不成立，即使在 $ H = q/\log^A q $ 时亦然。然而，在 $ q^{1-o(1)} \leq H = o(q) $ 范围内，该猜想对‘几乎所有’特征成立，使用矩方法与Pólya的傅里叶展开证明。

ABSTRACT

We investigate the sums $(1/\sqrt{H}) \sum_{X < n \leq X+H} χ(n)$, where $χ$ is a fixed non-principal Dirichlet character modulo a prime $q$, and $0 \leq X \leq q-1$ is uniformly random. Davenport and Erdős, and more recently Lamzouri, proved central limit theorems for these sums provided $H ightarrow \infty$ and $(\log H)/\log q ightarrow 0$ as $q ightarrow \infty$, and Lamzouri conjectured these should hold subject to the much weaker upper bound $H=o(q/\log q)$. We prove this is false for some $χ$, even when $H = q/\log^{A}q$ for any fixed $A > 0$. On the other hand, we show it is true for "almost all" characters on the range $q^{1-o(1)} \leq H = o(q)$. Using Pólya's Fourier expansion, these results may be reformulated as statements about the distribution of certain Fourier series with number theoretic coefficients. Tools used in the proofs include the existence of characters with large partial sums on short initial segments, and moment estimates for trigonometric polynomials with random multiplicative coefficients.

研究动机与目标

• 研究Lamzouri关于短移动区间上归一化特征和的高斯分布猜想的有效性。
• 确定当 $ H = o(q/\log q) $ 时，特征和的中心极限定理是否如Lamzouri所猜想的那样成立。
• 分析当 $ X $ 在 $ \{0, \dots, q-1\} $ 上均匀随机时，$ S_{\chi,H}(X)/\sqrt{H} $ 的统计行为，其中 $ \chi $ 是模素数 $ q $ 的非主狄利克雷特征。
• 识别在 $ H = o(q) $ 范围内满足中心极限定理的特征集合，并量化此类特征的比例。

提出的方法

• 使用Pólya的傅里叶展开将特征和重写为具有数论系数的三角多项式。
• 应用矩方法分析分布收敛性，重点关注归一化和的 $ j $-阶与 $ k $-阶矩。
• 使用概率工具与特征的正交性，估计具有随机乘法系数的三角多项式的矩。
• 通过将Steinhaus随机乘法函数作为模型，建立矩积分与高斯矩之间差值的 $ L^2 $-范数上界。
• 证明当 $ j,k \leq \min\{ \log^{1/4}(q/H)/50, \log q / (4\log(q/H)) \} $ 时，矩差值呈指数衰减。
• 通过低阶矩的并集界证明‘坏’特征的密度呈指数级小，从而表明‘几乎所有’特征满足中心极限定理。

实验结果

研究问题

• RQ1 Lamzouri所猜想的 $ H = o(q/\log q) $ 条件下，特征和的中心极限定理是否成立？
• RQ2 是否存在特定的狄利克雷特征，使得即使 $ H = q/\log^A q $（$ A > 0 $ 固定），归一化和 $ S_{\chi,H}(X)/\sqrt{H} $ 仍不收敛于高斯分布？
• RQ3 模 $ q $ 的特征中，有多少比例满足 $ H \in [q^{1-o(1)}, o(q)] $ 时的中心极限定理？
• RQ4 矩方法能否超越 $ (\log H)/\log q \to 0 $ 的范围，扩展至更大的 $ H $？若能，需满足何种条件？
• RQ5 Pólya展开中的傅里叶系数如何影响短特征和的分布行为？

主要发现

• Lamzouri的猜想对某些狄利克雷特征不成立，即使在 $ H = q/\log^A q $（$ A > 0 $ 固定）时亦然，与预期的高斯行为相矛盾。
• 当 $ H \in [q^{1-o(1)}, o(q)] $ 时，中心极限定理对‘几乎所有’模 $ q $ 的特征成立，‘坏’特征的比例以 $ \exp(-c \log^{3/4}(q/H)) $ 的速度衰减。
• 通过使用随机乘法函数的概率估计控制矩差值的 $ L^2 $-范数，矩方法可被扩展至更大的 $ H $。
• 关键的技术步骤是证明：当 $ \chi $ 属于‘好’特征集合时，归一化和的 $ (j,k) $-阶矩收敛于高斯矩 $ k! \mathbf{1}_{j=k} $，对所有固定的 $ j,k $ 成立。
• 证明依赖于：当 $ j,k \leq \log^{1/4}(q/H)/50 $ 时，涉及的特征和集中在 $ \leq q^{0.51} $ 的整数上，从而可应用正交性。
• 通过证明矩积分与高斯极限之间的期望 $ L^2 $-距离以快于任意 $ q $ 的幂次的速度衰减，从而得出在测度意义下收敛，因此对大量特征几乎必然收敛。