[論文レビュー] Explicit Evaluation of Certain Exponential Sums of Quadratic Functions over $\Bbb F_{p^n}$, $p$ Odd

Sandra Draper, Xiang‐dong Hou|ArXiv.org|Aug 27, 2007

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

ひとこと要約

本稿は、奇素数 $p$ に対して有限体 $\mathbb{F}_{p^n}$ 上の二次関数の指数和に対して明示的な公式を提供する。$p$-進順序の条件の下で、$S(f,mn)$ を $S(f,n)$ の相対的表現として導出し、すべての $\nu_2(\alpha_i)$ が等しく $\nu_2(n)$ より小さい場合の $S(f,n)$ の明示的評価を示し、カルツィットおよびボームエルト–マクエリスの先行結果を一般化する。

ABSTRACT

Let $p$ be an odd prime and let $f(x)=\sum_{i=1}^ka_ix^{p^{α_i}+1}\in\Bbb F_{p^n}[x]$, where $0\le α_10$. Assuming that all such nullities are known, we find relative formulas for $S(f,mn)$ in terms of $S(f,n)$ when $ν_p(m) \le \min\{ν_p(α_i):1\le i\le k\}$, where $ν_p$ is the $p$-adic order. We also find an explicit formula for $S(f,n)$ when $ν_2(α_1)=...= ν_2(α_k)

研究の動機と目的

• 多項式 $f(x) = \sum_{i=1}^k a_i x^{p^{\alpha_i}+1}$ に対して、$\mathbb{F}_{p^n}$ 上で $S(f,n) = \sum_{x \in \mathbb{F}_{p^n}} e_n(f(x))$ の明示的評価を一般化すること。ここで $p$ は奇素数である。
• 二次形式 $\operatorname{Tr}_{mn}(f(x))$ のノルティーが既知である場合、$p$-進順序制約の下で $S(f,mn)$ を $S(f,n)$ の相対的公式として確立すること。
• すべての $\nu_2(\alpha_i)$ が等しく $\nu_2(n)$ より小さいとき、$S(f,n)$ の明示的公式を導出すること。これは $p=2$ の場合の先行結果を拡張する。
• 二次形式 $\operatorname{Tr}_n(f(x))$ のノルティーとタイプを計算する体系的な手法を提供すること。これにより $S(f,n)$ が完全に決定される。

提案手法

• 本稿は、$\mathbb{F}_p$ 上の標準形理論を用いて、$S(f,n)$ を二次形式 $\operatorname{Tr}_n(f(x))$ のノルティーとタイプの関数として表現する。
• 本稿は、$f(x)$ の指数 $\alpha_i$ と係数 $a_i$ に基づく効果的なアルゴリズムを用いて、$\operatorname{Tr}_n(f(x))$ のノルティーを計算する。
• 相対的公式のため、本稿は $m = q^s$（$q$ が素数）の場合の $S(f,mn)$ を分析し、$q \neq p,2$、$q=2$、$q=p$ の場合に分けて、トレースおよび体拡大の性質を用いる。
• $m = p^s$ の場合、$S(f,pn)$ を $S(f,n)$ に結びつけるには、条件 $\nu_p(m) \leq \min_i \nu_p(\alpha_i)$ が必要であり、トレースおよび双一次形式の不変性を用いる。
• 明示的評価のため、本稿は条件 $\nu_2(\alpha_1) = \cdots = \nu_2(\alpha_k) < \nu_2(n)$ を用いて、$S(f,n)$ の閉形式表現を導出し、2-進整数値の対称性を活用する。
• この手法は、トレースの恒等式、ガウス和の性質、有限体のキャラクターにおける二次相互法則に依存する。

実験結果

リサーチクエスチョン

• RQ1 多項式 $f(x) = \sum_{i=1}^k a_i x^{p^{\alpha_i}+1}$ に対して、$\mathbb{F}_{p^n}$ 上で $p$ が奇素数のとき、$S(f,mn)$ を $S(f,n)$ の明示的表現として得られる条件は何か？
• RQ2 $\alpha_i$ の $p$-進整数値と拡大次数 $n$ が、$S(f,n)$ の評価にどのように影響するか？
• RQ3 すべての $\nu_2(\alpha_i)$ が等しく $\nu_2(n)$ より小さい場合に、$S(f,n)$ の明示的公式を導出可能か？
• RQ4 $\operatorname{Tr}_n(f(x))$ の二次形式のノルティーとタイプが $S(f,n)$ を決定づける役割を果たすか？
• RQ5 $m=q^s$（$q \neq p,2$、$q=2$、$q=p$）の場合に、$S(f,mn)$ の相対的公式はどのように異なるか？

主な発見

• 条件 $\nu_p(m) \leq \min_i \nu_p(\alpha_i)$ の下で、本稿は $S(f,mn)$ を $S(f,n)$ の相対的表現として提供する。これは、$\nu_p(m)$ が指数の最小 $p$-進整数値で有界なすべての $m$ に対して有効である。
• $q \neq p,2$ の $m = q^s$ の場合、本稿は $S(f,qn)$ を $S(f,n)$ の明示的相対的公式として導出し、トレースおよび体拡大の対称性を用いる。
• $m = 2^s$ の場合、本稿は $S(f,2^s n)$ を $S(f,n)$ の相対的公式として提供し、拡大次数を2倍したときの二次形式の構造を活用する。
• $m = p^s$ の場合、$S(f,pn)$ を $S(f,n)$ に結びつける公式は、$\nu_p(n) < \min_i \nu_p(\alpha_i)$ のときのみ有効であり、これはベース体拡大における形式のタイプの不変性を保証する。
• 条件 $\nu_2(\alpha_1) = \cdots = \nu_2(\alpha_k) < \nu_2(n)$ の下で、本稿は $S(f,n)$ の明示的公式を提示する。これは特殊ケース $S(ax^{p^\alpha+1})$ の閉形式評価を含む。
• 本稿は、$p^n = 3$ および $p^n = 5$ の場合の $\operatorname{Tr}_n(f)$ のノルティーの表を提供し、それぞれ $\alpha_k \leq 4$ および $\alpha_k \leq 3$ である。これらの表は $S(f,n)$ の計算を支援する。