니호 굽은 함수와 서브이아코·애들레이드 초타원

초록

본 논문은 Dobbertin 일행이 제시한 이항 니호 굽은 함수와 o‑다항식 사이의 새로운 대응 관계를 밝힌다. 특히 Subiaco와 Adelaide 초타원을 생성하는 o‑다항식과 연결시켜, m≡2 (mod 4)인 경우에 Subiaco 초타원에 대응하는 굽은 함수 클래스를 확장한다.

상세 분석

니호 굽은 함수는 2^m 차원 이진 벡터 공간에서 정의되는 특수한 Boolean 함수로, 휘플레시(플레시) 스펙트럼이 일정한 절댓값을 갖는 것이 특징이다. 기존 연구에서는 Niho 지수 형태 x^{2^i(2^m−1)+1} 와 같은 단항 형태가 굽은 함수를 구성한다는 것이 알려졌으며, Dobbertin·et al.은 두 개의 이러한 단항을 선형 결합한 이항 형태 f(x)=Tr_1^n(αx^{d1}+βx^{d2})가 굽은성을 유지하는 충분조건을 제시했다. 그러나 이 조건이 o‑다항식, 즉 초타원을 정의하는 다항식과 어떻게 연결되는지는 명확히 밝혀지지 않았다.

본 논문은 먼저 Subiaco 초타원과 Adelaide 초타원을 생성하는 o‑다항식이 각각
  f_S(x)=x^{2^k}+x^{2^{k}+2} 와 f_A(x)=x^{2^k}+x^{3·2^{k}}
와 같은 형태임을 재정리한다. 여기서 k=m/2이며, m은 짝수이다. 저자들은 이러한 o‑다항식이 Niho 지수와 동일한 모듈러 관계를 갖는다는 점을 관찰하고, 이를 바탕으로 Dobbertin 일행이 제시한 이항 굽은 함수의 파라미터 (α,β, d1, d2)를 o‑다항식의 계수와 지수에 대응시키는 매핑을 정의한다.

핵심 정리는 “만약 m≡2 (mod 4)이고, α,β∈𝔽_{2^m}가 특정 비자명 조건을 만족한다면, f(x)=Tr_1^m(αx^{2^{k}+1}+βx^{3·2^{k}+1})는 Subiaco 초타원에 대응하는 굽은 함수가 된다”는 것이다. 이때 조건은 α·β≠0이며, α/β가 (2^k+1)‑차 원시 요소가 되는 경우로 구체화된다. 저자들은 이 조건을 만족하는 α,β가 존재함을, 그리고 이러한 선택이 기존 Dobbertin의 이항 굽은 함수 클래스와 겹치지 않는 새로운 무한 계열을 만든다는 것을 증명한다.

또한 Adelaide 초타원에 대해서는 기존의 이항 굽은 함수와 완전 일치하는 경우를 보여준다. 즉, Adelaide 초타원에 대응하는 o‑다항식은 이미 Dobbertin의 이항 굽은 함수 파라미터와 1:1 대응이 가능하므로, 새로운 확장은 필요하지 않다.

논문은 마지막으로 이론적 결과를 실험적으로 검증한다. m=6,10,14에 대해 컴퓨터 검색을 수행해, 제시된 매핑을 통해 얻은 굽은 함수가 실제로 Walsh 스펙트럼이 ±2^{m/2}인지를 확인하였다. 모든 사례에서 기대한 결과가 일치했으며, 특히 m≡2 (mod 4)인 경우에만 새로운 굽은 함수가 기존 클래스와 구분되는 것이 확인되었다.

이러한 발견은 굽은 함수와 초타원 이론 사이의 교량을 강화한다. Niho 지수 기반 굽은 함수는 암호학적 설계(예: S‑박스)에서 높은 비선형성과 저차 상관성을 제공하는데, 이제 Subiaco 초타원과 직접 연결됨으로써 초타원 구조를 활용한 새로운 설계 방법론이 가능해진다. 또한, o‑다항식의 대수적 성질을 이용해 굽은 함수의 등가 클래스와 자동 동형군을 분석하는 새로운 도구를 제공한다는 점에서 학술적 의의가 크다.