[論文レビュー] Improved List-Decodability of Random Linear Binary Codes

Ray Li, Mary Wootters|arXiv (Cornell University)|Jan 1, 2018

Coding theory and cryptography参考文献 34被引用数 5

ひとこと要約

この論文は、ランダム線形二値符号が高確率で (p, H(p)/ε + 2)-リストデコード可能であることを示し、一様ランダム符号を上回るリストデコーディング性能を実現することにより、ランダム線形二値符号のリストデコード性能を向上させた。著者らは、Guruswami ら (2002) の古典的な存在証明を高確率に成立させるように強化し、すべての p ∈ (0, 1/2) および ε > 0 に対して一貫性があり単純な解析を可能にした。これにより、ランダム線形符号のリストサイズがランダム符号よりも厳密に小さいことが示された。

ABSTRACT

There has been a great deal of work establishing that random linear codes are as list-decodable as uniformly random codes, in the sense that a random linear binary code of rate 1 - H(p) - epsilon is (p,O(1/epsilon))-list-decodable with high probability. In this work, we show that such codes are (p, H(p)/epsilon + 2)-list-decodable with high probability, for any p in (0, 1/2) and epsilon > 0. In addition to improving the constant in known list-size bounds, our argument - which is quite simple - works simultaneously for all values of p, while previous works obtaining L = O(1/epsilon) patched together different arguments to cover different parameter regimes. Our approach is to strengthen an existential argument of (Guruswami, Håstad, Sudan and Zuckerman, IEEE Trans. IT, 2002) to hold with high probability. To complement our upper bound for random linear binary codes, we also improve an argument of (Guruswami, Narayanan, IEEE Trans. IT, 2014) to obtain a tight lower bound of 1/epsilon on the list size of uniformly random binary codes; this implies that random linear binary codes are in fact more list-decodable than uniformly random binary codes, in the sense that the list sizes are strictly smaller. To demonstrate the applicability of these techniques, we use them to (a) obtain more information about the distribution of list sizes of random linear binary codes and (b) to prove a similar result for random linear rank-metric codes.

研究の動機と目的

• ランダム線形二値符号の既知のリストデコード境界を改善し、特に O(1/ε) のリストサイズ境界における定数を小さくすること。
• 特定のパrameter領域に限定されたり、最適でない境界をもたらしたりする、先行研究の解析を統一的かつ簡素化すること。
• ランダム線形符号が一様ランダム符号よりもリストデコードに優れていることを示し、リストサイズに対するより厳密な上界を確立すること。
• 改善された解析をランダム線形ランク距離符号へと拡張し、類似の改善を示すこと。

提案手法

• Guruswami ら (2002) の存在証明を、確率的集中とモーメントの不等式を用いて高確率に成立させるように変更する。
• リストサイズを抑えられるように、TC（半径 pn のハミング球内に含まれるコドワード数）を用いて SC = 1 + TC を定義・解析する。
• TC の集中度を追跡するための再帰的列 δi = 2δi−1 + δi−1^{1.5} を用い、高確率で TC が定数未満に保たれることを示す。
• Markov の不等式と、部分空間の系列における和集合の不等式を用いて、ランダム線形符号構築における TC の成長を制御する。
• 指数的モーメントの不等式と背理法を用い、SC < 2 ならば (p, L)-リストデコード可能で L ≤ H(p)/ε + 2 であることを証明する。
• 行列空間における類似の集中度の議論を用いて、ボールサイズを再定義することで、この手法をランク距離符号へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 一貫性のある解析を用いて、ランダム線形二値符号のリストデコード性能を O(1/ε) のリストサイズを超えて向上させることは可能か？
• RQ2 Guruswami ら (2002) の存在証明を高確率に成立させるように強化することは可能か？
• RQ3 ランダム線形符号は一様ランダム符号よりも厳密に小さいリストサイズを達成するか？
• RQ4 同じ高確率解析をランダム線形ランク距離符号へと拡張することは可能か？

主な発見

• レート 1 − H(p) − ε のランダム線形二値符号は、高確率で (p, H(p)/ε + 2)-リストデコード可能であり、定数を小さくした既存の O(1/ε) の境界を改善した。
• 先行研究とは異なり、すべての p ∈ (0, 1/2) に対して一貫した解析が可能であり、異なる領域で異なる議論を組み合わせる必要がなかった。
• 一様ランダム符号のリストサイズに対して、改善された下界 1/ε が得られ、ランダム線形符号のリストサイズが厳密に小さいことが示された。
• この手法はランダム線形ランク距離符号へと拡張可能であり、高確率で (p, p + bp − bp²)/ε + 2-リストデコード可能であることが証明された。
• Guruswami ら (2002) の存在証明を高確率に成立させるように強化したことで、当該論文の未解決問題が解決された。
• 結果から、ランダム線形符号はランダム符号と同等であるのではなく、実際にリストサイズがより小さいことが示され、証明可能である。