[논문 리뷰] Binary Cyclic Codes from Explicit Polynomials over $\gf(2^m)$

Cunsheng Ding, Zhengchun Zhou|arXiv (Cornell University)|2013. 10. 05.

Coding theory and cryptography인용 수 4

한 줄 요약

이 논문은 $\mathrm{GF}(2^m)$ 위에서 단항식과 삼항식을 사용하여 최적 및 거의 최적의 이진 순환 코드를 구성한다. 명시적인 다항식을 활용하여 유연한 차원과 엄밀한 최소 거리 경계를 달성한다. 이 방법은 기존 선형 코드에 대한 알려진 경계에 도달하거나 이를 근접하는 코드를 생성하며, $[31,10,12]$ 및 $[31,15,8]$ 코드와 같은 몇 가지 예시를 통해 최적성의 가능성을 입증한다.

ABSTRACT

Cyclic codes are a subclass of linear codes and have applications in consumer electronics, data storage systems, and communication systems as they have efficient encoding and decoding algorithms. In this paper, monomials and trinomials over finite fields with even characteristic are employed to construct a number of families of binary cyclic codes. Lower bounds on the minimum weight of some families of the cyclic codes are developed. The minimum weights of other families of the codes constructed in this paper are determined. The dimensions of the codes are flexible. Some of the codes presented in this paper are optimal or almost optimal in the sense that they meet some bounds on linear codes. Open problems regarding binary cyclic codes from monomials and trinomials are also presented.

연구 동기 및 목표

• 명시적인 단항식과 삼항식을 사용하여 $\mathrm{GF}(2^m)$ 위에서 이진 순환 코드의 체계적 구성 방법을 개발한다.
• 특정 가족에 대해 구성된 코드의 최소 무게와 차원을 규명한다.
• 기존 선형 코드에 대한 알려진 경계에 비해 코드가 최적 또는 거의 최적일 조건을 규명한다.
• 좋은 거리 성질과 높은 선형 스펙트럼을 바탕으로 이 코드들이 부호 이론 및 암호학 분야에서의 응용 잠재력을 탐색한다.
• 단항식과 삼항식에서 유도된 순환 부호의 구조와 매개변수에 대한 향후 연구를 위한 열린 문제를 제기한다.

제안 방법

• 순환 부호의 구조를 분석하기 위해 $n = 2^m - 1$ 모듈로의 $q$-순환 군을 활용한다.
• 생성 다항식 $g(x) = \frac{x^n - 1}{\gcd(S^n(x), x^n - 1)}$ 를 사용하며, 여기서 $S^n(x)$ 는 수열의 생성 함수이다.
• BCH 경계와 최소 다항식의 성질을 적용하여 최소 거리에 대한 하한을 유도한다.
• 특히 스트림 암호 응용 분야에서의 암호학적 강도를 평가하기 위해 수열의 선형 스펙트럼을 계산한다.
• 수열의 구조와 대수적 성질을 기술하기 위해 추적 함수 $\mathrm{Tr}(x)$ 와 함수 $\mathbb{N}_q(i)$ 를 활용한다.

실험 결과

연구 질문

• RQ1 모듈로 $m \equiv 3 \pmod{4}$ 일 때, 단항식 $x^e$ ($e = 2^{(m-1)/2} + 2^{(3m-1)/4} - 1$) 로 정의된 이진 순환 부호 $\mathcal{C}_s$ 의 차원과 최소 무게는 무엇인가요?
• RQ2 모듈로 $m = 5i$ 일 때, 단항식 $x^e$ ($e = 2^{4i} + 2^{3i} + 2^{2i} + 2^i - 1$) 로 정의된 $\mathcal{C}_s$ 의 차원과 최소 무게는 무엇인가요?
• RQ3 삼항식 구성에서 $h > 0$ 인 경우에 대해 최소 거리에 대한 엄밀한 하한을 확립할 수 있는가요?
• RQ4 단항식과 삼항식에서 유도된 수열의 선형 스펙트럼은 어떻게 비교되며, 이는 암호학적 응용에 어떤 영향을 미치나요?
• RQ5 구성된 이진 순환 부호가 최소 거리 측면에서 최적 또는 거의 최적일 조건은 무엇인가요?

주요 결과

• 체 $\mathrm{GF}(2^4)$ 위에서 생성 다항식이 $x^4 + x + 1$ 인 코드 $\mathcal{C}_s$ 는 $[15,11,3]$ 최적의 이진 순환 부호이다.
• 모듈로 $m=4$, $h=2$ 일 때, 생성 다항식이 $x^8 + x^7 + x^6 + x^4 + 1$ 인 코드 $\mathcal{C}_s$ 는 $[15,7,5]$ 최적의 이진 순환 부호이다.
• 모듈로 $m=5$, $h=0$ 일 때, 생성 다항식이 $x^{21} + x^{18} + \cdots + x + 1$ 인 코드 $\mathcal{C}_s$ 는 $[31,10,12]$ 최적의 이진 순환 부호이다.
• 모듈로 $m=5$, $h=1$ 일 때, 생성 다항식이 $x^{16} + x^{14} + \cdots + x + 1$ 인 코드 $\mathcal{C}_s$ 는 $[31,15,8]$ 최적의 이진 순환 부호이다.
• 일부 단항식과 삼항식에서 유도된 수열의 선형 스펙트럼은 크며, 이는 키스트림 생성에 적합한 강력한 암호학적 성질을 나타낸다.
• BCH 경계에 따르면, $m$ 이 홀수이고 $h=0$ 인 경우, 최소 다항식의 역수의 영점을 기반으로 $d \geq 8$ 의 하한을 제공한다.