[논문 리뷰] On the Tu-Zeng Permutation Trinomial of Type $(1/4,3/4)$

Xiang‐dong Hou|arXiv (Cornell University)|2019. 06. 17.

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

한 줄 요약

이 논문은 짝수 특성의 유한체 위에서 특정한 삼항식의 순열 다항식이 되기 위한 필요 및 충분 조건을 확립한다. 삼항식의 함수 방정식에서 유도된 사차방정식을 분석하고, 유리함수의 합성과 다항식 인수분해에 관한 결과를 적용함으로써, 저자들은 Tu-Zeng 삼항식이 유형 $(1/4,3/4)$으로서 $ bbF_{q^2}$ 위에서 순열 다항식이 되기 위한 필요 및 충분 조건을 증명한다. 즉, $a = b$ 이고, 삼차식 $X^3 + X + a^{-1}$ 이 $ bbF_q$ 에 근을 가지지 않을 때이다.

ABSTRACT

Let $q$ be a power of $2$. Recently, Tu and Zeng considered trinomials of the form $f(X)=X+aX^{(1/4)q^2(q-1)}+bX^{(3/4)q^2(q-1)}$, where $a,b\in\Bbb F_{q^2}^*$. They proved that $f$ is a permutation polynomial of $\Bbb F_{q^2}$ if $b=a^{2-q}$ and $X^3+X+a^{-1-q}$ has no root in $\Bbb F_q$. In this paper, we show that the above sufficient condition is also necessary.

연구 동기 및 목표

• 특성 2에서 Niho 지수를 가진 순열 삼항식의 분류에서 빈자리(공백)를 메우기 위해 $(r,s_1,s_2) = (1,1/4,3/4)$의 경우를 해결함으로써, 순열 삼항식의 분류를 완성한다.
• 다항식 $f(X) = X^4(1 + aX^{q-1} + bX^{3(q-1)})$가 $ bbF_{q^2}$ 를 순열하는 데 정확히 어떤 조건이 필요한지 규명한다. 여기서 $a \in bbF_q^*$ 이고 $b \in bbF_{q^2}^*$ 이다.
• Tu와 Zeng가 이전에 제시한 충분 조건—즉, $b = a^{2-q}$ 이고 $X^3 + X + a^{-1-q}$ 가 $ bbF_q$ 에 근을 가지지 않는 것—이 필수 조건이기도 하다는 것을 증명한다.
• 만약 $f$ 가 $ bbF_{q^2}$ 위에서 순열 다항식이라면, $b$ 는 반드시 $ bbF_q^*$ 에 속해야 한다는 것을 입증한다. 이는 증명 과정에서 핵심적인 기술적 단계이다.
• 최종적으로, $b \in \bbF_q^*$ 일 때, 다항식 $f$ 가 순열 다항식이 되기 위한 조건을 완성하여, $a = b$ 이고 $X^3 + X + a^{-1}$ 가 $ bbF_q$ 에서 기약임을 증명한다.

제안 방법

• 순열 조건을 기능적 방정식으로 변환한다: 각 $y \in \nbbF_q$ 에 대해 $f(x) = y$ 는 $\nbbF_q$ 내에 유일한 해 $x$ 를 가져야 하며, 이는 $\nbbF_q(Y)$ 위에서의 $X$ 에 대한 사차방정식으로 이어진다.
• Leonard와 Williams의 정리(짝수 특성의 유한체 위에서 사차식 인수분해에 관한)를 적용하여, 근의 유일성과 관련된 삼차식의 기약성 간의 연결 고리를 설정한다.
• Hou와 Iezzi의 정리(유리함수의 합성에 관한)를 활용하여, 특정 유리함수가 합성으로 분해되어야 한다는 것을 유추하고, 계수 비교를 통해 분석한다.
• 합성 분해의 계수를 동일시함으로써, $a$, $b$, 그리고 보조 변수들에 관한 다항식 방정식의 체계를 유도한다.
• 기호 계산을 수행하여 이 체계를 분석하고, $a \in \nbbF_q^*$ 와 $b \in \nbbF_{q^2}^*$ 등의 제약 조건을 적용하여 불필요한 해를 제거한다. 이는 모순을 통한 추론을 통해 이루어진다.
• 트레이스 항등식과 체 이론적 성질(예: $\operatorname{Tr}_{q/2}(k) = 1$)을 활용하여 보조 요소를 구성하고, 후보 해의 일관성을 검증한다.

실험 결과

연구 질문

• RQ1 Tu-Zeng 삼항식이 $ bbF_{q^2}$ 위에서 유형 $(1/4,3/4)$ 의 순열 다항식이 되기 위한 충분 조건이 필수 조건인가?
• RQ2 다항식 $f(X) = X^4(1 + aX^{q-1} + bX^{3(q-1)})$ 가 $ bbF_{q^2}$ 를 순열하기 위한 $a$ 와 $b$ 의 조건은 무엇인가?
• RQ3 만약 $f$ 가 $ bbF_{q^2}$ 위에서 순열 다항식이라면, 계수 $b$ 는 반드시 부분체 $ bbF_q^*$ 에 속해야 하는가?
• RQ4 $X^3 + X + a^{-1}$ 이 $ bbF_q$ 에서 기약임과 $f$ 의 순열 성질 사이의 정확한 관계는 무엇인가?
• RQ5 $f(x) = y$ 에서 유도된 기능적 방정식을 사용하여, 유리함수의 합성 분해를 유도할 수 있는가? 그리고 이는 매개변수 $a$ 와 $b$ 를 어떻게 제약하는가?

주요 결과

• 다항식 $f$ 가 순열 다항식이 되기 위한 충분 조건—즉, $b = a^{2-q}$ 이고 $X^3 + X + a^{-1-q}$ 가 $ bbF_q$ 에 근을 가지지 않는 것—이 필수 조건이기도 하다.
• 만약 $f$ 가 $ bbF_{q^2}$ 위에서 순열 다항식이라면, 계수 $b$ 는 반드시 $ bbF_q^*$ 에 속해야 한다. 이는 기능적 방정식의 기호 분석을 통해 유도된 비직관적인 제약 조건이다.
• 만약 $b \in \bbF_q^*$ 라면, 삼항식 $f$ 는 $a = b$ 이고 삼차식 $X^3 + X + a^{-1}$ 가 $ bbF_q$ 에서 기약일 때에만 순열 다항식이 된다.
• 이 증명은 $ bbF_q(Y)$ 위의 유리함수의 합성 분해에 기반한다. 이는 각 $y \in \bbF_q$ 에 대해 $f(x) = y$ 의 해가 유일함으로부터 유도된다.
• 특히, $1 + a^2 + a^3 = 0$ 인 해들을 제거하는 다항식 체계의 분석은 모순을 초래하며, 이는 유일하게 제시된 매개변수 값만이 유효함을 확인한다.
• 최종적으로, 특성은 $X^3 + X + 1/a$ 가 $ bbF_q$ 에 근을 가지지 않음을 의미하며, 이는 $ bbF_q$ 에서 삼차식의 기약성과 동치이다.