이진체 GF(2^k)에서 x^{2^l+1}+x+a 식의 영점 구조와 Dobbertin 순열 다항식의 응용

초록

논문은 다항식 P_a(x)=x^{2^l+1}+x+a와 연관된 affine 다항식 a^{2^l}x^{2^{2l}}+x^{2^l}+ax+1을 GF(2^k) 위에서 연구한다. gcd(l,k)=1인 경우 Dobbertin이 제시한 순열 다항식 q(x)를 이용해 P_a(x)의 영점 개수를 정확히 판정하는 기준을 제시하고, 일반적인 gcd(l,k)≥1 경우에도 새로운 재귀식 C_i(x), Z_n(x) 등을 통해 영점 존재 여부와 개수를 완전하게 기술한다. 또한 영점 계산을 위한 명시적 식과 예시를 제공한다.

상세 분석

이 논문은 이진 확장체 GF(2^k) 위에서 차수가 2^l+1인 비선형 다항식 P_a(x)=x^{2^l+1}+x+a의 영점 구조를 체계적으로 분석한다. 가장 핵심적인 기여는 두 가지 경우로 나뉜다. 첫 번째는 l과 k가 서로 서로소인 경우(gcd(l,k)=1)이며, 이때 Dobbertin이 정의한 순열 다항식 q(x)=∑_{i=1}^{l’}x^{2^{i}}+εx^{2^l+1} (ε≡l′+1 mod 2)와 그 역함수 R(x) 사이의 일대일 대응을 이용한다. 저자는 q(x)의 절대 트레이스값이 특정값(0 또는 1)과 일치할 때 P_a(x)가 정확히 하나의 영점을 갖는다는 새로운 기준을 제시한다. 이는 기존에 알려진 D₃(x)=x³+x 형태와는 다른, 2^l 차수 일반화된 판정법이다. 또한, q(x)가 순열이 아닐 때도 V(x)라는 3‑to‑1 매핑을 정의해 T₀, T₁(트레이스가 0·1인 원소 집합) 위에서의 이미지 관계를 분석함으로써 영점 존재 여부를 완전히 파악한다.

두 번째는 gcd(l,k)=d>1인 일반적인 경우이다. 여기서는 l을 k의 약수 d로 나눈 뒤 n=k/d 로 두고, 재귀식 C_i(x)=C_{i-1}(x)+x^{i-1}C_{i-2}(x) (i≥3)와 Z_n(x)=C_{n+1}(x)+xC_{2^l n-1}(x) 를 도입한다. 저자는 C_n(x)와 Z_n(x)의 근을 명시적으로 기술하고, 이들이 GF(2^{nd}) 내에서 몇 개의 서로 다른 근을 갖는지, 그리고 그 근들의 중복도(2^l 배)까지 정확히 계산한다. 특히, 트레이스와 노름 연산을 활용해 “v₀+v₀^{2^l}=0” 형태의 조건이 만족될 때만 C_n(x)·Z_n(x) 가 완전히 분해된다는 사실을 증명한다. 이를 통해 P_a(x) 가 0, 1, 2개의 영점을 갖는 경우를 구분하는 새로운 기준식을 얻으며, M_i(영점 개수가 i인 a의 개수) 를 정확히 구한다.

또한, 논문은 P_a(x)와 밀접하게 연결된 affine 다항식 F_a(x)=a^{2^l}x^{2^{2l}}+x^{2^l}+ax+1 의 근 구조도 분석한다. F_a(x)=0 은 P_{a^{-1}}(y)=0 형태로 변환 가능함을 보이고, 앞서 얻은 C_n, Z_n 결과를 그대로 적용해 F_a(x)의 영점 개수와 계산식을 제공한다. 전체적으로, 저자는 기존 연구에서 다루기 어려웠던 “두 개의 영점” 혹은 “영점이 전혀 없는 경우”를 명확히 구분할 수 있는 이론적 도구와 실용적인 알고리즘을 동시에 제시한다. 이러한 결과는 차분집합, m‑시퀀스 상관, 그리고 비선형 암호 설계 등 다양한 응용 분야에 직접적인 영향을 미칠 것으로 기대된다.