[논문 리뷰] Improved List-Decodability of Reed--Solomon Codes via Tree Packings

Zeyu Guo, Ray Li외 3명|arXiv (Cornell University)|2020. 11. 09.

Coding theory and cryptography참고 문헌 35인용 수 4

한 줄 요약

이 논문은 그래프 이론의 나쉬-윌리엄스–투트 트리 팩킹 정리와의 새로운 연결을 통해 지수적 크기의 체에서의 리드-소로몬 코드가 조던 반경을 초월하여 근접한 용량의 리스트 디코딩과 리스트 복구를 달성할 수 있음을 보여준다. 이는 반경 1−ε까지 리스트 디코딩 가능한 RS 코드의 존재를 증명하며, 비율 Ω(ε/log(1/ε))을 갖는다. 또한 (1−ε,ℓ,O(ℓ/ε))-리스트 복구 가능한 RS 코드의 비율은 Ω(ε/(√ℓ(log(1/ε)+1)))이며, 코딩 이론과 조합적 그래프 구조 간의 강력한 연결 고리를 확립한다.

ABSTRACT

This paper shows that there exist Reed--Solomon (RS) codes, over \black{exponentially} large finite fields \black{in the code length}, that are combinatorially list-decodable well beyond the Johnson radius, in fact almost achieving the list-decoding capacity. In particular, we show that for any $ε\in (0,1]$ there exist RS codes with rate $Ω(\fracε{\log(1/ε)+1})$ that are list-decodable from radius of $1-ε$. We generalize this result to list-recovery, showing that there exist $(1 - ε, \ell, O(\ell/ε))$-list-recoverable RS codes with rate $Ω\left( \fracε{\sqrt{\ell} (\log(1/ε)+1)} ight)$. Along the way we use our techniques to give a new proof of a result of Blackburn on optimal linear perfect hash matrices, and strengthen it to obtain a construction of strongly perfect hash matrices. To derive the results in this paper we show a surprising connection of the above problems to graph theory, and in particular to the tree packing theorem of Nash-Williams and Tutte. We also state a new conjecture that generalizes the tree-packing theorem to hypergraphs, and show that if this conjecture holds, then there would exist RS codes that are \em optimally \em (non-asymptotically) list-decodable.

연구 동기 및 목표

• 리드-소로몬 코드의 기존 리스트 디코딩 및 리스트 복구 능력을 조던 반경을 초월하여 향상시키는 것.
• 코딩 이론과 그래프 이론 간의 새로운 연결 고리를 확립하는 것, 특히 나쉬-윌리엄스–투트 트리 팩킹 정리와의 연결.
• 고반경 리스트 디코딩 및 리스트 복구에 대해 근최적의 비율을 갖는 RS 코드의 존재를 증명하며, 이론적 용량 한계에 가까워지게 하는 것.
• 완벽한 해싱 행렬에 관한 결과를 일반화하고, 강력한 완벽한 해싱 행렬을 구성하기 위해 강화하는 것.
• 나쉬-윌리엄스–투트 정리의 초그래프 일반화를 제안하는 것. 이 정리가 참이라면 최적의 리스트 디코딩 RS 코드를 도출할 수 있다.

제안 방법

• 나쉬-윌리엄스–투트 트리 팩킹 정리를 활용하여 사이클 공간과 t-차 교차 행렬을 분석함으로써 고리스트 디코딩 반경을 갖는 코드를 구성한다.
• 조합적 행렬 구성 기법, 특히 변수 행렬과 블록 행렬을 사용하여 코드워드의 교차를 모델링하고 리스트 복구 성질을 보장한다.
• t-차 교차 행렬 이론을 적용하여 해밍 구 안에 포함된 코드워드 수를 제한함으로써 리스트 디코딩 보장을 가능하게 한다.
• 리스트 디코딩 및 리스트 복구 문제를 초그래프 팩킹 문제로 환원하며, 트리 팩킹 정리를 초그래프로 일반화하는 새로운 추측을 도입한다.
• 완벽한 해싱 행렬과 리스트 복구 가능한 코드 간의 이중성을 활용하여 코드 비율과 리스트 크에 대한 새로운 경계를 도출한다.
• 트리 팩킹 프레임워크를 재해석함으로써 최적의 선형 완벽한 해싱 행렬에 관한 신규 결과를 증명하고, 이를 강력한 완벽한 해싱 행렬로 강화한다.

실험 결과

연구 질문

• RQ1 리드-소로몬 코드는 조던 반경을 초월하여 리스트 디코딩이 가능하며, 리스트 디코딩 용량에 가까워질 수 있는가?
• RQ2 모든 ε∈(0,1]에 대해 반경 1−ε까지 리스트 디코딩 가능한 RS 코드의 최대 비율은 얼마인가?
• RQ3 나쉬-윌리엄스와 투트의 트리 팩킹 정리는 코딩 이론에서 코드 구성 향상에 어떻게 활용될 수 있는가?
• RQ4 완벽한 해싱 행렬과 리스트 복구 가능한 코드 간의 연결 고리는 코드 비율에 대한 더 강력한 존재적 경계를 도출하는 데 사용될 수 있는가?
• RQ5 나쉬-윌리엄스–투트 정리의 초그래프 일반화가 존재하는가? 만약 존재한다면, RS 코드의 최적 리스트 디코딩에 어떤 영향을 미칠 것인가?

주요 결과

• 반경 1−ε까지 리스트 디코딩 가능한 RS 코드 중 비율 Ω(ε/log(1/ε))을 갖는 것이 존재하며, 이는 조던 경계를 크게 초월한다.
• 리스트 복구의 경우, (1−ε,ℓ,O(ℓ/ε))-리스트 복구 가능한 RS 코드 중 비율 Ω(ε/(√ℓ(log(1/ε)+1)))를 갖는 것을 구성하였다. 이는 이전의 일반적 경계를 향상시킨다.
• 저자들은 블랙번의 최적의 선형 완벽한 해싱 행렬에 관한 결과를 새롭게 증명하고, 이를 강력한 완벽한 해싱 행렬로 강화하였다.
• 리스트 디코딩 가능한 RS 코드와 나쉬-윌리엄스–투트 트리 팩킹 정리 사이에 놀라운 연결 고리가 드러났으며, 이는 새로운 존재적 구성 방법을 가능하게 한다.
• 논문은 트리 팩킹 정리를 초그래프로 일반화하는 새로운 추측을 제시하였으며, 이 추측이 참이라면 최적의 리스트 디코딩 RS 코드를 도출할 수 있다.
• 결과적으로 RS 코드의 리스트 디코딩 용량은 존재성의 장벽이 아니며, 효율적 알고리즘이 열려 있더라도 여전히 존재 가능하다는 것이 입증되었다.