[논문 리뷰] Coding Theory and Projective Spaces

Natalia Silberstein|arXiv (Cornell University)|2008. 05. 22.

Cooperative Communication and Network Coding참고 문헌 46인용 수 5

한 줄 요약

이 논문은 프로젝티브 공간 내에서 상수 차원 코드를 위한 다중 수준 구조를 제안하며, 페르레르 다이어그램 랭크-메트릭 코드를 사용하여 대부분의 매개변수에서 알려진 바 중 가장 큰 코드를 달성한다. 이는 올리프트된 MRD 코드와 횡단 설계 간의 연결을 수립하고, 새로운 상한을 도출하며, 그라스만만 다각도의 레이크소그래픽 순서 기반 효율적인 수열 인코딩/디코딩을 제시한다.

ABSTRACT

The projective space of order $n$ over a finite field $\F_q$ is a set of all subspaces of the vector space $\F_q^{n}$. In this work, we consider error-correcting codes in the projective space, focusing mainly on constant dimension codes. We start with the different representations of subspaces in the projective space. These representations involve matrices in reduced row echelon form, associated binary vectors, and Ferrers diagrams. Based on these representations, we provide a new formula for the computation of the distance between any two subspaces in the projective space. We examine lifted maximum rank distance (MRD) codes, which are nearly optimal constant dimension codes. We prove that a lifted MRD code can be represented in such a way that it forms a block design known as a transversal design. The incidence matrix of the transversal design derived from a lifted MRD code can be viewed as a parity-check matrix of a linear code in the Hamming space. We find the properties of these codes which can be viewed also as LDPC codes. We present new bounds and constructions for constant dimension codes. First, we present a multilevel construction for constant dimension codes, which can be viewed as a generalization of a lifted MRD codes construction. This construction is based on a new type of rank-metric codes, called Ferrers diagram rank-metric codes. Then we derive upper bounds on the size of constant dimension codes which contain the lifted MRD code, and provide a construction for two families of codes, that attain these upper bounds. We generalize the well-known concept of a punctured code for a code in the projective space to obtain large codes which are not constant dimension. We present efficient enumerative encoding and decoding techniques for the Grassmannian. Finally we describe a search method for constant dimension lexicodes.

연구 동기 및 목표

• 랜덤 네트워크 코딩에 핵심적인 상수 차원 코드의 새로운 구조 및 상한을 개발하기 위해.
• 올리프트된 MRD 코드와 조합 설계, 특히 횡단 설계 및 그 q-해석 간의 연결을 수립하기 위해.
• 하위공간 표현 기반 레이크소그래픽 순서를 이용한 그라스만만 다각도에서의 효율적인 수열 인코딩 및 디코딩을 가능하게 하기 위해.
• 특히 작은 q와 작은 최소 거리에 대해 상수 차원 코드의 크기 하한을 향상시키기 위해.
• 올리프트된 MRD 코드에서 유도된 코드의 구조적 및 대수적 성질을 탐색하고, 이를 LDPC 코드로 표현할 수 있는지 조사하기 위해.

제안 방법

• 상수 무게 코드, 축소 행 기수형태(RREF), 페르레르 다이어그램, 그리고 페르레르 다이어그램에 맞춰진 랭크-메트릭 코드를 포함하는 네 가지 구성 요소를 사용한 상수 차원 코드를 위한 다중 수준 구조를 제안한다.
• 페르레르 다이어그램 랭크-메트릭 코드를 도입하고, 그 크기에 대한 상한을 유도하며, 이 상한을 달성하는 구조를 제시한다.
• 올리프트된 MRD 코드에서 유도된 횡단 설계의 인cidenc 행렬을 해밍 공간 내 선형 코드의 패리티 체크 행렬로 사용하여, 프로젝티브 공간 코드와 고전적 코딩 이론 간의 연결을 맺는다.
• 프로젝티브 공간 코드에 일반화된 잘라내기 연산을 적용하여 다중 수준 구조에서 유도된 것보다 훨씬 큰 비상수 차원 코드를 생성한다.
• 그라스만만 다각도에 대한 세 가지 수열 인코딩 기법을 개발한다: 하나는 식별 벡터와 RREF 기반, 하나는 페르레르 표창 기반, 그리고 복잡도를 감소시키기 위한 하이브리드 방법.
• 하위공간 표현을 기반으로 한 레이크소그래픽 순서를 이용해 그라스만만 다각도에 레이크소그래픽 순서를 도입하고, 검색 기반으로 상수 차원 레이크소그래픽 코드를 구성할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 올리프트된 MRD 코드는 횡단 설계로 표현될 수 있으며, 이러한 구조는 코드 구조 및 분석에서 어떤 의미를 가지는가?
• RQ2 올리프트된 MRD 코드를 포함하는 상수 차원 코드의 크기에 대한 가장 날카운 상한은 무엇이며, 이러한 상한은 달성 가능한가?
• RQ3 다양한 하위공간 표현 기반 레이크소그래픽 순서를 이용한 그라스만만 다각도 내 수열 인코딩은 어떻게 효율적으로 구현할 수 있는가?
• RQ4 특정 상수 무게 코드를 선택하여 다중 수준 구조를 최적화함으로써 코드 크기를 극대화할 수 있는가?
• RQ5 페르레르 다이어그램 랭크-메트릭 코드 및 상수 차원 코드의 크기에 대한 상한은 모든 매개변수에 대해 날카로운가?

주요 결과

• 페르레르 다이어그램 랭크-메트릭 코드를 사용한 다중 수준 구조는 대부분의 매개변수에서 알려진 바 중 가장 큰 상수 차원 코드를 생성하지만, $k=3$, $k=4$ 이면서 $n=8$인 경우와 일부 레이크소그래픽 코드를 제외하고는 그렇다.
• 올리프트된 MRD 코드는 횡단 설계로 표현될 수 있으며, 그 인cidenc 행렬은 해밍 공간 내 선형 코드이자 동시에 LDPC 코드이기도 하다.
• 논문은 올리프트된 MRD 코드를 포함하는 상수 차원 코드의 크기에 대한 새로운 상한을 도출하였고, $k=3$ 및 $n=8$ 이면서 $k=4$인 경우에 이러한 상한을 달성하는 코드를 구축하였다.
• 프로젝티브 공간 코드에 대한 잘라내기 연산은 다중 수준 구조에서 유도된 것보다 훨씬 큰 비상수 차원 코드를 생성한다.
• 레이크소그래픽 순서 기반의 그라스만만 다각도 내 수열 인코딩 기법은 이전 방법보다 낮은 복잡도를 달성하며, 하이브리드 방법은 복잡도 표현식의 상수 계수를 감소시킨다.
• 검색 기반 상수 차원 레이크소그래픽 코드의 구성은 특히 $q=2$ 및 작은 $n$에 대해 알려진 바 중 가장 큰 코드를 제공한다.