[论文解读] Character sums over products of prime polynomials

Samuel Porritt|arXiv (Cornell University)|Mar 26, 2020

Analytic Number Theory Research参考文献 7被引用 4

一句话总结

本文推导出在 $\mathbb{F}_q[t]$ 中具有指定数量 $k$ 个不可约因式的一次多项式上的特征和的显式公式，将其与函数域上狄利克雷 $L$-函数的零点联系起来。研究揭示了一种类偏差现象：当 $k(n)$ 随 $n$ 快速增长时，和中的偏差项可能主导振荡项，这与 $k \to \infty$ 时偏差应减弱的预期相矛盾，临界阈值为 $k/\log n \approx \gamma \approx 1.2021$，此时强偏差仍持续存在。

ABSTRACT

We study sums of Dirichlet characters over polynomials in $\mathbb{F}_q[t]$ with a prescribed number of irreducible factors. Our main results are explicit formulae for these sums in terms of zeros of Dirichlet L-functions. We also exhibit new phenomena concerning Chebyshev-type biases of such sums when the number of irreducible factors is very large.

研究动机与目标

• 将特征和在具有 $k$ 个不可约因式的多项式上的显式公式从固定的 $k$ 扩展到随 $n$ 增长的 $k = k(n)$。
• 分析当 $k$ 不固定而随 $n$ 增加时，函数域 $L$-函数中类似切比雪夫偏差的行为。
• 确定在 $k$ 增加时，和中偏差项仍保持显著的条件，这与偏差应随 $k \to \infty$ 而消失的直觉相悖。
• 建立归一化和 $\widetilde{\pi}_k(n,\chi)$ 的统一渐近展开式，以 $L$-函数零点表示，适用于 $k$ 达到 $q^{1/2 - \epsilon} \log n$ 的情形。

提出的方法

• 使用逆梅林变换和佩隆型求和，推导出 $\widetilde{\pi}_k(n,\chi)$ 的显式公式，将和表示为 $L(u,\chi)$ 的零点之和。
• 应用复分析技术，包括梅林变换和留数定理，将和表示为 $L(u,\chi)$ 的零点之和。
• 利用 $L(u,\chi)$ 按零点 $\alpha_j(\chi)$、$\beta_{j'}(\chi)$ 和实零点 $\pm q^{-1/2}$ 的因式分解，根据 $\chi^2 = \chi_0$ 是否成立来区分情况。
• 应用附录中的引理 2 和引理 3，处理当 $k$ 随 $n$ 增长时和的渐近行为，分别处理每个零点的贡献。
• 使用斯特林公式和伽马函数的渐近分析，评估展开式中的主要项，特别是 $\rho = \pm q^{-1/2}$ 和非实 $\rho$ 的情形。
• 推导出临界阈值 $\gamma \approx 1.2021$，使得当 $k/\log n > \gamma$ 时，对所有充分大的偶数 $n$，偏差项主导振荡项。

实验结果

研究问题

• RQ1 当 $k$ 随 $n$ 增长而非固定时，具有 $k$ 个不可约因式的多项式上的特征和如何表现？
• RQ2 函数域 $L$-函数 $L(u,\chi)$ 的零点在决定 $\pi_k(n,\chi)$ 的渐近行为方面起什么作用，尤其当 $k$ 增长时？
• RQ3 当 $k \to \infty$ 时，$\pi_k(n,\chi)$ 的符号中类似切比雪夫的偏差是否仍持续存在，还是如预期那样消失？
• RQ4 在什么 $k(n)$ 条件下，$\pi_k(n,\chi)$ 的显式公式中的偏差项会主导来自非实零点的振荡项？
• RQ5 是否存在一个 $k/\log n$ 的临界值，超过该值后偏差即使在 $k$ 增加时仍保持强烈？

主要发现

• 对于非实 $\chi$，归一化和 $\widetilde{\pi}_k(n,\chi)$ 渐近地表示为 $L(u,\chi)$ 的零点 $\alpha_j(\chi)^{-1}$ 的和，各项为 $m_j^k e^{in\gamma_j}$，并包含主项 $m_+^k + (-1)^n m_-^k$，适用于 $1 \leq k \leq q^{1/2 - \epsilon} \log n$。
• 当 $\chi$ 为实特征（即 $\chi^2 = \chi_0$）时，和中还包括来自 $\pm q^{-1/2}$ 处实零点的额外贡献，这些贡献通过引理 3 处理，并包含涉及 $m_\pm + 1/2$ 的项。
• 当 $k/\log n > \gamma \approx 1.2021$ 时，偏差项持续存在并可能主导振荡项，这与 $k \to \infty$ 时偏差应消失的直觉相矛盾。
• 当 $m_j = 1$ 且 $m_\pm = 0$ 时，渐近展开的主要项为 $h_j(\alpha) = F_{-\alpha}(\rho,\chi) c_\rho^{-\alpha} / \Gamma(1 + \alpha)$，其中 $\rho = \alpha_j(\chi)^{-1}$，且 $\alpha = (k-1)/\log n$。
• 当 $\chi^2 = \chi_0$ 且 $m_\pm = 0$ 时，来自 $\rho = \pm q^{-1/2}$ 的贡献渐近为 $h_\pm(\alpha) \sqrt{1 + r^2/\alpha}$，其中 $r$ 满足方程 $r^2 + r/2 = (k-1)/\log n$，且当 $k/\log n > \gamma$ 时该贡献占主导。
• 本文证明，当 $k/\log n > \gamma$ 时，偏差项保持显著，且偏差的符号取决于 $b = \frac{1}{2} \left( \frac{s-1}{2} - \log(2s) \right)$ 的符号，其中 $s$ 是方程 $s^2 + \frac{s}{4u} - \frac{1}{4u} = 0$ 的正根，$u = (k-1)/\log n$。