[论文解读] Evaluating Prime Power Gauss and Jacobi Sums

Misty Long, Vincent Pigno+1 more|arXiv (Cornell University)|Oct 22, 2014

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

一句话总结

本文对模 $ p^m $ 的广义雅可比和 $ J_B(\rho_1, \rho_2, \rho_3, \rho_4, p^m) $ 进行了完整评估，将先前仅限于偶数 $ m $ 或特定字符配置的结果推广至所有 $ m \neq 1 $，无论奇偶性如何。当字符为本原字符且其乘积由模 $ p^{m-n} $ 的本原字符诱导时，本文建立了这些和的显式公式，公式中包含高斯和、雅可比符号与单位根，且对所有 $ m \neq 1 $ 成立。

ABSTRACT

We show that for any mod $p^m$ characters, $χ_1, \dots, χ_k,$ the Jacobi sum, $$ \sum_{x_1=1}^{p^m}\dots \sum_{\substack{x_k=1\\x_1+\dots+x_k=B}}^{p^m}χ_1(x_1)\dots χ_k(x_k), $$ has a simple evaluation when $m$ is sufficiently large (for $m\geq 2$ if $p mid B$). As part of the proof we give a simple evaluation of the mod $p^m$ Gauss sums when $m\geq 2$.

研究动机与目标

• 将雅可比和在素数幂模 $ p^m $ 上的评估结果从先前仅限于偶数 $ m $ 或特定字符配置的情况推广至所有 $ m \neq 1 $。
• 解决当 $ m \neq 1 $ 时，广义雅可比和 $ J_B(\rho_1, \rho_2, \rho_3, \rho_4, p^m) $ 在 $ B = p^n $，$ n < m $ 时的情形，涵盖奇数 $ m $ 和字符奇偶性混合的情况。
• 建立此类和为零或非零的充要条件，特别关注乘积字符的本原性与诱导性。
• 将张、姚以及张与徐的早期结果统一并推广至一个适用于所有 $ m \neq 1 $ 的单一框架，包括 $ p = 2 $ 和 $ m \neq 1 $ 的情形。
• 提出一种基于归纳法的递归方法，通过将 $ k $-元雅可比和化约为 $ k-1 $-元和，利用高斯和与字符诱导的性质，实现 $ k $-元和的评估。

提出的方法

• 作者采用递归约化策略，通过恒等式 $ J_{p^n}(\rho_1, \rho_2, \rho_3, \rho_4, p^m) = \text{对 } x_3, \dots, x_k \text{ 求和 } J_b(\rho_1, \rho_2, p^m) $，其中 $ b = p^n - x_3 - \cdots - x_k $，将 $ k $-元雅可比和表示为 $ (k-1) $-元和的和。
• 他们通过求解同余式 $ c_1 + c_2 - c_1 b x \equiv 0 \pmod{p^{\lfloor (m+n)/2 \rfloor + 1}} $ 的解 $ x_0 $，推导出二元雅可比和 $ J_b(\rho_1, \rho_2, p^m) $ 的闭式评估。
• 二元雅可比和 $ J_b(\rho_1, \rho_2, p^m) $ 的评估结果以高斯和因子、雅可比符号和单位根表示，其中当 $ p \neq 2 $ 时，$ \delta_2 = \left(\frac{-2r}{p}\right)^m \left(\frac{c_1 c_2 (c_1 + c_2)}{p}\right)^m \varepsilon_{p^m} $，而 $ p = 2 $ 时有类似表达式。
• 该方法依赖于刻画 $ J_b(\rho_1, \rho_2, p^m) = 0 $ 的条件，例如当 $ p \mid c_1 $ 且 $ p \mid c_2 $，或当 $ p \nmid c_1 c_2 (c_1 + c_2) $ 时，会触发非零公式。
• 对于 $ k \geq 3 $，作者通过归纳法，假设公式对 $ k-1 $ 个字符成立，然后将二元和结果与归纳假设结合，推导出完整的 $ k $-元公式。
• 最终 $ J_{p^n}(\rho_1, \dots, \rho_k, p^m) $ 的公式通过结合二元和结果与归纳评估得出，得到一个包含 $ \delta_2 \delta_3 = \delta $ 的乘法因子，其中 $ \delta $ 为包含高斯和与符号项的完整校正因子。

实验结果

研究问题

• RQ1 在 $ B = p^n $，$ n < m $，且 $ m \neq 1 $ 时，广义雅可比和 $ J_B(\rho_1, \dots, \rho_k, p^m) $ 在何种条件下非零？
• RQ2 如何通过递归约化与归纳法，将 $ J_B(\rho_1, \rho_2, p^m) $ 的评估扩展至 $ k \geq 3 $ 个字符？
• RQ3 在 $ J_{p^n}(\rho_1, \dots, \rho_k, p^m) $ 的评估中，校正因子 $ \delta $ 的精确形式是什么？其如何依赖于字符的指标 $ c_i $、素数 $ p $ 以及 $ m $ 的奇偶性？
• RQ4 对于 $ p = 2 $，特别是当 $ m \geq 5 $ 时，其结果与奇素数的情形有何不同，特别是在校正因子 $ \delta $ 的结构方面？
• RQ5 乘积字符 $ \rho_1 \cdots \rho_k $ 模 $ p^{m-n} $ 的本原性在判断和为零或非零时起什么作用？

主要发现

• 当 $ m \geq n+2 $ 时，广义雅可比和 $ J_{p^n}(\rho_1, \dots, \rho_k, p^m) $ 为零，除非所有 $ \rho_i $ 在模 $ p^m $ 下均为本原字符，且 $ \rho_1 \cdots \rho_k $ 是由模 $ p^{m-n} $ 的本原字符诱导而来。
• 当满足非零条件时，该和的值为 $ p^{\frac{1}{2}(m(k-1)+n)} \cdot \frac{\rho_1(c_1) \cdots \rho_k(c_k)}{\rho_1 \cdots \rho_k(v)} \cdot \delta $，其中 $ v = (c_1 + \cdots + c_k)/p^n $。
• 对于奇素数 $ p $，校正因子 $ \delta $ 为 $ \left(\frac{-2r}{p}\right)^{m(k-1)+n} \left(\frac{v}{p}\right)^{m-n} \left(\frac{c_1 \cdots c_k}{p}\right)^m \varepsilon_{p^m}^k \varepsilon_{p^{m-n}}^{-1} $，其中 $ r $ 和 $ c_i $ 由字符指标定义。
• 当 $ p = 2 $ 且 $ m - n \geq 5 $ 时，$ \delta = \left(\frac{2}{v}\right)^{m-n} \left(\frac{2}{c_1 \cdots c_k}\right)^m \omega^{(2^n - 1)v} $，其中 $ \omega = e^{\pi i / 4} $，且当 $ m - n = 2, 3, 4 $ 时需额外添加校正因子。
• 当 $ k = 2 $ 时，公式退化为二元和的已知结果，且校正因子 $ \delta_2 $ 与高斯和与雅可比和的标准形式一致。
• 当 $ m $ 为奇数且 $ p \neq 2 $ 时，校正因子包含一个雅可比符号 $ \left(\frac{vc_1 \cdots c_k}{p}\right) $，当 $ p \mid vc_1 \cdots c_k $ 时该符号为零，导致和为零。