[논문 리뷰] Reversed Dickson Polynomials of the Third Kind

Neranga Fernando|arXiv (Cornell University)|2016. 02. 15.

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

한 줄 요약

이 논문은 유한체 $ \mathbb{F}_q $에서의 세 번째 종류의 역디크슨 다항식 $ D_{n,2}(1,x) $를 조사한다. 여기서 $ q = p^e $이며 $ p $는 소수이다. 이 다항식이 치환 다항식이 되기 위한 필요 조건을 규명하고, 함수 방정식과 생성함수를 활용하여 다양한 차수에서의 합 $ \sum_{a \in \mathbb{F}_q} D_{n,2}(1,a) $에 대한 명시적 평가를 제공한다. 이를 통해 합에 대한 재귀 공식을 도출한다.

ABSTRACT

Let $p$ be a prime and $q=p^e$. We discuss the properties of the reversed Dickson polynomial $D_{n,2}(1,x)$ of the third kind. We also give several necessary conditions for the reversed Dickson polynomial of the third kind $D_{n,2}(1,x)$ to be a permutation of $\mathbb{F}_{q}$. In particular, we give explicit evaluation of the sum $\sum_{a\in \mathbb{F}_q}D_{n,2}(1,a)$.

연구 동기 및 목표

• 유한체 $ \mathbb{F}_q $에서의 세 번째 종류의 역디크슨 다항식 $ D_{n,2}(1,x) $의 치환 성질을 분석한다.
• $ D_{n,2}(1,x) $가 $ \mathbb{F}_q $에서 치환 다항식이 되기 위한 필요 조건을 확립한다.
• 생성함수와 함수 항등식을 사용하여 모든 $ n $에 대해 합 $ \sum_{a \in \mathbb{F}_q} D_{n,2}(1,a) $를 명시적으로 계산한다.
• 이 다항식의 구조를 알려진 수열들과 잰브스타랄 다항식과 연결하여 그 대수적 해석을 강화한다.

제안 방법

• 치환 $ x = y + y^{-1} $를 사용하여 $ F_n(1,x) = D_{n,2}(1,x) $에 대한 함수 방정식을 유도하고, 이를 $ \mathbb{F}_{q^2} $의 근과 연결한다.
• 항등식 $ F_n(a,x) = a^n F_n(1, x/a^2) $를 활용하여 $ F_n(a,x) $의 연구를 $ F_n(1,x) $로 단순화한다.
• 생성함수와 멱급수 전개를 적용하여 합 $ \sum_{a \in \mathbb{F}_q} F_n(1,a) $를 모델링하고, 유리함수 전개의 계수를 통해 이를 표현한다.
• 멱급수에서 계수의 재귀적 비교를 통해 다양한 차수에서의 합에 대한 닫힌 표현식을 유도한다.
• 이전 연구 결과 [2]에서 알려진 두 번째 종류의 역디크슨 다항식을 활용하여 합에 대한 재귀 관계를 수립한다.
• 합의 생성함수를 모델링하기 위해 $ (z - z^q)^{q-1} $에서 유도된 유리함수 $ h(z) $의 구조에 의존한다.

실험 결과

연구 질문

• RQ1 유한체 $ \mathbb{F}_q $에서 세 번째 종류의 역디크슨 다항식 $ D_{n,2}(1,x) $가 치환 다항식이 되기 위한 조건은 무엇인가?
• RQ2 모든 $ n $에 대해 합 $ \sum_{a \in \mathbb{F}_q} D_{n,2}(1,a) $의 명시적 값은 무엇인가?
• RQ3 $ D_{n,2}(1,x) $의 함수 방정식은 딕슨 다항식 및 체비셰프 다항식의 것과 어떻게 관련이 있는가?
• RQ4 $ D_{n,2}(1,x) $와 잰브스타랄 다항식, 또는 A010892와 A128834와 같은 정수 수열 간의 관계는 무엇인가?

주요 결과

• 합 $ \sum_{a \in \mathbb{F}_q} D_{n,2}(1,a) $는 생성함수의 계수에 기반한 재귀 공식을 통해 명시적으로 계산된다.
• $ 1 \leq j \leq q-1 $일 때, 합은 $ \sum_{a \in \mathbb{F}_q} D_{j,2}(1,a) = -c_j + \frac{j}{2^{j-1}} $를 만족하며, 여기서 $ c_j $는 유리함수 전개의 계수이다.
• $ n = q $일 때, 합은 $ \sum_{a \in \mathbb{F}_q} D_{q,2}(1,a) = c_1 - c_q $로 주어지며, $ c_k $는 생성함수에서 유도된다.
• $ n = lq + j $이며 $ 1 \leq l \leq q-2 $, $ 1 \leq j \leq q-1 $일 때, 합은 $ c_{lq+j} $와 이전 합 값들을 포함하는 재귀 관계를 만족한다.
• $ n = q^2 - q + j $일 때, 합은 $ \sum_{i=j}^{q-1} c_{q^2 + i} + \frac{j}{2^{q^2 - q + j - 1}} $로 주어지며, 고차수 계수에 의존함을 보여준다.
• $ D_{n,2}(1, \frac{1}{4}) = \frac{n}{2^{n-1}} $의 평가가 확인되어 다항식이 알려진 유리수 수열과 연결됨을 입증한다.