[论文解读] 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)−γ 的码必须包含 Ωp(1/√γ) 个码字，其与中心点的平均距离不超过 pn。该工作通过提供一个简洁的证明方法，解决了长期存在的标准列表译码中 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)−γ 的二元码，必须包含一个由 Ωp(1/√γ) 个码字组成的集合，其与中心点的平均距离不超过 pn，从而建立了强有力的平均半径列表译码下界。
• 基于二阶矩的简洁证明方法，可为任意固定字母表上的标准 (p,L) 列表译码获得 Ωp(log(1/γ)) 下界，其结果与目前已知的最佳结果一致，但分析过程显著简化。
• 基于等重码零速率区间的技巧，无法进一步改进 Ωp(log(1/γ)) 下界，因为这些技巧已被证明对改进此类下界无效。
• 存在一般码与等重码之间的反向联系：在两种情况下，最优列表大小作为速率差距 γ 的函数，其渐近行为在常数因子范围内相同。
• 对于随机 q 元码，若其速率为 1−hq(p)−γ，则在错误模型下，其列表大小以高概率为 Ωq,p(1/γ)；在删除模型下，同样为 Ωq,p(1/γ)。
• 对于随机 q 元线性码，在错误模型下，其列表大小必须为 Ωq,p(1/γ)，但在删除模型下，其列表大小必须为 exp(Ωp(1/γ))，揭示了在删除情况下的根本性能不对称性。