[論文レビュー] Combinatorial Limitations of Average-radius List Decoding

Venkatesan Guruswami, S. Sathish Narayanan|arXiv (Cornell University)|Feb 27, 2012

Coding theory and cryptography参考文献 8被引用数 1

ひとこと要約

この論文は、二値符号における平均半径リスト復号化の根本的な組合せ的限界を確立し、レート 1−h(p)−γ の任意の符号は、重心からの平均距離が pn 未満である Ωp(1/√γ) 個の符号語を含むことを証明している。標準的リスト復号化における O(1/γ) 上界と Ωp(log(1/γ)) 下界の間の長年のギャップを解消し、後者を単純な証明で示し、従来の障壁を回避する新しい平均半径フレームワークを導入した。

ABSTRACT

We study certain combinatorial aspects 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\in (0,1/2)$ and $γ> 0$). Our main result is the following: We prove that in any binary code $C \subseteq \{0,1\}^n$ of rate $1-\h(p)-γ$, there must exist a set $\mathcal{L} \subset C$ of $Ω_p(1/\sqrtγ)$ codewords such that the average distance of the points in $\mathcal{L}$ from their centroid is at most $pn$. In other words, there must exist $Ω_p(1/\sqrtγ)$ codewords with low "average radius." The standard notion of list-decoding corresponds to working with the maximum distance of a collection of codewords from a center instead of average distance. The average-radius form is in itself quite natural and is implied by the classical Johnson bound. The remaining results concern the standard notion of list-decoding, and help clarify the combinatorial landscape of list-decoding: 1. We give a short simple proof, over all fixed alphabets, of the above-mentioned $Ω_p(\log (γ))$ lower bound. Earlier, this bound followed from a complicated, more general result of Blinovsky. 2. We show that one {\em cannot} improve the $Ω_p(\log (1/γ))$ lower bound via techniques based on identifying the zero-rate regime for list decoding of constant-weight codes. 3. We show a "reverse connection" showing that constant-weight codes for list decoding imply general codes for list decoding with higher rate. 4. We give simple second moment based proofs of tight (up to constant factors) lower bounds on the list-size needed for list decoding random codes and random linear codes from errors as well as erasures.

研究の動機と目的

• 容量近傍の標準的リスト復号化におけるリストサイズに関する O(1/γ) 上界と Ωp(log(1/γ)) 下界の間の漸近的ギャップを埋めること。
• リスト復号可能符号の組合せ的構造、特に低平均半径の符号語集合の存在を調査すること。
• 特に定数重み符号に基づく手法が、リストサイズ下界を証明する際に、なぜ効果的でないのかを明確にすること。
• 誤りと消失の両モデル下での、ランダム符号およびランダム線形符号におけるリスト復号化性能の境界を厳密に確立すること。
• 定数重み符号と一般符号の間の逆接続を示し、定数因子の範囲内で同様のリストサイズ挙動を示すことを示すこと。

提案手法

• 標準的リスト復号化における最大距離の代わりに重心からの平均距離を用いる平均半径リスト復号化モデルを導入する。
• ランダム符号における違反証拠タプル（中心、符号語の L-タプル）の期待数を第二モーメント法で分析する。
• チェビシェフの不等式を適用し、高確率でこのような違反タプルが存在しないことを示し、リスト復号可能であることを示す。
• 潜在的なリスト復号化違反を数える確率変数の分散と期待値を分析することで、リストサイズの境界を導出する。
• 一般符号と定数重み符号の間の逆接続を確立し、リスト復号化特性を定数因子の範囲で保存する変換を導入する。
• 任意の固定アルファベット上での標準的（p,L）リスト復号化における Ωp(log(1/γ)) 下界を、第二モーメント技法を用いた単純で一般的な証明により得る。

実験結果

リサーチクエスチョン

• RQ1 容量近傍のリスト復号化における O(1/γ) 上界と Ωp(log(1/γ)) 下界の間の指数的ギャップを解消できるか？
• RQ2 平均半径リスト復号化の組合せ的制限は何か？ また、標準的リスト復号化よりも強い下界をもたらすか？
• RQ3 定数重み符号に基づく既存の手法を用いて、標準的リスト復号化における Ωp(log(1/γ)) 下界を改善できるか？
• RQ4 誤りと消失の両モデル下で、ランダム一般符号とランダム線形符号のリスト復号化性能境界はどのように異なるか？
• RQ5 定数重み符号の最良のリストサイズは、一般符号と比べて定数因子の範囲内で漸近的に同一か？

主な発見

• レート 1−h(p)−γ の任意の二値符号は、重心からの平均距離が pn 未満である Ωp(1/√γ) 個の符号語を含み、これは強い平均半径リスト復号化下界を確立する。
• 第二モーメントに基づく単純な証明により、任意の固定アルファベット上での標準的（p,L）リスト復号化における Ωp(log(1/γ)) 下界が得られ、従来の最良の結果と一致するが、はるかに簡単な解析が可能である。
• 定数重み符号の零レート領域に依存する手法では、Ωp(log(1/γ)) 下界を改善できないことが示され、こうした手法がその改善に無効であることが判明した。
• 一般符号と定数重み符号の間には逆接続が存在する：レートギャップ γ の関数としての最適リストサイズは、両者において定数因子の範囲内で同一である。
• レート 1−hq(p)−γ のランダム q-ary 符号では、誤りの場合に高確率でリストサイズが Ωq,p(1/γ) 以上であり、消失の場合にも同様に Ωq,p(1/γ) 以上である。
• ランダム q-ary 線形符号では、誤りの場合にリストサイズが Ωq,p(1/γ) 以上であるが、消失の場合には exp(Ωp(1/γ)) 以上であることが判明し、消失下での性能に根本的な非対称性が存在することが示された。