[논문 리뷰] Optimal rate list decoding via derivative codes

Venkatesan Guruswami, Carol Wang|arXiv (Cornell University)|2011. 06. 20.

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

한 줄 요약

이 논문은 다항식과 그 첫 m−1계 도함수를 인코딩하는 Reed-Solomon 유사 코드인 유도 코드를 소개하여, 코드율 R에 대해 1−R에 가까운 최적의 리스트 디코딩 반경을 달성한다. 디코딩은 다변수 보간과 구조화된 선형 시스템을 포함하는 선형대수적 접근을 사용하며, 오차 비율이 1−R−ε일 때 리스트 크기가 O(1/ε²)인 다항식 시간 리스트 디코딩을 가능하게 하여, 접합 정보가 있는 경우 기존의 접힘 Reed-Solomon 코드보다 우수한 성능을 제공한다.

ABSTRACT

The classical family of $[n,k]_q$ Reed-Solomon codes over a field $\F_q$ consist of the evaluations of polynomials $f \in \F_q[X]$ of degree $< k$ at $n$ distinct field elements. In this work, we consider a closely related family of codes, called (order $m$) {\em derivative codes} and defined over fields of large characteristic, which consist of the evaluations of $f$ as well as its first $m-1$ formal derivatives at $n$ distinct field elements. For large enough $m$, we show that these codes can be list-decoded in polynomial time from an error fraction approaching $1-R$, where $R=k/(nm)$ is the rate of the code. This gives an alternate construction to folded Reed-Solomon codes for achieving the optimal trade-off between rate and list error-correction radius. Our decoding algorithm is linear-algebraic, and involves solving a linear system to interpolate a multivariate polynomial, and then solving another structured linear system to retrieve the list of candidate polynomials $f$. The algorithm for derivative codes offers some advantages compared to a similar one for folded Reed-Solomon codes in terms of efficient unique decoding in the presence of side information.

연구 동기 및 목표

• 코드율 R와 리스트 디코딩 반경 사이의 최적의 트레이드오프를 달성하는 코드의 가족을 구성하는 것, 이는 이론적 한계인 1−R에 가까운 수준이다.
• 오차 비율이 1−R−ε까지 수정 가능한 구조적 다항식 시간 리스트 디코딩 알고리즘을 제공하는 것.
• 측면 정보가 제공될 경우 접힘 Reed-Solomon 코드보다 더 효율적인 유일 디코딩을 가능하게 하여 기존 방법을 향상시키는 것.
• 리스트 크기를 지수적에서 다항식적(예: O(1/ε²))으로 줄이면서도 최적의 오류 수정 반경을 유지하는 것.

제안 방법

• 다항식 f와 그 첫 m−1계 형식 도함수를 대규모 특성치를 가진 체의 n개의 서로 다른 원소에서 평가함으로써 (순서 m의) 유도 코드를 정의한다.
• 수정된 다중 변수 다항식 보간을 통해 수신된 점들에서 정해진 다중성을 가지며 0이 되는 후보 보간 다항식을 구성한다.
• 후보 메시지 다항식 f의 계수를 보간된 다항식으로부터 복원하기 위해 구조화된 선형 시스템을 설정한다.
• 확장 체에서의 루트 찾기 과정을 피하는 선형대수적 디코딩 프레임워크를 적용하여 이차 시간 복잡도를 달성한다.
• 측면 정보(예: 무작위 점 α에서 f와 그 도함수의 값)를 활용하여 전체 리스트를 계산하지 않고도 f를 유일하게 결정할 수 있다.
• 하위공간을 회피하는 집합을 사용하여 메시지 공간을 낮은 조밀도의 부분집합으로 제한함으로써 리스트 크기를 O(q^s)에서 O(s/ε)로 줄인다.

실험 결과

연구 질문

• RQ1 유도 코드는 임의의 ε>0에 대해 이론적 한계인 랜덤 코드의 수준인 1−R−ε까지 최적의 리스트 디코딩 반경을 달성할 수 있는가?
• RQ2 이전 접힘 RS 구조에서처럼 확장 체에서의 비용이 큰 근 찾기 과정을 피할 수 있는 다항식 시간 디코딩 알고리즘이 존재하는가?
• RQ3 예를 들어 무작위 점에서 도함수 값(f(α), f′(α), ..., f^(s−1)(α))과 같은 측면 정보를 활용하여, 큰 리스트를 계산하고 걸러내는 과정 없이도 높은 확률로 유일 디코딩이 가능한가?
• RQ4 코드 구조에서 하위공간을 회피하는 집합을 사용할 경우, 비율 손실과 리스트 크기 감소 사이의 상호 관계는 어떠한가?
• RQ5 근사적으로 최적의 오류 수정 성능을 달성하면서도 복잡도를 이차 시간으로 유지할 수 있는가?

주요 결과

• 유도 코드는 임의의 ε>0에 대해 1−R에 가까운 리스트 디코딩 반경을 달성하며, 코드율과 오류 수정 능력 사이의 최적 트레이드오프를 실현한다.
• 제안된 디코딩 알고리즘은 이차 시간 내에 실행되며, 이전의 접힘 RS 디코딩 방법과 달리 확장 체를 피한다.
• 무작위 점 α에서 f(α), f′(α), ..., f^(s−1)(α)와 같은 측면 정보가 있을 경우, 유일 디코딩이 가능하며 확률은 최소 1−nm/(sq) 이상이며, q가 증가함에 따라 1에 수렴한다.
• 메시지를 크기가 q^(1−ζ)k인 하위공간을 회피하는 집합으로 제한함으로써 리스트 크기를 O(q^s)에서 O(s/ε)로 줄일 수 있으며, 이는 ε>0일 때 O(1/ε²) 리스트 크기를 달성한다.
• α로 이동한 후 선형 시스템을 푸는 방식으로 f를 유일하게 복원함으로써, 고비용의 리스트 계산 단계를 피할 수 있다.
• 구성은 랜덤화된(Monte Carlo) 방식이지만, 높은 확률로 리스트 디코딩 보장을 만족하며, 비구조적 랜덤 코딩에 대한 실용적인 대안을 제공한다.