[論文レビュー] On the list recoverability of randomly punctured codes

Ben Lund, Aditya Potukuchi|arXiv (Cornell University)|May 4, 2020

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

ひとこと要約

この論文は、大きなアルファベット上での良い距離を持つ符号のランダムなパuncturingが、ジョンソンの限界を超えるリストリカバリー可能な符号をもたらすことを示している。特に、特定のリード・ソロモング符号が向上したリストリカバリー性能を達成できることを示している。主な結果は、高距離符号のランダムなパuncturingが、入力リストサイズが $\Omega(q)$ で出力リストサイズが $O(q)$ であることを保証し、レートが $\Omega(q^{-1/2}/\log q)$ に達することである。これはジョンソンの限界を超える。

ABSTRACT

We show that a random puncturing of a code with good distance is list recoverable beyond the Johnson bound. In particular, this implies that there are Reed-Solomon codes that are list recoverable beyond the Johnson bound. It was previously known that there are Reed-Solomon codes that do not have this property. As an immediate corollary to our main theorem, we obtain better degree bounds on unbalanced expanders that come from Reed-Solomon codes.

研究の動機と目的

• 大きなアルファベット上での高距離符号のランダムなパuncturingが、ジョンソンの限界を超えるリストリカバリティを達成することを示すこと。
• リード・ソロモング符号がパuncturingされることで、ジョンソンの限界を超えるリストリカバリー性能を達成できることを確立すること。
• リード・ソロモング符号から構築されたアンバランスなエクスパンダーのための改善された次数の上限を提供すること。
• 固定次数のリード・ソロモング符号に対して、高レート・低リストサイズのリストリカバリティを達成するためのランダムパuncturingの限界を特定すること。
• ランダムパuncturingによって高レート・低リストサイズのリストリカバブルリード・ソロモング符号が構築可能であるという予想を提示すること。

提案手法

• 著者たちは、アルファベットサイズに近い最大距離を有する符号を対象として、確率的および組合せ的技法を用いてランダムにパuncturingされた符号のリストリカバリティを分析している。
• 集中不等式とモーメント推定を適用することで、高い確率でランダムパuncturingが良好なリストリカバリティ特性を保持することを示している。
• 証明は、$\mathbb{F}_q$ のランダム部分集合の構造を利用し、和集合構築における衝突確率をバウンドするためにマルコフの不等式を用いている。
• 評価点の有理関数から導かれる値の集合 $A_i$ を定義・分析し、有界なリストサイズ内で多数のコドワードを構成している。
• 評価点の線形結合から導かれる集合 $A_i$ のサイズをバウンドし、ランダム選択下でその成長が指数的以下であることを示している。
• 主な技術的ツールは、パuncturing符号のリストデコーダビリティに関する先行研究との比較であり、フレームワークをリストリカバリーに拡張している。

実験結果

リサーチクエスチョン

• RQ1 高距離符号のランダムパuncturingは、ジョンソンの限界を超えるリストリカバリティを達成できるか？
• RQ2 入力リストサイズが $\Omega(q)$ で出力リストサイズが $O(q)$ であるようなリード・ソロモング符号が、レート $\Omega(q^{-1/2}/\log q)$ でリストリカバリー可能であるか？
• RQ3 固定次数のリード・ソロモング符号に対して、高レート・低リストサイズのリストリカバリティを達成するためのランダムパuncturingの根本的限界は何か？
• RQ4 ランダムパuncturingによって、リード・ソロモング符号のレートを $\Omega(\ell^{-1})$ を超えて向上させられるか？
• RQ5 定数次数の多項式に対しても、ランダムパuncturingによって高レート・低リストサイズのリストリカバブルリード・ソロモング符号を構築することは可能か？

主な発見

• 距離 $n(1 - q^{-1} - \epsilon^2)$ を持つ符号のランダムパuncturingは、高確率で $(\rho, \ell, \ell(1+\alpha))$-リストリカバリーが可能であり、$\rho < 1 - (1+\alpha)^{-1/2}$ かつ $\epsilon = \Theta(q^{-1/2})$ を満たす。
• 得られる符号のレートは $\Omega(\epsilon / \log q) = \Omega(q^{-1/2}/\log q)$ であり、同じリストサイズに対してジョンソンの限界の $\Omega(\ell^{-1})$ レートを上回る。
• $\rho = 0$ かつ $\alpha = 1$ の場合、符号は入力・出力リストサイズが $\Omega(q)$ の $(\ell, 2\ell)$-ゼロエラー・リストリカバリーが可能である。
• この構成により、リード・ソロモング符号から導かれるアンバランスなエクスパンダーの次数の上限が改善される。
• 論文は、次数 $d$ のリード・ソロモング符号のランダムパuncturingが、$\Omega(q)$-リストリカバリーに対してレート $\omega(1/\log q)$ を達成できないことを示しており、根本的な障壁を示している。
• 著者たちは、次数 $d$ のリード・ソロモング符号を $\mathbb{F}_q$ 上でランダムにパuncturingすることで、$\Omega_d(1/\log q)$ のレートを達成し、高確率で $(\Omega(q), 1/2)$-リストリカバリーが可能であると予想している。