[논문 리뷰] Self-dual cyclic codes over finite chain rings

Bocong Chen, San Ling외 1명|arXiv (Cornell University)|2014. 05. 11.

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

한 줄 요약

이 논문은 유한 체 사슬 링 위에서 자기쌍대 순환 코드의 대수적 구조를 조사하며, 이러한 코드가 존재하기 위한 필요충분조건으로 링의 극대 이상의 멱영 지수 $ t $ 가 짝수일 때만 존재함을 규명한다. 존재 조건을 명시적으로 제시하고, 잔여체 $ \mathbb{F}_q $ 위에서 $ X^n - 1 $ 의 자기역행 기약 인수의 수에 기반한 수량 계산 공식을 유도하며, 두 소수 인수를 가진 $ n $ 에 대해서는 폐형 표현식을 제공한다.

ABSTRACT

Let $R$ be a finite commutative chain ring with unique maximal ideal $\langle γ angle$, and let $n$ be a positive integer coprime with the characteristic of $R/\langle γ angle$. In this paper, the algebraic structure of cyclic codes of length $n$ over $R$ is investigated. Some new necessary and sufficient conditions for the existence of nontrivial self-dual cyclic codes are provided. An enumeration formula for the self-dual cyclic codes is also studied.

연구 동기 및 목표

• 유한 체 사슬 링 $ R $ 위에서 길이 $ n $ 의 순환 코드의 대수적 구조를 특성화하는 것. 여기서 $ n $ 은 잔여체 $ \mathbb{F}_q = R/\langle\gamma\rangle $ 의 특성과 서로소이다.
• 이러한 링 위에서 비자명한 자기쌍대 순환 코드의 존재를 위한 필요충분 조건을 규명하는 것.
• 자기쌍대 순환 코드의 수를 수량화하는 공식을 도출하며, 이는 $ \mathbb{F}_q $ 위에서 $ X^n - 1 $ 의 자기역행 모닉 기약 인수의 수와 연결된다.
• $ |\Omega_n| $, 즉 $ \mathbb{F}_q $ 위에서 $ X^n - 1 $ 의 자기역행 모닉 기약 인수의 수를 계산하는 것. 특히 $ n $ 이 정확히 두 개의 서로 다른 소수 인수를 가질 경우에 중점적으로 다룬다.

제안 방법

• 이전의 연구 [5] 와 다름을 고려하여, [13] 의 방법을 일반화하여 $ R $ 위에서 길이 $ n $ 의 순환 코드에 대한 새로운 대수적 구조를 도출한다.
• 다항식의 성질을 $ \mathbb{F}_q $ 에서 $ R $ 으로 올리는 데 사용하는 링 준동형사상 $ R[X] \to \mathbb{F}_q[X] $ 를 활용하며, $ R[X] $ 와 $ \mathbb{F}_q[X] $ 의 서로소 다항식 간의 대응관계를 이용한다.
• $ \mathbb{F}_q $ 위에서 $ X^n - 1 $ 의 모닉 기약 인수 분해를 분석하고, 역행성과 자기역행성에 초점을 맞춰 자기쌍대 코드의 조건을 규명한다.
• $ n = 2^m n' $ 이고 $ n' $ 이 홀수일 때, $ |\Omega_{2^m n'}| $ 의 계산을 $ |\Omega_{n'}| $ 과 $ |\overline{\Omega}_{n'}| $ 으로 환원한다. 여기서 $ \overline{\Omega}_{n'} $ 은 $ \mathbb{F}_{q^2} $ 위에서의 자기역행 인수를 세는 수이다.
• $ q $ 가 $ \ell_i^{r_i} $ 에 대해 순서를 갖는다는 결과를 활용하여, $ a_i = v_2(\text{ord}_{\ell_i^{r_i}}(q)) $ 를 기준으로 경우를 분류하고, 이에 따라 수량 계산 공식의 경우 구분을 도출한다.
• 특히 $ n $ 이 정확히 두 개의 소수 인수를 가질 경우, $ a_1 $ 과 $ a_2 $ 의 상등 여부에 따라 두 가지 경우로 나누어 $ |\Omega_n| $ 의 명시적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 유한 체 사슬 링 $ R $ 위에서 길이 $ n $ 의 비자명한 자기쌍대 순환 코드가 존재하기 위한 조건은 무엇인가?
• RQ2 극대 이상 $ \langle\gamma\rangle $ 의 멱영 지수 $ t $ 는 자기쌍대 순환 코드의 존재에 어떤 영향을 미치는가?
• RQ3 유한 체 사슬 링 $ R $ 위에서 길이 $ n $ 의 자기쌍대 순환 코드의 정확한 수는 얼마이며, 이는 $ \mathbb{F}_q $ 위에서 $ X^n - 1 $ 의 인수 분해에 의해 어떻게 결정되는가?
• RQ4 두 소수 인수를 가진 $ n $ 에 대해, $ \mathbb{F}_q $ 위에서 $ X^n - 1 $ 의 자기역행 모닉 기약 인수의 수인 $ |\Omega_n| $ 는 어떻게 효율적으로 계산할 수 있는가?
• RQ5 $ \text{ord}_d(q) $ 의 구조는 자기쌍대 순환 코드의 수를 분류하는 데 어떤 역할을 하는가?

주요 결과

• 유한 체 사슬 링 $ R $ 위에서 길이 $ n $ 의 자기쌍대 순환 코드가 존재하기 위한 필요충분 조건은 극대 이상 $ \langle\gamma\rangle $ 의 멱영 지수 $ t $ 가 짝수일 때이다.
• 만약 $ t $ 가 짝수이면, 자기쌍대 순환 코드의 수는 $ \mathbb{F}_q $ 위에서 $ X^n - 1 $ 의 모닉 기약 인수 분해에서의 역행 다항식 쌍의 수 $ |\Delta_n| $ 에 의해 완전히 결정된다.
• $ \mathbb{F}_q $ 위에서 $ X^n - 1 $ 의 자기역행 모닉 기약 인수의 수인 $ |\Omega_n| $ 을 계산하는 문제는 $ n = 2^m n' $ 이고 $ n' $ 이 홀수일 때, $ |\Omega_{n'}| $ 과 $ |\overline{\Omega}_{n'}| $ 으로 환원된다.
• 특히 $ n = \ell_1^{r_1} \ell_2^{r_2} $ 이고 $ \ell_1, \ell_2 $ 가 서로 다른 홀수 소수일 경우, 두 가지 부분경우로 나누어 $ |\Omega_n| $ 의 값을 명시적으로 계산한다: $ a_1 = a_2 \geq 1 $ 이면 $ \sum_{d \mid n} \frac{\phi(d)}{\text{ord}_d(q)} $ 이고, $ a_1 \neq a_2 $ 이면 $ \sum_{d_1=0}^{r_1} \frac{\phi(\ell_1^{d_1})}{\text{ord}_{\ell_1^{d_1}}(q)} + \sum_{d_2=0}^{r_2} \frac{\phi(\ell_2^{d_2})}{\text{ord}_{\ell_2^{d_2}}(q)} - 1 $ 이다.
• $ a_1 = 0 $ 이거나 $ a_2 = 0 $ 이면 공식이 단순화되며, 각각 $ |\Omega_n| = |\Omega_{\ell_2^{r_2}}| $ 또는 $ |\Omega_n| = |\Omega_{\ell_1^{r_1}}| $ 이 된다.