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

Pierre Loidreau|ArXiv.org|2006. 10. 11.

Coding theory and cryptography인용 수 41

한 줄 요약

이 논문은 유한체 위의 랭크 거리에서 코드의 기본 성질을 조사하여, 이 거리 체계에서는 완전 코드가 존재하지 않음을 입증한다. 논문은 랭크 거리 코드에 대해 기르베르트-바르샤모프 유형의 경계를 유도하고, 무작위 선형 코드가 이 경계를 渐近적으로 달성함을 증명하며, 특히 가비두린 코드를 통해 특성 2인 체에서 준완전 코드의 존재를 보여준다. 가비두린 코드는 최적이고 다항식 시간 내에 복호화 가능한 코드이다.

ABSTRACT

We study properties of rank metric and codes in rank metric over finite fields. We show that in rank metric perfect codes do not exist. We derive an existence bound that is the equivalent of the Gilbert--Varshamov bound in Hamming metric. We study the asymptotic behavior of the minimum rank distance of codes satisfying GV. We derive the probability distribution of minimum rank distance for random and random $\F{q}$-linear codes. We give an asymptotic equivalent of their average minimum rank distance and show that random $\F{q}$-linear codes are on GV bound for rank metric. We show that the covering density of optimum codes whose codewords can be seen as square matrices is lower bounded by a function depending only on the error-correcting capability of the codes. We show that there are quasi-perfect codes in rank metric over fields of characteristic 2.

연구 동기 및 목표

• 유한체 위의 랭크 거리에서의 코드의 구조적 및 존재적 성질을 분석하는 것.
• 클래식한 코딩 이론 결과를 해밍 거리에서 랭크 거리로 확장하여, 랭크 거리에서 완전 코드가 존재하는지 여부를 규명하는 것.
• 랭크 거리 코드에 대해 기르베르트-바르샤모프 유형의 경계를 수립하고, 그의 渐近적 행동을 연구하는 것.
• 무작위 및 선형 코드에서 최소 랭크 거리의 평균과 분포를 조사하는 것.
• 특히 정사각행렬에 기반한 최대 랭크 거리(MRD) 코드의 커버링 밀도와 오류 수정 능력을 고찰하는 것.

제안 방법

• GF(q^m)에서의 벡터를 GF(q) 위의 m×n 행렬로 표현하여 랭크 노름과 거리를 정의하는 데 사용한다.
• 랭크 공구의 부피 근사치를 적용하여 완전 코드의 존재하지 않음을 증명한다.
• 랭크 거리에 적합하게 조정된 구의 포장 논리에 기반하여 기르베르트-바르샤모프 유형의 존재 경계를 도출한다.
• 확률적 방법을 사용하여 GF(q)-선형 무작위 코드의 평균 최소 랭크 거리를 분석한다.
• 프로베누스 자동형사상과 선형 다항식을 적용하여 가비두린 코드를 구성한다. 이는 MRD 코드이다.
• 전치 불변성을 활용하여 분석을 n ≤ m 인 경우로 축소함으로써 코드 매개변수 연구의 단순화를 도모한다.

실험 결과

연구 질문

• RQ1 랭크 거리에서 완전 코드가 존재하는가? 존재하지 않는다면 그 이유는 무엇인가?
• RQ2 랭크 거리에서 기르베르트-바르샤모프 경계의 유사체는 무엇이며, 이는 코드 존재에 어떤 제약을 끼치는가?
• RQ3 무작위 GF(q)-선형 코드에서 최소 랭크 거리는 어떻게 渐近적으로 행동하는가?
• RQ4 정사각행렬에서 유도된 MRD 코드의 커버링 밀도는 오류 수정 능력에 대해 아래로 유계일 수 있는가?
• RQ5 특성 2인 체에서 랭크 거리에서 준완전 코드가 존재하는가?

주요 결과

• 공구 포장 논리와 랭크 공구의 부피 근사치를 통해, 랭크 거리에서는 완전 코드가 존재하지 않음을 입증하였다.
• 랭크 거리 코드에 대해 기르베르트-바르샤모프 유형의 경계를 도출하였으며, 이는 주어진 길이와 최소 거리에 대해 코드 크기의 하한을 제공한다.
• GV 경계 상의 코드에서의 渐近적 최소 랭크 거리가 길이에 따라 선형적으로 증가함을 보이며, 정확한 渐近적 근사값을 도출하였다.
• GF(q)-선형 무작위 코드는 GV 경계를 渐近적으로 달성함을 증명하였으며, 평균 최소 랭크 거리에서의 편차 확률이 0으로 수렴하기 때문이다.
• GF(2^n)에서 1오류 수정 MRD 코드의 경우, n이 증가함에 따라 커버링 밀도가 1에 수렴함을 보이며, 특성 2에서 준완전 코드의 존재를 입증하였다.
• 선형 독립적인 생성 벡터를 갖는 GF(2^i) 위에서 구성된 가비두린 코드는 준완전임을 입증하였으며, 이러한 코드의 존재를 확인하였다.