[논문 리뷰] On Isodual Cyclic Codes over Finite Fields and Finite Chain Rings: Monomial Equivalence

Aicha Batoul, Kenza Guenda외 2명|arXiv (Cornell University)|2013. 03. 08.

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

한 줄 요약

이 논문은 유한 체인 링 위에서 순환 이소듀얼 코드를 조사하며, 생성 다항식, 체의 특성, 코드 길이에 기반한 존재 조건을 수립한다. 유한 체인 링으로의 두이딕 코드 구성법을 확장하고, 잔여체 위의 두이딕 코드의 헨젤 승수를 통해 이소듀얼 및 자기수정 코드를 명시적으로 생성하는 방법을 제공하며, 주요 결과로 특정 대수적 조건 하에서 코드와 그 이중의 단항 등가성을 보여준다.

ABSTRACT

This paper present the construction cyclic isodual codes over finite fields and finite chain rings. These codes are monomially equivalent to their dual. Conditions are given for the existence of cyclic isodual codes. In addition, the concept of duadic codes over finite fields is extended to finite chain rings. Several constructions of isodual cyclic codes and self-dual codes are given.

연구 동기 및 목표

• 유한 체에서의 두이딕 코드 이론을 유한 체인 링으로 확장하기 위해.
• 유한 체인 링 위에서 순환 이소듀얼 코드의 존재성과 구조적 성질을 조사하기 위해.
• 헨젤 승수를 통한 두이딕 코드의 승수를 이용해 이소듀얼 및 자기수정 코드의 명시적 구성법을 제공하기 위해.
• 유한 체인 링 위에서 순환 코드와 그 이중 간의 단항 등가성을 수립하기 위해.
• 기존의 유한 체 위에서의 이소듀얼 코드 결과를 더 일반적인 유한 체인 링의 설정으로 일반화하기 위해.

제안 방법

• 유한 체인 링 위의 순환 코드에 대한 구조 정리에 기반하여, $x^n - 1$ 의 인수분해를 통해 다항식을 짝별로 서로소인 다항식의 곱으로 표현한다.
• 헨젤의 보조정리를 적용하여 유한 체인 링 $R$ 으로 유한체 $\mathbb{F}_q$ 위의 두이딕 코드를 승수한다.
• 단항 변환과 역다항식을 활용하여 코드의 이중성과 등가성을 분석한다.
• 승수의 순환 순서 $\text{ord}_n(q)$ 와 이차 잔여 조건을 사용하여 두이딕 코드의 존재 조건을 결정한다.
• 동차 무게의 등장성 성질을 적용하여 단항 등가성 하에서 코드의 구조를 유지함을 보장한다.
• 생성 다항식이 $(x^{2^{a-1}} \pm 1) \prod g_i(\alpha^{-k}x)$ 의 형태를 가진다. 여기서 $\alpha$ 는 $R^*$ 내의 원시 $2^a$-번째 단위근이다.

실험 결과

연구 질문

• RQ1 유한 체인 링 위에서 순환 이소듀얼 코드는 어떤 조건에서 존재하는가?
• RQ2 유한 체 위의 두이딕 코드는 어떻게 유한 체인 링으로 승수되어 이소듀얼 코드를 생성하는가?
• RQ3 분할 자동사상 $\mu_{-1}$ 은 코드와 그 이중 간의 단항 등가성 결정에 어떤 역할을 하는가?
• RQ4 역다항식과 헨젤 승수의 성질은 체인 링 위의 순환 코드의 이중성에 어떻게 영향을 미치는가?
• RQ5 대수적 수론과 다항식 인수분해를 이용해 유한 체인 링 위에서 자기수정 및 이소듀얼 코드를 체계적으로 구성할 수 있는가?

주요 결과

• 유한 체인 링 위에서 길이 $2^a m$ 인 순환 이소듀얼 코드는 잔여체가 길이 $m$ 인 홀수 유사 두이딕 코드 쌍을 포함할 경우 존재한다.
• 유한체 $\mathbb{F}_q$ 위의 두이딕 코드의 헨젤 승수는 특정 조건 하에서 $R$ 위의 순환 코드를 생성하며, 이는 그 이중과 단항 등가이다.
• 분할이 $\mu_{-1}$ 으로 주어질 경우, $(x^{2^{a-1}} - 1)\prod g_i(\alpha^{-k}x)$ 로 생성된 코드의 이중은 $i \neq j$ 인 경우 $(x^{2^{a-1}} + 1)\prod g_j(\alpha^{-k}x)$ 로 생성된 코드와 단항 등가이다.
• $R = \mathbb{Z}_{25}$, $m = 11$, $q = 5$ 인 경우, 해밍 무게 6과 8을 가진 길이 22인 이소듀얼 순환 코드를 명시적으로 구성하였다.
• 역다항식 연산은 단항 등가성 하에서 이중성 구조를 유지하며, $C = \langle (x-1)g_i(x), \gamma g_i(x)g_j^*(x) \rangle$ 를 통해 자기수정 코드의 구성이 가능하다.
• 만일 $n \equiv -1 \pmod{4}$ 이고 $q$ 가 $n$ 모듈로 이차 잔여일 경우 두이딕 코드가 존재하며, 그 승수는 $\mathbb{Z}_4$ 와 기타 체인 링 위에서 이소듀얼 코드를 유도한다.