[論文レビュー] Coding for Errors and Erasures in Random Network Coding

R. Koetter, Frank R. Kschischang|ArXiv.org|Mar 13, 2007

Cooperative Communication and Network Coding参考文献 28被引用数 15

ひとこと要約

本稿は、部分空間距離とグラスマン多様体符号を用いて、ランダム線形ネットワーク符号化における非協和誤り制御フレームワークを提案する。交差部分空間の次元に基づく最小距離デコーダを導入し、Sudan風のリスト-1デコーディングアルゴリズムにより誤りおよび消去訂正を実現する。また、有限体上でのコード境界とリード・ソロモン型の構成法を確立する。

ABSTRACT

The problem of error-control in random linear network coding is considered. A ``noncoherent'' or ``channel oblivious'' model is assumed where neither transmitter nor receiver is assumed to have knowledge of the channel transfer characteristic. Motivated by the property that linear network coding is vector-space preserving, information transmission is modelled as the injection into the network of a basis for a vector space $V$ and the collection by the receiver of a basis for a vector space $U$. A metric on the projective geometry associated with the packet space is introduced, and it is shown that a minimum distance decoder for this metric achieves correct decoding if the dimension of the space $V \cap U$ is sufficiently large. If the dimension of each codeword is restricted to a fixed integer, the code forms a subset of a finite-field Grassmannian, or, equivalently, a subset of the vertices of the corresponding Grassmann graph. Sphere-packing and sphere-covering bounds as well as a generalization of the Singleton bound are provided for such codes. Finally, a Reed-Solomon-like code construction, related to Gabidulin's construction of maximum rank-distance codes, is described and a Sudan-style ``list-1'' minimum distance decoding algorithm is provided.

研究の動機と目的

• 送信側および受信側の両方でネットワークの伝送特性（チャネル状態）を知らなくても、ランダム線形ネットワーク符号化における誤りおよび消去制御を実現すること。
• 情報伝送をベクトル空間 V の基底のインジェクション、受信を受信空間 U の基底の受信としてモデル化すること。
• dim(V ∩ U) が十分に大きい場合に信頼性のあるデコーディングを可能にする、部分空間の射影幾何における距離を定義すること。
• 有限体上のグラスマン多様体における定次元符号に対して、球体パッキング、球体被覆、Singleton型のコード境界を確立すること。
• リード・ソロモン型の符号構成法と、効率的な誤り訂正を実現するSudan風リスト-1デコーディングアルゴリズムを提示すること。

提案手法

• 入力と出力を有限体上のベクトル空間の部分空間として扱う、オペレータチャネルとしてのネットワークモデルを構築する。
• 部分空間の交差次元に基づく距離を導入し、dim(V ∩ U) を用いて誤りおよび消去の検出を可能にする。
• 定次元符号を有限体上のグラスマン多様体の部分集合として定義し、グラスマングラフの頂点に対応させる。
• 符号語から与えられた距離内の部分空間の数をモデル化することで、球体パッキングおよび球体被覆の境界を導出する。
• 二変数線形化多項式の補間を用いて送信部分空間を回復するSudan風デコーディングアルゴリズムを提案する。
• 受信部分空間上で消失する最小重みの二変数線形化多項式を特定する「Interpolate」手続きを用い、その後 RDiv を用いて根を同定することで情報多項式を回復する。

実験結果

リサーチクエスチョン

• RQ1 送信側および受信側がネットワークの伝送特性（伝送関数）を一切知らなくても、ランダム線形ネットワーク符号化において信頼性の高い通信を達成する方法は何か？
• RQ2 非協和ネットワーク符号化の文脈において、誤りおよび消去を同時に捉えるのに適した部分空間上の距離関数は何か？
• RQ3 有限体上のグラスマン多様体における定次元符号に対して、球体パッキング、Singleton型などのコード境界はどのように適用されるか？
• RQ4 リード・ソロモン型の構成法をグラスマン多様体に適応させることで、ネットワーク符号化における効率的な誤り訂正が可能になるか？
• RQ5 このような符号に対して、低複雑性で一意デコーディングが保証され、誤り訂正能力が明確に定義されたデコーディングアルゴリズムは存在するか？

主な発見

• 送信部分空間 V と受信部分空間 U の交差次元が dim(V ∩ U) ≥ ℓ − k + 1 を満たす場合、正しくデコード可能である。ここで ℓ は符号語の次元、k は情報次元を表す。
• 提案された符号構成法はガビドゥリンの最大ランク距離符号と等価であり、与えられた次元および体サイズに対して最適な最小距離を達成する。
• Sudan風リスト-1デコーディングアルゴリズムを提供し、𝔽_{q^m} 上で O((ℓ + m)²) の演算量を要するため、効率的な一意デコーディングが可能である。
• グラスマン多様体符号に対して球体パッキングおよび球体被覆の境界を導出し、与えられた最小距離に対する符号サイズの理論的限界を提供する。
• Singleton型の境界を確立し、定次元符号の最小距離が ℓ − k + 1 以下であることを示し、提案された構成法によって等号が達成可能であることを示す。
• 本手法は [9] におけるオミニスチエントアドバイザー・モデルと同等の漸近的レートを達成するが、確定的訂正能力を有し、チャネル状態フィードバックを必要としない。