[論文レビュー] Optimal rate list decoding via derivative codes

Venkatesan Guruswami, Carol Wang|arXiv (Cornell University)|Jun 20, 2011

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

ひとこと要約

この論文は、多項式とその最初の m−1 階の形式的微分を符号化する Reed-Solomon に類似したコード、すなわち導出コードを導入し、コードレート R に対して 1−R に近い最適なリストデコード半径を達成する。デコードは多変数補間と構造化された線形系を用いる線形代数的アプローチであり、誤り率 1−R−ε に対して O(1/ε²) のリストサイズで多項式時間のリストデコードを可能にし、折りたたみ Reed-Solomon コードに比べて、補助情報がある状況でのデコードにおいて優位性を示す。

ABSTRACT

The classical family of $[n,k]_q$ Reed-Solomon codes over a field $\F_q$ consist of the evaluations of polynomials $f \in \F_q[X]$ of degree $< k$ at $n$ distinct field elements. In this work, we consider a closely related family of codes, called (order $m$) {\em derivative codes} and defined over fields of large characteristic, which consist of the evaluations of $f$ as well as its first $m-1$ formal derivatives at $n$ distinct field elements. For large enough $m$, we show that these codes can be list-decoded in polynomial time from an error fraction approaching $1-R$, where $R=k/(nm)$ is the rate of the code. This gives an alternate construction to folded Reed-Solomon codes for achieving the optimal trade-off between rate and list error-correction radius. Our decoding algorithm is linear-algebraic, and involves solving a linear system to interpolate a multivariate polynomial, and then solving another structured linear system to retrieve the list of candidate polynomials $f$. The algorithm for derivative codes offers some advantages compared to a similar one for folded Reed-Solomon codes in terms of efficient unique decoding in the presence of side information.

研究の動機と目的

• レート R とリストデコード半径の間で理論的限界である 1−R に近い最適なトレードオフを達成するコードの族を構築すること。
• 最大で 1−R−ε の誤りを訂正できる、構成的で多項式時間のリストデコードアルゴリズムを提供すること。
• 補助情報が利用可能な場合に、より効率的な一意デコードを可能にする点で、折りたたみ Reed-Solomon コードを改善すること。
• リストサイズを指数的から s（例：O(1/ε²)）の多項式に削減しながら、最適な誤り訂正半径を維持すること。

提案手法

• （次数 m の）導出コードを、大特徴値体上の n 個の異なる体元において、多項式 f 及びその最初の m−1 階の形式的微分の評価として定義する。
• 受信点において所定の重複度で消える候補補間多項式を構築するために、多変数多項式補間を用いる。
• 候補メッセージ多項式 f の係数を復元するための構造化された線形系を定式化する。
• 拡張体を避ける線形代数的デコードフレームワークを適用し、2次時間のデコード複雑度を実現する。
• 補助情報（例：ランダムな点 α における f とその微分の値）を活用して、リスト全体を計算せずとも f を一意に特定できる。
• 部分空間に反発する集合を用いて、メッセージ空間を低密度部分集合に制限することで、リストサイズを O(q^s) から O(s/ε) に削減する。

実験結果

リサーチクエスチョン

• RQ1 導出コードは、任意の ε>0 に対して理論的限界である 1−R に近い最適なリストデコード半径 1−R−ε を達成できるか？
• RQ2 以前の折りたたみ RS の構成と同様に、拡張体における根の探索を避ける多項式時間のデコードアルゴリズムが存在するか？
• RQ3 補助情報（例：ランダムな点における微分値）を用いることで、大きなリストを計算・選別する必要なく、高い確率で一意デコードが可能になるか？
• RQ4 コード構成において部分空間に反発する集合を用いる際の、レート損失とリストサイズ削減のトレードオフは何か？
• RQ5 近似的に最適な誤り訂正を達成しつつも、デコード複雑度を 2 次時間に保てるか？

主な発見

• 導出コードは、任意の ε>0 に対して 1−R に近いリストデコード半径を達成し、レートと誤り訂正の間で最適なトレードオフを実現する。
• 提案されたデコードアルゴリズムは 2 次時間で実行され、以前の折りたたみ RS デコード手法とは異なり拡張体を避ける。
• f(α), f′(α), ..., f^(s−1)(α) のような補助情報（α をランダムに選択）がある場合、確率が 1−nm/(sq) 以上で一意デコードが可能であり、q が大きくなるにつれて 1 に近づく。
• メッセージを q^(1−ζ)k のサイズの部分空間に反発する集合に制限することで、リストサイズは O(q^s) から O(s/ε) に削減され、ε>0 の場合に O(1/ε²) のリストサイズを達成する。
• α によるシフトの後に線形系を解くことで、f を一意に回復する。これにより、高価なリスト計算ステップを回避できる。
• 構成は確率的（モンテカルロ）であるが、高い確率でリストデコードの保証を満たし、非構成的ランダム符号の実用的代替手段を提供する。