[논문 리뷰] Z2Z4Z8-Cyclic Codes

İsmail Aydoğdu, Fatmanur Gürsoy|arXiv (Cornell University)|2017. 04. 24.

Coding theory and cryptography인용 수 3

한 줄 요약

이 논문은 Z₂Z₄Z₈-덧셈 및 Z₂Z₄Z₈-순환 코드를 도입하고 특성화하여 Z₂Z₄-덧셈 코드 이론을 확장한다. 생성자 행렬과 검사 행렬의 표준 형식을 수립하고, 순환 코드의 생성 다항식과 생성 집합을 유도하며, 이들 코드를 이진 선형 코드와 연결하기 위해 그레이 사상(Grey map)을 제시한다. 주요 기여는 Z₂Z₄Z₈-순환 코드에 대한 완전한 대수적 프레임워크를 제공하고, 명시적인 구성과 [57,33,4] 이진 코드의 예를 그레이 이미지로부터 제시하는 것이다.

ABSTRACT

In this paper we study Z2Z4Z8-additive codes, which are the extension of recently introduced Z2Z4-additive codes. We determine the standard forms of the generator and parity-check matrices of Z2Z4Z8-additive codes. Moreover, we investigate Z2Z4Z8-cyclic codes giving their generator polynomials and spanning sets. We also give some illustrative examples of both Z2Z4Z8-additive codes and Z2Z4Z8-cyclic codes.

연구 동기 및 목표

• Z₂Z₄-덧셈 코드 이론을 Z₂, Z₄, Z₈의 세 링으로 확장하여 Z₂Z₄Z₈-덧셈 코드로 이행하는 것.
• Z₂Z₄Z₈-덧셈 코드의 생성자 행렬과 검사 행렬의 표준 형식을 규명하는 것.
• 생성 다항식과 생성 집합을 사용하여 Z₂Z₄Z₈-순환 코드를 정의하고 특성화하는 것.
• Z₂Z₄Z₈-코드에서 이진 선형 코드로의 일반화된 그레이 사상을 수립하는 것.
• 덧셈 및 순환 Z₂Z₄Z₈-코드의 구체적 예를 제시하며, 이 중 [57,33,4] 이진 코드를 포함하는 것.

제안 방법

• Z₈-모듈로서 Z₂Z₄Z₈를 정의하며, 성분별 덧셈과 Z₈-스칼라 곱을 사용한다.
• Z₂Z₄Z₈-덧셈 코드를 Z₂^α × Z₄^β × Z₈^θ의 부분군으로 정의하고, 불변 인자 기반의 유형 분류를 수행한다.
• Z₄ → Z₂² 및 Z₈ → Z₂⁴를 매핑하는 일반화된 그레이 사상 φ = (φ₁, φ₂)를 구성하여 Z₂Z₄Z₈-코드를 이진 코드로 변환한다.
• Z₂Z₄Z₈-순환 코드를 R = Z₂[x]/⟨x^α−1⟩ × Z₄[x]/⟨x^β−1⟩ × Z₈[x]/⟨x^θ−1⟩에서의 아이디얼로 특성화한다.
• 다항식 x^n−1의 인수분해와 각 링 위의 아이디얼 구조를 이용해 생성 다항식과 생성 집합을 도출한다.
• 순환 코드 생성자에 그레이 사상을 적용하여 [57,33,4] 매개변수를 갖는 이진 선형 코드를 확보한다.

실험 결과

연구 질문

• RQ1 Z₂Z₄Z₈-덧셈 코드의 생성자 행렬 표준 형식은 무엇이며, 코드의 유형에 의해 어떻게 결정되는가?
• RQ2 생성 다항식과 생성 집합을 사용하여 Z₂Z₄Z₈-순환 코드를 어떻게 대수적으로 특성화할 수 있는가?
• RQ3 Z₂Z₄Z₈-덧셈 코드의 쌍대 코드는 어떤 구조를 가지며, 원본 코드와 어떻게 관련되어 있는가?
• RQ4 일반화된 그레이 사상은 Z₂Z₄Z₈-코드를 어떻게 이진 선형 코드로 변환하는가? 그리고 어떤 매개변수를 달성하는가?
• RQ5 명시적인 Z₂Z₄Z₈-순환 코드의 예를 구성할 수 있으며, 그 이진 그레이 이미지의 매개변수는 무엇인가?

주요 결과

• Z₂Z₄Z₈-덧셈 코드의 생성자 행렬 표준 형식은 (α,β,θ;k₀;k₁,k₂;k₃,k₄,k₅) 유형에 의해 완전히 특성화되며, 명시적인 블록 구조를 가진다.
• Z₂Z₄Z₈-덧셈 코드의 검사 행렬은 표준 형식을 이용해 생성자 행렬로부터 유도되며, 이중성과 오류 탐지 성질을 보장한다.
• Z₂Z₄Z₈-순환 코드는 R = Z₂[x]/⟨x^α−1⟩ × Z₄[x]/⟨x^β−1⟩ × Z₈[x]/⟨x^θ−1⟩에서의 아이디얼이며, x^n−1의 인수분해로부터 생성 다항식이 도출된다.
• Z₂Z₄Z₈-순환 코드의 생성 집합은 생성 다항식 f(x), g₁(x), g₂(x), r(x)로부터 구성되며, h_p(x), h_q(x), h₁(x)와의 관계가 포함된다.
• Z₂Z₄Z₈-순환 코드의 그레이 이미지는 이진 선형 코드이다; 예시에서는 Z₂Z₄Z₈-순환 코드의 이미지가 [57,33,4] 이진 코드가 된다.
• 표준 형식을 갖는 생성자 행렬을 명시적으로 구성하였으며, 그 그레이 이미지는 [57,33,4] 이진 코드를 산출하여 구성의 실현 가능성과 유용성을 입증한다.