[논문 리뷰] A Note on the Isotopism of Commutative Semifields

Yue Zhou|arXiv (Cornell University)|2010. 06. 08.

Coding theory and cryptography참고 문헌 9인용 수 7

한 줄 요약

이 논문은 $\mathbb{F}_{3^6}$ 위에서 두 개의 동치이지만 강한 동치가 아닌 교환 법칙을 만족하는 준체의 명시적 예를 구성한다. 이는 쿨터와 헨더슨이 홀수 차수 $p^n$ ($n$ 가 홀수인 경우) 준체에 대해 유도한 핵심 결과가 짝수 $n$ 으로 일반화될 수 없다는 것을 보여준다. 예제는 LMPTB와 BHB 준체를 사용하여, 짝수 특성 수치에서 동치가 강한 동치를 의미하지 않음을 보이며, 그들의 곱셈 표로부터 유도된 비등가의 평면 함수를 통해 불등가를 확인한다.

ABSTRACT

We present an example of two isotopic but not strongly isotopic commutative semifields. This example shows that a recent result of Coulter and Henderson on semifield of order p^n, n odd, can not be generalized to the case n even.

연구 동기 및 목표

• 쿨터와 헨더슨의 결과가 홀수 차수 $p^n$ ($n$ 가 홀수인 경우) 교환 준체에 대해 성립하는지, 짝수 $n$ 인 경우로 일반화될 수 있는지 조사한다.
• $\mathbb{F}_{3^6}$ 위에서 동치이지만 강한 동치가 아닌 교환 준체의 명시적 예를 구성한다.
• 짝수 $n$ 인 경우 교환 준체에서 동치가 강한 동치를 의미하는지 여부를 규명한다.
• 코드 등가성 방법을 통해 관련 평면 함수의 등가성을 분석한다.

제안 방법

• 특성 3인 체 $\mathbb{F}_3$ 위에서 정의 다항식 $x^6 - x^4 + x^2 - x - 1$ 를 사용하여 LMPTB 준체 $F_1 = (\mathbb{F}_{3^6}, +, \star)$ 를 구성한다.
• 특성 $\lambda = \xi^{91}$ 를 사용하여 $x \odot y = (\lambda \star x) \star y$ 를 정의함으로써 새로운 준체 $F_2 = (\mathbb{F}_{3^6}, +, \odot)$ 를 정의하며, 이는 $F_1$ 과 $F_2$ 가 동치임을 보여준다.
• Lagrange 보간법을 사용하여 $\mathbb{F}_{3^6}$ 위에서 평면 함수 $f_1(x) = x \star x$ 와 $f_2(x) = x \odot x$ 를 계산한다.
• 입력-출력 쌍에서 유도된 생성 행렬을 사용하여 $f_1$ 과 $f_2$ 의 그래프에서 선형 코드 $C_{f_1}$ 과 $C_{f_2}$ 를 구성한다.
• MAGMA 를 사용하여 $C_{f_1}$ 과 $C_{f_2}$ 의 단항 등가성을 테스트하며, 평면 함수의 경우 순열 등가성은 CCZ-등가성과 동치임을 이용한다.
• CCZ-등가성은 EA-등가성을 함의한다는 결과를 적용하고, 코드의 등가성 부재를 통해 함수의 등가성 부재를 결론 내린다.

실험 결과

연구 질문

• RQ1 쿨터와 헨더슨의 결과가 홀수 차수 $p^n$ ($n$ 가 홀수인 경우) 교환 준체에 대해 성립하는지, 짝수 $n$ 인 경우로 일반화될 수 있는가?
• RQ2 짝수 $n$ 인 경우 동치이지만 강한 동치가 아닌 교환 준체의 예가 존재하는가?
• RQ3 동치인 교환 준체가 항상 EA 또는 CCZ-등가성에 따라 등가인 평면 함수를 유도하는가?
• RQ4 준체의 핵의 구조를 사용하여 강한 동치가 아닌 동치를 탐지할 수 있는가?
• RQ5 관련 평면 함수와 그 코드를 통해, 동치이지만 강한 동치가 아닌 준체를 식별하는 계산적 방법이 존재하는가?

주요 결과

• $\mathbb{F}_{3^6}$ 위에서 동치이지만 강한 동치가 아닌 교환 준체의 명시적 예를 구성함으로써, 쿨터-헨더슨 정리가 짝수 $n$ 으로 일반화될 수 없다는 점을 반증한다.
• LMPTB 준체인 $F_1$ 과 $\lambda = \xi^{91}$ 를 사용해 정의된 $F_2$ 는 코드의 등가성 부재로 인해 동치이지만 강한 동치가 아니며, 이는 확인되었다.
• 평면 함수 $f_1(x) = x \star x$ 와 $f_2(x) = x \odot x$ 는 각각의 관련 선형 코드 $C_{f_1}$ 과 $C_{f_2}$ 가 단항 등가성이 없기 때문에 EA-등가가 아니다.
• $C_{f_2}$ 가 순서 $3^6$ 의 BHB 준체에서 유도된 코드와 단항 등가임이 밝혀졌으며, 이는 BHB 와 LMPTB 준체가 동치이지만 강한 동치가 아니라는 것을 의미한다.
• $F_1$ 의 핵은 $|N_m(F_1)| = 3^2$ 와 $|N(F_1)| = 3$ 를 만족하며, $N_m(F_1) \setminus N(F_1)$ 에 속하는 네 개의 원소는 $\gamma \star \beta^2$ 의 형태로 표현될 수 없는데, 이는 동치를 구성하는 데 핵심적인 역할을 한다.
• 결과적으로, 짝수 $n$ 인 경우 교환 준체에서 동치가 강한 동치를 함의하지 않으며, 동치를 통해 새로운 등가가 아닌 평면 함수를 생성할 수 있음을 보여준다.