[論文レビュー] 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 \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 $ にまで拡張すること。
• 一般化されたヤコビ和 $ J_B(\rho_1, \rho_2, \rho_3, \rho_4, p^m) $ の $ B = p^n $、$ n < m $ の場合、$ m \neq 1 $ のとき、奇数 $ m $ およびキャラクターの偶奇の混合を含む場合の評価を解決すること。
• このような和がゼロまたは非ゼロとなるための必要十分条件を特定すること、特に積キャラクターの原始性と誘導に関する点に焦点を当てる。
• 張、 Yao、および Zhang & Xu の以前の結果を、$ p = 2 $ および $ m \neq 1 $ を含むすべての $ m \neq 1 $ に対して有効な単一の枠組みに統合・一般化すること。
• ガウス和およびキャラクターの誘導の性質を用いて、$ k $-項ヤコビ和を $ k-1 $-項和に帰着させる帰納的評価法を提供すること。

提案手法

• 著者たちは、$ k $-項ヤコビ和を、恒等式 $ J_{p^n}(\rho_1, \rho_2, \rho_3, \rho_4, p^m) = \text{sum over } x_3, \text{...}, x_k \text{ of } J_b(\rho_1, \rho_2, p^m) $ を用いて、$ (k-1) $-項和への再帰的還元戦略を用いる。ここで $ b = p^n - x_3 - \cdots - x_k $ である。
• 彼らは、合同式 $ 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) $ の閉形式評価を導出する。ただし $ p \nmid x(bx - 1) $ である。
• 和 $ 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 一般化されたヤコビ和 $ J_B(\rho_1, \dots, \rho_k, p^m) $ が $ B = p^n $、$ n < m $、$ m \neq 1 $ のとき非ゼロとなる条件は何か？
• RQ2 $ k \geq 3 $ 個のキャラクターに対して、再帰的還元と帰納法を用いて $ J_B(\rho_1, \rho_2, p^m) $ の評価をどのように拡張できるか？
• RQ3 $ J_{p^n}(\rho_1, \dots, \rho_k, p^m) $ の評価における補正因子 $ \delta $ の正確な形は何か？また、$ \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 $ のときこの記号がゼロとなり、その結果和もゼロとなる。