[논문 리뷰] On cyclic codes over $\mathbb{Z}_q+u\mathbb{Z}_q$

Jian Gao, Fang‐Wei Fu외 2명|arXiv (Cornell University)|2015. 01. 16.

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

한 줄 요약

이 논문은 $q = p^s$, $u^2 = 0$, $ olinebreak\gcd(n,q) = 1$ 인 링 $ olinebreak\mathbb{Z}_q + u\mathbb{Z}_q$ 위에서 순환 코드를 조사한다. 이러한 코드가 링 위에서 자유 모듈이 되기 위한 필요충분조건을 확립하고, 최소 해밍 거리에 대한 BCH 유형의 상한을 도출한다. 주요 기여는 순환 코드가 $x^n - 1$의 모닉 인수에 의해 특성화됨을 보여주어 명시적 구성과 크기 계산이 가능하게 한다.

ABSTRACT

Let $R=\mathbb{Z}_q+u\mathbb{Z}_q$, where $q=p^s$ and $u^2=0$. In this paper, some structural properties of cyclic codes over the ring $R$ are considered. A necessary and sufficient condition for cyclic codes over the ring $R$ to be free is obtained and a BCH-type bound on the minimum Hamming distance for them is also given.

연구 동기 및 목표

• 유한 비체계 링 $\mathbb{Z}_q + u\mathbb{Z}_q$ 위에서 순환 코드의 구조적 성질을 조사하는 것.
• $R = \mathbb{Z}_q + u\mathbb{Z}_q$ 위에서 순환 코드가 $R$-자유 모듈이 되기 위한 필요충분조건을 규명하는 것.
• 자유 순환 코드에 대해 최소 해밍 거리에 대한 BCH 유형의 상한을 확립하는 것.
• $\mathbb{Z}_4 + u\mathbb{Z}_4$에서의 결과를 더 넓은 링 클래스인 $\mathbb{Z}_q + u\mathbb{Z}_q$로 일반화하는 것.

제안 방법

• 홀수 길이의 순환 코드를 $R$의 갈로아 확장 링의 아이디얼로 분해하기 위해 중국인조화정리(Chinese Remainder Theorem)를 활용하여 수량 세기 가능하게 한다.
• 기본 기약 다항식을 $\mathbb{F}_p$ 위의 기약 다항식에서 $R$ 위로 Hensel의 보조정리로 올려, $x^n - 1$이 서로소인 기본 기약 인수로 유일하게 분해됨을 보장한다.
• 순환 코드의 생성자를 $R[x]/(x^n - 1)$의 아이디얼로 특성화하며, 생성자는 형태 $f_0(x) + u f_1(x)$를 가지며, $f_0(x)$와 $f_1(x)$는 $\mathbb{Z}_q$ 위의 다항식이다.
• 순환 코드 $\mathscr{C} = (g(x))$가 $R$-자유임과 동시에 $g(x)$가 $R[x]$에서 $x^n - 1$을 나누는 모닉 다항식이 되는 것과 동치임을 증명하며, 표준 모닉 기저 $\{g(x), xg(x), \dots, x^{n - \deg(g) - 1}g(x)\}$ 가 $R$-기저를 이룬다.
• $\overline{\cdot}: R \to \mathbb{F}_p$ 의 맵을 사용하여 잔여체 $\mathbb{F}_p$ 에서의 성질을 $R$으로 올려, 유한체 기법의 적용 가능성을 보장한다.
• BCH 유형의 상한을 적용: 만약 $g(x)$ 가 갈로아 확장 링에서 연속적인 근 $\xi^b, \xi^{b+1}, \dots, \xi^{b+\delta-2}$ 를 $\delta - 1$개 가지면, 최소 해밍 거리 $d_H(\mathscr{C}) \geq \delta$ 임을 보인다.

실험 결과

연구 질문

• RQ1 순환 코드가 $\mathbb{Z}_q + u\mathbb{Z}_q$ 위에서 링 $R$ 위의 자유 모듈이 되기 위한 조건은 무엇인가?
• RQ2 순환 코드의 생성자는 다항식 나눗셈과 Hensel의 올림 기법을 통해 어떻게 명시적으로 특성화할 수 있는가?
• RQ3 자유 순환 코드의 최소 해밍 거리는 무엇이며, BCH 유형의 추론을 통해 상한을 구할 수 있는가?
• RQ4 $R$ 위에서 순환 코드의 구조는 $\mathbb{Z}_4 + u\mathbb{Z}_4$에서의 알려진 결과를 $q = p^s$ 인 $\mathbb{Z}_q + u\mathbb{Z}_q$로 어떻게 일반화하는가?
• RQ5 순환 코드의 크기와 기저는 생성 다항식으로부터 어떻게 결정할 수 있는가?

주요 결과

• 순환 코드 $\mathscr{C}$ 가 $R = \mathbb{Z}_q + u\mathbb{Z}_q$ 위에서 $R$-자유임과 동시에 $x^n - 1$ 을 $R[x]$ 에서 나누는 모닉 다항식 $g(x)$ 로 생성될 때, 그 조건이 필요충분이다.
• 자유 순환 코드 $\mathscr{C} = (g(x))$ 의 크기는 $|\mathscr{C}| = q^{2(n - \deg(g(x)))}$ 이며, 집합 $\{g(x), xg(x), \dots, x^{n - \deg(g(x)) - 1}g(x)\}$ 가 $R$-기저를 이룬다.
• 자유 순환 코드 $\mathscr{C} = (g(x))$ 의 최소 해밍 거리는 $g(x)$ 가 갈로아 확장 링에서 연속적인 근 $\xi^b, \xi^{b+1}, \dots, \xi^{b+\delta-2}$ 를 $\delta - 1$개 가지면 $d_H(\mathscr{C}) \geq \delta$ 를 만족한다. 여기서 $\xi$ 는 기본 원시 $n$차 단위근이다.
• $R = \mathbb{Z}_8 + u\mathbb{Z}_8$ 인 경우, 길이 15인 자유 순환 코드는 $g(x)$ 가 근 $\xi, \xi^2, \dots, \xi^6$ 을 가지며 최소 거리가 정확히 7임을 보이며, $(15, 64^5, 7)$ 코드를 생성한다.
• $\mathbb{Z}_4 + u\mathbb{Z}_4$ 위의 순환 코드를 레이 주의 보존 사상 $\varphi$ 로 올리면, $(14, 4^{10}, 4)$ 인 $\mathbb{Z}_4$-선형 코드가 되며, 이 이진 그레이 이미지는 최적의 $[28, 20, 4]$ 코드가 된다.