[論文レビュー] The List-Decoding Size of Reed-Muller Codes

Tali Kaufman, Shachar Lovett|ArXiv.org|Nov 14, 2008

Coding theory and cryptography参考文献 9被引用数 5

ひとこと要約

この論文は、再帰的マッチャー・コードのリストデコードサイズに対する漸近的バウンドを、最小距離の制限を超えて、すべての距離について提供する。導関数に基づく近似と確率的技法を用いて、距離 $ 2^{-k} - \epsilon $ に対してリストサイズが $ 2^{O(n^{d-k}/\epsilon^2)} $ に成長することを確立し、定数次数の再帰的マッチャー・コードにおける多項式リストサイズの閾値に関する未解決問題を解消する。

ABSTRACT

In this work we study the list-decoding size of Reed-Muller codes. Given a received word and a distance parameter, we are interested in bounding the size of the list of Reed-Muller codewords that are within that distance from the received word. Previous bounds of Gopalan, Klivans and Zuckerman \cite{GKZ08} on the list size of Reed-Muller codes apply only up to the minimum distance of the code. In this work we provide asymptotic bounds for the list-decoding size of Reed-Muller codes that apply for {\em all} distances. Additionally, we study the weight distribution of Reed-Muller codes. Prior results of Kasami and Tokura \cite{KT70} on the structure of Reed-Muller codewords up to twice the minimum distance, imply bounds on the weight distribution of the code that apply only until twice the minimum distance. We provide accumulative bounds for the weight distribution of Reed-Muller codes that apply to {\em all} distances.

研究の動機と目的

• 再帰的マッチャー・コードのリストデコードサイズに対する従来のバウンドを最小距離を超えて拡張すること。これは、以前の研究では取り扱えなかった。
• Gopalan, Klivans, および Zuckerman が提起した未解決問題、すなわちリストサイズが $ n $ に対して多項式的である最大距離を特定すること。
• 最小距離の2倍までではなく、すべての距離に適用可能な再帰的マッチャー・コードの重み分布に対する累積的バウンドを提供すること。
• 導関数の構造的性質と近似を用いて、受信語の与えられた距離内にあるコード語の数を制限する手法を開発すること。

提案手法

• コード語 $ p $ と受信語 $ f $ に対して関数 $ g = p - f $ を導出し、その導関数を用いて $ g $ の低複雑度近似 $ F $ を構築する。
• 確率的技法を用いて、$ \ell = O(d/\epsilon^2) $ 個の導関数を選択し、$ F $ が $ g $ を誤差 $ \delta = 2^{-(d+2)} $ 以内で近似する確率を高く保つ。
• 係数の符号に基づく丸め処理を用いて、実数値近似を離散関数 $ F $ に変換し、近似品質を $ 3/4 $ 以内に保つ。
• 可能な導関数多項式と係数の組み合わせの数を数えることで、このような関数 $ F $ の数を制限する。
• 各 $ p $ が $ f $ に近いならば $ F + f $ に近くなること、かつ各 $ F $ に対しては高々1つの $ p $ のみが存在できることを活用し、総リストサイズを制限する。
• 次数 $ d $ の多項式とその $ k $ 階導関数の構造を用いて、異なる近似関数の数を制御する。

実験結果

リサーチクエスチョン

• RQ1 最小距離を超える距離における再帰的マッチャー・コードのリストデコードサイズの漸近的成長は何か？
• RQ2 距離 $ \alpha $ に対してリストサイズ $ L(\alpha) $ が $ 2^{O(n)} $ に抑えられるのはどの程度か。指数的成長の閾値は何か？
• RQ3 コード語の構造的性質を用いて、最小距離の2倍を超える距離についても再帰的マッチャー・コードの重み分布を制限できるか？
• RQ4 導関数に基づく近似技法を用いて、受信語から与えられた距離内にあるコード語の数をどのように制限できるか？
• RQ5 距離パラメータ $ \alpha $、次数 $ d $、およびそれによるリストサイズの間のトレードオフは何か？

主な発見

• 距離 $ 2^{-k} - \epsilon $ における $ RM(n,d) $ のリストデコードサイズは、$ 1 \leq k \leq d-1 $ に対して $ 2^{O(n^{d-k}/\epsilon^2)} $ に抑えられ、$ n $ に依存しない定数を含む。
• 定数 $ d $ の場合、リストサイズは距離 $ 2^{-k} - \epsilon $ まで多項式的であり、$ 2^{O(n^{d-k}/\epsilon^2)} $ に成長する。これは、成長行動における明確な閾値を示している。
• このバウンドは最小距離 $ 2^{-d} $ を超えて拡張されており、$ L(\alpha) = 2^{O(n)} $ となる最大の $ \alpha $ に関する未解決問題を解決する。
• この手法は、導関数近似と係数丸めを用いる一般フレームワークを提供し、類似構造を持つ他の符号に対しても適用可能である。
• 同じ技術により、最小距離の2倍までではなく、すべての距離に対して再帰的マッチャー・コードの重み分布に対する累積的バウンドが得られる。
• この結果は、リストデコードアルゴリズムが最小距離を超えて動作する場合でも、$ 2^n $ とリストサイズの両方に対して多項式時間で実行可能であることを示唆している。これは $ L(\alpha) $ の制御された成長のおかげである。