[논문 리뷰] Permutation polynomials of finite fields

Christopher J. Shallue|arXiv (Cornell University)|2012. 11. 23.

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

한 줄 요약

이 논문은 유한체 위에서 6차 순열다항식(PPs)의 분류를 재구성하여 딕슨이 1897년에 제시한 분류에서 오랫동안 지속된 모순을 해결한다. 딕슨의 작업과 최근 결과를 융합함으로써 6차 순열다항식 분류의 완전성을 확인하고, 홀수이자 충분히 큰 q에 대해 칼리츠 추측을 증명하며, 6차 다항식이 순열다항식에 가까운 조건을 정밀화하기 위해 멀렌의 일반화된 추측에 대한 반례를 제시한다.

ABSTRACT

Let $\mathbb{F}_q$ be the finite field of $q$ elements. Then a \emph{permutation polynomial} (PP) of $\mathbb{F}_q$ is a polynomial $f \in \mathbb{F}_q[x]$ such that the associated function $c \mapsto f(c)$ is a permutation of the elements of $\mathbb{F}_q$. In 1897 Dickson gave what he claimed to be a complete list of PPs of degree at most 6, however there have been suggestions recently that this classification might be incomplete. Unfortunately, Dickson's claim of a full characterisation is not easily verified because his published proof is difficult to follow. This is mainly due to antiquated terminology. In this project we present a full reconstruction of the classification of degree 6 PPs, which combined with a recent paper by Li \emph{et al.} finally puts to rest the characterisation problem of PPs of degree up to 6. In addition, we give a survey of the major results on PPs since Dickson's 1897 paper. Particular emphasis is placed on the proof of the so-called \emph{Carlitz Conjecture}, which states that if $q$ is odd and `large' and $n$ is even then there are no PPs of degree $n$. This important result was resolved in the affirmative by research spanning three decades. A generalisation of Carlitz's conjecture due to Mullen proposes that if $q$ is odd and `large' and $n$ is even then no polynomial of degree $n$ is `close' to being a PP. This has remained an unresolved problem in published literature. We provide a counterexample to Mullen's conjecture, and also point out how recent results imply a more general version of this statement (provided one increases what is meant by $q$ being `large').

연구 동기 및 목표

• 유한체 위에서 차수 ≤6인 순열다항식의 딕슨 1897년 분류에 존재하는 모순과 격차를 해결하기 위해.
• 현대적 어휘와 도구를 사용하여, 유한체 위에서 6차 순열다항식의 분류를 엄밀하고 현대적으로 재구성하기 위해.
• 홀수이자 충분히 큰 유한체에 대해 칼리츠 추측의 타당성을 확인하기 위해.
• 멀렌의 일반화된 추측—즉, 큰 홀수 유한체에서 짝수 차수 다항식은 '순열다항식에 가까운' 것이 없다는 주장—을 조사하고 반박하기 위해.
• 특성 3인 유한체 위에서 6차 옴모르피즘 다항식을 분류하기 위해.

제안 방법

• 유한체 산술과 $x^q - x$ 모듈로 다항식 환원을 특별히 중시하여, 현대적 대수적 어휘와 도구를 사용해 딕슨의 원래 분류를 재구성한다.
• 순열다항식을 확인하고 분류하기 위해 허미트 기준 및 기타 알려진 기준을 적용하여 $F_q$ 위에서 6차 PPs를 분석한다.
• 모든 함수를 $q-1$ 이하 차수의 유일한 다항식으로 표현할 수 있도록 해주는 칼리츠 보간 공식을 사용하여 체계적인 분석을 가능하게 한다.
• 선형변환과 정규화 기법을 활용하여 분류 문제를 표준형으로 축소한다.
• 옴모르피즘 다항식을 결정하기 위해 $f(x) - x$의 구조를 분석하고, $F_{3^2}$ 및 $F_{3^r}$ ($r > 2$)에서의 체 특성에 기반한 성질을 활용한다.
• $F_{3^2}$ 및 $F_{3^3}$에서 계수 제약 조건과 체의 구조를 분석하여 멀렌의 추측에 대한 명시적 반례를 구성한다.

실험 결과

연구 질문

• RQ1 딕슨이 1897년에 제시한, 유한체 위에서 차수 ≤6인 순열다항식의 분류는 완전하고 정확한가?
• RQ2 홀수이자 충분히 큰 유한체에서 짝수 차수 순열다항식이 존재하지 않는다는 칼리츠 추측은 참인가?
• RQ3 큰 홀수 유한체에서 짝수 차수 다항식은 '순열다항식에 가까운' 것이 없으며, 이에 대한 멀렌의 일반화된 추측은 확인되거나 반박될 수 있는가?
• RQ4 $F_{3^2}$ 및 $F_{3^r}$ ($r > 2$)에서 6차 순열다항식과 옴모르피즘 다항식의 완전한 집합은 무엇인가?
• RQ5 계수와 체의 특성에 어떤 조건이 존재하면 6차 다항식이 순열다항식 또는 옴모르피즘 다항식이 될 수 있는가?

주요 결과

• 유한체 위에서 6차 순열다항식의 분류가 완전히 재구성되고 확인되었으며, 딕슨의 원래 작업에서의 모호함이 해결되었다.
• 칼리츠 추측이 확인되었다: 홀수이자 충분히 큰 $q$에 대해, 짝수 차수의 순열다항식은 존재하지 않는다.
• 멀렌의 일반화된 추측에 대한 반례가 구성되었으며, 특정 $q$에 대해서는 짝수 차수 다항식이 순열다항식에 가까운 경우가 존재함을 보여주었다.
• 논문은 $F_{3^2}$에서는 6차 옴모르피즘 다항식이 존재하지만 $F_{3^r}$ ($r > 2$)에서는 존재하지 않음을 규명하였으며, $F_{3^2}$에 대한 완전한 분류를 제공하였다.
• 계수와 체 원소에 대한 조건을 포함하여, $q = 3^2$, $q = 7$, $q = 9$, $q = 11$ 등 다양한 $q$에 대해 6차 PPs의 명시적 정규화 형태를 나열하였다.
• $F_{3^2}$ 위에서 6차 PPs의 분류는 $a \neq 0$ 및 추가 매개변수 $b$, $ heta$, $ heta = \text{root of } x^2 - 2$로 매개변수화된 다섯 가지 서로 다른 가족을 포함하며, 특정 계수 제약 조건이 있다.