[論文レビュー] A Combinatorial Study of Linear Deterministic Relay Networks

S. M. Sadegh Tabatabaei Yazdi, Serap A. Savari|ArXiv.org|Apr 15, 2009

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

ひとこと要約

本稿では、組合せ最適化を用いて、線形決定的リレーネットワークにおける最大フロー／最小カット容量を達成する決定的で多項式時間のアルゴリズムを提示する。ポリマトリド交差と準単調関数の最小化を活用することで、単一ブロック信号入力を用いた容量を達成する送信方式を確立し、2層ネットワークにおけるRado–Hallの横断定理をブロック行列へ一般化するとともに、多層ネットワークへはポリマトリド上の線形計画法により拡張する。

ABSTRACT

In the last few years the so--called "linear deterministic" model of relay channels has gained popularity as a means of studying the flow of information over wireless communication networks, and this approach generalizes the model of wireline networks which is standard in network optimization. There is recent work extending the celebrated max--flow/min--cut theorem to the capacity of a unicast session over a linear deterministic relay network which is modeled by a layered directed graph. This result was first proved by a random coding scheme over large blocks of transmitted signals. We demonstrate the same result with a simple, deterministic, polynomial--time algorithm which takes as input a single transmitted signal instead of a long block of signals. Our capacity-achieving transmission scheme for a two--layer network requires the extension of a one--dimensional Rado--Hall transversal theorem on the independent subsets of rows of a row--partitioned matrix into a two--dimensional variation for block matrices. To generalize our approach to larger networks we use the submodularity of the capacity of a cut for our model and show that our complete transmission scheme can be obtained by solving a linear program over the intersection of two polymatroids. We prove that our transmission scheme can achieve the max-flow/min-cut capacity by applying a theorem of Edmonds about such linear programs. We use standard submodular function minimization techniques as part of our polynomial--time algorithm to construct our capacity-achieving transmission scheme.

研究の動機と目的

• 長大な信号ブロックにおける確率的符号化に依存せずに、線形決定的リレーネットワークにおけるユニキャストセッションの容量を達成する決定的で効率的なアルゴリズムを提供すること。
• 2層ネットワークにおける2次元的ブロック行列へのRado–Hallの横断定理の一般化を図り、容量を達成する送信方式を可能にすること。
• 2つのポリマトリドの交差上での線形計画法として問題をモデル化することにより、多層ネットワークへのアプローチを拡張すること。
• エンドムズのポリマトリド交差定理を用いて、提案された方式が理論的最適な最大フロー／最小カット容量に達することを証明すること。
• 準単調関数の最小化が、容量を達成する送信方式を構築する多項式時間アルゴリズムのコアサブルーチンとして使用可能であることを示すこと。

提案手法

• 著者らは、有限体上の線形変換によって信号伝送が制御される、層をもつ有向グラフとしてリレーネットワークをモデル化する。
• 2層ネットワークの場合、独立な行部分集合に関する1次元のRado–Hall定理を、ブロック行列のための2次元版に拡張することで、容量を達成するためのランク条件を満たす。
• 多層ネットワークの場合、カットの容量を準単調関数として定義し、送信方式を2つのポリマトリドの交差上での線形計画法としてモデル化する。
• エンドムズのポリマトリド交差定理を適用して、最適解が最大フロー／最小カット容量に達することを証明する。
• アルゴリズムは、標準的な準単調関数の最小化技術を用いて、多項式時間で送信方式を構築する。
• 長大なブロック符号に依存せず、単一の送信信号ブロック上で動作するため、決定的かつ効率的な実装が可能となる。

実験結果

リサーチクエスチョン

• RQ1 長大なブロック符号に依存せずに、決定的で多項式時間のアルゴリズムが線形決定的リレーネットワークにおける最大フロー／最小カット容量を達成できるか？
• RQ2 リレーネットワーク容量の文脈において、1次元行列から2次元的ブロック行列へのRado–Hallの横断定理の一般化はどのように可能か？
• RQ3 多層ネットワークにおける容量を達成する送信方式の構築において、ポリマトリド交差と準単調関数の最小化は果たす役割は何か？
• RQ4 線形決定的ネットワークにおけるカットの容量は、その下位のグラフ構造および伝送行列の構造とどのように関係するか？
• RQ5 確率的符号化ではなく、組合せ最適化を用いて、線形決定的リレーネットワークにおける最大フロー／最小カット定理を証明できるか？

主な発見

• 提案されたアルゴリズムは、長大なブロック符号に依存せず、単一の送信信号ブロックを用いることで、線形決定的リレーネットワークにおける最大フロー／最小カット容量を達成する。
• 2層ネットワークの容量を達成する送信方式は、ブロック行列に対するRado–Hallの横断定理の新規な2次元的拡張によって確立される。
• 多層ネットワークでは、2つのポリマトリドの交差上での線形計画法を解くことで、容量を達成する送信方式が構築され、理論的容量に達することが証明されている。
• アルゴリズムは多項式時間で実行され、準単調関数の最小化が主要なサブルーチンとして用いられる。
• 容量最適性の証明はエンドムズのポリマトリド交差定理に基づき、最大フロー／最小カット結果に対する組合せ的根拠が提供される。
• このフレームワークは、確率的議論ではなく、決定的で構成的な手法を用いて、線形決定的リレーネットワークにおける最大フロー／最小カット定理を一般化する。