[논문 리뷰] List Decoding of Lifted Gabidulin Codes via the Plücker Embedding

Anna-Lena Trautmann, Natalia Silberstein외 1명|arXiv (Cornell University)|2013. 01. 10.

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

한 줄 요약

이 논문은 플뤼커 임bedding를 사용하여 업그레이드된 가비두린 코드에 대한 새로운 리스트 디코딩 알고리즘을 제안한다. 이 알고리즘은 이러한 코드의 플뤼커 좌표를 선형 블록 코드로 표현하고, 수신된 단어로부터 주어진 부분공간 거리 내의 모든 코드어를 나열하기 위해 선형 및 이차형 방정식의 연립방정식을 푸는 방식을 취한다. 주요 기여는 임의의 $ q, n, k, \delta $ 에 대해 작동하는 일반적이고 파rameter 유연성이 있는 디코딩 방법을 제공하며, $ n $ 에 대해 다항식 복잡도를 가지며, $ k $ 에 대해서만 지수적 의존성을 보이는 것으로, 실질적으로 $ k $ 는 작기 때문에 유리하다.

ABSTRACT

Codes in the Grassmannian have recently found an application in random network coding. All the codewords in such codes are subspaces of $\F_q^n$ with a given dimension. In this paper, we consider the problem of list decoding of a certain family of codes in the Grassmannian, called lifted Gabidulin codes. For this purpose we use the Plücker embedding of the Grassmannian. We describe a way of representing a subset of the Plücker coordinates of lifted Gabidulin codes as linear block codes. The union of the parity-check equations of these block codes and the equations which arise from the description of a ball around a subspace in the Plücker coordinates describe the list of codewords with distance less than a given parameter from the received word.

연구 동기 및 목표

• 임의의 매개변수 $ q, n, k, \delta $ 에 대해 작동하는 업그레이드된 가비두린 코드에 대한 일반적인 리스트 디코딩 알고리즘을 개발하는 것.
• 그라스만만의 플뤼커 임bedding를 활용하여 부분공간과 그들의 거리 제약 조건을 대수적으로 표현하는 것.
• 패리티체크 조건과 플뤼커 좌표에서의 볼 제약 조건에서 유도된 선형 및 이차형 방정식의 연립방정식으로 리스트 디코딩 문제를 환원하는 것.
• 다양한 차원의 수신 부분공간과 서로 다른 길이의 코드의 합집합을 다룰 수 있는 프레임워크를 제공하는 것.
• 플뤼커 좌표의 구조와 그 대수적 관계에 집중하여 저장 및 계산 복잡도를 최소화하는 것.

제안 방법

• 각 $ k $-차원 부분공간을 $ \mathbb{P}^{\binom{n}{k}-1} $ 에서의 플뤼커 좌표로 매핑하여 업그레이드된 가비두린 코드를 플뤼커 임bedding로 표현하는 것.
• 업그레이드된 가비두린 코드의 일부 플뤼커 좌표를 선형 블록 코드로 모델링하고, 그 대수적 구조에서 패리티체크 방정식을 유도하는 것.
• 그라스만만에서 수신된 부분공간 주위의 반지름 $ e $ 의 볼을 플뤼커 좌표에서의 선형 방정식의 연립으로 표현하기 위해 슈베르트 계산의 결과를 활용하는 것.
• 코드의 패리티체크 방정식, 볼 방정식, 플뤼커 관계식(예: 이차 플뤼커 관계식)을 조합하여 선형 및 이차형 방정식의 연립을 구성하는 것.
• 유도된 연립방정식을 풀어 수신된 단어로부터 부분공간 거리 $ 2e $ 이내의 모든 코드어를 나열하는 것. 해공간은 후보 목록에 해당한다.
• 랭크 감소 기법과 행 단위 기약행렬 형태를 사용하여 시스템을 단순화하고 다양한 수신 부분공간 차원에서의 정확성을 보장하는 것.

실험 결과

연구 질문

• RQ1 플뤼커 임bedding를 사용하여 기하적 제약 조건을 대수적 방정식으로 변환함으로써 업그레이드된 가비두린 코드를 리스트 디코딩할 수 있는가?
• RQ2 업그레이드된 가비두린 코드의 구조는 플뤼커 좌표에서 어떻게 선형 블록 코드로 표현될 수 있으며, 이를 통해 패리티체크 방정식을 유도할 수 있는가?
• RQ3 주어진 부분공간 거리 내의 모든 코드어를 포괄하는 최소한의 선형 및 이차형 방정식 시스템은 무엇인가?
• RQ4 알고리즘이 다양한 차원의 수신 부분공간과 업그레이드된 가비두린 코드의 합집합에 대해 일반화될 수 있는가?
• RQ5 정확성을 유지하면서 계산 효율성을 향상시키기 위해 방정식 시스템의 크기를 줄일 수 있는가?

주요 결과

• 제안된 알고리즘은 플뤼커 좌표에서의 선형 및 이차형 방정식 연립을 풀어, 주어진 부분공간 거리 내의 모든 코드어를 성공적으로 나열한다.
• 이 방법은 이전의 접근 방식이 특정 제약 조건이 필요로 하는 것과 달리, 임의의 매개변수 $ q, n, k, \delta $ 에 대해 작동하는 일반적인 방법이다.
• 알고리즘의 복잡도는 $ n $ 에 대해 다항식이며, $ k $ 에 대해서만 지수적 의존성을 보이며, 네트워크 코딩 응용에서 일반적으로 $ k $ 가 작기 때문에 유리하다.
• 방정식 시스템은 업그레이드된 가비두린 코드의 패리티체크 제약 조건, 플뤼커 공간에서의 볼 제약 조건, 플뤼커 관계식을 포함하여 기하학적 및 대수적 일관성을 보장한다.
• 수신 부분공간의 차원이 다를 경우, 어떤 플뤼커 좌표가 0으로 설정되어야 하는지 조정함으로써 알고리즘을 확장하여 처리할 수 있다.
• 리스트 크기는 랭크 기반 동형사상(레마 17에 의해 보여짐)을 통해 고전적 가비두린 코드의 해당 리스트 크기로 유계된다.