[논문 리뷰] List-decoding of Subspace Codes and Rank-Metric Codes up to Singleton Bound

Hessam Mahdavifar, Alexander Vardy|arXiv (Cornell University)|2012. 02. 04.

Coding theory and cryptography참고 문헌 6인용 수 6

한 줄 요약

이 논문은 서브스페이스 코드와 접힘 갑리부린 코드를 위한 새로운 선형대수적 리스트 디코딩 알고리즘을 제안하며, 싱글턴 경계에 도달하는 정보이론적 오류 수정 한계를 달성한다. $ s+1 $-변수 보간 다항식과 선형화된 다항식을 활용함으로써, 코드율 $ R $ 에 대해 디코딩 반경이 $ 1 - R $ 에 가까워지는 리스트 디코딩이 가능해지며, 리스트 크기는 $ \mathcal{Q}^{s-1} $ 로 제한된다. 이는 랭크 메트릭 코드에서 최적의 오류 수정 성능을 달성한다.

ABSTRACT

Subspace codes and rank-metric codes can be used to correct errors and erasures in network, with linear network coding. Subspace codes were introduced by Koetter and Kschischang to correct errors and erasures in networks where topology is unknown (the noncoherent case). In a previous work, we have developed a family of subspace codes, based upon the Koetter-Kschichang construction, which are efficiently list decodable. Using these codes, we achieved a better decoding radius than Koetter-Kschischiang codes at low rates. Herein, we introduce a new family of subspace codes based upon a different approach which leads to a linear-algebraic list-decoding algorithm. The resulting error correction radius can be expressed as follows: for any integer $s$, our list-decoder using $s+1$-interpolation polynomials guarantees successful recovery of the message subspace provided the normalized dimension of errors is at most $s(1-sR)$. The same list-decoding algorithm can be used to correct erasures as well as errors. The size of output list is at most $Q^{s-1}$, where $Q$ is the size of the field that message symbols are chosen from. Rank-metric codes are suitable for error correction in the case where the network topology and the underlying network code are known (the coherent case). Gabidulin codes are a well-known class of algebraic rank-metric codes that meet the Singleton bound on the minimum rank metric of a code. In this paper, we introduce a folded version of Gabidulin codes analogous to the folded Reed-Solomon codes of Guruswami and Rudra along with a list-decoding algorithm for such codes. Our list-decoding algorithm makes it possible to recover the message provided that the normalized rank of error is at most $1-R-ε$, for any $ε> 0$. Notably this achieves the information theoretic bound on the decoding radius of a rank-metric code.

연구 동기 및 목표

• 기존의 구성보다 더 나은 비율과 오류 수정 능력 간의 트레이드오프를 달성하는 서브스페이스 코드를 위한 리스트 디코딩 알고리즘을 개발한다.
• 특히 접힘 갑리부린 코드를 포함한 랭크 메트릭 코드로 리스트 디코딩 프레임워크를 확장하여 정보이론적 오류 수정 한계에 도달한다.
• 다중성 기반 보간을 피하는 선형대수적 디코딩 방법을 설계하여 알고리즘을 단순화하면서도 높은 디코딩 반경을 유지한다.
• 디코딩 반경이 임의의 $ \epsilon > 0 $ 에 대해 $ 1 - R - \epsilon $ 에 가까워질 수 있음을 입증한다. 이는 랭크 메트릭 코드의 이론적 한계와 일치한다.

제안 방법

• 선형화된 다항식 위에서 $ s+1 $-변수 보간 다항식을 사용하는 새로운 서브스페이스 코드의 가족을 도입한다.
• 보간을 수행하고 모든 가능한 메시지 부분공간을 구하기 위해 선형방정식계를 활용하며, 해공간이 선형임을 보장한다.
• 에러 구조를 캡처하는 선형화된 보간 다항식 $ E(X) $ 를 정의하며, 이는 $ f_{\mathbfsl{u}}(X), f_{\mathbfsl{u}}(\gamma X), \dots, f_{\mathbfsl{u}}(\gamma^{s-1}X) $ 를 사용해 구성된다.
• $ E(X) $ 의 $ (g-t)(h-s+1) $ 개의 선형독립적인 근이 존재함을 이용하여, 충분한 조건 하에서 $ E(X) \equiv 0 $ 임을 증명함으로써 정확한 디코딩을 보장한다.
• 접힘 리드-솔로몬 코드와 유사한 접힘 갑리부린 코드 구조를 적용하여 고비율 리스트 디코딩이 가능하며, 오류 수정 능력이 $ 1 - R - \epsilon $ 에 도달한다.
• 부등식 (17) 을 통해 디코딩 반경의 경계를 유도하며, $ t < \frac{gs}{s+1}\left(1 - \frac{h}{h-s+1}R\right) $ 를 만족할 경우 정확한 디코딩이 보장됨을 보여준다.

실험 결과

연구 질문

• RQ1 다중성 기반 보간의 복잡성을 피하면서도 서브스페이스 코드에 대해 선형대수적 리스트 디코딩 알고리즘을 설계할 수 있는가?
• RQ2 리스트 디코딩을 통한 랭크 메트릭 코드의 최대 정규화된 오류 수정 반경은 얼마이며, 싱글턴 경계에 도달할 수 있는가?
• RQ3 접힘 갑리부린 코드는 임의의 $ \epsilon > 0 $ 에 대해 $ 1 - R - \epsilon $ 분율의 오류까지 수정할 수 있는가?
• RQ4 특히 필드 크기와 보간 다항식의 수에 비해 리스트 크기는 어떻게 변화하는가?

주요 결과

• 제안된 리스트 디코딩 알고리즘은 정규화된 오차 차원이 $ s(1 - sR) $ 이하일 경우 메시지 부분공간을 성공적으로 복구함을 보장한다. 이는 이전의 구성보다 향상된 성능이다.
• 출력 리스트의 크기는 $ \mathcal{Q}^{s-1} $ 이하이며, 여기서 $ \mathcal{Q} $ 는 메시지 기호가 추출되는 필드의 크기이다.
• 접힘 갑리부린 코드의 경우, $ s $ 와 $ h $ 가 커지면서 $ s \ll h $ 를 만족할 때 정규화된 디코딩 반경이 $ 1 - R $ 에 수렴하며, 정보이론적 한계에 도달한다.
• 알고리즘은 임의의 $ \epsilon > 0 $ 에 대해 $ 1 - R - \epsilon $ 의 디코딩 반경을 달성하며, 리스트 크기는 $ \mathcal{Q}^{O(1/\epsilon)} $ 로 제한되어 오류 수정 능력의 최적성을 입증한다.
• 선형대수적 접근은 다중성 기반 보간이 필요 없음을 보장하여 디코딩 과정을 단순화하면서도 높은 성능을 유지한다.