[논문 리뷰] A characterization of a class of maximum nonlinear functions

Doreen Hertel, Alexander Pott|ArXiv.org|2005. 08. 01.

Coding theory and cryptography참고 문헌 10인용 수 3

한 줄 요약

이 논문은 $\mathbb{F}_{2^m}$ 위에서 $\gcd(k,m)=1$인 경우에 Gold 거듭제곱 함수 $x^{2^k+1}$가 유일한 최대 비선형 함수임을 규명한다. 이를 위해 좌표 함수가 고차원 2차 하위공간의 특성 함수와의 해밍 거리를 분석한다. 이 함수들이 유일하게 최대 비선형성을 가지는 것은, 모든 고차원 2차 하위공간과의 교차 수가 최소임을 보여주며, 웨일시 변환과 벡터 공간 기하학을 통해 구조적 특성화를 수립한다.

ABSTRACT

Maximum nonlinear functions on finite fields are widely used in cryptography because the coordinate functions have large distance to linear functions. More precisely, the Hamming distance to the characteristic functions of hyperplanes is large. One class of maximum nonlinear functions are the Gold power functions We characterize these functions in terms of the distance of their coordinate functions to characteristic functions of subspaces of codimension 2.

연구 동기 및 목표

• 최대 비선형 함수의 클래스를 좌표 함수의 기하적 성질을 사용하여 특성화하는 것.
• Gold 거듭제곱 함수 $x^{2^k+1}$가 $\gcd(k,m)=1$일 때, 고유한 하위공간 거리 기준을 통해 최대 비선형성을 달성하는 유일한 함수임을 규명하는 것.
• 고차원 2차 하위공간과의 교차 성질에 기반해 최대 비선형 함수의 구조적 특성화를 수립하는 것.
• 웨일시 계수와 순환 벡터 표현을 사용하여 최대 비선형성의 필요 및 충분 조건을 제공하는 것.

제안 방법

• 거듭제곱 함수의 비선형성을 분석하기 위해 웨일시 변환 $\mathcal{W}_d(\gamma) = \sum_{x \in \mathbb{F}_{2^m}} (-1)^{\operatorname{tr}(\gamma x + x^d)}$를 사용한다.
• 하이퍼플레인 $H^0(\alpha) = \{x : \operatorname{tr}(\alpha x) = 0\}$과 집합 $D_d = \{x : \operatorname{tr}(x^d) = 1\}$ 사이의 교차 크기 $|D_d \cap H^0(\alpha)|$를 분석하고, 이를 웨일시 계수와 연결한다.
• 지수 $d$의 순환 이진 벡터 표현 $\bar{d}$를 도입하고, 그 순환 형태에서 런과 갭을 정의하여 대칭성과 주기성을 분석한다.
• 순환 이진 벡터 $\bar{d}$의 부분벡터 $w$를 재귀적으로 구성하는 알고리즘을 사용하여, $|S(w)|$가 홀수인 경우를 탐지함으로써 구조적 비선형성을 진단한다. 여기서 $S(w)$는 $\bar{d}$의 부분문자열이 되는 $w$의 순환 이동 집합이다.
• 지수 $d$가 Gold 함수에 해당할 때에만 $|S(w)|$가 홀수가 되며, 이는 $\bar{d}$의 무게와 런-갭 구조에 기반한다.
• 최대 비선형 함수에 대해 $\mathcal{L}(F) = 2^{(m+1)/2}$임을 적용하고, 이 조건이 고차원 2차 하위공간 거리 조건 하에서 정확히 Gold 함수일 때만 성립함을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 벡터 함수 $F: \mathbb{F}_{2^m} \to \mathbb{F}_{2^m}$가 최대 비선형성을 가지는가, 즉 $\mathcal{L}(F) = 2^{(m+1)/2}$인가?
• RQ2 고차원 2차 하위공간으로부터의 거리 기준을 사용해 Gold 거듭제곱 함수 $x^{2^k+1}$이 $\gcd(k,m)=1$일 때 유일하게 최대 비선형성을 가지는가?
• RQ3 거듭제곱 함수 $x^d$의 지수 $d$가 갖는 어떤 구조적 성질이 모든 좌표 함수 $F_\beta(x) = \operatorname{tr}(\beta F(x))$가 최대 비선형성을 가지도록 보장하는가?
• RQ4 지수 $d$의 순환 이진 표현은 함수 $x^d$의 비선형성과 어떻게 관련이 있는가?
• RQ5 지수 $d$의 이진 전개에서의 런과 갭에 어떤 조건이 성립할 경우 함수 $x^d$가 최대 비선형성을 가지는가?

주요 결과

• 지수 $\gcd(k,m)=1$인 Gold 거듭제곱 함수 $x^{2^k+1}$는 모든 좌표 함수 $F_\beta$가 최대 비선형성을 가지는, 즉 $\mathcal{L}(F) = 2^{(m+1)/2}$를 만족하는 $\mathbb{F}_{2^m} \to \mathbb{F}_{2^m}$ 함수로서 오직 유일한 함수이다.
• 함수 $F(x) = x^d$가 최대 비선형일 필요 및 충분 조건은 $\mathbb{F}_{2^m}$의 모든 고차원 2차 하위공간과의 교차 크기가 $2^{m-2}$임을 만족하는 것이다.
• 알고리즘은 순환 이진 벡터 $\bar{d}$의 부분벡터 $w$를 구성하여, $|S(w)|$가 홀수일 때에만 $d$가 Gold 함수에 해당함을 보여주는 구조적 테스트를 제공한다.
• $\gcd(d, 2^m - 1) = 1$인 경우, 함수 $x^d$가 최대 비선형성이 되는 것은 $\bar{d}$의 무게가 2의 거듭제곱이면서 런-갭 구조가 알고리즘 조건을 만족할 때 정확히 성립한다.
• 논문은 $\mathcal{L}(F) = 2^{(m+1)/2}$이면 반드시 Gold 함수임을 증명하여, 하위공간 거리 기반으로 최대 비선형 함수의 전체 클래스를 완전히 특성화한다.
• 고차원 2차 하위공간을 통한 특성화는 Gold 함수를 다른 최대 비선형 함수와 구별하는 새로운 기하학적 기준을 제공한다.