[논문 리뷰] New Binomial Bent Function over the Finite Fields of Odd Characteristic

Tor Helleseth, Alexander Kholosha|ArXiv.org|2009. 07. 20.

Coding theory and cryptography참고 문헌 5인용 수 5

한 줄 요약

이 논문은 홀수 특성의 유한체에서 새로운 이항 벤트 함수의 클래스를 제안하며, 특히 GF(p⁴ᵏ)에서 f(x) = Tr₄ₖ(x^{p³ᵏ + p²ᵏ − pᵏ + 1} + x²)로 정의된 함수가 약한 정규 벤트임을 증명하고, 그 월리스 변환 계수에 대한 정확한 닫힌 형태 식을 유도한다. 증명은 유한체 위의 지수합 기법과 추적 함수의 성질에 기반하며, 명시적인 스펙트럼 특성화를 가진 새로운 벤트 함수의 가족을 수립한다.

ABSTRACT

The $p$-ary function $f(x)$ mapping $\mathrm{GF}(p^{4k})$ to $\mathrm{GF}(p)$ given by $f(x)={ m Tr}_{4k}\big(x^{p^{3k}+p^{2k}-p^k+1}+x^2\big)$ is proven to be a weakly regular bent function and the exact values of its Walsh transform coefficients are found. The proof is based on a few new results in the area of exponential sums and polynomials over finite fields that may also be interesting as independent problems.

연구 동기 및 목표

• 홀수 특성의 유한체 위에서 p-진 벤트 함수의 새로운 가족을 구성하고 특성화한다.
• 함수 f(x) = Tr₄ₖ(x^{p³ᵏ + p²ᵏ − pᵏ + 1} + x²)가 n = 4k일 때 약한 정규 벤트임을 증명한다.
• 이 함수의 월리스 변환 계수의 정확한 값을 계산한다.
• 주요 증명을 뒷받침하는 새로운 지수합 및 다항식 추적 항등식 결과를 수립한다.

제안 방법

• 증명은 GF(pⁿ) 위의 추적 함수와 지수합을 사용하며, 특히 C(a) = Σₓ ω^{Trₙ(x + a x^{(p²ᵏ+1)/2})} 형태의 합을 분석한다.
• 이차 특성의 성질과 순환 등가성을 적용하여 월리스 변환과 부분체 위의 합을 연결한다.
• 원시 원소를 사용한 치환 기법과 GF(p²ᵏ)로의 p²ᵏ + 1 대o1 대응을 통한 사상 기법을 활용한다.
• 지수합에 관한 [3, 보조정리 3]을 활용하고, 보조 함수 T₊(b², x)와 T₋(b², x)를 도입하여 근 분포를 분석한다.
• 추적 항등식과 대칭성 논증, 특히 u → −u 변환 하에서의 성질을 이용하여 월리스 계수의 구조를 분리한다.
• 월리스 계수 Sf(b) = −p²ᵏ ω^{Trₖ(x₀)/4}임을 증명하며, 여기서 x₀는 특정 추적 방정식의 GF(pᵏ) 내 유일한 해이다.

실험 결과

연구 질문

• RQ1 홀수 특성의 유한체 위에서 새로운 이항 벤트 함수의 클래스를 구성할 수 있는가?
• RQ2 함수 f(x) = Tr₄ₖ(x^{p³ᵏ + p²ᵏ − pᵏ + 1} + x²)가 n = 4k일 때 약한 정규 벤트인가?
• RQ3 이 함수의 월리스 변환 계수의 정확한 값은 무엇인가?
• RQ4 이러한 계수들은 부분체 위의 추적 함수를 사용하여 닫힌 형태로 표현될 수 있는가?
• RQ5 이러한 벤트 함수의 구성과 분석을 뒷받침하는 새로운 지수합 항등식이 존재하는가?

주요 결과

• 함수 f(x) = Tr₄ₖ(x^{p³ᵏ + p²ᵏ − pᵏ + 1} + x²)는 임의의 홀수 소수 p에 대해 GF(p⁴ᵏ) 위에서 약한 정규 벤트임이 증명되었다.
• 월리스 변환 계수 Sf(b)는 정확히 −p²ᵏ ω^{Trₖ(x₀)/4}이며, 여기서 x₀는 방정식 bp²ᵏ⁺¹ + (b² + x)^{(p²ᵏ⁺1)/2} + bpᵏ(p²ᵏ⁺1) + (b² + x)^{pk(p²ᵏ⁺1)/2} = 0 의 GF(pᵏ) 내 유일한 해이다.
• b² ∈ GF(p²ᵏ)일 경우, 해 x₀는 x₀ = −Tr₂ₖᵏ(b²)로 단순화되며, Sf(b) = −p²ᵏ ω^{−Trₖ(Tr₂ₖᵏ(b²))/4}가 된다.
• 증명은 추적 함수와 이차 특성과 관련된 지수합에 관한 새로운 결과를 수립하였으며, 특히 부분체 추적 사상의 맥락에서 성립한다.
• 이 방법은 월리스 계수의 크기가 p²ᵏ임을 확인하며, 이는 벤트 성질과 일치한다. 위상은 기저 체 GF(pᵏ) 내의 유일한 해에 의해 결정된다.
• 이 구성은 약한 정규가 아닌 이항 벤트 함수의 첫 번째 알려진 예를 제공하지만, 본 연구에서 다루는 특정 함수는 약한 정규 벤트이다.