[논문 리뷰] Explicit Evaluation of Certain Exponential Sums of Quadratic Functions over $\Bbb F_{p^n}$, $p$ Odd

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

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)$의 명시적 평가를 제공하여 Carlitz 및 Baumert–McEliece의 이전 결과를 일반화한다.

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))$ 의 영공간 차수(Nullity)가 알려진 상태에서 $p$-진 순서 제약 조건 하에 $S(f,mn)$ 에 대한 상대적 공식을 $S(f,n)$ 로 유도하는 것.
• 모든 $\nu_2(\alpha_i)$ 가 같고 $\nu_2(n)$ 보다 작을 경우 $S(f,n)$ 에 대한 명시적 공식을 유도하는 것으로, 이는 $p=2$ 경우에 대한 이전 결과를 확장하는 것이다.
• 지수합 $S(f,n)$ 를 완전히 결정짓는 이차형식 $\operatorname{Tr}_n(f(x))$ 의 영공간 차수와 유형을 계산하는 체계적 방법을 제공하는 것.

제안 방법

• 논문은 $\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$ 인 경우 $S(f,mn)$ 을 분석하며, 여기서 $q$ 는 소수이다. 이 경우를 $q \neq p,2$, $q=2$, $q=p$ 로 나누어 추적 및 체적 확장 성질을 사용한다.
• 특히 $m = p^s$ 인 경우, $\nu_p(m) \leq \min_i \nu_p(\alpha_i)$ 라는 조건이 필요하며, 이 조건을 통해 추적과 이차형식의 불변성에 기반해 $S(f,pn)$ 과 $S(f,n)$ 을 연결한다.
• 명시적 평가를 위해, 논문은 조건 $\nu_2(\alpha_1) = \cdots = \nu_2(\alpha_k) < \nu_2(n)$ 을 사용하여 $S(f,n)$ 에 대한 닫힌 표현식을 유도하며, 이는 $2$-진 순서의 대칭성을 활용한다.
• 이 방법은 추적 항등식, 가우스 합 성질, 그리고 유한체의 문자에 대한 이차 reciprocity 법칙을 기반으로 한다.

실험 결과

연구 질문

• 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$ 와 확장 차수 $n$ 의 $p$-진 순서가 $S(f,n)$ 의 평가에 어떻게 영향을 미치는가?
• RQ3 모든 $\nu_2(\alpha_i)$ 가 같고 $\nu_2(n)$ 보다 작을 경우, $S(f,n)$ 에 대한 명시적 공식을 도출할 수 있는가?
• RQ4 지수합 $S(f,n)$ 을 결정하는 데 있어 이차형식 $\operatorname{Tr}_n(f(x))$ 의 영공간 차수와 유형의 역할은 무엇인가?
• RQ5 $m=q^s$ 인 경우, $q \neq p,2$, $q=2$, $q=p$ 로 나누어 $S(f,mn)$ 의 상대적 공식은 어떻게 다를까?

주요 결과

• 모든 $m$ 에 대해 $\nu_p(m)$ 이 지수들의 최소 $p$-진 순서로 제한될 때, $\nu_p(m) \leq \min_i \nu_p(\alpha_i)$ 라면, 논문은 $S(f,mn)$ 에 대한 상대적 공식을 $S(f,n)$ 으로 제공한다.
• $q \neq p,2$ 인 $m = q^s$ 인 경우, 논문은 추적과 체 확장 대칭성을 활용하여 $S(f,qn)$ 에 대한 명시적 상대적 공식을 도출한다.
• $m = 2^s$ 인 경우, 논문은 확장 차수를 두 배로 늘였을 때 이차형식의 구조를 활용하여 $S(f,2^s n)$ 에 대한 상대적 공식을 제공한다.
• $m = p^s$ 인 경우, $S(f,pn)$ 에 대한 공식은 $\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$ 인 경우에 대해 $\alpha_k \leq 4$ 와 $\alpha_k \leq 3$ 인 경우의 $\operatorname{Tr}_n(f)$ 의 영공간 차수 표를 제공하며, 이는 $S(f,n)$ 의 계산을 지원한다.