[논문 리뷰] Determination of a Type of Permutation Trinomials over Finite Fields

Xiang‐dong Hou|arXiv (Cornell University)|2013. 09. 13.

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

한 줄 요약

이 논문은 유한체 $ \mathbb{F}_q $ 위에서 정의된 삼항식 $ f = a x + b x^q + x^{2q-1} $가 $ \mathbb{F}_{q^2} $에서 치환다항식이 되기 위한 명시적인 필요충분조건을 홀수 $ q $와 짝수 $ q $의 경우로 나누어 결정한다. 주요 기여는 이러한 치환다항식의 완전한 분류를 제공함으로써, $ \mathbb{F}_q $ 위의 합을 포함하는 함수방정식으로 정의된 다항식 $ g_{n,q} $의 치환성에 관한 관련 문제를 해결하는 것이다.

ABSTRACT

Let $f=a{ t x} +b{ t x}^q+{ t x}^{2q-1}\in\Bbb F_q[{ t x}]$. We find explicit conditions on $a$ and $b$ that are necessary and sufficient for $f$ to be a permutation polynomial of $\Bbb F_{q^2}$. This result allows us to solve a related problem. Let $g_{n,q}\in\Bbb F_p[{ t x}]$ ($n\ge 0$, $p= ext{char}\,\Bbb F_q$) be the polynomial defined by the functional equation $\sum_{c\in\Bbb F_q}({ t x}+c)^n=g_{n,q}({ t x}^q-{ t x})$. We determine all $n$ of the form $n=q^α-q^β-1$, $α>β\ge 0$, for which $g_{n,q}$ is a permutation polynomial of $\Bbb F_{q^2}$.

연구 동기 및 목표

• 유한체 $ \mathbb{F}_q $에서의 소수 거듭제곱 $ q $에 대해, 삼항식 $ f = a x + b x^q + x^{2q-1} $가 $ \mathbb{F}_{q^2} $에서 치환다항식이 되기 위한 필요충분조건을 결정하는 것.
• 다음 함수방정식을 통해 정의된 다항식 $ g_{n,q} $의 치환성에 관한 관련 미해결 문제를 해결하는 것: $ \sum_{c \in \mathbb{F}_q} (x + c)^n = g_{n,q}(x^q - x) $.
• 다음 형태의 정수 $ n = q^\alpha - q^\beta - 1 $, $ \alpha > \beta \geq 0 $에 대해, $ g_{n,q} $가 $ \mathbb{F}_{q^2} $에서 치환다항식이 되는지 여부를 특성화하는 것.
• 다항식 $ a x + b x^q + x^{2q-1} = y $의 해가 $ \mathbb{F}_{q^2} $에서 유일함을 보이는 데 새로운 방법을 제시하는 것. 이는 대수적 항등식과 추적 조건을 활용한다.
• 다항식 $ f $의 치환성과 $ g_{n,q} $의 구조 사이의 연결 고리를 설정하는 것. 특히 $ n = q^\alpha - q^\beta - 1 $일 때의 경우에 초점을 맞춘다.

제안 방법

• 홀수 $ q $에 대해, $ a, b \in \mathbb{F}_q^* $에 대한 조건을 유도하여 $ f = a x + b x^q + x^{2q-1} $가 $ \mathbb{F}_{q^2} $를 치환하도록 하는 조건을 도출하며, 판별식 분석과 대입 기법을 사용한다.
• 짝수 $ q $에 대해, 추적 조건 $ \operatorname{Tr}_{q/2}(1/(a+1)) = 0 $ 및 $ \operatorname{Tr}_{q/2}(1/b) = 0 $를 활용하고, $ d \in \mathbb{F}_q \setminus \mathbb{F}_2 $에 대한 유리함수 형태로 해를 표현한다.
• 복잡한 이항계수 합을 소수 모듈로에서 평가하기 위해 생성함수와 로렌트 급수에서의 상수항 추출 기법을 사용한다.
• 다음과 같은 항등식을 활용하여 $ g_{n,q} $의 함수방정식을 단순화한다: $ \sum_{l} \binom{l+2}{2} \binom{-l}{l} z^l $, $ \sum_{l} (l+1) \binom{-l}{l} z^l $ 및 유사한 항등식.
• 변수 치환을 통해 $ g_{n,q} $를 $ x^{q^2} - x $ 모듈로에서 $ A x + B x^q + C x^{2q-1} $ 형태로 변환함으로써 문제를 정리 A로 축소한다.
• 기존의 치환다항식 및 사영기하학에 관한 결과를 활용하여, $ \mathbb{F}_{q^2} $에서 치환다항식이 되는 삼항식 $ a x + b x^q + c x^{2q-1} $에 대한 사영삼중체 $ [a:b:c] $의 집합 $ \mathcal{X} $를 묘사한다.

실험 결과

연구 질문

• RQ1 홀수 $ q $일 때, $ \mathbb{F}_q $의 원소인 $ a, b $에 대해 삼항식 $ f = a x + b x^q + x^{2q-1} $가 $ \mathbb{F}_{q^2} $에서 치환다항식이 되는 조건은 무엇인가요?
• RQ2 짝수 $ q $일 때, $ \mathbb{F}_q $의 원소인 $ a, b $에 대해 삼항식 $ f = a x + b x^q + x^{2q-1} $가 $ \mathbb{F}_{q^2} $에서 치환다항식이 되기 위한 필요충분조건은 무엇인가요?
• RQ3 다음 형태의 정수 $ n = q^\alpha - q^\beta - 1 $, $ \alpha > \beta \geq 0 $에 대해, $ g_{n,q} $가 $ \mathbb{F}_{q^2} $에서 치환다항식이 되는 경우는 언제인가요?
• RQ4 함수방정식 $ \sum_{c \in \mathbb{F}_q} (x + c)^n = g_{n,q}(x^q - x) $를 어떻게 활용하여 치환다항식 $ g_{n,q} $를 특성화할 수 있나요?
• RQ5 형식 $ a x + b x^q + c x^{2q-1} $를 가진 치환다항식을 매개변수화하는 사영기하구조 $ \mathcal{X} \subset \text{PG}(2, \mathbb{F}_q) $의 기하학적 구조는 무엇인가요?

주요 결과

• 홀수 $ q $에 대해, $ f = a x + b x^q + x^{2q-1} $가 $ \mathbb{F}_{q^2} $에서 치환다항식이 되는 것은 다음 네 가지 조건 중 하나가 성립할 때이고, 그 조건은: (i) $ a(a-1) $가 제곱이고 $ b^2 = a^2 + 3a $; (ii) $ a = 1 $이고 $ b^2 - 4 $가 제곱; (iii) $ a = 3, b = 0, q \equiv -1 \pmod{6} $; (iv) $ a = b = 0, q \equiv 1,3 \pmod{6} $.
• 짝수 $ q > 2 $에 대해, $ f $가 $ \mathbb{F}_{q^2} $에서 치환다항식이 되는 것은 다음 조건 중 하나를 만족할 때이다: (i) $ a \neq 1 $, $ \operatorname{Tr}_{q/2}(1/(a+1)) = 0 $, 그리고 $ b^2 = a^2 + a $; 또는 (ii) $ a = 1 $, $ b \neq 0 $, 그리고 $ \operatorname{Tr}_{q/2}(1/b) = 0 $.
• 모든 $ n = q^\alpha - q^\beta - 1 $에 대해 $ g_{n,q} $가 $ \mathbb{F}_{q^2} $에서 치환다항식이 되는 경우는 완전히 특성화되어 있다: 짝수 $ q $의 경우는 정리 C에 의해 주어지고, 홀수 $ q $의 경우는 변수 치환을 통해 정리 A로부터 유도된다.
• 짝수 $ q $에 대해, $ \mathbb{F}_{q^2} $에서 치환다항식이 되는 사영삼중체 $ [a:b:c] $의 집합 $ \mathcal{X} $는 명시적으로 묘사되어 있으며, $ d \in \mathbb{F}_q \setminus \mathbb{F}_2 $로 매개변수화된 네 개의 가족의 합집합으로 표현된다.
• 로렌트 급수 전개에서 상수항을 계산하는 과정에서, 차수 4 다항식이 유리함수로 놀랍게 인수분해되는 결과를 도출하였으며, 이는 핵심 합의 닫힌 표현식 유도에 기여한다.
• 다음 항등식이 $ q > 2 $일 때 잔여계산과 추적 기반 계수 추출을 통해 증명된다: $ \sum_{l} \binom{l+2}{2} \binom{-l}{l+1} z^l = \frac{3z(1+2z)}{(1+4z)^2} $, 이는 주요 정리의 증명에 핵심적인 역할을 한다.