[논문 리뷰] Semifields, relative difference sets, and bent functions

Alexander Pott, Kai‐Uwe Schmidt외 1명|arXiv (Cornell University)|2014. 01. 14.

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

한 줄 요약

이 논문은 유한체 위에서 교환 법칙을 만족하는 반체, 상대적 차수 집합, 그리고 평면 함수 사이의 포괄적인 동치성을 확립한다. 특히 짝수 특성에서 평면 매핑의 성분 함수가 부정바이트 함수(negabent functions)와 Z₄-값을 가진 바이트 함수(bent functions)에 해당함을 강조한다. 이 작업은 차수 집합의 특성 이론적 분석을 통해 유한 기하학과 암호학의 대칭적 구조를 통합한다.

ABSTRACT

Recently, the interest in semifields has increased due to the discovery of several new families and progress in the classification problem. Commutative semifields play an important role since they are equivalent to certain planar functions (in the case of odd characteristic) and to modified planar functions in even characteristic. Similarly, commutative semifields are equivalent to relative difference sets. The goal of this survey is to describe the connection between these concepts. Moreover, we shall discuss power mappings that are planar and consider component functions of planar mappings, which may be also viewed as projections of relative difference sets. It turns out that the component functions in the even characteristic case are related to negabent functions as well as to $\mathbb{Z}_4$-valued bent functions.

연구 동기 및 목표

• 유한체에서 교환 법칙을 만족하는 반체, 상대적 차수 집합, 평면 함수 사이의 깊이 있는 동치성을 명확히 하기.
• 상대적 차수 집합의 투영이 홀수 및 짝수 특성에서 바이트 함수에 해당하는 성분 함수를 어떻게 유도하는지 조사하기.
• 짝수 특성에서 Z₄-값을 가진 바이트 함수와 부정바이트 함수 간의 관계를 탐구하기.
• 대수적 수론과 차수 집합 이론의 도구를 적용하여 반체 분야의 새로운 연구를 자극하기.
• 비-Dembowski-Ostrom 평면 함수와 상대적 차수 집합을 통한 사영 평면 내 부분구조의 기하학적 해석과 관련된 열린 문제를 식별하기.

제안 방법

• Knuth 궤도를 사용하여 교환 법칙을 만족하는 반체를 심플렉틱 반체와 평면 함수와 연결한다.
• 특정 군, 특히 Z₄ⁿ 또는 기본 아벨 p-군 형태의 군에서 부분집합이 상대적 차수 집합이 되는지 판단하기 위해 특성 이론 조건을 적용한다.
• F_q → F_q인 평면 함수 f를 정의하고, 그 그래프 R = {(x, f(x))}가 G = F_q × F_q에서 N = {(0,y)}에 대해 특정 특성 조건 하에 상대적 차수 집합을 이룬다는 것을 보여준다.
• 표준 이차형식과 χ_a(z) = (-1)^⟨a,x⟩ 및 γ(z) = i^{w(x)}(-1)^y를 사용하여 부정바이트 함수의 조건 |∑_x (-1)^{⟨x,a⟩+f(x)} i^{w(x)}|^2 = 2^m을 유도한다.
• 정리 7.3을 적용하여 Z₂^m에서의 바이트 함수로부터 Z₄ × G에서 상대적 차수 집합을 구성함으로써, G = Z₂^m일 때 F₂^{m+1}에서의 부정바이트 함수를 유도한다.
• 평면 매핑의 성분 함수를 상대적 차수 집합의 투영으로 분석하여, 홀수 특성에서는 p-진 바이트 함수, 짝수 특성에서는 부정바이트 함수임을 보여준다.

실험 결과

연구 질문

• RQ1 유한체에서 교환 법칙을 만족하는 반체, 상대적 차수 집합, 평면 함수 사이의 정확한 동치성은 무엇인가?
• RQ2 특성 2에서 비-Dembowski-Ostrom 평면 함수가 존재할 수 있으며, 이는 상대적 차수 집합과 어떻게 관련이 있는가?
• RQ3 Z₄ⁿ에서 Z₄-값을 가진 바이트 함수와 부정바이트 함수는 상대적 차수 집합과 어떻게 관련이 있는가?
• RQ4 데사르고스 사영 평면의 부분구조는 평면 함수 또는 Z₄^m에서의 상대적 차수 집합을 통해 자연스럽게 기술될 수 있는가?
• RQ5 상대적 (p^m, p^m, p^m, 1) 차수 집합을 포함하는 아벨 군에 대한 랭크 경계는 어떻게 향상시킬 수 있는가?

주요 결과

• 홀수 특성에서는 평면 매핑의 성분 함수가 상대적 차수 집합의 투영으로서 p-진 바이트 함수가 된다.
• 짝수 특성에서는 성분 함수가 부정바이트 함수와 동치이며, 특성 합 조건 |∑_x (-1)^{⟨x,a⟩+f(x)} i^{w(x)}|^2 = 2^m에 의해 입증된다.
• Z₄-값을 가진 바이트 함수는 Z₄ × G에서의 상대적 차수 집합과 동치이며, 따라서 부정바이트 함수와도 동치이다.
• 정리 7.3의 구성은 G = Z₂^m일 때 Z₂^m에서의 두 바이트 집합으로부터 Z₄ × G에서 상대적 (2|G|, 2, 2|G|, |G|) 차수 집합을 생성하며, 이는 F₂^{m+1}에서의 부정바이트 함수를 유도한다.
• 홀수 특성에서 Dembowski-Ostrom 유형이 아닌 평면 함수의 알려진 예가 하나 이상 존재하지만, 짝수 특성에서는 아직 그러한 예가 알려져 있지 않다.
• 상대적 차수 집합의 배경 군은 홀수 특성에서는 기본 아벨 군이지만, 짝수 특성에서는 Z₄ⁿ이며, 이는 근본적인 구조적 차이를 반영한다.