[论文解读] On the power mean of a sum analogous to the Kloosterman sum

Shane Chern|arXiv (Cornell University)|Dec 5, 2017

Analytic Number Theory Research参考文献 5被引用 10

一句话总结

本文研究了与 Kloosterman 和类似的字符和的四次幂平均，定义为 $ H(m,n,k,\theta;p) = \sum_{a=1}^{p-1} \chi(ma + n\overline{a}) e(ka/p) $。通过解析方法和字符和恒等式，作者推导出模 $ p $ 的所有狄利克雷字符上的和的精确公式，该公式以 $ p $、$ T(p) $ 和 $ T_L(p) $ 表示，其中 $ T(p) $ 和 $ T_L(p) $ 是尚未有已知闭式表达的字符和，但被证明具有涉及勒让德符号的等价表达式。

ABSTRACT

In this paper, we study the power mean of a sum analogous to the Kloosterman sum by using analytic methods for character sums.

研究动机与目标

• 计算模奇素数 $ p $ 的所有狄利克雷字符上，字符和 $ H(m,n,k,\theta;p) $ 的四次幂平均，该和是经典 Kloosterman 和的变体。
• 推导和 $ \sum_{\chi \bmod p} \sum_{m=1}^{p-1} \left| \sum_{a=1}^{p-1} \chi(ma + n\overline{a}) e(ka/p) \right|^4 $ 的闭式表达，该表达式推广了关于字符和幂平均的先前结果。
• 分析并以勒让德符号表示计算中自然出现的算术和 $ T(p) $ 与 $ T_L(p) $，并为它们提供等价形式。
• 建立一个具有独立兴趣的新字符和恒等式，该恒等式在主结果的推导中起关键作用。
• 通过引入涉及乘法逆元和字符扭结的双线性结构，扩展先前关于字符和混合幂平均的工作。

提出的方法

• 作者使用解析数论技术，特别是字符和的运算和正交关系，来计算广义和 $ H(m,n,k,\theta;p) $ 的四次幂平均。
• 他们应用经典恒等式 $ \sum_{a=1}^p \chi(a) e(na/p) = \overline{\chi}(n) \sum_{a=1}^p \chi(a) e(a/p) $ 来简化扭曲的指数和。
• 计算依赖于将字符和 $ \chi \bmod p $ 分解，分别处理 $ \chi = \chi_0 $、$ \chi = \chi_L $ 和 $ \chi \neq \chi_0, \chi_L $ 的情况，以独立处理不同类型的字符。
• 关键步骤包括计算一个新字符和恒等式：$ \sum_{\psi \bmod p} \left| \sum_{u,a} \overline{\psi}(ua-1) \psi(u\overline{a}-1) \psi^2(a-1) \right|^2 = (p-1)(p^3 - 8p^2 + 29p - 53) $，该恒等式在推导中被递归使用。
• 作者将复杂的和 $ T(p) $ 与 $ T_L(p) $ 表示为涉及勒让德符号的等价形式，从而实现进一步简化与分析。
• 他们利用字符的正交性与双重求和技术，将幂平均简化为已知和与新字符和恒等式的组合。

实验结果

研究问题

• RQ1 模奇素数 $ p $ 的所有狄利克雷字符上，字符和 $ H(m,n,k,\chi;p) = \sum_{a=1}^{p-1} \chi(ma + n\overline{a}) e(ka/p) $ 的四次幂平均的确切值是什么？
• RQ2 出现在最终表达式中的和 $ T(p) $ 与 $ T_L(p) $ 能否用勒让德符号或其他已知算术函数表示？
• RQ3 所推导的四次幂平均公式是否具有闭式表达，还是 $ T(p) $ 与 $ T_L(p) $ 本质上无法闭合？
• RQ4 是否存在一个新字符和恒等式作为计算的基础，并在主结果之外具有独立兴趣？
• RQ5 主字符 $ \chi_0 $、勒让德符号 $ \chi_L $ 与非平凡字符对整体幂平均的贡献如何？

主要发现

• 模 $ p $ 的所有字符上，和 $ H(m,n,k,\chi;p) $ 的四次幂平均为 $ (p-1)(p^2 - 10p + 37 + p T(p) - T_L(p)) $，其中 $ T(p) $ 与 $ T_L(p) $ 定义为特定字符和。
• 和 $ T(p) $ 被证明具有等价表达式：$ (p-5)(2p-5) - \left(\frac{2}{p}\right) + \sum_{\substack{a \neq b \\ a+b-2ab \not\equiv 0 \pmod{p}}} \left(\frac{\Delta(a,b)}{p}\right) $，其中 $ \Delta(a,b) = (1 - a^2b^2)^2 + 4ab(a+b-2)(a+b-2ab) $。
• 和 $ T_L(p) $ 定义为 $ \sum_{u=1}^{p-1} \left( \sum_{a=1}^{p-1} \left( \frac{(ua-1)(u\overline{a}-1)}{p} \right) \right)^2 $，并被证明与二次高斯和结构相关。
• 建立了一个新字符和恒等式：$ \sum_{\psi \bmod p} \left| \sum_{u,a} \overline{\psi}(ua-1) \psi(u\overline{a}-1) \psi^2(a-1) \right|^2 = (p-1)(p^3 - 8p^2 + 29p - 53) $，该恒等式在推导中起关键作用。
• 主字符 $ \chi_0 $ 对幂平均的贡献为 $ 2p - 5 $，而非主字符的贡献为 $ p(p - 3 - \overline{\chi}(-1)) $，取决于 $ \chi(-1) $ 的符号。
• 四次幂平均的最终公式表示为 $ p $ 的多项式项、和 $ T(p) $ 与 $ T_L(p) $ 的组合，其中后两者尚无已知闭式，但其算术结构已完全刻画。