[论文解读] 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

一句话总结

本文利用Stickelberger定理与Gross-Koblitz公式，对模27和54的三元Kloosterman和进行了完整的特征刻画。通过有限域上广义迹函数推导出显式的同余条件，表明模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的三元Kloosterman和，扩展已知的可除性结果。
• 建立一个框架，利用广义迹函数对Kloosterman和的取值进行分类，超越标准迹映射的范围。
• 应用代数数论中的高级工具——Stickelberger定理与Gross-Koblitz公式——研究有限域指数和。
• 提供三元Kloosterman和模27下所有可能取值的完整且显式的描述。
• 通过类比二元Kloosterman和的结构，将先前结果推广至三元情形。

提出的方法

• 作者利用Stickelberger定理分析高斯和的p进赋值，而高斯和是Gross-Koblitz公式中的关键成分。
• 他们应用Gross-Koblitz公式，将Kloosterman和表示为高斯和与p进Gamma函数的乘积。
• 针对满足S^p = S的子集S ⊆ ℤ/(q−1)ℤ，定义广义迹函数τ_S，其中特定集合X、Y、Z通过3进制数位模式定义。
• 将和模27表示为线性组合形式：𝒦₃ⁿ(a) ≡ 21·Tr(a)³ + 18·τ_Z(a) + 9·τ_Y(a) + 18·τ_X(a) (mod 27)。
• 通过Teichmüller特征标与模算术的性质，将表达式简化为仅依赖于Tr(a)、τ_X(a)、τ_Y(a)与τ_Z(a)的形式。
• 最终通过涉及Tr(a)、τ_X(a)与τ_Y(a)的同余关系实现完整分类。

实验结果

研究问题

• RQ1 三元Kloosterman和模27的精确取值是什么？其值如何由输入元素的代数不变量决定？
• RQ2 Stickelberger定理与Gross-Koblitz公式能否有效结合，以实现对模9以上的Kloosterman和的分类？
• RQ3 在特定指数集S上定义的广义迹函数τ_S如何影响模3的更高次幂下Kloosterman和的结构？
• RQ4 在何种最小的域大小下，模27的Kloosterman和的所有27种可能取值均被实现？
• RQ5 模54下的和的结构如何从模27的分类结果与额外的迹条件中推导而出？

主要发现

• 本文对三元Kloosterman和模27实现了完整的27种情况分类，每种取值均由输入的迹及τ_X(a)、τ_Y(a)、τ_Z(a)的值唯一确定。
• 当n ≥ 3时，所有27种模27下可能的Kloosterman和取值均在𝔽₃ⁿ中实现，其中最小的此类域为𝔽₃⁶。
• 和满足𝒦₃ⁿ(a) ≡ 21·Tr(a)³ + 18·τ_Z(a) + 9·τ_Y(a) + 18·τ_X(a) (mod 27)，这是由Gross-Koblitz公式推导出的关键代数表达式。
• 模27下的取值完全由三元组(Tr(a), τ_X(a), τ_Y(a))决定，9种不同的组合对应每种模27下可能的剩余类。
• 模54的刻画通过结合模27的结果与定理10中的附加条件推导得出，将分类扩展至更高模数。
• 该结果推广了早期成果，如van der Geer与van der Vlugt在模9下的结果，并证实𝒦₃ⁿ(a) ≡ 0 (mod 9)当且仅当Tr(a) = 0。