[논문 리뷰] Properties of subspace subcodes of optimum codes in rank metric

E.M. Gabidulin, Pierre Loidreau|ArXiv.org|2006. 07. 25.

Coding theory and cryptography인용 수 3

한 줄 요약

이 논문은 랭크 거리에서 최대 랭크 거리(MRD) 코드의 부분공간 하위코드를 특성화하며, 이들이 하위체 위의 더 작은 MRD 코드들의 직접 합과 동치임을 증명한다. 또한 다항식 시간 디코딩 알고리즘을 제안하고, 하위체 하위코드가 명목상의 능력 이상의 오류를 더 많이 수정할 수 있음을 보이며, 전체 구조는 GLₙ(GF(q)) 변환에 의해 완전히 결정됨을 밝힌다.

ABSTRACT

Maximum rank distance codes denoted MRD-codes are the equivalent in rank metric of MDS-codes. Given any integer $q$ power of a prime and any integer $n$ there is a family of MRD-codes of length $n$ over $\FF{q^n}$ having polynomial-time decoding algorithms. These codes can be seen as the analogs of Reed-Solomon codes (hereafter denoted RS-codes) for rank metric. In this paper their subspace subcodes are characterized. It is shown that hey are equivalent to MRD-codes constructed in the same way but with smaller parameters. A specific polynomial-time decoding algorithm is designed. Moreover, it is shown that the direct sum of subspace subcodes is equivalent to the direct product of MRD-codes with smaller parameters. This implies that the decoding procedure can correct errors of higher rank than the error-correcting capability. Finally it is shown that, for given parameters, subfield subcodes are completely characterized by elements of the general linear group ${GL}_n(\FF{q})$ of non-singular $q$-ary matrices of size $n$.

연구 동기 및 목표

• 랭크 거리에서 최적의 코드로부터 유도된 부분공간 하위코드의 구조를 특성화하는 것.
• 이러한 하위코드가 명목상의 설계 한계를 초월해 오류 수정 능력을 가지는지 조사하는 것.
• 부분공간 하위코드의 MRD 코드에 적용 가능한 다항식 시간 디코딩 알고리즘을 개발하는 것.
• 일반선형군 GLₙ(GF(q))이 MRD 코드의 하위체 하위코드를 분류하는 데 수행하는 역할을 규명하는 것.

제안 방법

• GF(qⁿ) 위의 MRD 코드를 랭크 거리에서 리드-소โล몬 코드의 유사체로 분석하며, 프로베누스 자동형사를 기반으로 생성행렬과 검사행렬을 사용한다.
• 프로베누스 자동형사를 적용하여 코드워드의 구성요소를 q-진 행렬로 확장함으로써 랭크 거리 계산을 가능하게 한다.
• 기존 행렬을 GF(qⁿ)/GF(qˢ)의 기저를 기반으로 확장하여 하위체 하위코드(G|GF(qˢ))의 검사행렬을 유도하며, 프로베누스 작용을 통해 구조를 유지한다.
• 결과적으로 얻어진 검사행렬은 GLₙ(GF(q)) 변환에 대해 블록 대각행렬 형태의 더 작은 MRD 코드들의 직접 합과 동치임을 보인다.
• 각 블록에 대해 알려진 빠른 디코딩 절차를 활용하여 하위코드를 더 작은 MRD 코드들로 환원함으로써 디코딩 알고리즘을 구성한다.
• 행렬 유사성 변환과 치환행렬을 사용하여 하위코드의 검사행렬을 더 작은 MRD 코드들의 직접 합과 연결한다.

실험 결과

연구 질문

• RQ1 랭크 거리에서 MRD 코드의 부분공간 하위코드는 어떻게 구성되어 있으며, 그 동치류는 무엇인가?
• RQ2 부분공간 하위코드의 디코딩 능력은 그 명목상의 오류 수정 임계값을 초월할 수 있는가?
• RQ3 일반선형군 GLₙ(GF(q))은 MRD 코드의 하위체 하위코드를 분류하는 데 어떤 역할을 하는가?
• RQ4 부분공간 하위코드의 차원과 최소거리가 원래 MRD 코드와 어떻게 관련이 있는가?
• RQ5 부분공간 하위코드의 MRD 코드에 대해 다항식 시간 디코딩 알고리즘을 설계할 수 있는가?

주요 결과

• MRD 코드의 부분공간 하위코드는 하위체 위의 더 작은 MRD 코드들의 직접 합과 동치이며, 특히 하위체가 GF(qˢ)일 경우에 해당한다.
• 하위체 하위코드(G|GF(qˢ))의 검사행렬은 GLₙ(GF(q)) 변환에 대해 블록 대각행렬 형태의 n/s개의 더 작은 MRD 코드들로 구성된 직접 합과 동치이다.
• 하위코드의 디코딩을 구성 요소인 더 작은 MRD 코드들의 디코딩으로 환원함으로써 다항식 시간 디코딩 알고리즘을 설계하였다.
• 하위체 하위코드는 확률 P_decoding = q^{-(n−C)(t−C) + (n/s)q^{-1} + O(q^{-2})}로 t > C개의 오류까지 수정할 수 있으며, 이는 명목상 능력 이상의 오류 내성 확보를 의미한다.
• 하위체 하위코드의 구조는 GLₙ(GF(q))의 원소에 의해 완전히 결정되며, 이는 모든 이러한 하위코드가 단일 가역 행렬 S가 검사행렬에 작용함으로써 유도된다는 것을 의미한다.
• d−2 < s일 경우, 하위코드의 구성 요소 코드들은 길이 s, 차원 s−d+1, 최소 랭크 거리 d인 MRD 코드들이며, 이는 분해의 최적성 확인을 의미한다.