[论文解读] Improved List-Decodability of Reed--Solomon Codes via Tree Packings

Zeyu Guo, Ray Li+3 more|arXiv (Cornell University)|Nov 9, 2020

Coding theory and cryptography参考文献 35被引用 4

一句话总结

该论文表明，通过利用图论中树打包定理的新型联系，可以在指数级大域上的 Reed–Solomon 码实现接近容量的列表解码和超越 Johnson 半径的列表恢复。论文证明了存在速率 Ω(ε/log(1/ε)) 的 RS 码，可在半径 1−ε 范围内实现近似容量的列表解码，且对于 (1−ε,ℓ,O(ℓ/ε))-列表可恢复码，其速率可达 Ω(ε/(√ℓ(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.

研究动机与目标

• 提升已知 Reed–Solomon 码在 Johnson 半径之外的列表解码与列表恢复能力。
• 建立编码理论与图论之间新型联系，特别是 Nash-Williams–Tutte 树打包定理。
• 证明存在 RS 码在高半径列表解码与列表恢复中具有接近最优的速率，逼近理论容量极限。
• 推广关于完美哈希矩阵的结果，并将其强化为构造强完美哈希矩阵。
• 提出 Nash-Williams–Tutte 定理在超图上的推广，若成立，将导出最优列表可解码的 RS 码。

提出的方法

• 利用 Nash-Williams–Tutte 树打包定理，通过分析环空间与 t 重交集矩阵，构建具有高列表解码半径的码。
• 采用组合矩阵构造方法，包括变量矩阵与分块矩阵，以建模码字交集并确保列表恢复性质。
• 应用 t 重交集矩阵理论，以限制汉明球内码字数量，从而实现列表解码保证。
• 将列表解码与列表恢复问题转化为超图打包问题，提出一个推广树打包定理至超图的新猜想。
• 利用完美哈希矩阵与列表可恢复码之间的对偶性，推导出关于码速率与列表大小的新界。
• 通过重新诠释树打包框架，证明关于最优线性完美哈希矩阵的新结果，并将其强化为构造强完美哈希矩阵。

实验结果

研究问题

• RQ1 Reed–Solomon 码能否在 Johnson 半径之外实现列表解码，逼近列表解码容量？
• RQ2 对于任意 ε∈(0,1]，RS 码在半径 1−ε 范围内可列表解码的最大速率是多少？
• RQ3 如何利用 Nash-Williams 和 Tutte 的树打包定理改进编码理论中的码构造？
• RQ4 能否利用完美哈希矩阵与列表可恢复码之间的联系，推导出更强的码速率存在性界？
• RQ5 Nash-Williams–Tutte 定理是否存在超图推广？若存在，其对 RS 码最优列表解码有何影响？

主要发现

• 存在速率 Ω(ε/log(1/ε)) 的 Reed–Solomon 码，可在半径 1−ε 范围内实现列表解码，显著超过 Johnson 界。
• 在列表恢复方面，论文构造了 (1−ε,ℓ,O(ℓ/ε))-列表可恢复 RS 码，其速率可达 Ω(ε/(√ℓ(log(1/ε)+1)))，优于先前的通用界。
• 作者建立了 Blackburn 关于最优线性完美哈希矩阵结果的新证明，并将其强化为构造强完美哈希矩阵。
• 揭示了 RS 码列表解码与 Nash-Williams–Tutte 树打包定理之间出人意料的联系，从而实现新的存在性构造。
• 论文提出了一个新猜想，将树打包定理推广至超图，若成立，将导出最优列表可解码的 RS 码。
• 结果表明，即使高效算法尚未解决，RS 码的列表解码容量也并非存在性障碍。