[論文レビュー] 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

ひとこと要約

本稿では、第一および第二順序のリード・マラー符号の間の位置をとるハンケル符号のリストデコードのための高速なランダム化アルゴリズムを提示する。このアルゴリズムは、信号 s に対して顕著な内積を持つすべての符号語を回復する際、時間計算量が poly(k, log N) である。本手法は、ゴールドレヒト＝レヴィンおよび Kushilevitz-Mansour の手法を二次的二値および Z4 符号へと拡張し、ハンケル符号内の部分符号構造を介して、ケルドック符号のスパース近似とリストデコードを効率的に行うことを可能にする。

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.

研究の動機と目的

• 第一順序リード・マラー符号（RM(1)）からの効率的リストデコード技術を、二次的二値および Z4 符号、特にハンケル符号へと拡張すること。
• 大きなノイズ下でも、ノイズの強い信号 s に対して顕著な相関を持つすべてのハンケル符号語を特定する高速なアルゴリズムを開発すること。
• ケルドック符号がハンケル符号内の部分符号としての構造を持つことを利用し、ケルドック符号のリストデコードとスパース近似を可能にすること。
• 近似誤差が有界である計算効率の良い方法を提供し、ケルドック辞書を用いたスパース信号近似を実現すること。
• 部分体構造とよりタイトなランクバウンドを活用することで、ケルドック符号のリストデコードのアルゴリズム的改善を検討すること。

提案手法

• RM(1) と RM(2) の間にあるハンケル符号構造に、ゴールドレヒト＝レヴィンおよび Kushilevitz-Mansour のランダムサンプリング技法を適応する。
• 信号 s に対する選択的サンプリングアクセスを用い、|⟨s, φλ⟩|² ≥ (1/k)‖s‖² を満たすハンケル符号語 φλ を、時間 poly(k, log N) で特定する。
• ハンケル符号語を対称行列 P とベクトル ℓ でインデックス化した φP,ℓ として表現し、ランクに基づくクラスタリングを用いて候補集合を制限する。
• 異なる符号語間の低相互相関を保証するため、ランク条件（rank(P + P′) ≥ 2 log(k/c₄)）を適用し、効率的なプルーニングを実現する。
• ケルドック符号がハンケル符号の部分符号であることを活用し、リストデコードアルゴリズムを継承し、スパース回復に拡張する。
• ケルドック符号の (1/√N)-非一様性を活用し、最適な k 項近似の (1 + ε + O(k²/√N)) 倍以内の近似誤差を導出する。

実験結果

リサーチクエスチョン

• RQ1 RM(1) における効率的リストデコードフレームワークを、二次的二値および Z4 符号へと拡張可能か？
• RQ2 RM(1) と RM(2) の中間的性質を持つハンケル符号のリストデコードの計算量的複雑度は何か？
• RQ3 ケルドック符号がハンケル符号の部分符号としての構造を持つ場合、同じフレームワークを用いて効率的にリストデコード可能か？
• RQ4 本手法により得られる k 項ケルドック近似の近似誤差は、最良の k 項近似に対してどの程度か？
• RQ5 出力サイズに近い二次関数的時間にまで改善可能な、高相関符号語の数に対するよりタイトな境界を導出可能か？

主な発見

• 本稿では、時間計算量が poly(k, log N) であるハンケル符号のリストデコードアルゴリズムを提示し、内積の二乗が (1/k)‖s‖² 以上のすべての符号語を回復する。
• この計算量の達成は、異なるハンケル行列を有する符号語間の低相互相関と、ランクに基づくクラスタリングの活用によって実現される。
• ケルドック符号がハンケル符号の部分符号であることが示され、ハンケル符号のリストデコードアルゴリズムをケルドック符号に直接適用可能である。
• 時間計算量が poly(k log N / ε) であるスパースケルドック近似アルゴリズムが開発され、近似誤差は最適な k 項誤差の (1 + ε + O(k²/√N)) 倍以内である。
• 信号 s に対して顕著な相関を持つハンケル符号語の数は poly(k) で抑えられ、出力サイズは最大で O(k⁵) であり、クラスタリングに基づく圧縮が可能である。
• 現在のアルゴリズムの実行時間は O(k^c)（c > 8）であるが、行列ランク構造のよりタイトな解析により、出力サイズに近い二次関数的時間にまで短縮可能である。