[论文解读] List decoding of noisy Reed-Muller-like codes

A.R. Calderbank, Anna C. Gilbert+1 more|ArXiv.org|Jul 20, 2006

Coding theory and cryptography参考文献 18被引用 6

一句话总结

本文提出了一种用于Hankel码的快速随机化算法，该算法介于第一阶和第二阶Reed-Muller码之间，实现对所有与信号s具有显著内积的码字的列表解码，时间复杂度为poly(k, log N)。该方法将Goldreich-Levin和Kushilevitz-Mansour技术扩展至二次二元码和Z4码，从而通过Hankel码中的子码结构，实现对Kerdock码的高效稀疏逼近与列表解码。

ABSTRACT

First- and second-order Reed-Muller (RM(1) and RM(2), respectively) codes are two fundamental error-correcting codes which arise in communication as well as in probabilistically-checkable proofs and learning. In this paper, we take the first steps toward extending the quick randomized decoding tools of RM(1) into the realm of quadratic binary and, equivalently, Z_4 codes. Our main algorithmic result is an extension of the RM(1) techniques from Goldreich-Levin and Kushilevitz-Mansour algorithms to the Hankel code, a code between RM(1) and RM(2). That is, given signal s of length N, we find a list that is a superset of all Hankel codewords phi with dot product to s at least (1/sqrt(k)) times the norm of s, in time polynomial in k and log(N). We also give a new and simple formulation of a known Kerdock code as a subcode of the Hankel code. As a corollary, we can list-decode Kerdock, too. Also, we get a quick algorithm for finding a sparse Kerdock approximation. That is, for k small compared with 1/sqrt{N} and for epsilon > 0, we find, in time polynomial in (k log(N)/epsilon), a k-Kerdock-term approximation s~ to s with Euclidean error at most the factor (1+epsilon+O(k^2/sqrt{N})) times that of the best such approximation.

研究动机与目标

• 将第一阶Reed-Muller码（RM(1)）的高效列表解码技术扩展至二次二元码和Z4码，特别是Hankel码。
• 开发一种快速算法，用于识别所有与噪声信号s具有显著相关性的Hankel码字，即使在强噪声条件下亦可实现。
• 利用Kerdock码在Hankel码中的子码结构，实现对Kerdock码的列表解码与稀疏逼近。
• 提供一种计算高效的稀疏信号逼近方法，使用Kerdock字典，且逼近误差有界。
• 通过利用子域结构与更紧的秩界，探索对Kerdock码列表解码的算法改进。

提出的方法

• 将Goldreich-Levin和Kushilevitz-Mansour的随机采样技术适配至位于RM(1)与RM(2)之间的Hankel码结构。
• 通过选择性采样访问信号s，在时间poly(k, log N)内识别出满足|⟨s, φλ⟩|² ≥ (1/k)‖s‖²的Hankel码字φλ。
• 将Hankel码字表示为φP,ℓ，其中P为对称矩阵，ℓ为向量，并利用基于秩的聚类方法控制候选集合大小。
• 应用秩条件（rank(P + P′) ≥ 2 log(k/c₄)）以确保不同码字之间的交叉相关性较低，从而实现高效剪枝。
• 利用Kerdock码是Hankel码的子码这一事实，继承Hankel码的列表解码算法，并将其扩展至稀疏恢复。
• 利用Kerdock码的(1/√N)-非相干性，推导出逼近保证：误差至多为最优k项逼近的(1 + ε + O(k²/√N))倍。

实验结果

研究问题

• RQ1 能否将RM(1)的高效列表解码框架扩展至二次二元码和Z4码？
• RQ2 Hankel码（介于RM(1)与RM(2)之间）的列表解码时间复杂度是多少？
• RQ3 作为Hankel码的子码，Kerdock码能否通过相同框架实现高效列表解码？
• RQ4 通过该方法获得的k项Kerdock逼近的逼近误差，与最优k项逼近相比如何？
• RQ5 能否推导出更高相关性码字数量的更紧界，以将运行时间进一步优化至低于poly(k)？

主要发现

• 本文提出了一种Hankel码的列表解码算法，运行时间为poly(k, log N)，可恢复所有满足内积平方至少为(1/k)‖s‖²的码字。
• 该算法通过利用基于秩的聚类方法以及不同Hankel矩阵码字之间的低交叉相关性，实现该运行时间。
• 证明了Kerdock码是Hankel码的子码，从而可直接应用Hankel码的列表解码算法于Kerdock码。
• 开发了一种稀疏Kerdock逼近算法，运行时间为poly(k log N / ε)，逼近误差至多为最优k项误差的(1 + ε + O(k²/√N))倍。
• 与信号s具有显著相关性的Hankel码字数量被限制为poly(k)，输出大小至多为O(k⁵)，且可通过聚类方法实现压缩。
• 当前算法的运行时间为O(k^c)（c > 8），但通过更精细分析矩阵的秩结构，有望将其降低至接近输出大小的二次方。