[論文レビュー] Combinatorial limitations of a strong form of list decoding

Venkatesan Guruswami, S. Sathish Narayanan|arXiv (Cornell University)|Jan 1, 2012

Coding theory and cryptography参考文献 11被引用数 2

ひとこと要約

この論文は、二値符号におけるリストデコードの組合せ的限界を確立し、容量より低いレート γ を持つ符号は、重心からの平均距離が小さい Ωp(1/√γ) 個の符号語を含む必要があることを証明している。これは、強力な形のリストデコードに対する強い下界を提供する。また、2次モーメント法を用いて標準的な Ωp(log(1/γ)) 下界を再証明・強化し、定数重み符号が類似したリストサイズの挙動を示す一般符号をもたらすことを示している。

ABSTRACT

We prove the following results concerning the combinatorics of list decoding, motivated by the exponential gap between the known upper bound (of O(1/γ)) and lower bound (of Ωp(log(1/γ))) for the list-size needed to decode up to radius p with rate γ away from capacity, i.e., 1 − h(p) − γ (here p ∈ (0, 1/2) and γ> 0). • We prove that in any binary code C ⊆ {0, 1}n of rate 1 − h(p) − γ, there must exist a set L ⊂ C of Ωp(1/√γ) codewords such that the average distance of the points in L from their centroid is at most pn. In other words, there must exist Ωp(1/ γ) codewords with low “average radius”. The motivation for this result is that it gives a list-size lower bound for a strong notion of list decoding; this strong form has been implicitly been used in the previous negative results for list decoding. (The usual notion of list decoding corresponds to replacing average radius by the minimum radius of an enclosing Hamming ball.) The remaining results are for the usual notion of list decoding: • We give a short simple proof, over all fixed alphabets, of the above-mentioned Ωp(log(1/γ)) lower bound due to Blinovsky. • We show that one cannot improve the Ωp(log(1/γ)) lower bound via techniques based on identifying the zero-rate regime for list decoding of constant-weight codes (this is a typical approach for negative results in coding theory, including the Ωp(log(1/γ)) list size lower bound). On a positive note, our Ωp(1/ γ) lower bound for the strong form of list decoding does circumvent this barrier. • We show a “reverse connection ” showing that constant-weight codes for list decoding imply general codes for list decoding with higher rate. This shows that the best possible list-size, as a function of the gap γ of the rate to the capacity limit, is the same up to constant factors for both constant-weight codes and general codes. • We give simple second moment based proofs that w.h.p. a list-size of Ωp(1/γ) is needed for list decoding random codes from errors as well as erasures, at rates which are γ away from the corresponding capacities. For random linear codes, the corresponding list size bounds are Ωp(1/γ) for errors and exp(Ωp(1/γ)) for erasures.

研究の動機と目的

• リストデコードにおける既知の上界と下界の間の指数的ギャップを埋める。
• 強力なリストデコードの下界を引き起こす符号の組合せ的構造を分析する。
• 定数重み符号に基づく手法が、標準リストデコードの Ωp(log(1/γ)) 下界を改善できないことを示す。
• 定数重み符号と一般符号が定数倍の違いを除いて同様のリストサイズ挙動を示すことを示す。
• ランダム符号およびランダム線形符号におけるリストサイズ下界の簡潔な2次モーメントによる証明を提供する。

提案手法

• 組合せ的平均化の議論を用いて、重心からの平均距離が小さい大きな符号語の部分集合の存在を証明する。
• 2次モーメント法を適用し、誤りおよび消失の下でのランダム符号におけるリストサイズの下界を導出する。
• 逆方向の構成を用いて、リストデコードのための定数重み符号が、類似したリストサイズ性能を持つ一般符号をもたらすことを示す。
• 固定アルファベット上で、固定アルファベットに適用可能な簡潔な2次モーメントの議論により、Ωp(log(1/γ)) 下界を再導出する。
• 定数重み符号の手法がリストサイズ下界の改善にどの程度限界があるかを分析する。
• 強力なリストデコード形式が、定数重み符号に基づくアプローチに内在する障壁を回避できることを示す。

実験結果

リサーチクエスチョン

• RQ1 重心からの平均距離が制限される強力なリストデコード形式において、最小のリストサイズは何か？
• RQ2 定数重み符号に基づく手法は、標準リストデコードの Ωp(log(1/γ)) 下界を改善できるか？
• RQ3 誤りと消失の下で、ランダム符号におけるリストサイズ要件はどのように比較されるか？
• RQ4 定数重み符号の最良のリストサイズが、一般符号のそれと漸近的に同等か？
• RQ5 2次モーメント法は、ランダム符号およびランダム線形符号におけるリストデコードのタイトな下界を提供できるか？

主な発見

• レート 1 − h(p) − γ の任意の二値符号において、重心からの平均距離が pn 以下であるような Ωp(1/√γ) 個の符号語の部分集合が存在し、これは強力なリストデコードの下界を確立する。
• 標準リストデコードの下界 Ωp(log(1/γ)) が、すべての固定アルファベットに適用可能な簡潔な2次モーメントの議論により再証明された。
• 定数重み符号に基づく手法は、それらがこのような構成に内在する本質的障壁を克服できないため、Ωp(log(1/γ)) 下界を改善できない。
• リストデコードのための定数重み符号は、類似したリストサイズ挙動を示す一般符号をもたらす。これは定数倍の違いを除いて等価であることを示している。
• ランダム符号では、誤りからのリストデコードに Ωp(1/γ) のリストサイズが必要であり、ランダム線形符号では同様に Ωp(1/γ) であるが、消失の場合は exp(Ωp(1/γ)) のリストサイズが必要である。
• 2次モーメント法によりタイトな下界が得られる：誤りおよび消失の下でランダム符号に対して Ωp(1/γ)、ランダム線形符号の消失の場合には指数的下界が得られる。