[論文レビュー] Efficient erasure decoding of Reed-Solomon codes

Frédéric Didier|ArXiv.org|Jan 14, 2009

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

ひとこと要約

本稿では、二進拡張体 $\mathbf{F}_{2^m}$ 上のリード・ソロモン符号の実用的で高速な消去デコードアルゴリズムを提示する。複雑な多項式演算の代わりにウォルシュ変換を用いることで、$O(q\log_2^2 q)$ の時間計算量を達成する。この方法により、小さな定数係数で効率的な符号化・デコードが可能となり、理論的には高速だが実用的でない代替手法を上回る。特に $q \geq 2^{10}$ のような大きな体に対して顕著な効果を示す。アルゴリズムはラグランジュ補間とベクトル化されたウォルシュ変換を活用し、すべての体の点において多項式を効率的に評価する。

ABSTRACT

We present a practical algorithm to decode erasures of Reed-Solomon codes over the q elements binary field in O(q \log_2^2 q) time where the constant implied by the O-notation is very small. Asymptotically fast algorithms based on fast polynomial arithmetic were already known, but even if their complexity is similar, they are mostly impractical. By comparison our algorithm uses only a few Walsh transforms and has been easily implemented.

研究の動機と目的

• 既存の理論的には高速な方法が実世界での使用に不適切であるため、$\mathbf{F}_{2^m}$ 上のリード・ソロモン符号における消去デコードの実用的で効率的なアルゴリズムの開発を目的とする。
• 計算量の下限である $O(k^3)$ のガウスの消去法の境界を下回りつつ、実用的な性能を維持するための小さな定数係数を実現する。
• 体 $\mathbf{F}_{2^m}$ の構造とラグランジュ補間を活用することで、長大なリード・ソロモン符号の効率的な符号化・デコードを可能にする。
• ウォルシュ変換が離散フーリエ変換の代わりに多項式評価タスクに使用可能であることを示し、より高速で簡素な実装を可能にする。

提案手法

• アルゴリズムは、体 $\mathbf{F}_{2^m}$ の再帰的分解を用いて、$k$ 個の受信点におけるラグランジュ係数 $\mathbf{c}_\mathbf{u}$ を $O(q\log_2 q)$ 時間で計算する。
• 体の二進表現に基づくベクトル化されたウォルシュ変換を用いて、すべての $q$ 個の体の点においてラグランジュ補間式を評価し、明示的な多項式係数の計算を回避する。
• 体の要素を $\mathbf{F}_2$-ベクトル成分に分解し、これらの成分から導かれるブール関数に高速ウォルシュ変換を適用することで、多項式値を効率的に計算する。
• ウォルシュ変換の線形性およびパリティ性を活用し、$O(q\log_2^2 q)$ 時間、$O(q\log_2 q)$ のメモリで最終的な多項式値を計算可能。$O(q)$ のメモリでは $O(q\log_2^3 q)$ 時間となる。
• システム的記号の少数が欠落している場合、$O(q\log_2 q)$ 操作に加え、1記号あたり $O(k)$ の計算量でデコード可能であり、部分的欠失の効率的回復が可能。
• 実装では体系的符号化戦略を採用：最初の $k$ 記号を設定し、残りのパリティ記号はデコードアルゴリズムで計算することで、符号化も効率的に行える。

実験結果

リサーチクエスチョン

• RQ1 理論的計算量が近似的に最適であり、小さな定数係数を有する実用的アルゴリズムを設計可能か？
• RQ2 リード・ソロモン符号の多項式評価タスクにおいて、離散フーリエ変換をウォルシュ変換に置き換えることは可能か？ これにより実装が簡素化され、性能が向上するか？
• RQ3 実世界の環境において、ウォルシュ変換ベースのアルゴリズムは、古典的な $O(k^2)$ 法と理論的高速法の $O(n\log^2 n)$ 法と比較して、どのように性能を発揮するか？
• RQ4 体のサイズ $q = 2^m$ が、消去デコードアルゴリズムの実用性と効率性に与える影響は何か？

主な発見

• 本アルゴリズムは、$\mathbf{F}_{2^m}$ 上での完全な消去デコードにおいて $O(q\log_2^2 q)$ 時間計算量を達成し、非常に小さな定数係数を有するため、大規模な体に対して実用的である。
• 1.86GHz のインテル コア 2 プロセッサ上で、$\mathbf{F}_{2^{16}}$ 上のリード・ソロモン符号は 1 秒未塔、$\mathbf{F}_{2^{20}}$ 上では数秒でデコード可能である。
• わずか数個のウォルシュ変換と、500 行未満の C 言語実装で十分であり、従来の理論的高速アルゴリズムに比べて大幅に簡素化されている。
• 少数のシステム的記号が欠落している場合、$O(q\log_2 q)$ 時間に加え、1 記号あたり $O(k)$ の操作でデコード可能であり、部分的回復が効率的に行える。
• 本アルゴリズムは符号化・デコードの両方で適用可能である。体系的符号化は、最初の $k$ 記号を設定し、残りを消去デコードで計算することで実現される。
• 本手法は任意の体に一般化可能であるが、二進体を超えた領域へのウォルシュ変換技術の拡張は非自明であり、実用的なアルゴリズムを得るのは困難であると予想される。