[논문 리뷰] New MDS Self-Dual Codes from Generalized Reed-Solomon Codes

Lingfei Jin, Chaoping Xing|arXiv (Cornell University)|2016. 01. 18.

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

한 줄 요약

이 논문은 일반화된 리드-솔로몬(GRS) 코드를 사용하여 홀수 특성의 유한체 위에서 새로운 MDS 자기수반 코드의 클래스를 구성한다. 평가점 간 차이의 제곱성 조건을 분석하고 부분체 위에서 동차 선형계를 풀어, $q \equiv 1 \pmod{4}$ 이고 $q \geq 4^n n^2$ 인 경우 또는 특정 조건 하에서 $q = r^2$ 인 경우, 짝수 길이 $n$ 에 대해 $q$-진 MDS 자기수반 코드의 존재를 증명한다. 이러한 조건은 $n \leq r$, $n-1 \mid q-1$, 또는 $n = 2tr$ 이고 $r \equiv 3 \pmod{4}$ 이며 $t \leq (r-1)/2$ 를 포함한다. 이 결과들은 기존의 존재 정리들을 확장하며, GRS 코드를 통한 명시적 구성법을 제공한다.

ABSTRACT

Both MDS and Euclidean self-dual codes have theoretical and practical importance and the study of MDS self-dual codes has attracted lots of attention in recent years. In particular, determining existence of $q$-ary MDS self-dual codes for various lengths has been investigated extensively. The problem is completely solved for the case where $q$ is even. The current paper focuses on the case where $q$ is odd. We construct a few classes of new MDS self-dual code through generalized Reed-Solomon codes. More precisely, we show that for any given even length $n$ we have a $q$-ary MDS code as long as $q\equiv1\bmod{4}$ and $q$ is sufficiently large (say $q\ge 2^n imes n^2)$. Furthermore, we prove that there exists a $q$-ary MDS self-dual code of length $n$ if $q=r^2$ and $n$ satisfies one of the three conditions: (i) $n\le r$ and $n$ is even; (ii) $q$ is odd and $n-1$ is an odd divisor of $q-1$; (iii) $r\equiv3\mod{4}$ and $n=2tr$ for any $t\le (r-1)/2$.

연구 동기 및 목표

• 홀수 차수의 유한체 위에서 새로운 MDS 자기수반 코드의 클래스를 구성하여 기존의 존재 결과를 확장한다.
• 대수적 수론과 캐릭터 합을 활용하여 일반화된 리드-솔로몬 코드가 자기수반이 되도록 하는 충분조건을 설정한다.
• 홀수 $q$ 에 대해 짝수 길이의 $q$-진 MDS 자기수반 코드의 존재 문제를 해결하며, 특히 큰 $q$ 또는 $q = r^2$ 인 경우에 초점을 맞춘다.
• 부분체 위에서의 평가 집합과 해 시스템을 통한 명시적 구성법을 제공하여, 기존의 직교 설계나 상수순환 코드 기반 방법보다 개선된 결과를 이룬다.

제안 방법

• 체 $\mathbb{F}_q$ 내의 평가점 $\alpha_1, \dots, \alpha_n$ 과 영이 아닌 가중치 $v_i$ 를 사용하여 정의된 일반화된 리드-솔로몬(GRS) 코드를 활용해 MDS 코드를 생성한다.
• 자기수반성을 확보하기 위해 $\prod_{j \neq i} (\alpha_i - \alpha_j)^{-1}$ 가 $\mathbb{F}_q$ 내에서 제곱수인지 분석한다.
• Weil 유형의 경계를 활용한 캐릭터 합 추정을 적용하여, $q \equiv 1 \pmod{4}$ 이고 $q$ 가 충분히 클 경우 모든 차이 $\alpha_n - \alpha_i$ 가 영이 아닌 제곱수인 $\alpha_n$ 이 존재함을 보인다.
• 체 $q = r^2$ 인 경우, $\mathbb{F}_r$ 위에서 동차 선형계 $A_\mathbf{a} \mathbf{x}^T = \mathbf{0}$ 의 해를 구성하여, Lemma II.9 를 통해 자기수반성을 확보한다.
• $\mathbb{F}_{r^2}$ 내에서 체 노름과 추적 성질을 활용하여 차이의 곱이 제곱수임을 검증하며, 특히 $r \equiv 3 \pmod{4}$ 인 경우에 초점을 맞춘다.
• 특수한 형태의 평가점 $\alpha_{\ell r + k} = a_\ell \beta + a_k$ 를 사용하여, $\beta = \gamma^{(r+1)/2}$ 로 정의함으로써 곱항의 제곱성을 보장한다.

실험 결과

연구 질문

• RQ1 홀수 $q$ 에 대해 짝수 길이 $n$ 의 $q$-진 MDS 자기수반 코드가 존재하기 위한 $q$ 와 $n$ 의 조건은 무엇인가?
• RQ2 적절한 평가점과 가중치를 선택함으로써 일반화된 리드-솔로몬 코드를 자기수반으로 만들 수 있는가?
• RQ3 $q \equiv 1 \pmod{4}$ 인 경우, $q$-진 MDS 자기수반 코드의 존재를 보장하기 위해 $q$ 와 $n$ 의 최소 크기는 어느 정도여야 하는가?
• RQ4 $\mathbb{F}_{r^2}$ 의 구조는 $n = 2tr$ 이고 $r \equiv 3 \pmod{4}$ 인 경우 MDS 자기수반 코드를 구성하는 데 어떻게 기여하는가?
• RQ5 문헌에서 알려진 사례를 초월하여, 특히 $q = r^2$ 이고 $n-1 \mid q-1$ 인 경우에 MDS 자기수반 코드의 존재를 어떻게 일반화할 수 있는가?

주요 결과

• 모든 짝수 길이 $n$ 에 대해, $q \equiv 1 \pmod{4}$ 이고 $q \geq 4^n n^2$ 라면 $q$-진 MDS 자기수반 코드가 존재하며, 이는 큰 $q$ 에 대한 일반적인 존재 결과를 제공한다.
• $q = r^2$ 이고 $n \leq r$ 라면, 길이 $n$ 의 $q$-진 MDS 자기수반 코드가 존재하여 기존의 구성 범위를 확장한다.
• $q = r^2$, $q$ 가 홀수이며 $n-1$ 이 $q-1$ 을 나누면, 길이 $n$ 의 $q$-진 MDS 자기수반 코드가 존재하며, 이는 [11]의 결과를 $n-1 \mid r-1$ 조건을 완화함으로써 일반화한다.
• $q = r^2$ 이고 $r \equiv 3 \pmod{4}$ 이며 $n = 2tr$ 이고 $t \leq (r-1)/2$ 라면, 길이 $n$ 의 $q$-진 MDS 자기수반 코드가 존재하며, 이는 파라미터 $[2tr, tr, tr+1]$ 를 가진 새로운 가족을 제공한다.
• 부분체 위에서의 일반화된 리드-솔로몬 코드와 해 시스템을 통한 구성법은 직교 설계나 상수순환 구조에 의존하지 않고 자기수반 코드를 생성한다.
• 캐릭터 합 추정을 활용한 증명 기법은 모든 차이 $\alpha_i - \alpha_j$ 가 영이 아닌 제곱수인 평가점의 존재를 보장하며, 이는 자기수반성 확보의 핵심 요소이다.