[논문 리뷰] Cyclic codes over the ring $\mathbb{F}_p[u,v] / \langle u^k,v^2,uv-vu angle$

Bappaditya Ghosh, Pramod Kumar Kewat|arXiv (Cornell University)|2015. 08. 27.

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

한 줄 요약

이 논문은 유한 비체 구조를 가진 링 $\mathbb{F}_p[u,v]/\langle u^k, v^2, uv - vu \rangle$ 위에서 순환 코드를 조사하며, $\mathbb{F}_p[u]/\langle u^k \rangle$ 위에서 알려진 순환 코드로부터 투영 기반의 당김 구성법을 통해 이러한 코드에 대한 유일한 생성자 집합을 확립한다. 주요 기여는 특히 길이 $n = p^l$ 인 경우에 대해 코드의 질량과 해밍 거리의 특성화이며, 생성 다항식에 대한 $p$-진 전개와 귀납적 추론을 통해 명시적인 공식을 유도한다.

ABSTRACT

Let $p$ be a prime number. In this paper, we discuss the structures of cyclic codes over the ring $ \mathbb{F}_p[u, v] / \langle u^k, v^2, uv-vu angle$. We find a unique set of generators for these codes. We also study the rank and the Hamming distance of these codes.

연구 동기 및 목표

• 비체 구조를 가진 유한 링 $R = \mathbb{F}_p[u,v]/\langle u^k, v^2, uv - vu \rangle$ 위에서 순환 코드의 구조적 성질를 규명하는 것.
• 간단한 링 $\mathbb{F}_p[u]/\langle u^k \rangle$ 위에서의 코드로부터의 당김 구성법을 사용하여, 임의의 길이 $n$ 에 대해 $R$ 위에서 순환 코드에 대한 유일한 생성자 집합을 확립하는 것.
• 등장사상 정리와 귀납적 추론을 사용하여, 특히 비정규 원소를 포함하는 경우에 대해 $R$ 위에서 순환 코드의 질량과 최소 생성 집합을 계산하는 것.
• 길이 $n = p^l$ 인 경우에 대해 생성 다항식의 지수에 대한 $p$-진 전개를 기반으로 하여 순환 코드의 해밍 거리에 대한 명시적 공식을 도출하는 것.

제안 방법

• 저자들은 링 $R[x]/\langle x^n - 1 \rangle$ 에서 $\mathbb{F}_p[u]/\langle u^k \rangle[x]/\langle x^n - 1 \rangle$ 로의 투영 사상을 정의하여, 더 단순한 링에서 알려진 생성 구조를 확장된 링으로 이행한다.
• 등장사상 정리를 사용하여, 순환 코드 $C$ 의 최소 생성 집합을 투영 사상의 핵과 상에 대한 분석을 통해 계산한다.
• 비정규 생성자를 다룰 때는 직접 나눗셈 알고리즘 적용에 실패하는 문제를 극복하기 위해 귀납적 추론을 적용한다.
• 해밍 거리는 그레이 상에 대한 분석을 통해 $\mathbb{F}_p[x]/\langle x^n - 1 \rangle$ 위의 순환 코드로 문제를 환원함으로써 계산되며, 특히 $n = p^l$ 인 경우에 대해 적용된다.
• 생성 다항식 $(x-1)^{t_{2k}}$ 의 지수 $t_{2k}$ 에 대한 $p$-진 전개를 사용하여 경우를 분류하고 거리 공식을 도출한다.
• 부코드 및 거리 전파에 관한 레미마(예: 레미마 5.3)를 사용하여 $p$-거듭제곱 순형 다항식의 곱으로 생성된 코드의 최소 거리를 귀납적으로 계산한다.

실험 결과

연구 질문

• RQ1 길이 $n$ 이 임의일 때, 링 $\mathbb{F}_p[u,v}/\langle u^k, v^2, uv - vu \rangle$ 위에서 순환 코드에 대한 유일한 생성자 집합은 무엇인가?
• RQ2 특히 생성자가 비정규 원소를 포함할 경우, 이러한 코드의 질량과 최소 생성 집합은 어떻게 계산할 수 있는가?
• RQ3 길이 $n = p^l$ 인 경우, 이 링 위에서 순환 코드의 해밍 거리는 무엇이며, 생성 다항식의 지수에 대한 $p$-진 전개와 어떻게 관련되는가?
• RQ4 이 링 위에서 순환 코드가 자유(free)가 되는 조건은 무엇이며, 그 생성 다항식의 구조는 어떠한가?

주요 결과

• 순환 코드 $C$ 의 질량은 $R_{u^k,v^2,p}$ 에서 $R_{u^k,p}[x]/\langle x^n - 1 \rangle$ 로의 투영 사상의 핵과 상을 분석함으로써 등장사상 정리를 사용하여 계산된다.
• $n = p^l$ 인 경우, 생성 다항식 $(x-1)^{t_{2k}}$ 의 지수 $t_{2k}$ 가 $p^{l-1}$ 이하일 경우 해밍 거리 $d(C)$ 는 2이다.
• $t_{2k}$ 가 $p$-진 길이 $q$ 인 영 전개를 가질 경우, $d(C) = (b_{l-1}+1)(b_{l-2}+1)\cdots(b_{l-q}+1)$ 이며, 여기서 $b_i$ 는 $t_{2k}$ 의 $p$-진 자릿수이다.
• $t_{2k}$ 가 $p$-진 길이 $q$ 인 비영 전개를 가질 경우, $d(C) = 2(b_{l-1}+1)(b_{l-2}+1)\cdots(b_{l-q}+1)$ 이다.
• $R_{u^k,v^2,p}$ 위에서 자유 순환 코드는 그 투영 이미지가 $\mathbb{F}_p[u]/\langle u^k \rangle$ 위에서 자유 순환 코드의 생성자를 갖는 단일 정규 다항식으로 생성되는 경우로 특성화된다.
• 예시들은 $R_{u^3,v^2,2}$ 위에서 생성자 $\langle vu^2g^3 \rangle$ 를 가진 코드가 질량 1과 해밍 거리 4를 가지며, 더 복잡한 생성자를 가진 다른 코드들은 더 높은 질량과 낮은 거리를 가지며, 이는 이론적 한계를 확인한다.