차수 20 다항식의 무한 APN 특성 연구

초록

본 논문은 차수가 20인 다항함수 중 무한히 많은 확장체에서 APN(Almost Perfect Nonlinear) 특성을 갖는 함수를 전부 규명하고, 이들 모두가 $x^5$ 함수와 CCZ-동형임을 증명한다. 이를 통해 Aubry‑McGuire‑Rodier의 추측에 한 걸음 더 다가간다.

상세 분석

APN 함수는 차분 균등성(diffusion)과 비선형성 측면에서 암호학적 S‑box 설계에 핵심적인 역할을 한다. 특히 2‑진수 체 $𝔽_{2^n}$ 위에서 차수가 짝수인 다항식이 APN 특성을 유지하려면 매우 제한적인 구조를 가져야 한다는 것이 알려져 있다. 기존 연구에서는 차수 6, 10, 12 등에 대해 전부 분류가 이루어졌으며, 차수 20에 대한 전반적인 결과는 아직 공백으로 남아 있었다.

본 논문은 먼저 차수 20 다항식 $f(x)=\sum_{i=0}^{20} a_i x^{2^i}$ 형태를 일반화하고, APN 조건인 $Δ_f(a,b)=f(x+a)+f(x)+b$ 가 $x$에 대해 최대 두 개의 해만을 갖는지를 체계적으로 분석한다. 이를 위해 저자들은 차분 다항식의 결과값을 $𝔽_{2^n}$ 위의 곡선으로 해석하고, 곡선의 기하학적 특성(특히 차수와 영점의 개수)을 이용해 가능한 계수를 제한한다.

핵심 아이디어는 두 단계로 나뉜다. 첫 번째 단계에서는 차분 방정식의 해의 개수를 곡선의 정규화된 종속성으로 전환하고, Hasse‑Weil 정리를 적용해 가능한 $n$값에 대한 상한을 도출한다. 두 번째 단계에서는 이러한 상한을 만족하는 경우에만 계수들이 특정한 선형 관계를 만족함을 보이며, 결국 $f(x)$가 $x^5$와 CCZ‑동형임을 증명한다. CCZ‑동형성은 함수의 그래프를 선형 변환과 평행 이동을 통해 서로 변환할 수 있음을 의미하므로, $x^5$가 이미 알려진 APN 함수임을 이용해 새로운 함수들의 APN 특성을 즉시 확보한다.

또한 저자들은 컴퓨터 대수 시스템을 활용해 작은 차수와 차수 20의 조합에 대한 실험적 검증을 수행했으며, 모든 경우에 대해 이론적 결과와 일치함을 확인하였다. 이러한 접근법은 기존의 경우별 검증 방식보다 일반화 가능성이 높으며, 차수 20 이상의 다항식에 대해서도 유사한 방법을 적용할 수 있는 가능성을 제시한다.

결과적으로, 차수 20 다항식이 무한히 많은 확장체에서 APN 특성을 갖기 위해서는 반드시 $x^5$와 CCZ‑동형이어야 한다는 강력한 제한이 도출되었다. 이는 Aubry‑McGuire‑Rodier가 제시한 “모든 무한히 많은 APN 다항식은 $x^{2^k+1}$ 형태와 동형이다”라는 추측을 차수 20까지 검증한 셈이며, 차수 20이후의 일반화에 대한 중요한 발판을 제공한다.