[논문 리뷰] Reversed Dickson polynomials of the fourth kind over finite fields

Kaimin Cheng, Shaofang Hong외 1명|arXiv (Cornell University)|2016. 04. 15.

Coding theory and cryptography참고 문헌 1인용 수 3

한 줄 요약

이 논문은 유한체 $ \bbF_q $ 위에서 제4종 역디크슨 다항식 $ D_{n,3}(1,x) $ 의 순열적 성질을 조사한다. 생성함수와 계수 분석을 통해 특성 $ p > 3 $ 에서 순열 다항식 기준에 핵심적인 역할을 하는 첫 번째 순간 $ \textstyle\bigsum_{a \in \bbF_q} D_{n,3}(1,a) $ 의 명시적 공식을 도출한다.

ABSTRACT

In this paper, we obtain several results on the permutational behavior of the reversed Dickson polynomial $D_{n,3}(1,x)$ of the fourth kind over the finite field ${\mathbb F}_{q}$. Particularly, we present the explicit evaluation of the first moment $\sum_{a\in {\mathbb F}_{q}}D_{n,3}(1,a)$.

연구 동기 및 목표

• 유한체 $ \bbF_q $ 위에서 제4종 역디크슨 다항식 $ D_{n,3}(1,x) $ 의 순열적 성질을 연구하기 위해.
• 순열 다항식 기준에 핵심적인 불변량인 첫 번째 순간 $ \textstyle\bigsum_{a \in \bbF_q} D_{n,3}(1,a) $ 의 명시적 공식을 유도하기 위해.
• 보조 다항식과 생성함수를 사용하여 $ D_{n,3}(1,x) $ 가 순열 다항식임을 특성화하기 위해.
• 이 새로운 유형의 역디크슨 다항식에 대해 허마이트 기준 프레임워크를 확장하기 위해, 첫 번째 순간을 명시적으로 계산하기 위해.

제안 방법

• 다항식의 정의를 통해 제4종 역디크슨 다항식을 $ D_{n,3}(a,x) = \textstyle\bigsum_{i=0}^{\fl{n/2}} \frac{n-3i}{n-i} \binom{n-i}{i} (-x)^i a^{n-2i} $ 로 정의한다. $ n \to 1 $ 에 대해 성립하며, $ D_{0,3}(a,x) = -1 $ 이다.
• 항등식 $ D_{n,3}(a,x) = \frac{(2a-y)y^n - (y+a)(a-y)^n}{2y-a} $ 를 사용하여 $ x = y(a-y) $ 를 통해 다항식을 $ y $ 에 대한 유리함수 형태로 표현한다.
• 첫 번째 순간을 분석하기 위해 생성함수 $ G(t) = \textstyle\bigsum_{n=1}^{q^2-1} \big( a_n - \frac{3n-1}{2^n} \big) t^n $ 를 구성한다. 여기서 $ a_n = \textstyle\bigsum_{a \in \bbF_q} D_{n,3}(1,a) $ 이다.
• 생성함수의 구조를 모델링하기 위해 $ t^{q^2-1} $, $ t^q $, 이항계수를 포함하는 유리함수 $ h(t) $ 의 표현식을 유도한다.
• $ (t - t^q)^{q-1} $ 에 이항정리를 적용하여 다항식 $ \textstyle\bigsum_{i=0}^{q^2-q} b_i t^i = -1 - (t - t^q)^{q-1} $ 의 계수 $ b_i $ 를 계산한다.
• 식 $ (t^q - t^{q-1} - 1) \textstyle\bigsum_{n=1}^{q^2-1} d_n t^n = \text{RHS} $ 에서 계수 비교를 통해 $ d_n = a_n - \frac{3n-1}{2^n} $ 이라 할 때, $ a_n $ 을 재귀적으로 계산한다.

실험 결과

연구 질문

• RQ1 제4종 역디크슨 다항식에 대해 첫 번째 순간 $ \textstyle\bigsum_{a \in \bbF_q} D_{n,3}(1,a) $ 의 명시적 값은 무엇인가?
• RQ2 $ D_{n,3}(1,x) $ 가 $ \bbF_q $ 위에서 순열 다항식이 되는 조건은 무엇이며, 이를 대수적으로 어떻게 특성화할 수 있는가?
• RQ3 직접 평가가 불가능할 경우 생성함수 접근법이 첫 번째 순간을 어떻게 계산하는가?
• RQ4 유리함수 전개의 계수 $ c_i $ 는 순간 합을 재구성하는 데 어떤 역할을 하는가?
• RQ5 유도된 재귀 관계를 통해 순간 합의 재귀적 구조가 $ c_i $ 와 $ d_n $ 에 대해 완전히 기술될 수 있는가?

주요 결과

• 첫 번째 순간 $ \textstyle\bigsum_{a \in \bbF_q} D_{n,3}(1,a) $ 는 $ 1 \leq j \leq q-1 $ 에 대해 $ -c_j + \frac{3j-1}{2^j} $ 로 명시적으로 계산된다. 여기서 $ c_j $ 는 유리함수 전개에서 $ t^j $ 의 계수이다.
• $ n = q $ 일 때, 순간은 $ c_1 - c_q - \frac{1}{2} $ 로 주어지며, 이는 체의 특성에 기인한 영향으로 $ \frac{3n-1}{2^n} $ 패턴에서 벗어나는 것을 보여준다.
• $ n = \text{multiple of } q $ 일 때, 순간은 재귀관계 $ \textstyle\bigsum D_{\nu q,3}(1,a) = \textstyle\bigsum D_{(\nu-1)q,3}(1,a) - \textstyle\bigsum D_{(\nu-1)q+1,3}(1,a) - c_{\nu q} + \frac{3}{2^\nu} $ 를 만족한다. 이는 $ 2 \leq \nu \leq q-2 $ 에 대해 유효하다.
• $ n = q^2 - q + j $ 이고 $ 0 \leq j \leq q-1 $ 일 때, 순간은 $ \textstyle\bigsum_{i=j}^{q-1} c_{q^2+i} + \frac{3j-1}{2^j} $ 로 주어지며, 이는 체 크기에 가까운 영역에서 행동이 변화함을 시사한다.
• $ -1 - (t - t^q)^{q-1} $ 전개의 계수 $ b_i $ 는 $ \beta + \beta = q-1 $ 이면 $ (-1)^{\beta+1} \binom{q-1}{\beta} $, $ \beta = \beta = 0 $ 이면 $ -1 $, 그 외에는 0 으로 명시적으로 주어진다.
• 전체 순간 합 $ \textstyle\bigsum_{a \in \bbF_q} D_{n,3}(1,a) $ 는 $ c_i $, $ d_n $, 그리고 $ a_n = d_n + \frac{3n-1}{2^n} $ 를 포함하는 재귀관계를 통해 재구성되며, 이는 완전한 알고리즘적 평가를 가능하게 한다.