[論文レビュー] Deterministic Network Model Revisited: An Algebraic Network Coding Approach

Minji Kim, Elona Erez+2 more|arXiv (Cornell University)|Mar 5, 2011

Cooperative Communication and Network Coding参考文献 14被引用数 6

ひとこと要約

この論文は、Avestimehr-Durresi-Tripathi (ADT) 決定的ネットワークモデルを、KoetterとMédardの代数的ネットワークコーディング枠組み内に埋め込む。min-cut が単一のインcidエンス行列のランクに等しいことを証明し、線形代数を用いた効率的な容量計算とコード構築を可能にし、マルチキャストおよび非マルチキャスト構成を含むさまざまな接続タイプにおいて、ランダム線形ネットワークコーディングが容量に到達することを示す。

ABSTRACT

The capacity of multiuser networks has been a long-standing problem in information theory. Recently, Avestimehr et al. have proposed a deterministic network model to approximate multiuser wireless networks. This model, known as the ADT network model, takes into account the broadcast nature of wireless medium and interference. 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, and show that the min-cut of an ADT network is the rank of this 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, including single unicast/multicast connection and 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 random linear network coding, a randomized distributed algorithm for network code construction, achieves the capacity for the connections listed above. Furthermore, we extend the ADT networks to those with random erasures and cycles (thus, allowing bi-directional links). In addition, we propose an efficient linear code construction for the deterministic wireless multicast relay network model. Avestimehr et al.'s proposed code construction is not guaranteed to be efficient and may potentially involve an infinite block length. Unlike several previous coding schemes, we do not attempt to find flows in the network. Instead, for a layered network, we maintain an invariant where it is required that at each stage of the code construction, certain sets of codewords are linearly independent.

研究の動機と目的

• ADT 決定的ネットワークの分析のための形式的代数的枠組みを確立すること。
• 指数的多数のカットを列挙する必要をなくし、min-cut を単一行列のランクとして特徴付けること。
• マルチキャストを超えて、複数マルチキャスト、分離マルチキャスト、2段階マルチキャストなどの非マルチキャスト接続にも容量特徴付けを拡張すること。
• ADT ネットワークにおけるランダム線形ネットワークコーディングが容量に到達することを証明すること。
• フローに基づく手法を避けて効率的な線形コード構築を設計し、受信ノードの位置を事前に知らなくてもデコード可能であることを保証すること。

提案手法

• ADT ネットワークモデルを Koetter-Médard の代数的ネットワークコーディング枠組み内に形式化すること。
• min-cut が等しい単一のインシデント行列を定義し、指数的多数のカットを最適化する必要をなくすこと。
• 代数的ネットワークコーディングで用いられる多項式の根回避技術を用いて、デコード可能性と符号語の線形独立性を保証すること。
• コード構築中に各ネットワーク層で符号語の線形独立性を保証する不変量を維持すること。
• 不変量を各層にわたって保持するように、レムマ X.5 と X.6 を逐次適用してコーディング係数を再帰的に検証・割り当てる。
• サイクルとランダムエラーを含むネットワークへのモデル拡張を行い、このような条件下でもランダム線形ネットワークコーディングの最適性とロバスト性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 ADT ネットワークの min-cut は、すべての可能なカットを列挙せずに代数的に特徴付けられるか？
• RQ2 代数的ネットワークコーディング枠組みは、ADT ネットワークにおける非マルチキャスト接続の解析をサポートするか？
• RQ3 ランダム線形ネットワークコーディングは、ADT ネットワークにおいて多様な接続タイプに対して容量に到達可能か？
• RQ4 フローに基づく手法を避けて効率的な線形コード構築が可能で、デコード可能性が保証されるか？
• RQ5 サイクルとランダムエラーの導入が、ADT ネットワークにおける線形コーディングの最適性とロバスト性に与える影響はいかなるか？

主な発見

• ADT ネットワークの min-cut は、単一のインシデント行列のランクに等しく、全カット列挙なしに効率的に計算可能である。
• 容量に到達するための必要な体サイズは $ q = n \binom{nN_{\text{layer}}}{R} $ で有界であり、有限かつ実用的なブロック長を保証する。
• ランダム線形ネットワークコーディングは、マルチキャスト、複数マルチキャスト、分離マルチキャスト、2段階マルチキャストを含むすべての検討された接続タイプで容量に到達する。
• 提案されたコード構築の平均計算量は $ O\left(\binom{nN_{\text{layer}}}{R} N_{\text{layer}} n^2 \lambda R\right) $ であり、正規化すると単一受信ノード方式と同等にスケーラブルである。
• 受信ノードの位置を事前に知らずに、層ごとの不変量を維持することで符号語の線形独立性を保証し、デコード可能性を保証する。
• この枠組みはサイクルとランダムエラーを含むネットワークへ拡張可能であり、このような条件下でもランダム線形コーディングは最適かつロバストである。