[논문 리뷰] On linear complementary-dual multinegacirculant codes

Adel Alahmadi, Cem Güneri̇외 3명|arXiv (Cornell University)|2017. 03. 09.

Coding theory and cryptography참고 문헌 3인용 수 5

한 줄 요약

이 논문은 색인 $ t \geq 2 $인 선형 보완 이중(Complementary-Dual, LCD) 다중부정순환 코드를 특성화하며, 특히 공색인수가 2의 거듭제곱인 하나의 생성자 코드에 초점을 맞춘다. 중국의 나머지 정리와 딕슨 다항식을 통한 대수적 분해를 통해, 상대적 거리가 고전적 바르샤모프-길버트 경계를 초월하는 무한한 수의 이러한 코드 가족이 존재함을 증명하며, 표준 경계를 초월하는 점근적 우수성을 보여준다.

ABSTRACT

Linear codes with complementary-duals (LCD) are linear codes that intersect with their dual trivially. Multinegacirculant codes of index $2$ that are LCD are characterized algebraically and some good codes are found in this family. Exact enumeration is performed for indices 2 and 3, and for all indices $t$ for a special case of the co-index by using their concatenated structure. Asymptotic existence results are derived for the special class of such codes that are one-generator and have co-index a power of two by means of Dickson polynomials. This shows that there are infinite families of LCD multinegacirculant codes with relative distance satisfying a modified Varshamov-Gilbert bound.

연구 동기 및 목표

• 선형 보완 이중(LCD) 다중부정순환 코드를 대수적으로 특성화하며, 특히 색인 $ t = 2 $ 및 $ t = 3 $의 경우에 중점을 둔다.
• 색인 $ t = 2 $ 및 $ t = 3 $의 경우와 특수 공색인수 조건 하에서 일반적인 $ t $에 대해 LCD 코드의 정확한 수를 세는 공식을 유도한다.
• 공색인수가 2의 거듭제곱인 하나의 생성자 LCD 다중부정순환 코드에 대한 점근적 존재 결과를 확립한다.
• 이러한 코드가 수정된 바르샤모프-길버트 경계를 만족하는 상대적 거리를 달성함을 보이며, 이는 점근적으로 우수한 성능을 가짐을 시사한다.

제안 방법

• 모듈 구조와 $ R(m,\mathbb{F}_q) $에서의 쌍대성 조건을 통해, $ a_1'a_1'' + \cdots + a_{t-1}'a_{t-1}'' \neq -1 $ 조건을 유도하여 LCD 이중부정순환 코드의 대수적 특성화를 수행한다.
• 중국의 나머지 정리를 적용하여, $ x^n + 1 $이 두 개의 서로 수반 다항식으로 인수분해될 경우, $ \mathbb{F}_q[x]/\langle x^n + 1 \rangle $의 링을 국소 링의 곱으로 분해한다.
• 유한체 위의 대각 방정식의 해의 수를 분석하기 위해 딕슨 다항식을 활용하며, 이는 점근적 수세기의 핵심 요소이다.
• 다중부정순환 코드의 연결된 구조를 활용하여, 해 집합에 대한 조합론적 추론을 통해 LCD 코드의 정확한 수를 유도한다.
• expurgated 무작위 부호화 기법을 활용하여 최소 거리에 대한 하한을 도출하고, 수정된 바르샤모프-길버트 경계에 이를 이르는 결과를 도출한다.
• 색인 $ n $이 홀수인 $ q $에 대해 $ x^n + 1 $의 인수분해를 활용하여 분해와 점근적 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 색인 $ t = 2 $ 및 $ t = 3 $의 경우와 특수 공색인수 조건 하에서 일반적인 $ t $에 대해 LCD 다중부정순환 코드의 정확한 수를 세는 공식을 유도할 수 있는가?
• RQ2 상대적 거리가 고전적 바르샤모프-길버트 경계를 초월하는 무한한 수의 하나의 생성자 LCD 다중부정순환 코드 가족이 존재하는가?
• RQ3 공색인수가 2의 거듭제곱이고 $ x^n + 1 $이 두 개의 서로 수반 다항식으로 인수분해될 경우, 이러한 코드의 점근적 성능은 어떠한가?
• RQ4 유한체 위의 대각 방정식의 해의 수는 이러한 코드의 수세기와 최소 거리에 어떤 영향을 미치는가?
• RQ5 편일차 코드의 구조를 활용하여 거리 성능이 향상된 LCD 코드를 구성할 수 있는가?

주요 결과

• 색인 $ t = 2 $의 경우, LCD 이중부정순환 코드의 수는 $ q^{n} - \left(q^{n/2} - \eta(-1)\right) $로 주어지며, 여기서 $ \eta $는 이차 문자이다.
• 색인 $ t \geq 2 $의 경우, 공색인수가 2의 거듭제곱인 LCD 다중부정순환 코드의 수는 $ q^{n(t-1)} - \left(q^{n(2t-3)/2} - \eta((-1)^{t-1})q^{n(t-2)/2}\right) $로 주어지며, 이는 대각 방정식의 해 수를 세는 방식으로 도출된다.
• 만약 $ x^n + 1 $이 $ \mathbb{F}_q $에서 두 개의 서로 수반 다항식으로 인수분해된다면, 링의 분해를 통해 정확한 수세기와 점근적 분석이 가능해진다.
• 일반 생성자 LCD 다중부정순환 코드의 점근적 성능은 $ H_q(\delta) \geq \frac{t-1}{2t} $를 만족하며, 이는 표준 바르샤모프-길버트 경계를 초월함을 시사한다.
• 상대적 거리 $ \delta $가 수정된 경계를 만족하는 이러한 코드의 무한한 수의 가족이 존재하며, 이는 점근적 우수성을 증명한다.
• 이러한 구성은 특히 $ t = 2 $ 및 $ t = 3 $의 경우, 중간 길이에서 최적 또는 근접 최적의 최소 거리를 가진 부호를 생성한다.