[論文レビュー] 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

ひとこと要約

本稿では、グラフ理論における木パッキング定理との新しい接続を活用することで、指数的に大きな体上のリード・ソロモン符号が、ジョンソン半径を超えてほぼ容量限界に近いリストデコードおよびリストリカバリを達成できることを示している。本稿は、半径 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 符号のリストデコード容量は、存在の障壁ではなく、効率的なアルゴリズムの開発が未解決のままであることが示された。