[논문 리뷰] A Class of Binomial Permutation Polynomials

Ziran Tu, Xiangyong Zeng외 2명|arXiv (Cornell University)|2013. 09. 28.

Coding theory and cryptography참고 문헌 9인용 수 27

한 줄 요약

이 논문은 짝수 특성의 유한체 위에서 이항 순열 다항식에 대한 기준을 제안하며, 덧셈적 특성 합과 극좌표 표현을 활용한다. 다항식 $ f(x) = x^{d_1} + u_2x^{d_2} $ 가 순열 다항식이 되는 조건을 확립하여, 특히 $ n = 2m $ 인 경우 Niho 유형의 지수를 가진 새로운 이항 및 단항 완전 순열 다항식의 클래스를 도출한다.

ABSTRACT

In this note, a criterion for a class of binomials to be permutation polynomials is proposed. As a consequence, many classes of binomial permutation polynomials and monomial complete permutation polynomials are obtained. The exponents in these monomials are of Niho type.

연구 동기 및 목표

• 다항식 $ f(x) = x^{d_1} + u_2x^{d_2} $ 가 $ \mathbb{F}_{2^n} $ 위에서 순열 다항식이 되는 일반적인 기준을 개발하는 것.
• 짝수 특성의 유한체 위에서 새로운 이항 및 단항 완전 순열 다항식의 클래스를 식별하는 것.
• 특히 조건 $ d_i \equiv e \pmod{2^{n/2}-1} $ 하에서 Niho 유형 지수를 가진 순열 다항식의 이해를 확장하는 것.
• 덧셈적 특성 합과 극좌표 표현이 순열 행동 분석에 어떻게 적용될 수 있는지 탐색하는 것.
• $ \mathbb{F}_{2^{2m}} $ 위에서 홀수 $ m $ 인 삼항 순열 다항식에 대한 추측을 제시하고 검증하는 것.

제안 방법

• 덧셈적 특성에 기반한 기준을 사용: 다항식 $ f $ 가 $ \mathbb{F}_{2^n} $ 위에서 순열 다항식이 되는 것은 모든 비영인 $ \gamma \in \mathbb{F}_{2^n} $ 에 대해 $ \sum_{x \in \mathbb{F}_{2^n}} (-1)^{\operatorname{Tr}_1^n(\gamma f(x))} = 0 $ 이 성립할 때이다.
• 변수 치환 $ x \mapsto \delta x $ 를 적용하여 합을 $ \sum_{x \in \mathbb{F}_{2^n}} (-1)^{\operatorname{Tr}_1^n(x^{d_1} + w_2 x^{d_2})} $ 로 줄이며, 여기서 $ w_2 = u_2 \delta^{d_1 - d_2} $ 이다.
• 극좌표 표현을 활용: $ \mathbb{F}_{2^n} $ 의 영이 아닌 모든 $ x $ 는 유일하게 $ x = \lambda y $ 로 표현되며, $ \lambda \in U $ (즉, $ \mathbb{F}_{2^{2m}} $ 의 단위원판), $ y \in \mathbb{F}_{2^m}^* $ 이다.
• 지수 합을 $ U $ 내의 해의 수로 줄인다: $ \sum_{x} (-1)^{\cdots} = (N(w_2) - 1) \cdot 2^m $, 여기서 $ N(w_2) $ 는 $ \lambda^{d_1} + w_2 \lambda^{d_2} + (\lambda^{d_1} + w_2 \lambda^{d_2})^{2^m} = 0 $ 을 만족하는 $ \lambda \in U $ 의 수이다.
• 소수에 대한 2의 차수와 같은 수론적 도구를 사용하여 $ \gcd(2^k + 1, p) $ 를 분석하며, 이는 기준의 조건을 검증하는 데 핵심적이다.
• 레마 4 를 적용하여 $ \gcd(2^k + 1, p) = 1 $ 가 되는 조건을 결정함으로써, 완전 순열 다항식의 조건을 검증할 수 있다.

실험 결과

연구 질문

• RQ1 이항 다항식 $ f(x) = x^{d_1} + u_2x^{d_2} $ 가 $ \mathbb{F}_{2^n} $ 위에서 순열 다항식이 되는 조건은 무엇인가, 특히 $ n = 2m $ 인 경우에 대해?
• RQ2 지수의 구조 $ d_i \equiv e \pmod{2^{m}-1} $ 는 어떻게 활용되어 새로운 완전 순열 다항식의 클래스를 구성할 수 있는가?
• RQ3 단위원판 $ U = \{ \lambda \in \mathbb{F}_{2^{2m}} : \lambda^{2^m + 1} = 1 \} $ 은 순열 행동을 특성화하는 데 어떤 역할을 하는가?
• RQ4 이항 다항식에 대한 기준은 유사한 지수 구조를 가진 삼항 다항식 또는 고차수 다항식으로 확장될 수 있는가?
• RQ5 다음과 같은 추측된 삼항 다항식 $ f(x) = x^{2^m + 4} + x^{2^{m+1} + 3} + x^{2^{m+2} + 1} $ 과 $ g(x) = x^{2^m} + x^{2^{m+1} - 1} + x^{2^{2m} - 2^m + 1} $ 이 $ \mathbb{F}_{2^{2m}} $ 위에서 진정으로 순열 다항식인가?

주요 결과

• 기준이 확립됨: $ f(x) = x^{d_1} + u_2x^{d_2} $ 는 $ \mathbb{F}_{2^n} $, $ n = 2m $ 에서 순열 다항식이 되며, 모든 $ w_2 \in \mathbb{F}_{2^n} $ 에 대해 지수 합 $ \sum_{x \in \mathbb{F}_{2^n}} (-1)^{\operatorname{Tr}_1^n(x^{d_1} + w_2 x^{d_2})} = 0 $ 이 성립할 때이다.
• 여섯 개의 새로운 완전 순열 다항식의 클래스가 구성되었으며, 특히 $ u^{-1}x^d $ (여기서 $ d = s(2^m - 1) + 1 $) 는 $ s $, $ m $, 그리고 $ u \in U \setminus U^{2^t + 1} $ 에 대한 특정 조건 하에서 성립한다.
• 특히 $ s = 6 $, $ m $ 이 홀수이고 $ 5 \nmid m $ 인 경우, $ u^{-1}x^d $ 는 $ \mathbb{F}_{2^{2m}} $ 위에서 완전 순열 다항식이며, $ \gcd(d, 2^{2m} - 1) = 1 $, $ \gcd(6, 2^m + 1) > 1 $, $ \gcd(5, 2^m + 1) = 1 $ 을 통해 검증되었다.
• 다항식 $ f(x) = x^{2^m + 4} + x^{2^{m+1} + 3} + x^{2^{m+2} + 1} $ 가 $ \mathbb{F}_{2^{2m}} $ 위에서 순열 다항식이라는 추측은 $ m = 3, 5, 7, 9 $ 에 대해 검증되었지만 일반적인 증명은 아직 열려 있다.
• 이 방법은 코로나리 2의 기준을 통해 단항 완전 순열 다항식으로도 일반화되었으며, 특히 $ d = s(2^m - 1) + 1 $ 이고 $ s $ 가 수론적 조건을 만족할 경우에 유용하다.
• 분석 결과, 방정식 $ \lambda^{d_1} + w_2 \lambda^{d_2} + (\lambda^{d_1} + w_2 \lambda^{d_2})^{2^m} = 0 $ 이 $ U $ 내에서의 해의 수가 지수 합과 즉, 순열 성질을 결정짓는다.