[論文レビュー] List decoding Reed-Muller codes over small fields

Abhishek Bhowmick, Shachar Lovett|arXiv (Cornell University)|Jul 13, 2014

Coding theory and cryptography参考文献 20被引用数 3

ひとこと要約

この論文は、固定された素数体上のReed-Muller符号のリストデコード半径が最小距離に等しいことを証明することで、長年の予想を解決した。これは、半径 δ(d)−ε 以内のコドワードの数が n に依存しない定数で抑えられることを示している。証明は、高階フーリエ解析、一般化されたシュワーツ・ツィッペル補題、および関数空間へのFrieze-Kannan正則性補題の拡張に依拠している。

ABSTRACT

The list decoding problem for a code asks for the maximal radius up to which any ball of that radius contains only a constant number of codewords. The list decoding radius is not well understood even for well studied codes, like Reed-Solomon or Reed-Muller codes. Fix a finite field $\mathbb{F}$. The Reed-Muller code $\mathrm{RM}_{\mathbb{F}}(n,d)$ is defined by $n$-variate degree-$d$ polynomials over $\mathbb{F}$. In this work, we study the list decoding radius of Reed-Muller codes over a constant prime field $\mathbb{F}=\mathbb{F}_p$, constant degree $d$ and large $n$. We show that the list decoding radius is equal to the minimal distance of the code. That is, if we denote by $δ(d)$ the normalized minimal distance of $\mathrm{RM}_{\mathbb{F}}(n,d)$, then the number of codewords in any ball of radius $δ(d)-\varepsilon$ is bounded by $c=c(p,d,\varepsilon)$ independent of $n$. This resolves a conjecture of Gopalan-Klivans-Zuckerman [STOC 2008], who among other results proved it in the special case of $\mathbb{F}=\mathbb{F}_2$; and extends the work of Gopalan [FOCS 2010] who proved the conjecture in the case of $d=2$. We also analyse the number of codewords in balls of radius exceeding the minimal distance of the code. For $e \leq d$, we show that the number of codewords of $\mathrm{RM}_{\mathbb{F}}(n,d)$ in a ball of radius $δ(e) - \varepsilon$ is bounded by $\exp(c \cdot n^{d-e})$, where $c=c(p,d,\varepsilon)$ is independent of $n$. The dependence on $n$ is tight. This extends the work of Kaufman-Lovett-Porat [IEEE Inf. Theory 2012] who proved similar bounds over $\mathbb{F}_2$. The proof relies on several new ingredients: an extension of the Frieze-Kannan weak regularity to general function spaces, higher-order Fourier analysis, and an extension of the Schwartz-Zippel lemma to compositions of polynomials.

研究の動機と目的

• 固定された素数体上のReed-Muller符号のリストデコード半径が最小距離に等しいという予想を解決すること。
• F₂ や Fₚ における低次の多項式のリストデコードに関する既存の結果を、任意の固定された素数体および次数に拡張すること。
• 最小距離を超過する半径内のコドワードの数を、n と次数の差の観点から厳密に評価すること。
• 高階フーリエ解析フレームワークや多項式合成における一般化されたシュワーツ・ツィッペル補題を含む、新たな解析的ツールを開発すること。
• 非素数体へのリストデコード結果の拡張の基盤を築き、欠落している理論的要素を特定すること。

提案手法

• 有限体上の一般関数空間へFrieze-Kannan弱正則性補題を拡張し、低次の多項式関数の分解を可能にする。
• 高階フーリエ解析を用いて、低次の多項式の構造および受信語との一致度を分析する。
• 多項式合成の根の数を制御する上で不可欠な、一般化されたシュワーツ・ツィッペル補題を導入する。
• 補助変数上の多変数形式への多項式の再帰的分解を用いて、問題を低次の成分に還元する。
• 統計的距離の議論を用いて、関数とコドワードとの一致度を、その構造的成分との一致度に関連付ける。
• これらのツールを統合し、任意の受信語から与えられた距離内の低次の多項式の数を抑え、最小距離まで定数リストサイズが達成されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 固定された素数体上のReed-Muller符号のリストデコード半径は、最小距離に等しいか？
• RQ2 任意の e ≤ d および ε > 0 に対して、任意の受信語から距離 δ(e)−ε 以内にある次数 d の多項式の数は、exp(c·n^{d−e}) で抑えられるか？（c は定数）
• RQ3 低次の多項式のどのような構造的性質が、ジョンソン半径を超えるリストサイズの厳密な境界を可能にするか？
• RQ4 高階フーリエ解析を任意の有限体上の関数空間へ拡張することで、このような境界を得られるか？
• RQ5 非素数体への拡張を試みる際、現在の技術的限界は何か？

主な発見

• F_p 上の RM_F(n,d) のリストデコード半径は、最小距離 δ(d) に等しく、Gopalan-Klivans-Zuckerman による素数体に関する予想を解決した。
• 任意の e ≤ d および ε > 0 に対して、任意の受信語から距離 δ(e)−ε 以内にある次数 d の多項式の数は、定数 c = c(p,d,ε) を用いて exp(c·n^{d−e}) で抑えられ、n への依存はタイトである。
• e = d のとき、リストサイズの上限が定数となることが確認され、すべての固定された素数体および次数において、最小距離までリストデコードが可能であることが裏付けられた。
• 多項式合成に適用可能な、新しい一般化されたシュワーツ・ツィッペル補題を導入し、一致集合の制御を可能にした。
• 一般関数空間へのFrieze-Kannan正則性補題の新規拡張を構築し、多項式関数を構造的成分に分解するために用いた。
• 解析により、半径が δ(e)−ε を超過する場合、リストサイズは n^{d−e} に対して指数的に増加し、与えられたパrameter に対してその増加率はタイトであることが示された。