[논문 리뷰] On the Parameters of Convolutional Codes with Cyclic Structure

Heide Gluesing-Luerssen, Barbara Langfeld|ArXiv.org|2003. 12. 03.

Coding theory and cryptography참고 문헌 14인용 수 4

한 줄 요약

이 논문은 주어진 매개변수를 갖는 순환 컨volution형 코드에 대한 완전한 특성화와 구축 방법을 제공하며, 최소 코드와 그 직접 합에 초점을 맞춘다. 스칼라 다항식 환에서의 단위를 통해 주어진 모든 Forney 지수를 실현할 수 있는 필요 및 충분 조건을 확립함으로써, 일반화된 Singleton 및 Griesmer 경계를 충족하거나 초과하는 최적의 코드를 구축할 수 있다.

ABSTRACT

In this paper convolutional codes with cyclic structure will be investigated. These codes can be understood as left principal ideals in a suitable skew-polynomial ring. It has been shown in [3] that only certain combinations of the parameters (field size, length, dimension, and Forney indices) can occur for cyclic codes. We will investigate whether all these combinations can indeed be realized by a suitable cyclic code and, if so, how to construct such a code. A complete characterization and construction will be given for minimal cyclic codes. It is derived from a detailed investigation of the units in the skew-polynomial ring.

연구 동기 및 목표

• 순환 컨볼루션형 코드의 이론적으로 가능한 매개변수 조합(체의 크기, 길이, 차원, Forney 지수)이 모두 실현 가능한지 여부를 규명하는 것.
• 임의의 Forney 지수를 갖는 최소 순환 컨볼루션형 코드를 구축하는 방법을 개발하는 것.
• 직접 합을 통한 최소 코드의 확장을 통해 비최소 코드로의 확장을 이루는 것.
• 주어진 성분 차수를 갖는 축소된 다항식이 유효한 순환 코드를 생성할 수 있는 조건을 규명하는 것.
• 스칼라 다항식 아이디얼의 맥락에서 생성 다항식의 구조와 코드 거리 간의 관계를 조사하는 것.

제안 방법

• 스칼라 다항식 환 $ A[z;\sigma] $ 의 왼쪽 주 아이디얼로 순환 컨볼루션형 코드를 모델링하며, 여기서 $ A = \mathbb{F}[x]/\langle x^n - 1 \rangle $ 이다.
• 스칼라 다항식 환의 단위군을 사용하여 주어진 Forney 지수를 갖는 생성 다항식을 통해 최소 순환 코드를 특성화하고 구축한다.
• 직접 합 구성에서 생성 다항식 간의 직교성을 적용하여 결과 코드가 직접 합성원이 되고 순환 구조를 유지하도록 보장한다.
• 순환 행렬을 사용하여 아이디얼 이론적 기술을 $ \mathbb{F}_q[z] $ 상의 다항식 벡터 코드로 변환한다.
• 자기 사상 $ \sigma $ 의 사이클 인덱스에 대한 모듈로 산술을 통해 생성 다항식의 축소성을 강제함으로써 지지 성분 간의 겹침이 없도록 보장한다.
• 최소 거리가 일반화된 Singleton 경계 및 Griesmer 경계와 비교되어 코드의 최적성을 검증한다.

실험 결과

연구 질문

• RQ1 이론적 제약 조건에 의해 허용되는 매개변수 조합(체의 크기, 길이, 차원, Forney 지수)이 모두 순환 컨볼루션형 코드에 의해 실현 가능한가?
• RQ2 주어진 Forney 지수를 갖는 최소 순환 컨볼루션형 코드가 존재하기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 최소 순환 코드의 직접 합을 어떻게 구성할 수 있으며, 그 결과로 얻어진 코드가 여전히 순환적이고 잘 정의된 생성 구조를 갖는가?
• RQ4 스칼라 다항식 환의 구조와 자기 사상 $ \sigma $ 는 축소된 생성 다항식의 성분 차수에 어떤 제약을 가하는가?
• RQ5 $ \sigma $-순환 코드의 최소 거리를 생성 다항식의 성질로부터 얼마나 정확히 예측할 수 있는가?

주요 결과

• 이론적으로 [3]의 제약 조건을 만족하는 모든 순환 컨볼루션형 코드의 매개변수 조합은, Forney 지수에 대한 필요 및 충분 조건이 충족된다면 실현 가능하다.
• 최소 순환 컨볼루션형 코드가 주어진 Forney 지수를 갖는 경우는 오직 그 지수가 자기 사상 $ \sigma $ 의 사이클 분해와 관련된 특정 조건을 만족할 때에만 존재한다.
• Corollary 3.7 (2)에 기반하여 스칼라 다항식 환의 단위를 사용한 구축 방법이 제공되며, 임의의 Forney 지수를 갖는 최소 코드를 생성할 수 있다.
• 서로 다른 생성 다항식이 직교하는 최소 코드의 직접 합은 매개변수의 합집합을 갖는 $ \sigma $-순환 코드를 생성하며, 이러한 코드는 아이디얼 구조에서 직접 합성원이다.
• 구축된 코드는 최적의 거리 성능을 달성한다: 한 예에서는 $ \mathbb{F}_8 $ 상에서 매개변수 (7,2,4) 에 대해 거리 21을 달성하여 일반화된 Singleton 경계를 충족하며, 다른 예에서는 Griesmer 경계를 충족하여 거리 18을 달성한다.
• 축소된 생성 다항식의 성분 다항식에 대한 모든 차수 조합이 가능한 것은 아니며, 특히 동일한 $ \sigma $-사이클에 위치한 다수의 성분이 존재할 경우 계수에 대한 모듈로 제약으로 인해 일부 조합은 불가능하다.