[論文レビュー] Power moments of Kloosterman sums

Ke Гонг, Willem Veys+1 more|arXiv (Cornell University)|Jun 18, 2013

Coding theory and cryptography参考文献 5被引用数 3

ひとこと要約

この論文は、q が強力な素数冪（q = p^r）である場合、Igusa zeta 関数およびp進解析を用いて、ℤ/qℤ 上のKloosterman和のべきモーメントの明示的公式を導出する。十分に大きな指数 r を持つ q = p^r に対して、n が奇数のとき n 階モーメント S_n(p^r) は 0 に等しくなり、n が偶数のときは閉形式の式が得られ、その r の最適な上限は n および p に依存する。

ABSTRACT

In this paper we give an essential treatment for estimating arbitrary integral power moments of Kloosterman sums over the residue class ring. For prime moduli we derive explicit estimates, and for prime-power moduli we prove concrete formulas using computations with Igusa zeta functions.

研究の動機と目的

• q が素数冪であるとき、ℤ/qℤ 上のKloosterman和のn次べきモーメントの明示的公式を導出すること。
• v が変化する際のKloosterman和 K(1,v;q) の分布を理解すること、特に q が大きい場合に注目する。
• n に対して q が十分に強力である場合、S_n(q) に対して一様で洗練された公式を確立すること。
• 高次モーメントの複雑さを解消し、それらが単純化する条件を同定すること。
• 暗号理論および符号理論への応用に必要な、Kloosterman和の最大絶対値に対する鋭い上限を得るための基盤を提供すること。

提案手法

• Kloosterman和の乗法的性質を用いて、一般のモーメント S_n(q) を素数冪の場合に還元すること。
• Igusa zeta 関数を用いて、p進局所因子のべきモーメントを計算すること。
• p進静的位相法およびテイラー展開を用いて、p^r で割った剰余における解の解析をすること。
• Henselの補題およびその精密化された変種を用いて、低次のp進レベルから高次のレベルへの解の数え上げをすること。
• 特に p=2 の場合に、p進空間における特異解と非特異解の解析をすること。
• 偏微分の次数を計算して、持ち上げの挙動を制御し、条件を満たさない場合の寄与が消えることを保証すること。

実験結果

リサーチクエスチョン

• RQ1 q および n に対して、Kloosterman和のべきモーメント S_n(q) が明示的な閉形式式をもつための条件は何か？
• RQ2 p進付値 v_p(q) の大きさは、奇数次のモーメントの消滅または非消滅にどのように影響するか？
• RQ3 偶数 n に対して、モーメント公式が有効となる r = v_p(q) の正確な閾値は何か？
• RQ4 導出された境界より r が小さい場合、なぜ公式が破綻するのか、p進解析によってどのようにしてその兆候を検出できるか？
• RQ5 特に p=2 の場合に、q が強力な素数冪であるとき、高次モーメントの挙動を一様に記述できるか？

主な発見

• n が奇数のとき、r > log_p(n) + 1 ならば S_n(p^r) = 0 であり、この境界は最適である。
• n が偶数のとき、r > log_p(n/2) + 1 かつ p が奇数ならば S_n(p^r) = binom(n-1, n/2 - 1) * (p-1)/p * p^{(n/2 + 1)r} である。
• p = 2 で n が偶数のとき、r > log_2(n) + 2 ならば S_n(2^r) = binom(n-1, n/2 - 1) * 2^{n/2 - 2} * 2^{(n/2 + 1)r} である。
• 定理における r の境界は、コンピュータ実験と r が小さすぎる場合の公式の失敗により、最適であることが確認されている。
• p=2 の場合、2 で割った剰余における特異性のため、より洗練された解析が必要であり、指数の閾値が高くなる。
• r が小さいとき、n mod p に依存する補正項がモーメント公式に現れ、複雑性が増加することが示唆される。