무한대의 2차 APN 함수들의 푸리에 스펙트럼 완전 분석

초록

본 논문은 최근 제시된 5번째 사중항(APN) 함수군의 푸리에 스펙트럼을 구하고, 차수가 홀수일 때는 3값, 짝수일 때는 5값을 갖는다는 결과를 증명한다. 이를 통해 지금까지 알려진 모든 무한대 APN 함수군의 스펙트럼과 비선형성을 완전히 파악한다.

상세 분석

이 연구는 APN(Almost Perfect Nonlinear) 함수와 AB(Almost Bent) 함수 사이의 미묘한 관계를 짚어낸다. 기존 이론에 따르면, 차수가 홀수인 2차 함수는 APN이면 반드시 AB이며, 그 푸리에 스펙트럼은 {0, ±2^{(n+1)/2}}만을 가진다. 그러나 차수가 짝수인 경우에는 이러한 등가성이 깨지며, 푸리에 스펙트럼이 APN 성질을 직접적으로 반영하지 않는다. 논문은 이러한 격차를 구체적인 사중항 함수군(가족 5)으로 입증한다.

핵심 증명은 두 단계로 구성된다. 첫 번째는 Lemma 1을 이용해 다항식 f(x)=∑{i=0}^d r_i x^{2^{s_i}}가 L=GF(2^n) 위에서 최대 2^d개의 영점을 가질 수 있음을 보이는 것으로, 이는 이후 커널 크기 제한에 필수적이다. 두 번째 단계에서는 푸리에 변환 b_f(a,b)=∑{x∈L}(-1)^{Tr(ax+bf(x))}를 제곱하여 b_f(a,b)^2를 두 중첩 합으로 전개하고, 변수 치환 y=x+u를 적용해 b_f(a,b)^2=2^n·∑_{u∈K}(-1)^{Tr(au+bf(u))} 형태로 만든다. 여기서 K는 L_b(u)=0을 만족하는 u들의 집합이며, L_b(u)는 복잡한 2차식이다.

논문은 L_b(u)=0이 되는 u는 최대 4개(짝수 n) 혹은 2개(홀수 n)뿐임을 보인다. 이를 위해 α, β, γ 등 여러 파라미터를 도입하고, 상대 트레이스 Tr_k를 활용해 식을 정리한다. 특히 θ+θ^{2^{-k}}≠0임을 증명하고, P(θ)≠0임을 보임으로써 핵심 방정식의 해 개수를 제한한다. 최종적으로 |K|≤4가 성립하면 b_f(a,b)값은 0, ±2^{n/2}, ±2^{(n+2)/2} (짝수 n) 혹은 0, ±2^{(n+1)/2} (홀수 n) 중 하나가 된다.

이 결과는 기존에 (1)~(4)번 가족에 대해 이미 알려진 스펙트럼과 일관되며, 모든 알려진 무한대 APN 함수군이 3값 또는 5값 스펙트럼을 가진다는 사실을 확립한다. 또한, 짝수 차수에서 APN과 푸리에 스펙트럼 사이에 직접적인 연관이 없다는 기존의 직관을 재확인하고, Dillon이 제시한 7값 스펙트럼 예외 사례와 대비한다.

학술적 의의는 두fold이다. 첫째, APN 함수의 비선형성(NL) 계산이 푸리에 스펙트럼을 통해 직접 가능해짐으로써 암호학적 설계와 평가가 용이해진다. 둘째, 증명 기법—특히 다항식 영점 제한과 상대 트레이스 활용—은 다른 새로운 2차 혹은 고차 APN 함수군을 분석할 때도 적용 가능한 일반적인 도구가 된다. 향후 연구에서는 짝수 차수에서 다중값 스펙트럼을 갖는 APN 함수들의 구조적 특성을 더 깊이 탐구하고, 비선형성 상한을 초과하는 사례가 존재하는지 여부를 조사할 필요가 있다.