[논문 리뷰] Constacyclic codes of length $p^sn$ over $\mathbb{F}_{p^m}+u\mathbb{F}_{p^m}$

Yonglin Cao, Yuan Cao외 2명|arXiv (Cornell University)|2015. 12. 04.

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

한 줄 요약

이 논문은 $∞$-constacyclic 코드의 완전한 대수적 특성화를 제공한다. 길이 $np^s$인 코드에 대해 유한환 $ℤ_{p^m}+uℤ_{p^m}$ 위에서 $ \gcd(p,n)=1$를 만족할 때, 정규형 분해를 통해 명시적인 생성자 구조, 쌍대 코드 표현식을 유도하고, 모든 이러한 코드를 세며, 자기쌍대 순환, 반순환, $∞$-constacyclic 코드를 포함한다. 이들의 수를 담은 폐쇄형 공식과 함께, $ℤ_5+uℤ_5$ 위에서 길이 $2\cdot 3^t\cdot 5^s$인 자기쌍대 반순환 코드의 완전한 분류를 수행한다. 이 방법은 이전의 $p^s$, $2p^s$, $4p^s$ 길이의 결과를 일반적인 $np^s$ 경우로 확장하며, $ \gcd(p,n)=1$ 조건을 만족할 때 적용된다. 주요 기여는 이 환 위에서 모든 $∞$-constacyclic 코드와 그 쌍대 코드에 대한 통합적이고 명시적인 매개변수화이다.

ABSTRACT

Let $\mathbb{F}_{p^m}$ be a finite field of cardinality $p^m$ and $R=\mathbb{F}_{p^m}[u]/\langle u^2 angle=\mathbb{F}_{p^m}+u\mathbb{F}_{p^m}$ $(u^2=0)$, where $p$ is a prime and $m$ is a positive integer. For any $λ\in \mathbb{F}_{p^m}^{ imes}$, an explicit representation for all distinct $λ$-constacyclic codes over $R$ of length $p^sn$ is given by a canonical form decomposition for each code, where $s$ and $n$ are positive integers satisfying ${ m gcd}(p,n)=1$. For any such code, using its canonical form decomposition the representation for the dual code of the code is provided. Moreover, representations for all distinct negacyclic codes and their dual codes of length $p^sn$ over $R$ are obtained, and self-duality for these codes are determined. Finally, all distinct self-dual negacyclic codes over $\mathbb{F}_5+u\mathbb{F}_5$ of length $2\cdot 5^s\cdot 3^t$ are listed for any positive integer $t$.

연구 동기 및 목표

• 길이 $np^s$인 모든 $\lambda$-constacyclic 코드에 대한 $ℤ_{p^m}+u\u2124_{p^m}$ 위에서의 완전하고 명시적인 대수적 구조를 제공하는 것.
• 각 코드에 대한 정규형 분해를 도출하여 생성자의 명확하고 체계적인 표현을 가능하게 하는 것.
• 정규형을 기반으로 각 $\lambda$-constacyclic 코드의 쌍대 코드를 명시적으로 표현하고, 이 클래스의 코드에 대해 쌍대성 이론을 확장하는 것.
• 이 환 위에서 길이 $np^s$인 서로 다른 순환, 반순환, $∞$-constacyclic 코드를 세고, 자기쌍대 사례를 식별하는 것.
• 임의의 양의 정수 $t$에 대해 $ℤ_5+u\u2124_5$ 위에서 길이 $2\cdot 3^t\cdot 5^s$인 모든 자기쌍대 반순환 코드를 명시적으로 나열하는 것.

제안 방법

• 논문은 $u^2=0$을 만족하는 환 $R = \u2124_{p^m}+u\u2124_{p^m}$를 사용하며, 이를 유한 체인환으로 간주하여 이러한 환 위의 선형 코드에 대한 알려진 구조 이론을 활용한다.
• 각 $∞$-constacyclic 코드는 몫환 $R[x]/\langle x^{np^s} - \lambda \rangle$의 아이디얼과 동형이므로, 문제를 아이디얼 분류 문제로 환원한다.
• 정규형 분해를 도입하여 각 코드를 특정 다항식에 의해 생성되는 아이디얼의 직합으로 표현함으로써, 명시적인 생성자 구성이 가능해진다.
• 이 방법은 $ℤ_{p^m}$의 성질과 $R$의 구조, 특히 $p$-adic 전개와 곱셈 순서의 행동을 이용해 $R[x]$에서 $x^{np^s} - \lambda$를 인수분해하는 데 의존한다.
• 쌍대 코드는 $\lambda$의 역수와 정규형을 이용하여 구성되며, Lemma 1.2를 적용하여 $γ$-constacyclic 코드의 쌍대 코드는 $γ^{-1}$-constacyclic 코드임을 보인다.
• 수세기의 경우, $\mathbb{F}_{p^m}[x]$에서 $x^{np^s} - \lambda$의 기약 인수의 수에 기반하여 $i$와 $p^m$의 거듭제곱에 대한 합을 포함하는 폐쇄형 공식을 유도한다.

실험 결과

연구 질문

• RQ1 길이 $np^s$인 $∞$-constacyclic 코드의 완전한 대수적 구조는 무엇인가? 이는 $ℤ_{p^m}+u\u2124_{p^m}$ 위에서 $ \gcd(p,n)=1$를 만족할 때이다.
• RQ2 정규형을 이용해 이러한 $∞$-constacyclic 코드의 쌍대 코드를 어떻게 명시적으로 표현할 수 있는가?
• RQ3 길이 $np^s$인 $∞$-constacyclic 코드의 총 개수는 얼마이며, 이는 폐쇄형 공식으로 표현할 수 있는가?
• RQ4 어떤 $∞$-constacyclic 코드가 자기쌍대이며, 이 틀 안에서 자기쌍대 순환 및 반순환 코드는 어떻게 특징지을 수 있는가?
• RQ5 임의의 $t$에 대해 $ℤ_5+u\u2124_5$ 위에서 길이 $2\cdot 3^t\cdot 5^s$인 모든 자기쌍대 반순환 코드를 명시적으로 나열할 수 있는가?

주요 결과

• 이 논문은 $ℤ_{p^m}+u\u2124_{p^m}$ 위에서 길이 $np^s$인 모든 $∞$-constacyclic 코드에 대해 정규형 분해를 제공하여, 생성자의 완전하고 명시적인 표현이 가능해졌다.
• 임의의 $∞$-constacyclic 코드의 쌍대 코드는 $λ^{-1}$-constacyclic 코드임을 보이고, 정규형에서 명시적으로 유도되었다.
• 길이 $np^s$인 서로 다른 $∞$-constacyclic 코드의 수를 담은 폐쇄형 공식이 유도되었으며, $N_{(p^m,1,p^s)}^2 N_{(p^m,2,p^s)}$로 표현되며, 이는 $x^{np^s} - \lambda$가 $\mathbb{F}_{p^m}[x]$에서 인수분해되는 방식에 따라 달라진다.
• $\u2124_5+u\u2124_5$의 경우, 임의의 양의 정수 $t$에 대해 길이 $2\cdot 3^t\cdot 5^s$인 모든 자기쌍대 반순환 코드가 명시적으로 나열되었으며, 그 존재성과 구조가 확인되었다.
• $\u2124_{19}+u\u2124_{19}$ 위에서 길이 $4\cdot 19 = 76$인 $∞$-constacyclic 코드의 수는 약 $3.79 \times 10^{45}$로 계산되었으며, 이는 공식의 실용적 적용 가능성을 보여준다.
• 이 방법은 이전의 $p^s$, $2p^s$, $4p^s$ 길이 결과를 $ \gcd(p,n)=1$ 조건을 만족하는 임의의 $n$으로 일반화하여, $ℤ_{p^m}+u\u2124_{p^m}$ 위에서의 constacyclic 코드 분류에 있어 빈자리인 문제를 해결한다.