[논문 리뷰] The Gray Image of Codes over Finite Chain Rings

Somphong Jitman, Patanee Udomkavanich|ArXiv.org|2009. 07. 20.

Coding theory and cryptography참고 문헌 5인용 수 12

한 줄 요약

이 논문은 유한 체인 링에서의 상수순환 코드 이론을 확장하여 임의의 멱등 지수 $e+1$를 가진 링에 대해 $(1-\beta^e)$-상수순환 코드 구조를 도입한다. 이는 잔여체 $\bbF_{p^k}$ 위에서 거리 불변성의 준순환 코드로 변환하는 그레이 맵을 정의하며, 주요 결과로 $\text{gcd}(n,p) = 1$ 이면 순환 및 $(1+\beta^e)$-상수순환 코드의 그레이 이미지는 색인 $p^{ke-1}$의 준순환 코드와 순열 동치임을 보여준다.

ABSTRACT

The results of J. F. Qiann et al. [4] on $(1-γ)$-cyclic codes over finite chain rings of nilpotency index 2 are extended to $(1-γ^e)$-cyclic codes over finite chain rings of arbitrary nilpotency index $e+1$. The Gray map is introduced for this type of rings. We prove that the Gray image of a linear $(1 - γ^{e})$-cyclic code over a finite chain ring is a distance-invariant quasi-cyclic code over its residue field. When the length of codes and the characteristic of a ring are relatively prime, the Gray images of a linear cyclic code and a linear $(1+γ^e)$-cyclic code are permutatively to quasi-cyclic codes over its residue field.

연구 동기 및 목표

• Qian 등이 멱등 지수 2인 링에서 $(1-\beta)$-상수순환 코드에 대해 얻은 결과를 멱등 지수 $e+1$인 링으로 일반화하는 것.
• 임의의 멱등 지수 $e+1$를 가진 유한 체인 링에 대해 일반화된 그레이 맵을 정의하는 것.
• $(1-\beta^e)$-상수순환 코드의 그레이 이미지를 특성화하고, 이것이 잔여체 위의 거리 불변 준순환 코드를 유도함을 보여주는 것.
• $\text{gcd}(n,p) = 1$ 조건 하에서 순환 및 $(1+\beta^e)$-상수순환 코드의 그레이 이미지의 구조를 조사하는 것.
• 이 조건 하에서 그레이 이미지가 $\bbF_{p^k}$ 위의 색인 $p^{ke-1}$ 준순환 코드와 순열 동치임을 증명하는 것.

제안 방법

• $R$를 멱등 지수 $e+1$를 가진 유한 체인 링으로 하고, 이에 대해 이동 연산자 $\nu$를 통해 $(r_0,\dots,r_{n-1})$를 $((1-\beta^e)r_{n-1}, r_0, \dots, r_{n-2})$로 매핑하는 $(1-\beta^e)$-상수순환 코드를 도입한다.
• 요소 $r \in R$의 다항식 표현 $r = \textstyle\bigoplus_{i=0}^e a_i(r)\beta^i$를 사용하여 $\rho: R^n \to \bbF_{p^k}^{p^{ke}n}$의 그레이 맵을 정의하며, $a_i(r) \to \tilde{a}_i(r)$는 $\bbF_{p^k}^n$로의 표준 사상에 의한 것이다.
• 변환된 성분들을 연결하여 그레이 이미지를 구성한다: $\rho(\textbf{r}) = \bigoplus_{j=0}^{p^{ke}-1} \bigoplus_{i=0}^{n-1} \text{coefficients of } \text{poly}(\tilde{a}_0(r_j), \dots, \tilde{a}_e(r_j))$.
• $\bbF_{p^k} \to \bbZ_p[\beta]/\beta^k$의 동형사상으로 $\tilde{a}_i(r_j)$를 $\bbF_{p^k}^n$ 내의 벡터로 정의함으로써 $\bbF_{p^k}^{p^{ke}n}$ 내의 전체 이미지를 구성한다.
• 이미지에 대해 $\tau^{\bigotimes p^{ke-1}}$를 적용하여 순환 이동에 대한 불변성을 보여준다. 이는 이미지가 준순환임을 증명한다.
• $\beta \to 1 + 2jn'\beta^e$의 자동형사를 사용하여 $\beta^2$가 코드어에 작용하는 방식을 분석하고, 이를 이미지의 이동 구조와 연결한다.

실험 결과

연구 질문

• RQ1 멱등 지수 $e+1$인 유한 체인 링 위의 $(1-\beta^e)$-상수순환 코드의 그레이 이미지의 구조는 무엇인가?
• RQ2 그레이 맵은 선형 $(1-\beta^e)$-상수순환 코드를 어떻게 변환하며, 그 이미지는 잔여체 위의 준순환 코드인가?
• RQ3 유한 체인 링 $R$ 위의 순환 코드의 그레이 이미지가 $\bbF_{p^k}$ 위의 준순환 코드와 순열 동치가 되는 조건은 무엇인가?
• RQ4 $\text{gcd}(n,p) = 1$ 조건 하에서 $(1+\beta^e)$-상수순환 코드의 그레이 이미지의 구조는 무엇인가?
• RQ5 그레이 이미지의 준순환 구조는 이동 연산자와 색인 $p^{ke-1}$로 어떻게 특성화할 수 있는가?

주요 결과

• $(1-\beta^e)$-상수순환 코드의 선형 그레이 이미지는 멱등 지수 $e+1$인 유한 체인 링에서 잔여체 $\bbF_{p^k}$ 위의 거리 불변 준순환 코드이다.
• $\text{gcd}(n,p) = 1$ 이면 $R$ 위의 선형 순환 코드의 그레이 이미지는 색인 $p^{ke-1}$, 길이 $p^{ke}n$인 $\bbF_{p^k}$ 위의 준순환 코드와 순열 동치이다.
• $\text{gcd}(n,p) = 1$ 이면 $R$ 위의 길이 $n$인 선형 $(1+\beta^e)$-상수순환 코드의 그레이 이미지도 역시 색인 $p^{ke-1}$, 길이 $p^{ke}n$인 $\bbF_{p^k}$ 위의 준순환 코드와 동치이다.
• 증명은 $\bbF_{p^k}$와 $\bbZ_p[\beta]/\beta^k$ 사이의 동형사상에 기반하며, 계수별로 올리는 방식과 연결을 통해 그레이 맵을 구성한다.
• 이미지의 이동 구조는 연산자 $\tau^{\bigotimes p^{ke-1}}$를 통해 유지되며, 이는 크기 $pn$의 블록에 대해 순환 이동으로 작용하여 준순환 성질을 확인한다.
• $\beta^2 \to 1 + 2jn'\beta^e$의 자동형사는 $\rho \times \rho$에 의한 이미지가 준순환 코드의 이동 구조와 일치함을 보여주며, 동치성을 증명한다.