[論文レビュー] Ternary Kloosterman sums using Stickelberger's theorem and the Gross-Koblitz formula

Faruk Göloğlu, Gary McGuire+1 more|arXiv (Cornell University)|Jun 9, 2010

Coding theory and cryptography参考文献 16被引用数 8

ひとこと要約

この論文は、スティッケルバーガーの定理とグロス＝コブリッツの公式を用いて、27および54を法とする3値クローストマン和の完全な特徴付けを提供する。有限体上の一般化されたトレース関数に基づく明示的な合同条件を導出し、和の値が27を法として入力のトレースおよび特定の指数集合（X, Y, Z）の和に依存することを示している。これにより、n ≥ 3 の場合、27通りのすべての可能な値が完全に分類可能であることが明らかになる。

ABSTRACT

We give results characterising ternary Kloosterman sums modulo 9 and 27. This leads to a complete characterisation of values that ternary Kloosterman sums assume modulo 18 and 54. The proofs uses Stickelberger's theorem, the Gross-Koblitz formula and Fourier analysis.

研究の動機と目的

• 27および54を法とする3値クローストマン和を完全に特徴づけること。既知の可除性結果を拡張すること。
• 標準的なトレース写像を超えて、一般化されたトレース関数を用いたクローストマン和の値の分類フレームワークを構築すること。
• 代数的数論の高度な道具—スティッケルバーガーの定理とグロス＝コブリッツの公式—を有限体の指数和に適用すること。
• 27を法とする3値クローストマン和が取り得るすべての値を完全かつ明示的に記述すること。
• 二進クローストマン和に関する先行結果を、類似構造を用いて3進の場合に一般化すること。

提案手法

• 著者たちは、ガウス和のp進付値を分析するためにスティッケルバーガーの定理を用い、グロス＝コブリッツの公式の主要な構成要素である。
• グロス＝コブリッツの公式を適用して、クローストマン和をガウス和およびp進ガンマ関数の積として表現する。
• S ⊆ ℤ/(q−1)ℤ で S^p = S を満たす部分集合 S に対して、一般化されたトレース関数 τ_S を定義する。特に、3進桁パターンを用いて特定の集合 X, Y, Z を定義する。
• 和を27を法として線形結合として表現する：𝒦₃ⁿ(a) ≡ 21·Tr(a)³ + 18·τ_Z(a) + 9·τ_Y(a) + 18·τ_X(a) (mod 27)。
• テイヒミュラー指標およびモジュラー算術の性質を用いて、式を Tr(a), τ_X(a), τ_Y(a), τ_Z(a) のみに依存する形に簡約する。
• 最終的な特徴づけを、Tr(a), τ_X(a), τ_Y(a) に関する合同条件の形で得る。これにより、27通りの完全分類が可能になる。

実験結果

リサーチクエスチョン

• RQ1 3値クローストマン和が27を法として取り得る正確な値は何か？ そして、入力要素の代数的不変量によってどのように決定されるか？
• RQ2 スティッケルバーガーの定理とグロス＝コブリッツの公式を組み合わせることで、9を法とする以降の分類が有効に可能になるか？
• RQ3 特定の指数集合 S に対して定義された一般化されたトレース関数 τ_S は、3の高次のべきを法とするクローストマン和の構造にどのように影響するか？
• RQ4 27を法とするクローストマン和の27通りのすべての値が実現される最小の体サイズは何か？
• RQ5 27を法とする分類と追加のトレース条件から、54を法とする和の構造はどのように導かれるか？

主な発見

• 本論文は、27を法とする3値クローストマン和について27通りの完全分類を提供し、各値が入力のトレースおよび τ_X(a), τ_Y(a), τ_Z(a) の値によって一意に決定されることを示している。
• n ≥ 3 の場合、𝔽₃ⁿ において27を法とするクローストマン和の27通りのすべての値が実現され、その最小の体は 𝔽₃⁶ である。
• 和は 𝒦₃ⁿ(a) ≡ 21·Tr(a)³ + 18·τ_Z(a) + 9·τ_Y(a) + 18·τ_X(a) (mod 27) を満たす。これはグロス＝コブリッツの公式から導出された重要な代数的式である。
• 27を法とする値は、三つ組 (Tr(a), τ_X(a), τ_Y(a)) によって完全に決定され、9通りの異なる組み合わせが27を法とする9つの可能な剰余類のそれぞれを生成する。
• 54を法とする特徴づけは、27を法とする結果と定理10からの追加条件を組み合わせることで得られ、分類がより高い法に拡張される。
• この結果は、先行研究（例えば、ヴァン・デル・ギア＝ヴァン・デル・フライトによる9を法とする結果）を一般化しており、𝒦₃ⁿ(a) ≡ 0 (mod 9) がかつてかつて Tr(a) = 0 であることを確認している。