[논문 리뷰] Determination of a Class of Permutation Trinomials in Characteristic Three

Xiang‐dong Hou, Ziran Tu외 1명|arXiv (Cornell University)|2018. 11. 29.

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

한 줄 요약

이 논문은 특성 3인 유한체 위에서 일련의 순열 삼항식에 대해 필요하고도 충분한 조건을 확립한다. 해세-베일 추정과 다항식의 결과식을 사용하여, 다항식 $ f(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) $ 가 $ \mathbb{F}_{q^2} $ 를 순열함과 동치인 조건으로, $ (ab)^q = a(b^{q+1} - a^{q+1}) $ 이고, $ 1 - (b/a)^{q+1} $ 가 $ \mathbb{F}_q^* $ 내의 제곱임을 증명한다. 이는 특성 3에서 이전에 알려진 충분조건의 필연성을 확인한다.

ABSTRACT

Let $f(X)=X(1+aX^{q(q-1)}+bX^{2(q-1)})\in\Bbb F_{q^2}[X]$, where $a,b\in\Bbb F_{q^2}^*$. In a series of recent papers by several authors, sufficient conditions on $a$ and $b$ were found for $f$ to be a permutation polynomial (PP) of $\Bbb F_{q^2}$ and, in characteristic $2$, the sufficient conditions were shown to be necessary. In the present paper, we confirm that in characteristic 3, the sufficient conditions are also necessary. More precisely, we show that when $ ext{char}\,\Bbb F_q=3$, $f$ is a PP of $\Bbb F_{q^2}$ if and only if $(ab)^q=a(b^{q+1}-a^{q+1})$ and $1-(b/a)^{q+1}$ is a square in $\Bbb F_q^*$.

연구 동기 및 목표

• 특성 3인 유한체 위의 삼항식이 체를 순열하는 정확한 조건을 규명하는 것.
• 이전에 알려진 충분조건과 특성 3에서 순열 행동에 대한 필수 조건 사이의 격차를 메우는 것.
• 이미 필수 조건이 입증된 특성 2의 결과를 특성 3으로 확장하는 것.
• $ f(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) $ 형식의 순열 삼항식을 $ \mathbb{F}_{q^2}[X] $ 내에서 완전한 특성으로 제공하는 것.
• 대수기하학과 다항식 결과식 분석을 통해 $ p = 3 $ 에 대해 이전에 제안된 충분조건의 필수성 검증

제안 방법

• 증명은 $ f(X) $ 가 $ \mathbb{F}_{q^2} $ 에서 순열 다항식임과 동치인 조건으로, 유리함수 $ g(X) $ 가 곱셈군 $ \mu_{q+1} $ 를 순열하는 것에 기반한다.
• 관련 대수곡선 위의 유리점 수를 제한하기 위해 해세-베일 추정이 적용되며, 이는 비순열 케이스를 제거하는 데 도움이 된다.
• 결과식을 계산하고 분석하여 특정 삼차방정식이 $ \mu_{q+1} $ 내에 근을 가지는지 여부를 판단함으로써 순열 행동에 필수적인 조건을 확보한다.
• 증명은 $ q = 3^n $ 의 값에 따라 세 가지 경우로 나뉘며, 각 경우에서 점점 더 복잡한 결과식 계산이 이루어진다.
• 변수 치환 $ \phi(X) = (X + z^q)/(X + z) $ 를 통해 $ \mathbb{F}_q \cup \{\infty\} $ 가 $ \mu_{q+1} $ 로 일대일 대응되며, 이는 분석에서 복합역함수의 활용을 가능하게 한다.
• 분석은 광범위한 대수적 변형과 기호 계산을 포함하며, 중간 결과는 검증을 위해 부록에 기록되어 있다.

실험 결과

연구 질문

• RQ1 특성 3에서 $ f(X) $ 가 $ \mathbb{F}_{q^2} $ 에서 순열 다항식이 되는 데 필요한 충분조건는 필수 조건인가?
• RQ2 특성 3에서 $ \text{char}(\mathbb{F}_q) = 3 $ 이면, 삼항식 $ f(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) $ 가 $ \mathbb{F}_{q^2} $ 를 순열하는 정확한 대수적 조건은 무엇인가?
• RQ3 해세-베일 추정과 다항식 결과식은 순열 삼항식 분류에서 계수 조건의 필수성 증명에 효과적으로 사용될 수 있는가?
• RQ4 관련 유리함수 $ g(X) = \frac{a^q X^3 + X^2 + b^q}{b X^3 + X + a} $ 의 구조적 성질이 순열 행동에 어떤 영향을 미치는가?
• RQ5 $ 1 - (b/a)^{q+1} $ 가 $ \mathbb{F}_q^* $ 내의 제곱임이라는 조건이 순열 성질을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 특성 3에서 $ f(X) $ 가 순열 다항식이 되는 충분조건는 필수 조건이기도 하며, 이 경우의 분류를 완성한다.
• 필요하고 충분한 조건은 $ (ab)^q = a(b^{q+1} - a^{q+1}) $ 이며, 이는 프로베누스 자기동형사상 하에서 계수 간의 호환성을 보장한다.
• $ 1 - (b/a)^{q+1} $ 가 $ \mathbb{F}_q^* $ 내의 제곱임은 $ \mu_{q+1} $ 에 근이 존재하지 않음을 보장하는 데 필수적이다. 이는 순열 조건을 충족하기 위해 필요하다.
• 주요 계수 조건 하에서, $ bX^3 + X + a $ 가 $ \mu_{q+1} $ 에 근을 가지지 않음과 동치인 조건은 $ 1 - (b/a)^{q+1} $ 가 $ \mathbb{F}_q^* $ 내의 제곱임이다.
• 해세-베일 추정은 관련 곡선 위의 유리점 수를 제한하여 비순열 케이스를 제거하는 데 기여한다.
• 분석은 이전 연구에서 제안된 계수 조건가 충분조건 뿐 아니라 필수 조건임을 확인하며, 특성 2에서의 기존 결과를 특성 3로 확장한다.