[논문 리뷰] New Classes of Permutation Binomials and Permutation Trinomials over Finite Fields

Kangquan Li, Longjiang Qu외 1명|arXiv (Cornell University)|2015. 08. 30.

Coding theory and cryptography참고 문헌 10인용 수 5

한 줄 요약

이 논문은 유한체의 짝수 특성에서 허미트 기준과 특수 방정식의 해 수 계산을 이용하여, 새로운 종류의 순열 이항식과 삼항식을 제시한다. 주요 기여는 $ Rubio^{m} $에서 새로운, 곱셈적으로 동치가 아닌 순열 삼항식을 구성한 것으로, 기존의 알려진 가족들을 확장하고 코딩 이론 및 암호학 분야에서의 응용을 위한 새로운 도구를 제공한다.

ABSTRACT

Permutation polynomials over finite fields play important roles in finite fields theory. They also have wide applications in many areas of science and engineering such as coding theory, cryptography, combinatorial design, communication theory and so on. Permutation binomials and trinomials attract people's interest due to their simple algebraic form and additional extraordinary properties. In this paper, several new classes of permutation binomials and permutation trinomials are constructed. Some of these permutation polynomials are generalizations of known ones.

연구 동기 및 목표

• 유한체, 특히 짝수 특성에서 새로운 명시적 순열 이항식과 삼항식의 클래스를 구성하는 것.
• 예외적인 구조적 성질을 지닌 단순한 대수적 형태를 가진 순열 다항식의 기존 목록을 확장하는 것.
• 새로 구성된 다항식이 이전에 알려진 클래스들과 곱셈적으로 동치가 아니라는 것을 입증하여 진정으로 새로운 가족임을 보장하는 것.
• 코딩 이론, 암호학, 그리고 바넷 및 준바넷 함수의 구성에 응용하기 위한 이론적 기초를 마련하는 것.

제안 방법

• 다항식 $f(x)^t \mod (x^q - x)$의 근의 수와 차수 조건을 점검하여 순열 성질을 검증하기 위해 허미트 기준을 적용하는 것.
• 곱셈적 동치 관계를 사용하여 다항식 형태를 단순화하고 일반화하며, $\gcd(d, q-1) = 1$ 조건 하에 $x \mapsto x^d$ 변환에서 순열 성질을 유지하는 것.
• 순열 성질을 유도하기 위해 특수 방정식인 $x^{2^{k+1}+1} + x = a$의 해의 수를 분석하는 것.
• 특성-2 체에서 이항계수를 모듈로 2로 분석하기 위해 루카스의 공식을 사용하는 것.
• 방정식계에서 대수적 변형과 대입을 통해 순열 삼항식에 필요한 조건을 유도하는 것.
• 소규모 체 $\mathbb{F}_{2^m}$에서 $4 \leq m \leq 10$에 대해 계산 도구(Magma)를 사용하여 곱셈적 동치성을 검증하는 것.

실험 결과

연구 질문

• RQ1 유한체의 짝수 특성에서 어떤 새로운 종류의 순열 이항식과 삼항식을 구성할 수 있는가?
• RQ2 허미트 기준과 특수 방정식의 해 수 계산을 체계적으로 적용하여 순열 성질을 증명할 수 있는가?
• RQ3 새로 구성된 순열 삼항식이 모든 알려진 클래스와 곱셈적으로 동치가 아닌가?
• RQ4 이러한 새로운 다항식을 사용하여 바넷 또는 준바넷 함수와 같은 매우 비선형 함수를 생성할 수 있는가?
• RQ5 유한체 $\mathbb{F}_{2^m}$에서 이항식과 삼항식의 계수와 지수에 어떤 구조적 조건이 순열 행동을 유도하는가?

주요 결과

• 다섯 가지 새로운 순열 삼항식 클래스가 $\mathbb{F}_{2^m}$에서 구성되었으며, 이 중 두 개는 자명한 계수를 지녔고, 세 개는 비자명한 계수를 지녔다.
• 정리 4.9, 4.10, 4.11에 포함된 순열 삼항식은 기존에 알려진 모든 클래스, 특히 정리 4.5, 4.6, 4.12에 포함된 클래스들과 곱셈적으로 동치가 아님을 증명하였다.
• 정리 4.10과 4.11에 포함된 순열 삼항식은 [21]의 정리 4.12에 포함된 클래스와 곱셈적으로 동치가 아님을 입증하였다.
• $m = 3k$ 이고 $k$ 가 홀수일 때, 함수 $f(x) = x + x^{2^k+1} + x^{2^{2k}+2^k+1}$ 는 $\mathbb{F}_{2^m}$에서 순열 삼항식이며, 기존의 알려진 가족들을 확장한다.
• 동치성 부재의 증명은 필드 차원의 구조적 차이(홀수 vs. 짝수)와 계수 패턴의 차이에 기반하며, $4 \leq m \leq 10$ 범위에서 Magma 계산을 통해 확인되었다.
• 결과는 선형 및 순환 코드의 구성 기초를 마련하며, 바넷 및 준바넷 함수 생성에도 기여한다. 이는 결론과 참고문헌에서 언급된 linе.