[論文レビュー] Algebraic Network Coding Approach to Deterministic Wireless Relay Networks

Minji Kim, Muriel Médard|arXiv (Cornell University)|Jan 25, 2010

Cooperative Communication and Network Coding参考文献 7被引用数 9

ひとこと要約

本稿は、決定的無線リレーネットワーク（ADTネットワーク）のための代数的ネットワーク符号化フレームワークを確立し、最小カットがシステム行列 M(D) のランクに等しいことを示し、すべてのカットを列挙せずに効率的な最小カット計算を可能にする。このフレームワークは、単一ユニキャスト/マルチキャストにとどまらず、複数マルチキャスト、非交差マルチキャスト、二段階マルチキャストを含む一般化された接続タイプに対し、最小カット最大フロー定理を拡張し、サイクルを含むADTネットワークおよびランダムエラーが発生する状況においても、ランダム線形ネットワーク符号化が容量に達することを証明する。

ABSTRACT

The deterministic wireless relay network model, introduced by Avestimehr et al., has been proposed for approximating Gaussian relay networks. This model, known as the ADT network model, takes into account the broadcast nature of wireless medium and interference. Avestimehr et al. showed that the Min-cut Max-flow theorem holds in the ADT network. In this paper, we show that the ADT network model can be described within the algebraic network coding framework introduced by Koetter and Medard. We prove that the ADT network problem can be captured by a single matrix, called the "system matrix". We show that the min-cut of an ADT network is the rank of the system matrix; thus, eliminating the need to optimize over exponential number of cuts between two nodes to compute the min-cut of an ADT network. We extend the capacity characterization for ADT networks to a more general set of connections. Our algebraic approach not only provides the Min-cut Max-flow theorem for a single unicast/multicast connection, but also extends to non-multicast connections such as multiple multicast, disjoint multicast, and two-level multicast. We also provide sufficiency conditions for achievability in ADT networks for any general connection set. In addition, we show that the random linear network coding, a randomized distributed algorithm for network code construction, achieves capacity for the connections listed above. Finally, we extend the ADT networks to those with random erasures and cycles (thus, allowing bi-directional links). Note that ADT network was proposed for approximating the wireless networks; however, ADT network is acyclic. Furthermore, ADT network does not model the stochastic nature of the wireless links. With our algebraic framework, we incorporate both cycles as well as random failures into ADT network model.

研究の動機と目的

• KoetterとMédardの代数的ネットワーク符号化フレームワークとADTネットワークモデルとの間の関係を確立すること。
• システム行列 M(D) を用いた代数的定式化により、最小カットを定義し、指数的時間のカット列挙を回避すること。
• 単一ユニキャスト／マルチキャストにとどまらず、複数マルチキャスト、非交差マルチキャスト、二段階マルチキャストを含む一般化された接続タイプに対し、最小カット最大フロー定理を拡張すること。
• サイクルとランダムエラーを含むADTネットワークにおいて、ランダム線形ネットワーク符号化が容量に達することを証明すること。
• ADTモデルをサイクルとランダム障害を含むように一般化しつつ、代数的構造と容量の結果を保持すること。

提案手法

• 有限体上の形式的べき級数の環を用いて、遅延を変数 D で表す伝達関数を用いてADTネットワークを形式化する。
• システム行列 M(D) = A(D)(I - DF)^{-1}B(D)^T を定義し、ここに A(D) は入力符号化、F はエッジの動的特性、B(D) は出力復号化を表す。
• インパulse応答 (I - DF)^{-1} = I + DF + D^2F^2 + ... を用いて遅延を伴う経路をモデル化し、ネットワーク内のサイクル処理を可能にする。
• 有理関数体 F_q(D) を用いて有理数係数の符号化を可能とし、スカラー体演算の一般化を実現する。
• 既存の代数的ネットワーク符号化の定理を活用し、複雑な接続集合の可達性および容量条件を導出する。
• エッジプロセスをDドメインにおける確率過程としてモデル化することで、ランダムエラーを含むネットワークに対しても代数的構造を保持する。

実験結果

リサーチクエスチョン

• RQ1 ADTネットワークモデルは、代数的ネットワーク符号化フレームワークに完全に統合可能か？
• RQ2 ADTネットワークにおける最小カットは、単一のシステム行列 M(D) のランクに等しいか？ これにより、効率的な計算が可能になるか？
• RQ3 最小カット最大フロー定理は、複数マルチキャストや非交差マルチキャストといったマルチキャスト以外の接続タイプに対しても一般化可能か？
• RQ4 サイクルとランダムエラーを含むADTネットワークにおいて、ランダム線形ネットワーク符号化が容量に達するか？
• RQ5 ADTモデルは、サイクルとランダム障害を含むように拡張可能であり、代数的構造と容量の結果を保持するか？

主な発見

• ADTネットワークの最小カットは、システム行列 M(D) のランクに等しく、すべての可能なカットを列挙せずに効率的な計算が可能である。
• システム行列 M(D) = A(D)(I - DF)^{-1}B(D)^T は、遅延とサイクルを含むADTネットワークの入出力挙動を完全に捉えている。
• 代数的可達性条件を用いて、複数マルチキャスト、非交差マルチキャスト、二段階マルチキャストを含む一般化された接続集合に対し、最小カット最大フロー定理が拡張されている。
• サイクルやランダムエラーを含むすべての接続タイプにおいて、ランダム線形ネットワーク符号化がADTネットワークで容量に達することが確認された。
• 代数的フレームワークにより、ランダムエラーとサイクルがADTモデルに組み込まれつつ、線形演算の最適性が保持されている。
• Dにおける有理関数の使用により、遅延および循環経路のモデル化が可能となり、元々の非循環ADTモデルがより現実的なネットワークトポロジーに一般化された。