[논문 리뷰] Generalized Hamming Weights of Irreducible Cyclic Codes

Minghui Yang, Jin Li외 2명|arXiv (Cornell University)|2014. 10. 10.

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

한 줄 요약

이 논문은 유한체 부분공간 위에서 가우스 합과 캐릭터 합을 이용하여 $q$-진 기약 순환부호의 일반화된 허밍 무게(GHWs)에 대한 두 개의 일반 공식을 제시한다. 특히 $e' = 1$ 또는 $2$인 경우 및 반반형성 및 기타 구조 조건 하에서 $d_r(C)$의 명시적 표현을 제공하며, 대수적 수론 도구를 통해 순환부호에서 GHWs에 대한 이해를 크게 향상시킨다.

ABSTRACT

The generalized Hamming weight (GHW) $d_r(C)$ of linear codes $C$ is a natural generalization of the minimum Hamming distance $d(C)(=d_1(C))$ and has become one of important research objects in coding theory since Wei's originary work [23] in 1991. In this paper two general formulas on $d_r(C)$ for irreducible cyclic codes are presented by using Gauss sums and the weight hierarchy $\{d_1(C), d_2(C), \ldots, d_k(C)\}$ $(k=\dim C)$ are completely determined for several cases.

연구 동기 및 목표

• 유한체 위에서 가우스 합과 캐릭터 합을 이용하여 기약 순환부호의 일반화된 허밍 무게 $d_r(C)$에 대한 일반 공식을 유도하기.
• 가우스 합과 캐릭터 합을 명시적으로 평가할 수 있는 특정 기약 순환부호 클래스에 대해 무게 계층 $\{d_1(C), \dots, d_k(C)\}$를 완전히 결정하기.
• 이전의 이진 기약 순환부호 결과를 반반형성 캐릭터와 특정 체 확장 구조를 포함한 일반 $q$-진 경우로 확장하기.
• 이중 공식 (3.3)과 (3.4)를 이용하여 $r$가 작거나 큰 경우에 $d_r(C)$를 계산하는 프레임워크를 제공함으로써 무게 계층의 체계적 분석을 가능하게 하기.
• 향후 기약 순환부호 및 카사미 부호와 같은 연관 가족의 일반화된 허밍 무게 연구를 위한 기초를 마련하기.

제안 방법

• 체 $\mathbb{F}_q$ 위의 부분공간 $H \subseteq \mathbb{F}_{q^k}$에서의 가우스 합과 캐릭터 합을 기반으로 $d_r(C)$에 대한 두 개의 일반 공식 (3.3)과 (3.4)를 유도하며, 여기서 $H$의 차원은 $r$ 또는 $k-r$이다.
• 특히 제곱 및 반반형성 경우에서의 곱셈 캐릭터 $\varphi$와 그 가우스 합 $G(\chi, \lambda)$의 구조를 활용한다.
• 레마 2.2(제곱 가우스 합)과 레마 2.3(반반형성 가우스 합)을 적용하여 $p$, $l$, $e$, $t$에 대한 특정 조건 하에서 $G(\chi)$의 정확한 값을 계산한다.
• 가우스 합이 부분공간 전체에서 일정할 경우, 캐릭터 합 $\sum_{\beta \in H \setminus \{0\}} \varphi(\beta)$를 $|H \cap \langle \theta^{e'} \rangle|$의 크기로 감소시킨다.
• 체 확장 $\mathbb{F}_{q^k} = \mathbb{F}_Q$를 사용하며, $Q = q^k$, $n = (Q-1)/e$, $e' = \gcd(e, (Q-1)/(q-1))$로 정의하여 부호 매개변수를 매개변수화한다.
• 이중성과 부등식(예: 레마 2.5)을 적용하여, 특정 조건 하에서 $d_r(C) = n - \frac{e'}{e}(q^{k-r} - 1)$이 성립함을 이용해 $r \geq k/2$에 대해 $d_r(C)$를 도출한다.

실험 결과

연구 질문

• RQ1 기약 순환부호의 일반화된 허밍 무게 $d_r(C)$는 가우스 합과 캐릭터 합을 통해 어떻게 표현될 수 있는가?
• RQ2 체 매개변수와 부호 구조에 어떤 조건이 충족될 경우 무게 계층 $\{d_1(C), \dots, d_k(C)\}$가 완전히 결정될 수 있는가?
• RQ3 반반형성 및 제곱 가우스 합은 기약 순환부호의 $d_r(C)$ 계산을 단순화하는 데 어떤 역할을 하는가?
• RQ4 차원 $k$, $m = 2^{c-a}k'$ 및 $s$와 $e'$의 기수성은 무게 계층의 구조에 어떻게 영향을 미치는가?
• RQ5 캐릭터 합의 극한 값 계산이 어려운 경우, 공식 (3.3)과 (3.4)를 이용하여 중간 값의 $r$에 대해 $d_r(C)$를 계산할 수 있는가?

주요 결과

• 모든 $e' = 1$ 또는 $2$인 경우, 무게 계층 $\{d_r(C)\}_{r=1}^k$가 완전히 결정되며, $r \leq k/2$에 대해 $d_r(C) = n - \frac{1}{eq^r}(q^k - q^r + (e'-1)q^{k/2}(q^r - 1))$이고, $r \geq k/2$에 대해 $d_r(C) = n - \frac{e'}{e}(q^{k-r} - 1)$이다.
• 만일 $c \geq a$ 이고 $2 \nmid se'$이면, 무게 계층은 코로나리 4.4에 의해 완전히 특징지어지며, $r \leq k/2$ 및 $r \geq k/2$에 대해 명시적인 조각별 공식이 존재한다.
• 반반형성 경우에서 $p=2$이면 조건 $2 \nmid s$가 성립할 경우 무게 계층이 완전히 결정되며, 이는 [14]의 정리 3을 다른 방법으로 재증명하고 복구한다.
• 만일 $k - m \leq r \leq k$ 이고, 정리 4.3(1)의 가정이 성립할 경우, 공식 $d_r(C) = n - \frac{e'}{e}(q^{k-r} - 1)$이 성립하며, 특히 $\mathbb{F}_{q^m}^* \subseteq \langle \theta^{e'} \rangle$일 경우에 해당된다.
• 가우스 합이 일정할 경우 캐릭터 합 $\sum_{\beta \in H \setminus \{0\}} \varphi(\beta)$는 $|H \cap \langle \theta^{e'} \rangle|$로 감소하여 $d_r(C)$의 정확한 계산이 가능해진다.
• 이 방법은 (3.3)을 이용해 작은 $r$에 대해 $d_r(C)$를 성공적으로 계산하고, (3.4)를 이용해 큰 $r$에 대해 계산하며, 중간 경우는 부분공간 $H$ 위에서 극한 캐릭터 합의 평가가 필요로 한다.