이진 APN 함수의 푸리에 스펙트럼 분석

초록

본 논문은 최근에 발견된 두 종류의 이진 이차 APN(거의 완전 비선형) 함수에 대해 푸리에 스펙트럼을 정확히 계산한다. 결과적으로 함수들의 비선형도와 관련 오류 정정 코드의 가중치 분포를 구하고, 차수가 홀수인 경우 APN 성질에 대한 새로운 증명을 제공한다.

상세 분석

논문은 먼저 APN 함수와 AB(거의 완전 비선형) 함수 사이의 이론적 연관성을 정리하고, 푸리에 변환 ( \widehat{f}(a,b)=\sum_{x\in L}(-1)^{\operatorname{Tr}(ax+bf(x))} ) 의 정의를 제시한다. 비선형도 (N_L(f)=2^{n-1}-\frac12\max_{(a,b)}|\widehat{f}(a,b)|) 는 푸리에 스펙트럼의 절대값 최대치와 직접 연결되므로, 스펙트럼을 구하면 비선형도를 즉시 얻을 수 있다.

연구 대상은 두 개의 이진 이차 다항식 패밀리이다. 첫 번째 패밀리 (f(x)=x^{2^{s}+1}+\alpha x^{2^{ik}+2^{mk}+s}) 는 차수 (n=3k) 이며, ((k,3)=(s,3k)=1) 조건을 만족한다. 두 번째 패밀리 (f(x)=x^{2^{s}+1}+\alpha x^{2^{ik}+2^{mk}+s}) 는 차수 (n=4k) 이고 ((k,2)=(s,2k)=1) 조건을 갖는다. 두 경우 모두 (\alpha=t^{2^{k}-1}) 이며, (t) 는 원시 원소이다.

핵심 증명은 푸리에 변환을 제곱한 뒤 변수 치환을 통해 (\widehat{f}(a,b)^2=2^{n}\sum_{u\in K}(-1)^{\operatorname{Tr}(au+b u^{2^{s}+1}+b\alpha u^{2^{\pm k}+s})}) 와 같은 형태로 변형한다. 여기서 (K) 는 특정 선형화 다항식 (L_b(u)) 의 영점 집합이며, 이 집합의 크기가 4 이하임을 보이면 (\widehat{f}(a,b)) 가 취할 수 있는 값은 ({0,\pm2^{(n+1)/2}}) (홀수 (n)) 혹은 ({0,\pm2^{n/2},\pm2^{(n+2)/2}}) (짝수 (n)) 로 제한된다.

이를 위해 저자들은 Galois 이론의 표준 보조정리(선형화 다항식의 영점 수 제한)를 활용한다. Lemma 1과 Corollary 2는 (L_b(u)=0) 의 해 공간 차원을 최대 2 (또는 (d)) 로 제한하고, 결국 (|K|\le4) 임을 보인다. 또한, 계수 (A,B) 가 영이 아님을 여러 경우 분석(특히 7과 11의 거듭제곱 모듈러 연산)으로 증명한다.

결과적으로, 두 패밀리 모두 차수가 짝수이면 5값 스펙트럼, 홀수이면 3값 스펙트럼을 갖는다. 이는 기존에 알려진 Gold 함수와 동일한 스펙트럼 형태이며, 차수가 홀수인 경우 APN 성질을 푸리에 스펙트럼만으로도 다시 증명할 수 있음을 의미한다. 또한, 푸리에 스펙트럼이 5값이면 해당 함수와 연관된 오류 정정 코드는 2‑오류 정정 BCH 코드와 동일한 가중치 분포를 가진다.

마지막으로 논문은 아직 해결되지 않은 패밀리 (5) 의 스펙트럼 문제와, 짝수 차수에서 푸리에 스펙트럼과 APN 성질 사이의 관계 부재, 그리고 더 일반적인 다항식 클래스에 대한 확장 가능성을 제시하며 연구 방향을 제시한다.