[논문 리뷰] On double cyclic codes over Z_4

Jian Gao, Minjia Shi외 2명|arXiv (Cornell University)|2015. 01. 07.

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

한 줄 요약

이 논문은 ℤ₄ 위의 이중 순환 코드를 조사하여, R[x]/(x^r−1) × R[x]/(x^s−1)의 R[x]-부분모듈로서의 생성 다항식과 최소 생성 집합을 규명한다. 이중 순환 코드와 그 쌍대 코드 간의 쌍대성 관계를 수립하고, 그림 맵을 통해 최적 또는 부분 최적의 비선형 이진 코드를 유도할 수 있음을 보이며, ℤ₄-순환 코드의 구성 방식을 일반화된 이중 순환 구조로 확장한다.

ABSTRACT

Let $R=\mathbb{Z}_4$ be the integer ring mod $4$. A double cyclic code of length $(r,s)$ over $R$ is a set that can be partitioned into two parts that any cyclic shift of the coordinates of both parts leaves invariant the code. These codes can be viewed as $R[x]$-submodules of $R[x]/(x^r-1) imes R[x]/(x^s-1)$. In this paper, we determine the generator polynomials of this family of codes as $R[x]$-submodules of $R[x]/(x^r-1) imes R[x]/(x^s-1)$. Further, we also give the minimal generating sets of this family of codes as $R$-submodules of $R[x]/(x^r-1) imes R[x]/(x^s-1)$. Some optimal or suboptimal nonlinear binary codes are obtained from this family of codes. Finally, we determine the relationship of generators between the double cyclic code and its dual.

연구 동기 및 목표

• 이중 순환 코드의 대수적 구조를 ℤ₄ 위에서 R[x]/(x^r−1) × R[x]/(x^s−1)의 R[x]-부분모듈로 특성화하는 것.
• 이러한 코드들의 생성 다항식과 최소 생성 집합을 결정하는 것.
• ℤ₄ 위에서 이중 순환 코드와 그 쌍대 코드 간의 쌍대성 관계를 수립하는 것.
• 이중 순환 코드에서 그림 맵을 통해 최적 또는 부분 최적의 비선형 이진 코드를 구성할 수 있음을 보여주는 것.

제안 방법

• R = ℤ₄일 때, 이중 순환 코드를 R[x]/(x^r−1) × R[x]/(x^s−1)의 R[x]-부분모듈로 표현하는 것.
• 다항식 인수분해와 헨젤 승화를 사용하여 코드의 생성 다항식 F₁(x), l(x), F₂(x)를 유도하는 것.
• 그림 맵을 적용하여 ℤ₄-코드를 이진 코드로 변환하고, 그 비선형 성질을 평가하는 것.
• 몫환에서의 역 다항식과 모듈로 산술을 사용하여 쌍대 코드의 생성 다항식을 유도하는 것.
• 최대공약수와 역 다항식 연산을 사용하여 코드의 생성자와 그 쌍대 코드의 생성자 간의 관계를 수립하는 것.
• 구체적인 예시를 통한 결과 검증, 포함된 쌍대 코드 생성자 및 코드 크기 계산

실험 결과

연구 질문

• RQ1 이중 순환 코드를 ℤ₄ 위에서 R[x]/(x^r−1) × R[x]/(x^s−1)의 R[x]-부분모듈로 어떻게 대수적으로 특성화할 수 있는가?
• RQ2 이중 순환 코드의 최소 생성 집합은 무엇이며, 생성 다항식과 어떻게 관련되어 있는가?
• RQ3 이중 순환 코드의 생성 다항식과 그 쌍대 코드의 생성 다항식 간의 정확한 관계는 무엇인가?
• RQ4 이중 순환 코드에서 그림 맵을 통해 최적 또는 부분 최적의 비선형 이진 코드를 구성할 수 있는가?
• RQ5 생성 다항식의 차수와 최대공약수는 쌍대 코드의 크기와 구조에 어떻게 영향을 미치는가?

주요 결과

• 논문은 ℤ₄ 위의 이중 순환 코드의 생성 다항식을 R[x]/(x^r−1) × R[x]/(x^s−1)의 R[x]-부분모듈로 결정하여 완전한 대수적 특성화를 제공한다.
• 이러한 코드의 최소 생성 집합을 도출하여, ℤ₄ 위에서 특정 다항식 조합에 의해 생성된다는 것을 보여준다.
• 자기적 이중 순환 코드의 쌍대 코드 역시 이중 순환 코드이며, 최대공약수와 역 다항식 연산을 사용하여 명시적으로 결정된다.
• 자기적 코드일 경우 쌍대 코드의 생성 다항식은 F₁*(x) = (x^r−1)/gcd(F₁(x),l(x)) 및 F₂*(x) = (x^s−1)gcd(F₂(x),l(x))/(F₁(x)F₂(x))로 주어진다.
• 예시에서는 |C| = 4⁴인 (3,9)-코드가 쌍대 코드 크기 4⁸을 생성함을 보여주며, 쌍대성 구조를 확인한다.
• 이 구성은 그림 맵을 통해 최적 또는 부분 최적의 비선형 이진 코드를 유도하며, ℤ₄-순환 코드에서 알려진 결과를 일반화된 이중 순환 구조로 확장한다.