홀수 차수 유한체 위 새로운 이항 벤트 함수

초록

본 논문은 차수 4k 인 유한체 GF(p^{4k}) 위에서 정의된 p진 함수 f(x)=Tr_{4k}(x^{p^{3k}+p^{2k}-p^{k}+1}+x^{2}) 가 약정규(bent) 함수임을 증명하고, 그 Walsh 변환값을 정확히 구한다. 증명 과정에서 제시된 새로운 지수합 및 다항식 결과는 독립적인 연구 주제로도 가치가 있다.

상세 분석

논문은 먼저 p가 홀수 소수이고 k가 양의 정수일 때, 확장체 GF(p^{4k}) 위의 트레이스 함수 Tr_{4k} 를 이용해 f(x)=Tr_{4k}(x^{p^{3k}+p^{2k}-p^{k}+1}+x^{2}) 라는 이항 형태의 p‑ary 함수를 정의한다. 이 함수가 약정규(bent) 함수가 되기 위해서는 모든 a∈GF(p^{4k}) 에 대해 Walsh 변환 W_f(a)=∑{x∈GF(p^{4k})}ζ_p^{f(x)-Tr{4k}(ax)} 가 절대값 p^{2k} 을 가져야 한다. 저자는 이를 증명하기 위해 두 개의 핵심 보조정리를 제시한다. 첫 번째는 지수합 S(α)=∑{x∈GF(p^{4k})}ζ_p^{Tr{4k}(αx^{p^{3k}+p^{2k}-p^{k}+1})} 에 대한 평가로, α가 0이 아니면 S(α)=−p^{2k} 임을 보인다. 이는 x↦x^{p^{3k}+p^{2k}-p^{k}+1} 가 특정 가환군의 자동동형에 해당함을 이용해, 해당 다항식이 완전 비자명한 아핀 변환을 구성한다는 사실을 활용한다. 두 번째 정리는 x^{2} 항이 추가된 경우의 합을 처리하는데, 이는 기존의 가우스 합과의 결합을 통해 ∑{x}ζ_p^{Tr{4k}(x^{2}+βx)} 형태로 변형하고, 완전 제곱식의 성질을 이용해 값이 p^{2k}·ζ_p^{c} (단, c는 β에 대한 이차 형식의 해)임을 얻는다. 이 두 결과를 조합하면, 모든 a에 대해 W_f(a)=±p^{2k}·ζ_p^{γ(a)} 형태가 되며, 여기서 γ(a) 는 명시적으로 계산 가능한 함수이다. 따라서 |W_f(a)|=p^{2k} 가 성립해 f 가 약정규 bent 함수임이 증명된다. 또한 저자는 이 과정에서 제시된 지수합 평가와 다항식의 비가역성 조건이 다른 암호학적 설계(예: S‑box 구성)에도 적용 가능함을 언급한다.