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

본 논문은 “On the Fourier Spectra of the Infinite Families of Quadratic APN Functions”라는 제목의 연구를 한국어로 상세히 해석·요약한다. 연구의 배경은 암호학에서 고비선형성 함수가 선형·차분 공격에 대한 최적 저항성을 제공한다는 점이다. 특히, 2진 확장체 GF(2^n) 위의 2차 함수가 APN이면 차수가 홀수일 때는 AB와 동치이며, 이 경우 푸리에 스펙트럼은 {0, ±2^{(n+1)/2}}만을 가진다. 반면 차수가 짝수인 경우에는 APN과 푸리에 스펙트럼 사이에 명확한 관계가 없으며, 이는 암호 설계 시 비선형성 평가를 복잡하게 만든다. 연구는 최근 제시된 다섯 번째 사중항(APN) 함수군, 즉 f(x)=α^{2^k}x^{2^{-k}+2^k+s}+αx^{2^{s}+1}+v x^{2^{-k}+1}+w α^{2^k+1}x^{2^k+s+2s} (여기서 n=3k, α는 GF(2^n)에서 원시 원소, v,w∈GF(2^k), v w≠1, (s,3k)=1, (3,k)=1, 3|k+s) 에 대한 푸리에 스펙트럼을 정확히 계산한다. 논문의 구조는 다음과 같다. 1. 서론: APN·AB 함수의 정의와 암호학적 중요성을 소개하고, 기존에 알려진 무한대 APN 함수군(1~4번)의 푸리에 스펙트럼이 이미 구해졌음을 언급한다. 2. 새로운 함수군 소개: 위에서 제시한 5번 사중항 함수의 구체적 형태와 파라미터 조건을 제시한다. 3. 레마 1: 다항식 f(x)=∑_{i=0}^d r_i x^{2^{s_i}}가 GF(2^n)에서 최대 2^d개의 영점을 가진다는 사실을 증명한다. 이는 이후 커널 크기 제한에 핵심적인 역할을 한다. 4. 정리 2 (주요 정리): 함수 f(x)의 푸리에 스펙트럼을 다음과 같이 규정한다. - n이 홀수이면 Λ_f = {0, ±2^{(n+1)/2}} (3값) - n이 짝수이면 Λ_f = {0, ±2^{n/2}, ±2^{(n+2)/2}} (5값) 이는 Gold 함수 x^{2^d+1}와 동일한 스펙트럼 형태이며, 모든 알려진 무한대 APN 함수군이 이와 같은 제한된 값 집합을 가진다는 결론을 내린다. 증명은 다음과 같은 흐름을 따른다. - 푸리에 변환 b_f(a,b)=∑_{x∈L}(-1)^{Tr(ax+bf(x))}를 정의하고, 이를 제곱하여 두 중첩 합으로 전개한다. - 변수 치환 y=x+u를 적용해 b_f(a,b)^2 = ∑_{u∈L}(-1)^{Tr(au+bf(u))}·∑_{x∈L}(-1)^{Tr(x·L_b(u))} 로 분리한다. 여기서 L_b(u)는 복잡한 2차식이며, ∑_{x∈L}(-1)^{Tr(cx)}는 c=0이면 2^n, 그렇지 않으면 0이라는 성질을 이용한다. - 따라서 b_f(a,b)^2 = 2^n·∑_{u∈K}(-1)^{Tr(au+bf(u))} 가 되며, K는 L_b(u)=0을 만족하는 u들의 집합이다. - K의 크기를 제한하기 위해 L_b(u)=0을 정리하고, 여러 파라미터(θ, t(u), r(u) 등)를 도입해 식을 단순화한다. 핵심은 θ+θ^{2^{-k}}≠0, P(θ)≠0을 보임으로써 방정식의 해가 제한된다는 점이다. - Lemma 1을 적용하면 K의 원소 수는 최대 4(짝수 n) 혹은 2(홀수 n)임을 얻는다. 따라서 b_f(a,b)값은 0, ±2^{n/2}, ±2^{(n+2)/2} (짝수) 혹은 0, ±2^{(n+1)/2} (홀수) 중 하나가 된다. 논문은 또한 Dillon이 제시한 GF(2^6) 위의 7값 푸리에 스펙트럼을 가진 2차 APN 함수와 비교하면서, 5값 스펙트럼이 APN과 직접적인 인과관계를 의미하지 않음을 강조한다. 결론에서는 다음과 같은 의미를 제시한다. - 현재까지 알려진 모든 무한대 APN 함수군(1~5번)의 푸리에 스펙트럼이 3값 또는 5값으로 제한됨을 확인했다. - 이는 비선형성 N_L(f)=2^{n-1}−½·max|Λ_f| 를 쉽게 계산하게 해 주어, 암호 설계 시 함수 선택에 실용적인 지표를 제공한다. - 짝수 차수에서 APN과 푸리에 스펙트럼 사이의 관계가 복잡함을 재확인하고, 향후 더 복잡한 스펙트럼을 갖는 APN 함수의 존재 여부를 탐구할 필요가 있음을 제시한다. 전반적으로 논문은 고차원 유한체 위의 2차 APN 함수에 대한 푸리에 분석을 체계화하고, 기존에 부분적으로만 알려졌던 스펙트럼 정보를 완전하게 정리함으로써 암호학 및 코딩 이론 분야에 중요한 기여를 한다.