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

본 논문은 이진 유한체 \(L=\mathrm{GF}(2^{n})\) 위에 정의된 이차 다항식 형태의 APN(Almost Perfect Nonlinear) 함수들의 푸리에 스펙트럼을 체계적으로 계산한다. 서론에서는 비선형성, APN, AB(Almost Bent) 함수 사이의 관계를 정리하고, 푸리에 변환 \(\widehat{f}(a,b)\) 와 비선형도 \(N_{L}(f)\) 의 정의를 제시한다. 특히, 차수가 홀수일 때 AB 함수는 자동으로 APN이며, 이차 APN 함수는 AB와 동치임을 언급한다. 제2절에서는 APN 함수와 오류 정정 코드 사이의 깊은 연관성을 설명한다. 함수 \(f\) 에 대해 행렬 \(A_{f}\) 를 구성하면, 이 행렬을 패리티 검사 행렬로 하는 코드의 최소 거리 \(d=5\) 가 APN 성질과 동치임을 보인다. 또한, 푸리에 스펙트럼 값 \(V\)와 코드 가중치 \(w\) 사이의 관계 \(V=2^{n-2}w\) 를 이용해, 스펙트럼이 몇 개의 값만을 가질 경우(5값 이하) 맥윌리엄스 정리를 통해 가중치 분포를 완전히 결정할 수 있음을 설명한다. 본 논문의 핵심은 두 개의 새로운 이진 이차 함수 패밀리(1)과(2)에 대한 푸리에 스펙트럼 계산이다. - 패밀리 (1): \(f(x)=x^{2^{s}+1}+\alpha x^{2^{ik}+2^{mk}+s}\) 이며, \(n=3k\), \((k,3)=(s,3k)=1\) 조건을 만족한다. - 패밀리 (2): 동일한 형태지만 \(n=4k\), \((k,2)=(s,2k)=1\) 조건을 가진다. 각 패밀리마다 두 가지 경우( \(s\equiv\pm1\pmod 3\) 또는 \(\pmod4\) )가 존재한다. 저자들은 푸리에 변환을 제곱하고 변수 \(u=x+v\) 를 도입해, 내부 합이 \(\sum_{x\in L}(-1)^{\operatorname{Tr}(xL_{b}(u))}\) 형태가 되도록 변형한다. 여기서 \(L_{b}(u)\) 는 선형화 다항식이며, 그 영점 집합 \(K\) 의 크기가 푸리에 값의 절대값을 결정한다. Lemma 1과 Corollary 2를 이용해 \(L_{b}(u)=0\) 의 해 공간 차원을 최대 2 (또는 \(d\)) 로 제한하고, 따라서 \(|K|\le4\) 임을 보인다. 이때 \(\widehat{f}(a,b)^{2}=2^{n}\sum_{u\in K}(-1)^{\operatorname{Tr}(\cdots)}\) 이므로, \(\widehat{f}(a,b)\) 는 \(0,\pm2^{(n+1)/2}\) (홀수 \(n\)) 혹은 \(0,\pm2^{n/2},\pm2^{(n+2)/2}\) (짝수 \(n\)) 중 하나만을 취한다. 증명 과정에서 계수 \(A,B\) 가 영이 아님을 보이기 위해, 7과 11의 거듭제곱 모듈러 연산을 활용한 모순 논증을 전개한다. 또한, \(\alpha=t^{2^{k}-1}\) ( \(t\) 는 원시 원소) 의 성질을 이용해 여러 항을 정리하고, 최종적으로 \(|K|<4\) 와 \(A,B\neq0\) 을 확보한다. 정리 3과 4는 각각 패밀리 (1)과 (2)의 푸리에 스펙트럼을 명시한다. 결과적으로 두 패밀리 모두 차수가 짝수이면 5값 스펙트럼, 홀수이면 3값 스펙트럼을 가진다. 이는 Gold 함수 \(x^{2^{d}+1}\) 와 동일한 스펙트럼 형태이며, 차수가 홀수인 경우 APN 성질을 푸리에 스펙트럼만으로도 재증명할 수 있음을 의미한다. 섹션 5에서는 이전 연구에서 이미 구해진 패밀리 (3)과 (4)의 스펙트럼 결과를 요약하고, 아직 구해지지 않은 패밀리 (5) 에 대한 열린 문제를 제시한다. 특히, 짝수 차수에서 푸리에 스펙트럼이 5값을 초과할 수 있음을 보여주는 Dillon의 예시( \(n=6\) )를 인용하며, 푸리에 스펙트럼과 APN 성질 사이의 직접적인 연관성이 항상 성립하지 않음을 강조한다. 마지막으로, 논문은 다음과 같은 연구 방향을 제시한다. 1. 패밀리 (5) 의 푸리에 스펙트럼을 구해, 5값 혹은 그 이상인지 확인한다. 2. 짝수 차수에서 푸리에 스펙트럼이 APN 성질을 보장하지 않는 현상의 구조적 원인을 규명한다. 3. 현재 다항식 형태를 일반화하여, 더 넓은 클래스의 이차 APN 함수에 대한 스펙트럼 및 비선형도 분석을 확장한다. 이와 같이, 본 논문은 이진 이차 APN 함수의 푸리에 스펙트럼을 정확히 규명함으로써 비선형 암호 설계와 오류 정정 코드 이론 사이의 교량 역할을 수행하고, 향후 연구에 중요한 기반을 제공한다.