[논문 리뷰] Dimensions of three types of BCH codes over GF(q)

Hao Liu, Cunsheng Ding외 1명|arXiv (Cornell University)|2016. 08. 10.

Coding theory and cryptography참고 문헌 14인용 수 6

한 줄 요약

이 논문은 유한체 GF(q) 위에서 세 가지 유형의 BCH 코드의 차원을 결정한다: 길이 $ n = q^m - 1 $인 원시 BCH 코드, 길이 $ n = (q^m - 1)/(q - 1) $인 사영 BCH 코드, 그리고 길이 $ n = q^m + 1 $인 BCH 코드. $ \delta \leq q^{\lceil m/2 \rceil + 1} $인 경우에 대해 좁은 범위의 원시 BCH 코드의 차원에 대한 명시적 공식을 유도하며, 최소 거리에 관한 기존 결과를 확장하고, 비좁은 범위 및 사영 사례에 대해 새로운 차원 공식을 제공하여 이러한 중요한 오류 수정 코드의 알려진 매개변수 집합을 크게 넓힌다.

ABSTRACT

BCH codes have been studied for over fifty years and widely employed in consumer devices, communication systems, and data storage systems. However, the dimension of BCH codes is settled only for a very small number of cases. In this paper, we study the dimensions of BCH codes over finite fields with three types of lengths $n$, namely $n=q^m-1$, $n=(q^m-1)/(q-1)$ and $n=q^m+1$. For narrow-sense primitive BCH codes with designed distance $δ$, we investigate their dimensions for $δ$ in the range $1\le δ\le q^{\lceil\frac{m}{2} ceil+1}$. For non-narrow sense primitive BCH codes, we provide two general formulas on their dimensions and give the dimensions explicitly in some cases. Furthermore, we settle the minimum distances of some primitive BCH codes. We also explore the dimensions of the BCH codes of lengths $n=(q^m-1)/(q-1)$ and $n=q^m+1$ over finite fields.

연구 동기 및 목표

• 설계 거리 $\delta$의 넓은 범위에서 GF(q) 위의 좁은 범위 원시 BCH 코드의 차원을 결정하기 위해.
• 일반적인 공식을 유도하고 특정 케이스를 계산하여 비좁은 범위 원시 BCH 코드의 차원에 관한 기존 결과를 확장하기 위해.
• 길이 $n = (q^m - 1)/(q - 1)$ 및 $n = q^m + 1$인 BCH 코드의 차원을 조사하며, 사영 및 역순 순환 코드를 포함하여.
• 기존 이론적 한계와 구조 분석을 사용하여 일부 원시 BCH 코드의 최소 거리를 정확히 규명하기 위해.
• 특히 $n = q^m + 1$ 및 홀수 $m$에 대해 이전에 연구되지 않은 매개변수 범위에 대해 명시적 차원 공식을 제공하여 문헌의 공백을 메우기 위해.

제안 방법

• BCH 코드의 정의 집합을 계산하기 위해 $n$ 모듈로의 순환군 구조를 활용하며, 차원은 $q$-순환군의 합집합 크기로부터 유도된다.
• 정수의 $q$-기수 전개를 적용하여 군의 최소 대표자를 특성화하고, 어떤 원소가 자신의 군에서 최소 대표자인지 판단한다.
• 공식 $\dim(\mathcal{C}) = n - \left| \bigcup_{a \in [b, b + \delta - 2]} C_a \right| $를 사용하여 차원을 계산하며, 여기서 $C_a$는 $n$ 모듈로의 $q$-순환군이다.
• 정의 구간 $[1, \delta - 1]$ 내의 서로 다른 군의 수를 분석하여 좁은 범위 BCH 코드의 차원에 대한 닫힌 형태의 표현식을 도출한다.
• $q$-순환군의 구조적 성질을 활용하여 일부 정수가 군의 최소 대표자임을 증명하고, 정확한 차원 계산을 가능하게 한다.
• 기존의 최소 거리 한계(예: BCH 한계 $d \geq \delta$)를 적용하고, 대수적 분석을 통해 특수 케이스에서 정확한 최소 거리를 규명하기 위해 이를 확장한다.

실험 결과

연구 질문

• RQ1 길이 $n = q^m - 1$인 좁은 범위 원시 BCH 코드의 GF(q) 위에서 $\delta \leq q^{\lceil m/2 \rceil + 1}$인 경우의 차원은 무엇인가요?
• RQ2 비좁은 범위 원시 BCH 코드의 차원은 어떻게 일반화할 수 있으며, 특정 $\delta$에 대해 명시적인 차원은 무엇인가요?
• RQ3 길이 $n = (q^m - 1)/(q - 1)$ 및 $n = q^m + 1$인 BCH 코드의 다양한 $\delta$에 대한 차원은 무엇인가요?
• RQ4 어떤 $\delta$ 값에 대해 원시 BCH 코드의 최소 거리를 정확히 결정할 수 있나요?
• RQ5 $n = q^m \pm 1$ 모듈로의 $q$-순환군에서 어떤 정수가 군의 최소 대표자이며, 이는 코드의 차원에 어떻게 영향을 미치나요?

주요 결과

• 길이 $n = q^m - 1$인 좁은 범위 원시 BCH 코드의 GF(q) 위에서 차원은 $1 \leq \delta \leq q^{\lceil m/2 \rceil + 1}$인 모든 $\delta$에 대해 결정되었으며, 이는 이전 결과를 확장한다.
• 짝수 $m \geq 4$에 대해, 좁은 범위 BCH 코드 $\mathcal{C}_{(q^m+1, q, \delta, 1)}$의 차원은 $2 \leq \delta \leq q^{m/2}$인 경우에 대해 $q^m + 1 - 2m(\delta - 1 - \lfloor (\delta - 1)/q \rfloor)$로 주어진다.
• 홀수 $m \geq 3$에 대해, $\mathcal{C}_{(q^m+1, q, \delta, 1)}$의 차원은 $\delta \leq q^{(m+1)/2} - q$ 또는 $\delta > q^{(m+1)/2} - q$에 따라 다른 조건에 따라 조각별 공식으로 주어진다.
• 비좁은 범위 코드 $\mathcal{C}_{(q^m+1, q, \delta+1, 0)}$의 차원은 $q^m - 2m(\delta - \lfloor \delta/q \rfloor)$이며, 최소 거리는 $2\delta$ 이상이다.
• 홀수 $m$에 대해 길이 $n = (q^m - 1)/(q - 1)$인 사영 BCH 코드의 경우, 일부 $\delta$에 대해 차원이 명시적으로 계산되었으며, 이는 [7]에서의 이전 결과를 보완한다.
• 논문은 $n = q^m - 1$ 모듈로에서 0이 아닌 $a$ 중에서 가장 작은 값인 $q^{(m+1)/2} - q + 1$이 군의 최소 대표자가 아니라는 점을 규명하였으며, 이는 차원 분석에 도움이 된다.