A Weil Sum Approach to Permutation Polynomials over Quadratic Extensions of Finite Fields

기술 요약: 유한체의 이차 확장 위에서의 순열 다항식에 대한 바일 합(Weil Sum) 접근법

문제 정의
본 논문은 유한체의 이차 확장인 $\mathbb{F}_{q^2}$ 상의 순열 다항식(PP) 분류 문제를 다룬다. 저자들은 두 가지 구별된 형태의 다항식을 조사한다:

1. $f(x) = x^q + bx^2 + cx + d$
2. $f(x) = x^{q+1} + bx^q + cx + d$

핵심 문제는 계수 $b, c, d \in \mathbb{F}_{q^2}$에 대하여 이 다항식들이 $\mathbb{F}_{q^2}$ 상에서 전단사 함수(bijection)를 유도하기 위한 필요충분조건을 결정하는 것이다. 저자들은 고려 중인 다항식들이 Wan-Lidl 유형($x^s f(x^r)$)도 아니고 아핀 $q$-다항식(affine $q$-polynomial)도 아니라는 점을 명시하며, 이를 통해 기존에 연구된 많은 부류와 차별화한다.

방법론
핵심 방법론은 다항식이 순열이 되기 위한 조건이 모든 $t \in \mathbb{F}_{q^2}$에 대하여 방정식 $f(x) = t$가 정확히 하나의 해를 갖는 것과 동치라는 성질에 기초한다. 즉, $f(x) + t$는 $\mathbb{F}_{q^2}$ 내에서 정확히 하나의 영점(zero)을 가져야 한다.

이 다항식들의 영점의 정확한 개수($M$)를 결정하기 위해, 저자들은 $\mathbb{F}_{q^2}$의 정준 가법 캐릭터(canonical additive character) $\chi$와 관련된 바일 합(Weil sums, character sums)을 활용한다. 영점의 개수는 다음 항등식을 통해 표현된다:
$$M = \frac{1}{q^2} \sum_{x \in \mathbb{F}_{q^2}} \sum_{y \in \mathbb{F}_{q^2}} \chi(y f(x))$$
분석은 필드의 표수(characteristic)에 따른 경우($q$가 홀수인지 또는 짝수인지)와 계수의 특정 구조에 따라 진행된다.

• $q$가 홀수인 경우: 저자들은 이차 캐릭터(quadratic character)에 대한 결과와 $x^q+1$ 및 이차 항들을 포함하는 합의 특정 평가를 활용한다. 이들은 이차 캐릭터 $\eta$와 트레이스 맵(trace maps)을 포함하는 영점 개수의 명시적인 공식들을 도출한다.
• $q$가 짝수인 경우: 저자들은 $(q+1)$차 단위근 집합($\mu_{q+1}$) 내에서의 보조 다항식의 근을 분석하고, 자기 공액 역다항식(self-conjugate reciprocal polynomials)의 성질을 활용한다.
• 역원 구성(Inverse Construction): 식별된 순열 다항식들에 대해, 저자들은 딕슨 행렬(Dickson matrices, 선형화된 성분용)과 가법 다항식의 일반적인 합성 정리(composition theorem)를 사용하여 그들의 합성 역원(compositional inverses)을 도출한다.

주요 기여 및 결과

1. $x^q + bx^2 + cx + d$의 특성화:

   • $q$가 홀수인 경우: 정리 3.6은 $x^q + bx^2 + cx + d$가 순열 다항식이기 위한 필요충분조건이 $b = 0$이고 $c \notin \mu_{q+1}$임을 확립한다. 저자들은 만약 $b \neq 0$이면, 홀수 $q$에 대해 이 다항식이 $\mathbb{F}_{q^2}$를 순열하지 않음을 증명한다.
   • $q$가 짝수인 경우: 정리 3.7은 완전한 특성화를 제공한다: 이 다항식은 ($b=0$이고 $c \in \mathbb{F}_q \setminus \{1\}$)이거나 ($b \in \mathbb{F}_q^*$이고 $c = 1$)인 경우에만 순열 다항식이다.

2. $x^{q+1} + bx^q + cx + d$의 특성화:

   • $q$가 짝수인 경우: 명제 3.8은 이 다항식이 계수와 관계없이 $\mathbb{F}_{q^2}$ 상에서 결코 순열 다항식이 아님을 증명한다. 이 결과는 바일 합을 통한 새로운 증명을 통해 기존 문헌([2])으로부터 독립적으로 도출되었다.
   • $q$가 홀수인 경우: 명제 3.9는 만약 $b^q = c$이면, 이 다항식이 결코 순열 다항식이 아님을 보여준다. 또한 저자들은 $b^q \neq c$인 경우에도 홀수 $q$에 대해 이 다항식이 결코 순열 다항식이 아닐 것이라고 제안하는 가설 3.10을 제시하지만, 이는 현재의 도구로는 미해결 상태임을 언급한다.

3. 합성 역원(Compositional Inverses):
   논문은 식별된 유효한 순열 다항식들에 대한 합성 역원을 명시적으로 구성한다:

   • 홀수 $q$의 경우 ($b=0, c \notin \mu_{q+1}$), 역원은 $f^{-1}(x) = \frac{1}{c^{q+1}-1}(c^q x + x^q)$로 주어진다.
   • 짝수 $q$의 경우, 역원은 $q$-선형 다항식의 성질과 특정 트레이스 기반 합성을 사용하여 도출된다.

의의 및 주장
저자들은 본 연구를 아핀 $q$-다항식이나 Wan-Lidl 유형이 아닌 다항식 부류에 대한 바일 합의 직접적인 응용으로 위치시킨다. 본 연구의 의의는 다음과 같다:

• 완전성: 홀수 및 짝수 표수 모두에서 $x^q + bx^2 + cx + d$ 형태에 대한 완전한 특성화를 제공한다.
• 증명의 참신함: $q$가 짝수일 때 $x^{q+1} + bx^q + cx + d$ 형태의 순열 다항식이 존재하지 않음을 기존 문헌과는 다른 방식으로 독립적으로 증명하였다.
• 방법론적 유용성: 혼합 차수($x^q$와 $x^2$ 또는 $x^{q+1}$)를 가진 다항식의 영점 개수를 세고 순열 성질을 결정하는 데 있어 캐릭터 합(character sums)이 얼마나 효과적으로 사용될 수 있는지를 입증한다.

논문은 결론 부분에서 겸허하게, 두 번째 다항식 부류에서 홀수 $q$에 대한 $b^q \neq c$인 경우가 여전히 미해결 상태임을 인정하면서도, 확립된 결과들이 이러한 특정 다항식 형태의 순열 거동에 대한 추가적인 조사를 위한 견고한 토대를 제공한다고 밝히며 마무리한다.