[논문 리뷰] On Octonary Codes and their Covering Radii

Manoj K. Raut, Manish K. Gupta|arXiv (Cornell University)|2014. 11. 07.

Coding theory and cryptography인용 수 6

한 줄 요약

이 논문은 ℤ₈ 위의 선형 옥타니어리 코드에 대한 새로운 감소 및 토판 코드를 제안하고, 반복, 심플렉스(유형 α 및 β), 맥도널드, 레이드-멀러, 옥타코드를 포함한 주요 코드 가족의 커버링 반경에 대한 한계를 설정한다. ℤ₄에서의 결과를 ℤ₈로 확장하여, 동종 가중치 하에서 커버링 반경에 대한 정확한 값과 날카운 한계를 제공하며, 주요 발견은 r_HW(Sₖ^α⊥) = 1 및 r_HW(R¹,ᵐ⁻²) = 2^{m−1} − 2^{m/2−1} (짝수 m에 대해)임을 보여준다.

ABSTRACT

This paper introduces new reduction and torsion codes for an octonary code and determines their basic properties. These could be useful for the classification of self-orthogonal and self dual codes over $\mathbb{Z}_8$. We also focus our attention on covering radius problem of octonary codes. In particular, we determine lower and upper bounds of the covering radius of several classes of Repetition codes, Simplex codes of Type $α$ and Type $β$ and their duals, MacDonald codes, and Reed-Muller codes over $\mathbb{Z}_8$.

연구 동기 및 목표

• 자기수직 및 자기이중 코드의 분류를 돕기 위해 ℤ₈ 위의 옥타니어리 코드에 대한 새로운 감소 및 토판 코드를 개발한다.
• 비이진 구조를 가진 코드에 대해 ℤ₄에서의 커버링 반경 결과를 ℤ₈로 확장한다.
• 반복, 심플렉스(α 및 β), 맥도널드, 레이드-멀러, 옥타코드에 대한 ℤ₈ 위에서의 커버링 반경에 하한 및 상한을 결정한다.
• 동종 가중치 메트릭 하에서 커버링 반경에 대한 정확한 값과 날카운 한계를 확립한다.
• 감소/토판 코드와 원래 옥타니어리 코드 사이의 구조적 관계를 탐색한다.

제안 방법

• ℤ₈에서 ℤ₂ 및 ℤ₄로의 호모모르피즘을 통해 감소 및 토판 코드를 정의하고, 자기수직성 및 자기이중성과 같은 코드 성질을 유지한다.
• 일반화된 그레이 사상 φ: ℤ₈ⁿ → ℤ₂⁴ⁿ을 활용하여 옥타니어리 코드를 이진 코드와 연결하고 기존 결과를 이전한다.
• ℤ₈ 위에서의 표준 형(generator matrix)을 사용하여 코드 유형 {k₀, k₁, k₂}를 분석하고 구조적 성질을 유도한다.
• 심플렉스 코드로부터의 재귀적 구성 및 잘라내기 기법을 적용하여 ℤ₈ 위에서 맥도널드 코드를 정의한다.
• ℤ₄ 위에서의 커버링 반경에 대한 기존 결과를 활용하고, 가중치 기반 한계를 사용하여 이를 ℤ₈로 확장한다.
• 거리 계산 및 커버링 반경 한계 유도를 위해 w_HW(x) = 2 (x ≠ 4일 때) 및 w_HW(x) = 4 (x = 4일 때)인 동종 가중치 함수를 적용한다.

실험 결과

연구 질문

• RQ1 ℤ₈ 위의 옥타니어리 코드에서 유도된 감소 및 토판 코드의 구조적 및 대수적 성질은 무엇인가?
• RQ2 동종 가중치 메트릭 하에서 ℤ₈ 위의 반복, 심플렉스(α 및 β) 및 그 이중 코드의 커버링 반경은 어떻게 비교되는가?
• RQ3 맥도널드 코드의 ℤ₈ 위에서 커버링 반경에 대한 정확하거나 날카운 한계는 무엇인가?
• RQ4 1차 레이드-멀러 코드 R¹,ᵐ⁻²의 ℤ₈ 위에서의 동종 가중치 커버링 반경은 무엇인가?
• RQ5 옥타코드의 ℤ₈ 위에서 최소 커버링 반경은 얼마인가?

주요 결과

• ℤ₈ 위의 α 유형 심플렉스 코드의 이중 코드에 대한 동종 가중치 하에서 커버링 반경은 정확히 1이다: r_HW(Sₖ^α⊥) = 1.
• ℤ₈ 위의 β 유형 심플렉스 코드의 이중 코드에 대한 동종 가중치 하에서 커버링 반경은 정확히 2이다: r_HW(Sₖ^β⊥) = 2.
• 짝수 m에 대해 ℤ₈ 위의 1차 레이드-멀러 코드 R¹,ᵐ⁻²의 동종 가중치 커버링 반경은 정확히 2^{m−1} − 2^{m/2−1}이다.
• ℤ₈ 위의 옥타코드에 대한 동종 가중치 하에서 커버링 반경은 최소 6 이상이다: r_HW(C) ≥ 6.
• ℤ₈ 위의 맥도널드 코드에 대해 r_E(Mₖ,ᵤ^α) ≤ 6(8ᵏ − 8ʳ) + r_E(Mᵣ,ᵤ^α) (u < r ≤ k)가 성립한다.
• ℤ₈ 위의 심플렉스 코드 Sₖ^α 및 Sₖ^β는 생성자 행렬 분석 및 쌍대성 성질을 통해 자기수직임을 보였다.