[논문 리뷰] Permutation polynomials on F_q induced from bijective Redei functions on subgroups of the multiplicative group of F_q

Michael E. Zieve|arXiv (Cornell University)|2013. 10. 02.

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

한 줄 요약

이 논문은 유한체 $\mathbb{F}_{Q^2}$ 위에서 $Q+1$차 단위근의 집합에 의해 유도되는 Rédei 유리함수에 의한 전단사성에 기반하여, 새로운 유형의 순열 다항식을 구성한다. 특정 삼항식 형태가 명시적인 gcd 조건 하에서 $\mathbb{F}_{Q^2}$ 를 순열함을 증명함으로써, 수우, 증, 후, 리가 제기한 두 개의 순열 삼항식에 대한 추측을 해결한다. 이는 $\mathbb{F}_{Q^2}^*$의 부분군의 군론적 성질과 유리함수의 공역 기반의 새로운 프레임워크를 통해 달성된다. 주요 기여는 루트 오브 유니티 위에서 작용하는 유리함수를 통해 순열 다항식을 생성하는 일반적인 방법을 제공하며, 전통적인 다항식 형태를 초월한다.

ABSTRACT

We construct classes of permutation polynomials over F_{Q^2} by exhibiting classes of low-degree rational functions over F_{Q^2} which induce bijections on the set of (Q+1)-th roots of unity in F_{Q^2}. As a consequence, we prove two conjectures about permutation trinomials from a recent paper by Tu, Zeng, Hu and Li.

연구 동기 및 목표

• 수우, 증, 후, 리가 제기한 $\mathbb{F}_{Q^2}$ 위의 순열 삼항식에 대한 두 개의 추측을 해결하기 위해.
• 특히, $Q+1$차 단위근의 집합에 대해 유리함수를 통해 전단사를 유도함으로써, 순열 다항식을 생성하는 새로운 방법을 개발하기 위해.
• 다항식 형태 $x^r h(x^d)$로 표현되는 전통적 순열 다항식의 프레임워크를 확장하기 위해, 단위근 위에서의 다항식 사상 대신 유리함수를 사용함으로써, 새로운 유형의 순열 다항식을 생성하기 위해.
• 다음 형태의 삼항식 $x^{n+k(Q+1)} \cdot \left( (\gamma x^{Q-1}-\beta)^n - \gamma(x^{Q-1}-\gamma^Q\beta)^n \right)$ 이 $\mathbb{F}_{Q^2}$ 를 순열함을, $n$, $k$, $Q$ 에 대한 명시적인 수론적 조건 하에서 증명하기 위해.
• Rédei 함수 이론과 체 자기동형사상의 이론을 활용하여, 수우, 증, 후, 리의 논문의 주요 결과의 일반화된 형태를 단순하고 통합적인 방식으로 재증명하기 위해.

제안 방법

• 유한체 $\mathbb{F}_{Q^2}$ 위에서 $x^n$ 과 모듈러스 변환을 통해 공역되는 일차 유리함수를 이용하여, $(Q+1)$-차 단위근의 집합 $\mu_{Q+1}$ 에서 전단사를 유도하는 유리함수를 구성함으로써, 방법을 구축한다.
• 확장체 위에서 단항식과 공역되는 유리함수인 Rédei 함수 이론을 활용하여, $\mu_{Q+1}$ 의 순열을 표현하고, 이에 기반해 $\mathbb{F}_{Q^2}$ 위의 순열 다항식을 구성한다.
• 핵심 기법은 $\ell(x) = (\delta x - \beta \delta^Q)/(x - \beta)$ 의 형태를 가진 유리함수의 $\mu_{Q+1}$ 에 대한 작용을 분석하는 것으로, $\ell(\mu_{Q+1}) = \mathbb{F}_Q \cup \{\infty\}$ 임을 보여주며, 순열 조건을 곱의 순서로 환원한다.
• 항등식 $G(x) = \ell^{-1} \circ x^n \circ \ell(x)$ 를 사용하여, 유리함수 $G(x)$ 가 $\mu_{Q+1}$ 에서 단사임을, $x^n$ 이 $\ell(\mu_{Q+1})$ 에서 단사임과 동치로 환원하며, 이는 $\gcd(n, Q-1) = 1$ 과 동치임을 보인다.
• 이러한 유리함수 전단사성을, $f(x) = x^{r} h(x^{Q-1})$ 의 형태로 $\mathbb{F}_{Q^2}$ 위의 전체 순열 다항식으로 승격시키며, 여기서 $r = n + k(Q+1)$ 이고, $h$ 는 유리함수의 분자와 분모로부터 유도된다.
• 레마 2.2 를 적용하여, $\mathbb{F}_{Q^2}$ 위에서 $x^r h(x^d)$ 가 순열임을 보장하는 조건을, $x^r h(x)^d$ 가 $\mu_{(Q^2-1)/d}$ 를 순열함으로써 환원한다. 여기서 $d = Q-1$ 이므로, 주된 초점은 $\mu_{Q+1}$ 에서의 순열 조건이 된다.

실험 결과

연구 질문

• RQ1 순열 다항식은 다항식이 아닌, 유한체 $\mathbb{F}_{Q^2}$ 위에서 $Q+1$차 단위근의 집합에 작용하는 유리함수를 통해 구성될 수 있는가?
• RQ2 다음 형태의 유리함수 $f(x) = x^{n+k(Q+1)} \cdot \left( (\gamma x^{Q-1}-\beta)^n - \gamma(x^{Q-1}-\gamma^Q\beta)^n \right)$ 가 $\mathbb{F}_{Q^2}$ 를 순열하는 조건은 무엇인가?
• RQ3 수우, 증, 후, 리의 논문에서 제기된 순열 삼항식의 추측은 참이며, Rédei 함수를 기반으로 한 통합 프레임워크를 통해 증명될 수 있는가?
• RQ4 수우, 증, 후, 리의 논문의 주요 결과는 체 자기동형사상과 유리함수 공역의 이론을 기반으로 한 더 단순하고 구조적인 방법으로 일반화되고 재증명될 수 있는가?
• RQ5 $n$, $k$, $Q$ 에 대한 정확한 수론적 조건은 무엇이며, 이러한 삼항식의 순열 성질을 보장하는가?

주요 결과

• 다항식 $f(x) = x^{n+k(Q+1)} \cdot \left( (\gamma x^{Q-1}-\beta)^n - \gamma(x^{Q-1}-\gamma^Q\beta)^n \right)$ 는 $\gcd(n+2k, Q-1) = 1$ 이고 $\gcd(n, Q+1) = 1$ 이면 $\mathbb{F}_{Q^2}$ 를 순열한다.
• 두 번째 유형의 경우, $f(x) = x^{n+k(Q+1)} \cdot \left( (\delta x^{Q-1}-\beta\delta^Q)^n - \delta(x^{Q-1}-\beta)^n \right)$ 이면 순열 조건은 $\gcd(n(n+2k), Q-1) = 1$ 이다.
• 보조정리 1.3 은 $g(x) = x^{k(Q+1)+3} + 3x^{k(Q+1)+Q+2} - x^{k(Q+1)+3Q}$ 가 $\gcd(2k+3, Q-1) = 1$ 이고 $3 \nmid Q$ 이면 $\mathbb{F}_{Q^2}$ 를 순열함을 보여준다.
• 보조정리 1.4 는 $x^Q + 3x^{2Q-1} - x^{Q^2 - Q + 1}$ 이 모든 $Q$ 에 대해 $3 \nmid Q$ 를 만족할 때 $\mathbb{F}_{Q^2}$ 에서 순열 다항식임을 확인하며, $Q = 2^{2m+1}$ 인 경우의 추측을 해결한다.
• 논문은 수우, 증, 후, 리의 논문의 주요 결과의 일반화된 형태를 단순한 방법으로 재증명하며, $f(x) = x^r h(x^{Q-1})$ 가 $\mathbb{F}_{Q^2}$ 를 순열함을 보장하는 조건이 $\gcd(r, Q-1) = 1$, $\gcd(r-d, Q+1) = 1$, 그리고 $h(x)$ 가 $\mu_{Q+1}$ 에 근을 가지지 않음을 보여준다.
• 특수한 경우 $h(x) = x^d + \beta^{-1}$ 에 대해, $x^{r+d(Q-1)} + \beta^{-1}x^r$ 가 $\mathbb{F}_{Q^2}$ 를 순열함을 보이며, 이는 $\gcd(r, Q-1) = 1$, $\gcd(r-d, Q+1) = 1$, 그리고 $(-\beta)^{(Q+1)/\gcd(Q+1,d)} \neq 1$ 이면 성립한다.