[논문 리뷰] Complete Weight Enumerators of Some Linear Codes

Shudi Yang, Zheng‐an Yao|arXiv (Cornell University)|2015. 05. 23.

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

한 줄 요약

이 논문은 유한체 위의 두 종류의 선형 코드 $C_D$ 와 그 일반화된 형태인 $C_{D,b}$ 의 완전 무게 생성함수를 결정한다. 이 코드들은 추적 함수와 특별한 정의 집합 $D = \{x \in \mathbb{F}_{p^m}^* : \mathrm{Tr}(x^2) = 0\}$ 를 사용하여 정의된다. 가우스 합과 유한체 위의 이차형식의 성질을 이용하여, 이들의 완전 무게 생성함수에 대한 명시적 공식을 유도하며, 이를 통해 이러한 코드들의 무게 분포를 도출한다. 이는 암호학 및 비밀 공유 기법에 응용된다.

ABSTRACT

Linear codes have been an interesting topic in both theory and practice for many years. In this paper, for an odd prime $p$, we determine the explicit complete weight enumerators of two classes of linear codes over $\mathbb{F}_p$ and they may have applications in cryptography and secret sharing schemes. Moreover, some examples are included to illustrate our results.

연구 동기 및 목표

• 홀수 소수 $p$ 에 대해 $\mathbb{F}_p$ 위의 선형 코드 $C_D$ 와 $C_{D,b}$ 의 완전 무게 생성함수를 결정하는 것.
• 이 코드들의 무게 분포를 연구하며, 특히 암호학 및 비밀 공유 기법에서의 응용 맥락에서 고려하는 것.
• 가우스 합과 이차형식 이론을 사용하여 이전 연구를 확장하여 명시적이고 폐형 표현을 제공하는 것.
• 정의 집합 $D = \{x \in \mathbb{F}_{p^m}^* : \mathrm{Tr}(x^2) = 0\}$ 의 구조와 관련된 선형 코드의 완전 무게 생성함수 사이의 연결 고리를 설정하는 것.

제안 방법

• 저자들은 $D$ 를 $\mathbb{F}_{p^m}$ 의 영이 아닌 원소들 중 추적 값이 0인 원소들의 집합으로 정의하고, 코드 $C_D$ 를 $\{ (\mathrm{Tr}(ad_1), \dots, \mathrm{Tr}(ad_n)) : a \in \mathbb{F}_{p^m} \}$ 로 정의한다.
• 그들은 추적 함수 $\mathrm{Tr}: \mathbb{F}_{p^m} \to \mathbb{F}_p$ 와 가우스 합의 성질을 활용하여 $\mathrm{Tr}(x^2) = 0$ 과 $\mathrm{Tr}(ax) = \rho$ 를 만족하는 해의 수를 세며, 여기서 $\rho \in \mathbb{F}_p$ 이다.
• 완전 무게 생성함수의 구성은 모든 코드어를 통해 합을 구하며, 각 체 원소가 코드어에 나타나는 횟수에 의해 기여도가 결정된다.
• 일반화된 코드 $C_{D,b}$ 의 경우, 각 좌표에 대해 상수 이동 $b \in \mathbb{F}_p$ 를 고려하고, 이에 따라 기여도를 이동시켜 완전 무게 생성함수를 유도한다.
• 해당 유도 과정은 $\mathrm{Tr}(a^2) = 0$ 인지 여부와 $\rho = 0$ 인지 여부에 따라 경우를 나누며, 지식 있는 지수 합 결과를 활용한다.
• 최종적으로 완전 무게 생성함수의 표현식은 레이마 14와 $n_a(\rho)$ 의 해의 수에 관한 결과를 사용하여 유도되며, 이는 $m$ 의 기수성과 $\mathrm{Tr}(a^2)$ 의 값에 따라 달라진다.

실험 결과

연구 질문

• RQ1 $\mathbb{F}_p$ 위에서 $D = \{x \in \mathbb{F}_{p^m}^* : \mathrm{Tr}(x^2) = 0\}$ 로 정의된 선형 코드 $C_D$ 의 완전 무게 생성함수는 무엇인가?
• RQ2 상수 이동 $b \in \mathbb{F}_p$ 가 포함된 일반화된 코드 $C_{D,b}$ 의 완전 무게 생성함수는 $C_D$ 와 어떻게 다를까?
• RQ3 $C_D$ 와 $C_{D,b}$ 의 무게 분포는 무엇이며, $p$, $m$, 그리고 $a^2$ 의 추적 값에 따라 어떻게 달라지는가?
• RQ4 이러한 코드 종류에 대해 가우스 합과 이차형식 이론을 사용하여 완전 무게 생성함수를 명시적으로 계산할 수 있는가?
• RQ5 이러한 생성함수는 암호학 및 비밀 공유 기법에 미치는 영향은 무엇인가?

주요 결과

• $m$ 이 홀수 또는 짝수일 경우에 대해 $C_D$ 의 완전 무게 생성함수는 명시적으로 결정되었으며, $\mathrm{Tr}(a^2) = 0$ 인지 여부와 $\rho = 0$ 인지 여부에 따라 다른 공식을 사용한다.
• 모든 $m$ 이 홀수일 경우, $\mathrm{Tr}(a^2) = 0$ 이고 $\rho = 0$ 이면 해의 수 $n_a(\rho)$ 는 $p^{m-2} - 1$ 이고, $\mathrm{Tr}(a^2) = 0$ 이고 $\rho \neq 0$ 이면 $p^{m-2}$ 이다. $\mathrm{Tr}(a^2) \neq 0$ 이면 $(-1)^{\frac{m-1}{2}\frac{p-1}{2}}$ 와 $\bar{\eta}(\mathrm{Tr}(a^2))$ 를 포함한 수정 항이 추가된다.
• 모든 $m$ 이 짝수일 경우, 해의 수 $n_a(\rho)$ 는 $(-1)^{\frac{m}{2}(\frac{p-1}{2})^2}$ 를 포함한 수정 항을 포함하며, $\mathrm{Tr}(a^2) = 0$ 이면 $p^{m-2} - 1$ 이고, $\mathrm{Tr}(a^2) \neq 0$ 이면 $p^{m-2} - (-1)^{\cdots}p^{\frac{m-2}{2}}$ 이다.
• $C_{D,b}$ 의 완전 무게 생성함수는 $\mathbb{F}_p$ 의 모든 $b$ 에 대해 합을 구함으로써 유도되며, 각 항이 $b$ 만큼 이동하여 $\sum_{b=0}^{p-1} w_b^{n_a(0)} w_{1+b}^{n_a(1)} \cdots w_{p-1+b}^{n_a(p-1)}$ 의 형태를 취한다. 이는 각 좌표에 상수 이동이 있을 경우를 고려한다.
• 코드어 $C_D$ 의 무게 분포는 이전에 [27] 에서 보인 바와 같이 두 개 또는 세 개의 비영 무게를 가지며, $C_{D,b}$ 는 $p$ 와 $m$ 에 따라 다섯 개 또는 일곱 개의 비영 무게를 가진다.
• 예시를 통한 검증을 통해 결과가 확인되었으며, 완전 무게 생성함수는 인증 코드에서의 속임수 확률 분석과 비밀 공유 기법 설계에 있어 핵심적인 역할을 한다.