비아벨리안 함수와 완전 비선형성

초록

본 논문은 유한 비아벨리안 군 사이의 함수에 대해 완전 비선형(Perfect Nonlinear) 조건을 정의하고, 이를 선형표현 이론을 이용해 ‘벤(bent)’ 성질과 동등하게 기술한다. 아벨리안 경우의 푸리에 변환 기반 벤 함수 개념을 일반화하여, 비아벨리안 군의 불변표현을 활용한 행렬형 푸리에 변환이 일정한 크기를 유지할 때 함수를 완전 비선형이라고 규정한다.

상세 분석

완전 비선형 함수는 암호학에서 차분 균등성(δ‑uniformity)과 직접 연결되며, 전통적으로는 아벨리안 군 G, H 사이에서 정의된다. 이때 도함수 dαf(x)=f(αx)f(x)⁻¹가 모든 비영 α에 대해 균등하게 값을 취하면 f는 완전 비선형이다. 아벨리안 상황에서는 각 비주요 문자 χ∈Ĥ에 대해 χ∘f의 푸리에 변환 (\widehat{χ∘f}(ρ))가 절댓값 |G|을 갖는다면 f는 ‘벤’이라고 부른다. 논문은 이 등가성을 비아벨리안 군으로 확장한다. 비아벨리안 군의 경우, 문자 대신 모든 불변(irreducible) 복소수 표현 ρ: H→GL(Vρ)를 사용한다. ρ∘f는 G 위의 Vρ‑값 함수가 되고, 이를 행렬형 푸리에 변환 (\widehat{ρ∘f}(σ)=\sum_{x∈G}ρ(f(x))σ(x)^{-1}) (σ는 G의 불변표현)으로 정의한다. 주요 정리는 “f가 완전 비선형 ⇔ 모든 비자명 ρ와 σ에 대해 (\widehat{ρ∘f}(σ))의 프레셰-벨라(프레셰-벨라) 노름이 |G|·dim Vρ·dim Wσ와 동일”이라는 식이다. 여기서 프레셰-벨라 노름은 행렬의 모든 특잇값 제곱합의 제곱근이다. 이 조건은 아벨리안 경우의 스칼라 푸리에 변환 절댓값 일정성과 정확히 일치한다. 논문은 또한 균형성(balanced) 개념을 행렬 평균이 영 연산자임으로 재해석하고, 도함수 dαf가 각 ρ에 대해 동일한 행렬 분포를 갖는지를 검증한다. 증명은 플라치에르 정리와 정규표현의 직교성을 활용하며, 비아벨리안 군의 중심화 클래스와 클래스 함수가 핵심 역할을 한다. 마지막으로, 특정 비아벨리안 군(예: 대칭군 S₃, 디헤드랄 군 D₈)과 작은 차원 표현을 이용해 구체적 예시를 제시하고, 이들 함수가 실제 암호 설계에서 차분 균등성을 만족함을 확인한다.