[논문 리뷰] A Family of Reversible BCH Codes

Shuxing Li, Cunsheng Ding외 1명|arXiv (Cornell University)|2016. 08. 07.

Coding theory and cryptography참고 문헌 18인용 수 16

한 줄 요약

이 논문은 반전 가능한 Bose-Chaudhuri-Hocquenghem (BCH) 코드의 일족, 특히 반전 가능한 BCH 코드의 짝수 유형 하위코드인 $\overline{{\mathcal{C}}}_{(q,m,\delta)}$를 연구한다. 작은 $\delta$에 대해 정확한 차원과 최소 거리를 유도하고, 더 큰 $\delta$에 대해서는 경계를 설정하며, $\delta = q^\lambda - 1$ 이며 $1 \leq \lambda \leq \lfloor m/2 \rfloor$ 인 경우 최소 거리가 정확히 $2\delta$임을 증명하여 이중 및 삼중 경우에 대한 추측을 확인한다. 많은 경우에 이 코드들은 최적 또는 거의 최적의 파rameter를 달성한다.

ABSTRACT

Cyclic codes are an interesting class of linear codes due to their efficient encoding and decoding algorithms as well as their theoretical importance. BCH codes form a subclass of cyclic codes and are very important in both theory and practice as they have good error-correcting capability and are widely used in communication systems, storage devices and consumer electronics. However, the dimension and minimum distance of BCH codes are not known in general. The objective of this paper is to study the dimension and minimum distance of a family of BCH codes over finite fields, i.e., a class of reversible BCH codes.

연구 동기 및 목표

• 반전 가능한 BCH 코드의 일족, 특히 짝수 유형 하위코드 $\overline{{\mathcal{C}}}_{(q,m,\delta)}$의 차원과 최소 거리를 결정하는 것.
• 다양한 조건에서 $q$와 $m$에 대해 작은 $\delta$ 값, 즉 $\delta = 2, 3, 4$에 대해 $\overline{{\mathcal{C}}}_{(q,m,\delta)}$의 파라미터를 조사하는 것.
• $\delta = q^\lambda$ 이며 $\frac{m}{2} \leq \lambda \leq m-1$ 인 경우에 대해 차원과 최소 거리에 대한 경계를 설정하여 작은 $\delta$를 넘어서는 결과를 확장하는 것.
• 기존의 최고의 순환 코드와의 비교를 통해 이러한 코드의 최적성에 대해 탐구하는 것, 특히 이진 및 삼진 경우에 중점을 두어.

제안 방법

• 논문은 $q$-순환 코셋과 코셋 리더를 사용하여 생성 다항식 $\overline{g}_{(q,m,\delta)}(x) = (x-1)\tilde{g}_{(q,m,\delta)}(x)$의 구조를 분석한다. 여기서 $\tilde{g}_{(q,m,\delta)}(x)$는 인덱스 $1$에서 $\delta-1$까지와 $n-\delta+1$에서 $n-1$까지의 최소 다항식의 LCM이다.
• BCH 경계를 적용하여 최소 거리에 대한 하한을 도출하며, 특히 $\overline{{\mathcal{C}}}_{(q,m,\delta)}$에 대해 적용하고, 구두 경계를 사용하여 이러한 추정치를 보완한다.
• 차원은 생성 다항식의 차수를 통해 계산되며, 특히 정리 4와 추론 9를 활용하여 LCM에 포함된 서로 다른 최소 다항식의 수에 대한 알려진 결과를 활용한다.
• 특정 경우, 예를 들어 $\delta = 2$, $\delta = 3$, $\delta = 4$에 대해 대수적 수론과 유한체의 성질을 이용하여 정확한 파라미터를 도출한다.
• 수치적 실험과 예시를 활용하여 $\delta = q^\lambda - 1$ 일 때 $d = 2\delta$라는 추측을 뒷받침하고, 명시적 구성으로 이를 검증한다.
• 기존의 최고의 순환 코드 표와의 비교를 통해 $\overline{{\mathcal{C}}}_{(q,m,\delta)}$의 파라미터가 최적인지 평가한다.

실험 결과

연구 질문

• RQ1 소규모 $\delta$에 대해, 예를 들어 $\delta = 2, 3, 4$일 때 짝수 유형 하위코드 $\overline{{\mathcal{C}}}_{(q,m,\delta)}$의 정확한 차원은 무엇인가요?
• RQ2 $\delta = q^\lambda - 1$ 이며 $1 \leq \lambda \leq \lfloor m/2 \rfloor$ 일 때 $\overline{{\mathcal{C}}}_{(q,m,\delta)}$의 최소 거리는 무엇인가요?
• RQ3 $\overline{{\mathcal{C}}}_{(q,m,\delta)}$가 최소 거리 $2\delta$를 달성하는 조건은 무엇이며, 언제는 $\delta$보다 엄밀히 큰가요?
• RQ4 $\overline{{\mathcal{C}}}_{(q,m,\delta)}$의 파라미터는 최고로 알려진 순환 코드와 비교하여 어떻게 되나요? 특히 이진 및 삼진 경우에 대해.
• RQ5 $m$가 홀수일 때 $\overline{{\mathcal{C}}}_{(3,m,4)}$의 최소 거리가 정확히 8인가요? 이는 추측된 바입니다.

주요 결과

• 홀수 $q$와 $m \geq 2$일 때, 코드 $\overline{{\mathcal{C}}}_{(q,m,2)}$는 파라미터 $[q^m - 1, q^m - 2 - 2m, 4]$를 가지며, 최소 거리는 정확히 4이다.
• $q = 2$이고 $m \geq 4$일 때, $\overline{{\mathcal{C}}}_{(2,m,3)}$는 파라미터 $[2^m - 1, 2^m - 2 - 2m, 6]$를 가지며, 최소 거리는 6에 도달한다.
• $q^m \equiv 1 \pmod{3}$ 이고 $m \geq 4$일 때, $\overline{{\mathcal{C}}}_{(q,m,3)}$는 파라미터 $[q^m - 1, q^m - 2 - 4m, 6]$를 가지며, 최소 거리는 6이다.
• $q = 3$이고 $m \geq 3$일 때, $\overline{{\mathcal{C}}}_{(3,m,4)}$의 차원은 $3^m - 2 - 4m$이며, $m$가 짝수이면 최소 거리는 정확히 8이고, $m$가 홀수이면 최소 거리는 8 이상이다.
• $\delta = q^\lambda - 1$ 이며 $1 \leq \lambda \leq \lfloor m/2 \rfloor$ 일 때 $\overline{{\mathcal{C}}}_{(q,m,\delta)}$의 최소 거리가 $2\delta$임을 추측하는 것은 수치적 증거에 의해 지지되며, 이중 및 삼진 경우에 대해 증명되었다.
• 이진 반전 가능한 BCH 코드 $\overline{{\mathcal{C}}}_{(2,m,\delta)}$는 대부분의 테스트된 경우, 즉 $m = 4,5,6$일 때 $\delta = 3,5,7,9,11,13$일 때 최적 또는 최고로 알려진 순환 코드에 속한다.