[논문 리뷰] LCD Cyclic Codes over Finite Fields

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

Coding theory and cryptography참고 문헌 12인용 수 7

한 줄 요약

이 논문은 유한체 위에서 $ n = q^m - 1 $, $ n = q^m + 1 $, 및 $ n = (q^m - 1)/(q - 1) $ 길이의 반전 순환 코드—즉, 보완 쌍대를 가진 선형 코드(LCD)에 해당하는 것—을 중심으로 여러 가닥의 LCD(선형 보완 쌍대) 순환 코드를 구성한다. BCH 경계를 이용하여 정확한 차원과 최소 거리의 하한을 도출하며, 많은 코드들이 주어진 길이와 차원에서 최적의 파rameters를 달성한다.

ABSTRACT

In addition to their applications in data storage, communications systems, and consumer electronics, LCD codes -- a class of linear codes -- have been employed in cryptography recently. LCD cyclic codes were referred to as reversible cyclic codes in the literature. The objective of this paper is to construct several families of reversible cyclic codes over finite fields and analyse their parameters. The LCD cyclic codes presented in this paper have very good parameters in general, and contain many optimal codes. A well rounded treatment of reversible cyclic codes is also given in this paper.

연구 동기 및 목표

• 유한체 위에서 LCD 순환 코드(즉, 반전 순환 코드에 해당함)의 가닥을 체계적으로 구성하는 것.
• 특정 길이에서 이러한 코드의 파rameters—특히 차원과 최소 거리—를 분석하는 것.
• 구성된 많은 코드들이 주어진 길이와 차원에서 최소 거리 측면에서 최적 또는 근접 최적임을 입증하는 것.
• 반전 순환 코드의 구조적 및 대수적 특성에 대한 종합적인 다루기.
• 유도된 최소 거리 하한이 날카로운지 추측하고, 향후 해결을 위한 열린 문제를 제기하는 것.

제안 방법

• 길이 $ n $ 에 대해 $ q $-순환 코셋을 사용하여 $ \mathrm{GF}(q) $ 위에서 $ x^n - 1 $ 을 인수분해함으로써, 몫환 $ \mathrm{GF}(q)[x]/(x^n - 1) $ 내의 이상을 통해 순환 코드를 구성함.
• 특히 $ n = (q^m - 1)/(q - 1) $ 및 $ n = q^m - 1 $ 에 대해 BCH 경계를 적용하여 구성된 코드의 최소 거리 하한을 도출함.
• 특히 $ \mathcal{C}_{(q,n,2\delta,1-\delta)} $ 에 대해 역다항식과 GCD 기법을 사용하여 반전 코드의 생성다항식을 분석함.
• 생성다항식과 그 역다항식의 GCD 차수를 계산하기 위해 $ \epsilon $ 와 $ \bar{\epsilon} $ 를 도입함. 이는 차원 계산에 핵심적임.
• 헬름 차원과 쌍대성 이론을 사용하여 $ \mathcal{C} \cap \mathcal{C}^\perp = \{0\} $ 를 확보함으로써 LCD 성질을 확인함.
• 특히 $ \delta = q^{m/2} $ 인 경우, 보즈 경계와 $ \mathrm{GF}(q) $ 위의 최소다항식 성질을 적용하여 최소 거리 추정치를 정밀화함.

실험 결과

연구 질문

• RQ1 유한체 $ \mathrm{GF}(q) $ 위에서 길이 $ n = (q^m - 1)/(q - 1) $ 인 반전 순환 코드의 정확한 차원은 무엇이며, $ q $, $ m $, $ \delta $ 에 따라 어떻게 달라지나?
• RQ2 어떤 조건에서 $ \mathrm{GF}(q) $ 위의 BCH 코드가 동시에 반전성과 LCD 성질을 가지며, 그 최소 거리와 차원은 무엇인가?
• RQ3 이 코드들의 최소 거리 하한은 개선될 수 있거나 날카로운지, 특히 $ \delta = q^{m/2} $ 인 경우에 대해 어떻게 평가할 수 있는가?
• RQ4 구성된 코드의 파rameters는 그라스랄의 데이터베이스에 기록된 최고의 선형 코드와 비교하여 어떻게 되는가?
• RQ5 $ q $-순환 코셋과 그 코셋 리더의 어떤 구조적 성질이 결과로 얻어지는 LCD 순환 코드의 차원과 최소 거리를 결정하는가?

주요 결과

• 짝수 $ m \geq 4 $ 이고 $ \delta = q^{m/2} $ 인 경우, 코드 $ \mathcal{C}_{(q,n,\delta,1)} $ 는 차원 $ k = n - q^{(m-2)/2}(q-1)m + (q-2)\frac{m}{2} $ 와 최소 거리 $ d \geq \delta + 1 $ 을 가짐.
• 짝수 $ m \geq 4 $ 이고 $ 2 \leq \delta \leq q^{m/2} $ 인 경우, 반전 BCH 코드 $ \mathcal{C}_{(q,n,2\delta,1-\delta)} $ 는 길이 $ n = (q^m - 1)/(q - 1) $, $ \epsilon $ 와 $ \bar{\epsilon} $ 에 따라 달라지는 차원, 최소 거리 $ d \geq 2\delta $ 를 가짐.
• $ \delta = q^{m/2} $ 인 경우, 코드 $ \mathcal{C}_{(q,n,2\delta,1-\delta)} $ 는 최소 거리 $ d \geq 2\delta + 2 $ 를 달성하여 BCH 경계를 초월함.
• 코드 $ \mathcal{C}_{(q,n,2\delta,1-\delta)} $ 의 차원은 생성다항식과 그 역다항식의 GCD 차수를 통해 계산되며, $ \epsilon $ 와 $ \bar{\epsilon} $ 에 따라 명시적인 공식이 존재함.
• 예시 코드로는 $ (q,m,\delta) = (3,4,9) $ 에서 $[40, 3, 20]$ 과 $ (4,4,16) $ 에서 $[85, 8, 34]$ 가 있으며, 모두 양호한 파rameters를 가짐.
• 논문은 유도된 최소 거리 하한이 날카로운 것으로 추측하며, 이 가닥의 정확한 최소 거리를 증명하는 열린 문제를 제기함.