[论文解读] Improving the error term in the mean value of $L( frac{1}{2},\chi )$ in the hyperelliptic ensemble

Alexandra Florea|arXiv (Cornell University)|May 12, 2015

Coding theory and cryptography参考文献 11被引用 3

一句话总结

本文改进了函数域上双曲椭圆系中二次狄利克雷L-函数在临界点处均值的渐近公式中的误差项。通过解析数论技术，包括特征和、高斯和与围道积分，作者识别出一个大小为 |D|^{1/3} \log_q |D| 的额外主项，并将误差项减少至 O(|D|^{1/4 + \epsilon})，显著优于安德拉德与基廷此前得到的 O(|D|^{3/4 + \log_q 2}) 估计。

ABSTRACT

Andrade and Keating computed the mean value of quadratic Dirichlet $L$--functions at the critical point, in the hyperelliptic ensemble over a fixed finite field $\mathbb{F}_q$. Summing $L(1/2,\chi_D)$ over monic, square-free polynomials $D$ of degree $2g+1$, the main term is of size $|D| \log_q |D|$ (where $|D|=q^{2g+1}$) and Andrade and Keating bound the error term by $|D|^{\frac 34+ \frac{\log_q(2)}{2}}$. For simplicity, we assume that $q$ is prime with $q \equiv 1 \pmod 4$. We prove that there is an extra term of size $|D|^{1/3} \log_q|D|$ in the asymptotic formula and bound the error term by $|D|^{1/4+\epsilon}$.

研究动机与目标

• 细化函数域上双曲椭圆系中二次狄利克雷L-函数在临界点处一阶矩的渐近公式。
• 将 L(1/2, χ_D) 均值的误差项界从 O(|D|^{3/4 + \log_q 2}) 改进为 O(|D|^{1/4 + \epsilon})。
• 在渐近展开中识别并包含一个大小为 |D|^{1/3} \log_q |D| 的额外主项。
• 通过利用函数域中高斯和与特征和的性质，将分析拓展至超越平方根抵消的范围。
• 验证结果与数域情形下猜想的矩一致，并支持安德拉德与基廷在函数域情形下对整数矩的猜想。

提出的方法

• 在函数域上应用佩松求和公式，结合高斯和与特征和，分析次数为 2g+1 的首一且无平方因子多项式之和。
• 使用生成函数与欧拉乘积表达涉及L-函数的特征和，引入 zeta 函数与 F_q[x] 上的狄利克雷L-函数。
• 在复平面上对生成函数实施围道积分，通过精心选择积分路径以分离主项并控制误差项。
• 引入一个修改后的生成函数 B(V; w, u)，结合高斯和与解析延拓，实现对特征和平均值的精确估计。
• 利用 [2] 中已知的估计结果，特别是对 |L(q^{-1/2}, χ_D)| 的估计，控制误差项的大小。
• 使用哈塞-达文波特关系，将结果从素数 q 推广至素数幂 q = p^k 且满足 q ≡ 1 (mod 4) 的情形，并相应调整高斯和的归一化方式。

实验结果

研究问题

• RQ1 在双曲椭圆系中，L(1/2, χ_D) 一阶矩的渐近展开中是否存在此前未被计入的主项？
• RQ2 能否将安德拉德与基廷建立的 O(|D|^{3/4 + \log_q 2}) 误差项界进一步改进？
• RQ3 函数域中高斯和的结构是否允许超越平方根界抵消的抵消，从而实现更紧的误差控制？
• RQ4 与数域上二次L-函数猜想的矩相比，结果在低阶项方面有何异同？
• RQ5 该方法能否推广至计算双曲椭圆系中 L(1/2, χ_D) 的高阶矩（如二阶与三阶）？

主要发现

• 在 L(1/2, χ_D) 一阶矩的渐近展开中，识别出一个大小为 |D|^{1/3} \log_q |D| 的额外主项，该主项在安德拉德与基廷的原始公式中未被包含。
• 对 ∑_{D ∈ H_{2g+1}} L(1/2, χ_D) 的误差项界为 O(|D|^{1/4 + \epsilon})，对任意 ε > 0 成立，显著优于此前的 O(|D|^{3/4 + \log_q 2}) 估计。
• 渐近公式中的主项包含一个涉及 C(1)/ζ(2) 的常数因子，其中 C(s) 是对不可约多项式的欧拉乘积；另包含一个涉及 C'(1)/\log q 的修正项。
• 大小为 |D|^{1/3} 的次主项源于具有特定导子结构的无平方因子多项式的贡献，通过次数为 1 的多项式 R(2g+1) 捕获。
• 该方法成功突破了平方根抵消的限制，实现了比数域情形下可达到的更优误差界。
• 一阶矩的结果与安德拉德与基廷的猜想一致，且本文计算的二阶与三阶矩也与同一猜想相符。