[논문 리뷰] On the Lattice of Cyclic Linear Codes Over Finite Chain Rings

Alexandre Fotue Tabue, Christophe Mouaha|arXiv (Cornell University)|2017. 01. 30.

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

한 줄 요약

이 논문은 $\gcd(\ell, q) = 1$ 인 경우 유한 체환 링 위의 자유 순환 선형 코드에 대해 $q$-순환 코셋을 사용하여 추적 표현을 개발하고, 이러한 코드의 격자 구조 $\langle \text{Cy}(R,\ell); +, \cap \rangle$를 조사한다. 최소 해밍 거리에 하한을 설정하고, $q$가 짝수일 경우 MDS 및 자기수직 코드를 구성하며, 고전적인 유한체 결과를 체인 링으로 확장한다.

ABSTRACT

Let $ exttt{R}$ be a commutative finite chain ring of invariants $(q,s).$ In this paper, the trace representation of any free cyclic $ exttt{R}$-linear code of length $\ell,$ is presented, via the $q$-cyclotomic cosets modulo $\ell,$ when $ exttt{gcd}(\ell, q) = 1.$ The lattice $\left( exttt{Cy}( exttt{R},\ell), +, \cap ight)$ of cyclic $ exttt{R}$-linear codes of length $\ell,$ is investigated. A lower bound on the Hamming distance of cyclic $ exttt{R}$-linear codes of length $\ell,$ is established. When $q$ is even, a family of MDS and self-orthogonal $ exttt{R}$-linear cyclic codes, is constructed.

연구 동기 및 목표

• 유한 체에서 순환 선형 코드 이론을 유한 체인 링으로 확장하고, 특히 $\gcd(\ell, q) = 1$ 조건 하에서 수행한다.
• $q$-순환 코셋을 사용하여 자유 순환 $R$-선형 코드의 추적 기반 표현을 개발한다.
• 유한 체인 링 위의 순환 코드의 대수적 격자 구조 $\langle \text{Cy}(R,\ell); +, \cap \rangle$를 조사한다.
• 순환 $R$-선형 코드의 최소 해밍 거리에 하한을 설정한다.
• $q$가 짝수일 경우 MDS 및 자기수직 순환 코드의 가족을 구성한다.

제안 방법

• 순환 코드를 몐단환환의 아이디얼로 식별하기 위해 $\Psi: \mathbb{R}^\ell \to \mathbb{R}[X]/(X^\ell - 1)$의 다항식 표현을 활용한다.
• $\ell$ 모듈로의 $q$-순환 코셋을 사용하여 유한 체인 링 위의 자유 순환 코드의 추적 표현을 매개변수화하고 기술한다.
• 체인 링의 갈로아 확장에서 추적 사상의 응용을 통해 확장 링의 원소의 추적 이미지로부터 코드어를 구성한다.
• $\mathbb{R}[X]/(X^\ell - 1)$의 아이디얼에 대한 대응을 통해 순환 코드 위의 격자 연산 $+$ 및 $\cap$를 유도하며, 생성 다항식의 $\gcd$ 및 $\text{lcm}$을 사용한다.
• 최대 아이디얼 $\mathfrak{J}(R)$와 잔여체 $\mathbb{F}_q$를 갖는 체인 링 $R$의 구조를 이용하여 $\mathbb{F}_q$의 성질을 $R$로 옮긴다.
• $q$가 짝수일 경우 순환 코딩의 이중성과 순환 코셋의 대칭성을 분석함으로써 MDS 및 자기수직 코드를 구성한다.

실험 결과

연구 질문

• RQ1 $\gcd(\ell, q) = 1$ 인 경우, 유한 체인 링 위의 자유 순환 선형 코드의 추적 표현을 $q$-순환 코셋을 사용하여 체계적으로 어떻게 구성할 수 있는가?
• RQ2 순환 $R$-선형 코드의 격자 구조 $\langle \text{Cy}(R,\ell); +, \cap \rangle$는 어떻게 되며, $\mathbb{R}[X]/(X^\ell - 1)$의 아이디얼 구조와 어떤 관계가 있는가?
• RQ3 추적 표현에 기반하여 순환 $R$-선형 코드의 최소 해밍 거리에 하한을 설정할 수 있는가?
• RQ4 어떤 조건에서 MDS 또는 자기수직 순환 코드를 유한 체인 링에서 구성할 수 있는가, 특히 $q$가 짝수일 경우에 대해?
• RQ5 추적으로 생성된 순환 코드의 이중성은 어떻게 행동하며, 그 격자 구조에서 어떤 대칭성이 발생하는가?

주요 결과

• $\gcd(\ell, q) = 1$ 인 경우, 임의의 자유 순환 $R$-선형 코드에 대해 $q$-순환 코셋을 통한 추적 표현이 확립되어 체계적인 구성이 가능하다.
• 주어진 조건 하에서 격자 $\langle \text{Cy}(R,\ell); +, \cap \rangle$가 분배 법칙을 만족함을 보였으며, 이는 필드의 경우를 일반화한다.
• 생성 집합 내 $q$-순환 코셋의 수에 기반하여 순환 $R$-선형 코드의 최소 해밍 거리에 하한을 유도하였다.
• $q$가 짝수일 경우, 추적 기반 생성 집합을 사용하여 유한 체인 링 위의 MDS 및 자기수직 순환 코드의 가족을 구성하였다.
• $\mathbb{Z}_4$-선형 코드의 길이 7에 대해, 27개의 순환 코드를 그 유형, 기수 및 이중성과 함께 명시적으로 나열하였으며, $\mathcal{C}_8^\perp = \mathcal{C}_{19}$ 및 $\mathcal{C}_8 + \mathcal{C}_{12} = \mathcal{C}_{15}$를 포함하여 격자 구조를 구체적으로 보여주었다.
• 예를 들어 $\mathcal{C}_8 \cap \mathcal{C}_{12} = \mathcal{C}_6$와 같은 격자 내 이중성 및 합 관계는 이중성과 수직 여부 연산을 통해 확인되었다.