[論文レビュー] 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和に類似した文字和の4乗平均を、$ H(m,n,k,\theta;p) = \sum_{a=1}^{p-1} \chi(ma + n\overline{a}) e(ka/p) $ として定義し、解析的技法と文字和の恒等式を用いて、奇素数 $ p $ を法とするすべてのDirichlet文字和に関する和の正確な公式を導出する。この公式は $ p $、$ T(p) $、$ T_L(p) $ を用いて表され、$ T(p) $ と $ T_L(p) $ は閉形式で知られていないが、Legendre記号を用いた同値表現が示されている。

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 $ を法とするすべてのDirichlet文字和に関して、古典的Kloosterman和の変種である文字和 $ H(m,n,k,\theta;p) $ の4乗平均を計算すること。
• 以前の文字和のべき平均に関する結果を一般化する、和 $ \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) $ をLegendre記号を用いて分析し、それらの同値表現を提供すること。
• 主結果の導出に核心的役割を果たす、独立に興味深い新しい文字和の恒等式を確立すること。
• 乗法的逆元と文字和のねじれを含む双線形構造を組み込んだ、従来の混合べき平均に関する研究を拡張すること。

提案手法

• 著者たちは、特に文字和の操作と直交性関係を用いた解析的数論的手法を用い、一般化された和 $ H(m,n,k,\theta;p) $ の4乗平均を評価する。
• 歪められた指数和を簡略化するために、古典的恒等式 $ \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) $ は、Legendre記号を用いた同値表現に書き換えられ、さらなる簡略化と分析が可能になる。
• 文字和の直交性と二重和の技法を用いて、べき平均を既知の和と新しい文字和の恒等式の組み合わせに還元する。

実験結果

リサーチクエスチョン

• RQ1 奇素数 $ p $ を法とするすべてのDirichlet文字和に関して、文字和 $ H(m,n,k,\chi;p) = \sum_{a=1}^{p-1} \chi(ma + n\overline{a}) e(ka/p) $ の4乗平均の正確な値は何か？
• RQ2 最終式に現れる和 $ T(p) $ と $ T_L(p) $ は、Legendre記号や他の既知の算術関数を用いて表現可能か？
• RQ3 導出された4乗平均の公式は閉形式で表されるか、それとも $ T(p) $ と $ T_L(p) $ は本質的に閉形式を持たないか？
• RQ4 計算の背後にある、独立に興味深い新しい文字和の恒等式が存在するか？
• RQ5 主文字和 $ \chi_0 $、Legendre記号 $ \chi_L $、非自明な文字和の寄与は、全体のべき平均にどのように影響するか？

主な発見

• すべての文字和を法とする $ H(m,n,k,\chi;p) $ の4乗平均は、$ (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 $ であり、非主文字和の寄与は $ \chi(-1) $ の符号に依存して $ p(p - 3 - \overline{\chi}(-1)) $ となる。
• 4乗平均の最終公式は、$ p $ の多項式項、和 $ T(p) $、$ T_L(p) $ の組み合わせとして表され、後者2つには閉形式は未知だが、その算術的構造は完全に特定されている。