[논문 리뷰] One dimensional Convolutional Goppa Codes over the projective line

J. A. Domínguez Pérez, José M. Muñoz Porras외 1명|arXiv (Cornell University)|2011. 07. 11.

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

한 줄 요약

이 논문은 대수적 곡선의 선형 계열에서 유도된 다항식 생성자들을 사용하여 사영선 위에서 일차원 MDS 컨volution형 고프파 코드의 일반화된 구성 방법을 제시한다. 특정 가족의 이러한 코드—생성 행렬이 선형 형식의 거듭제곱을 갖는 것—이 블록 평가가 싱글턴 부등식을 충족함을 통해 MDS임을 증명하며, 이는 이전의 구성들을 일반화하고 MDS 코드가 매개변수 공간에서 조밀한 열린 부분집합을 이룬다는 것을 보여준다.

ABSTRACT

We give a general method to construct MDS one-dimensional convolutional codes. Our method generalizes previous constructions of H. Gluesing-Luerssen and B. Langfeld. Moreover we give a classification of one-dimensional Convolutional Goppa Codes and propose a characterization of MDS codes of this type.

연구 동기 및 목표

• 사영선 위에서 대수기하 기법을 사용하여 일차원 MDS 컨volution형 코드를 일반화된 방법으로 구성하는 것을 목적으로 한다.
• 이전의 MDS 컨volution형 코드 구성들을 고프파 코드 이론을 활용해 사영선에서 더 넓은 범주로 확장하는 것을 목적으로 한다.
• 사영선 위에서 일차원 컨볼루션형 고프파 코드를 분류하고, 이러한 유형의 MDS 코드를 특성화하는 프레임워크를 제공하는 것을 목적으로 한다.
• 일차원 MDS 컨볼루션형 고프파 코드가 매개변수 공간에서 일반적임을 입증한다. 즉, 조밀한 열린 부분집합을 이룬다.

제안 방법

• Riemann-Roch 공간 $ L(G) $ 의 부분공간을 사용하여 일차원 컨volution형 고프파 코드를 구성한다. 여기서 $ G $ 는 $ \mathbb{P}^1 $ 상의 차수 $ r-s $ 인 인수이다.
• 생성자 행렬을 $ \mathcal{G} = \sum_{i=s}^{r} \lambda_i (a_j z + b_j)^i $ 의 형태로 사용하며, $ \lambda_i \in \mathbb{F}_q $ 이다.
• MDS 컨볼루션형 코드의 특성화를 위해 블록 평가를 적용한다: 어떤 코드가 모든 $ j $-번째 수준의 블록 코드에서 해밍 거리 $ n - j $ 를 갖는다면, 그 코드는 MDS이다.
• 자유 거리의 이론적 상한선으로 일반화된 싱글턴 부등식 $ n(r+1) $ 을 사용하며, 코드가 MDS일 경우 이 값을 도달한다.
• 기본 생성 행렬의 $ k \times k $ 소수들의 최대공약수가 1임을 이용하여 행렬이 정규화되어 있고 적절한 부분모듈을 정의함을 보장한다.
• 다항식 분해 $ \mathcal{G} = \sum_{j=0}^r G_j z^j $ 를 분석하며, 각 $ G_j $ 는 블록 코드에 대응하고, 이러한 블록의 MDS 성질을 검증한다.

실험 결과

연구 질문

• RQ1 사영선 위에서 대수기하 기법을 사용하여 일차원 MDS 컨볼루션형 코드를 일반화된 방법으로 구성할 수 있는가?
• RQ2 일차원 컨볼루션형 고프파 코드가 MDS가 되기 위해 생성자 행렬에 어떤 조건이 필요한가?
• RQ3 Riemann-Roch 공간 $ L(G) $ 의 구조를 활용하여 일차원 컨볼루션형 고프파 코드를 사영선 위에서 어떻게 분류할 수 있는가?
• RQ4 MDS 일차원 컨볼루션형 고프파 코드의 집합이 모든 이러한 코드의 매개변수 공간에서 조밀한가?
• RQ5 일차원 컨볼루션형 고프파 코드에 대해 MDS 특성화를 명시적으로 결정할 수 있는가?

주요 결과

• 논문은 생성자 행렬이 $ \mathcal{G} = \big( (a_1 z + b_1)^r, \dots, (a_n z + b_n)^r \big) $ 의 형태인 명시적인 일차원 MDS 컨볼루션형 고프파 코드의 가족을 구성하며, 이들이 MDS임을 증명한다. 여기서 $ b_i / a_i = c^{i-1} $ 이며, $ c \in \mathbb{F}_q $ 는 원시 원소이다.
• 만약 $ s = r $ 이면, 생성자 행렬 $ \mathcal{G} = \big( a_1^r (z+1)^r, \dots, a_n^r (z + c^{n-1})^r \big) $ 을 갖는 코드 $ CGC(n,1) $ 는 정규화되고 MDS이며, 자유 거리 $ n(r+1) $ 을 달성한다.
• 만약 $ s = 0 $ 이면, $ b_i = b $ 이고 $ a_i = a^{i-1} $ 이면, 생성자 행렬 $ \mathcal{G} = \sum_{i=0}^r \sum_{j=0}^i \binom{i}{j} b^{i-j} a^{(j)(i-1)} z^j $ 는 차수 $ r $ 과 자유 거리 $ n(r+1) $ 을 갖는 MDS 코드를 유도한다.
• MDS 유형의 일차원 컨볼루션형 고프파 코드의 집합은 사영공간 $ \mathbb{P}^r_{\mathbb{F}_q} $ 에서 조밀한 열린 부분집합을 이룬다. 이는 거의 모든 이러한 코드가 MDS임을 의미한다.
• Gluesing-Langfeld의 이전 결과를 일반화하며, $ b_i = 0 $ 인 경우 그들의 MDS 코드 클래스가 특수한 경우로 복구됨을 보여준다.
• 논문은 MDS 성질이 매개변수 공간에서 열린 조건임을 입증하며, 적어도 하나의 MDS 코드가 존재하므로 MDS 위치는 비어 있지 않고 조밀하다.