[論文レビュー] Network Coding for Computing Part I : Cut-Set Bounds

Rathinakumar Appuswamy, Massimo Franceschetti+2 more|arXiv (Cornell University)|Dec 15, 2009

Cooperative Communication and Network Coding被引用数 7

ひとこと要約

本稿は、受信機がソースノードからのメッセージの関数を計算するネットワーク計算フレームワークを導入し、1回のネットワーク利用あたりの関数計算の最大レートとして計算容量を定義する。この容量のmin-cutに基づく上界を確立し、線形関数およびマルチエッジツリー網でそれがタイトであることを証明する一方で、特定の関数およびネットワークでは容量がmin-cutに対して任意に小さくなる可能性があることを示す。

ABSTRACT

The following extit{network computing} problem is considered. Source nodes in a directed acyclic network generate independent messages and a single receiver node computes a target function $f$ of the messages. The objective is to maximize the average number of times $f$ can be computed per network usage, i.e., the ``computing capacity''. The extit{network coding} problem for a single-receiver network is a special case of the network computing problem in which all of the source messages must be reproduced at the receiver. For network coding with a single receiver, routing is known to achieve the capacity by achieving the network extit{min-cut} upper bound. We extend the definition of min-cut to the network computing problem and show that the min-cut is still an upper bound on the maximum achievable rate and is tight for computing (using coding) any target function in multi-edge tree networks and for computing linear target functions in any network. We also study the bound's tightness for different classes of target functions. In particular, we give a lower bound on the computing capacity in terms of the Steiner tree packing number and a different bound for symmetric functions. We also show that for certain networks and target functions, the computing capacity can be less than an arbitrarily small fraction of the min-cut bound.

研究の動機と目的

• 受信機がソースメッセージのターゲット関数を計算する有向非巡回ネットワークにおける計算容量を定義し、分析すること。
• 従来のネットワークコーディングにおけるmin-cutの概念をネットワーク計算問題に拡張し、計算容量の上界としてmin-cutを確立すること。
• 線形関数および対称関数を含む、さまざまなクラスのターゲット関数に対してmin-cut境界のタイトさを調査すること。
• 計算容量がmin-cut境界よりも著しく小さい場合のネットワークおよび関数の条件を同定すること。
• Steiner木パッキングおよび対称性に基づく解析を用いて、計算容量の下界を提供すること。

提案手法

• 受信機がメッセージを再現するのではなく、ソースメッセージの関数を計算するという点で、ネットワークコーディングの一般化としてネットワーク計算問題を定式化すること。
• ネットワーク計算問題に対する一般化されたmin-cutの定義を導入し、それが達成可能な計算レートの上界として機能することを証明すること。
• マルチエッジツリー網におけるmin-cut境界のタイトさを分析し、任意のターゲット関数に対してコーディングが境界に到達できることを示すこと。
• 線形ターゲット関数の場合、任意のネットワークでmin-cut境界がタイトであることを証明し、古典的なルーティング結果を関数計算に拡張すること。
• Steiner木パッキング数を用いて計算容量の下界を導出する。この数値は、関数計算を支援する互いに素な部分ネットワークの最大数を定量化する。
• 対称関数のための対称性に基づく下界を導入し、ネットワークおよび関数に対称構造がある場合に容量が向上することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 ネットワーク計算問題において、min-cut境界は計算容量の有効な上界のまま保たれるか？
• RQ2 どのようなネットワークおよび関数の条件下でmin-cut境界がタイトになるか？
• RQ3 特定の関数およびネットワークトポロジーにおいて、計算容量がmin-cut境界の任意に小さい分数以下にまで小さくなることは可能か？
• RQ4 対称性やSteiner木パッキングといった構造的性質は、計算容量の下界にどのように影響を与えるか？
• RQ5 線形関数は一般のネットワークにおいて、min-cut境界のタイトさをどの程度保っているか？

主な発見

• 任意のターゲット関数に対して、有向非巡回ネットワークにおける計算容量のmin-cut境界は有効な上界である。
• マルチエッジツリー網では、任意のターゲット関数の計算においてmin-cut境界がタイトである。これは、コーディングが理論的最高レートに到達できることを意味する。
• 線形ターゲット関数の場合、任意のネットワークでmin-cut境界がタイトである。これは、古典的なルーティング結果を関数計算に拡張した結果である。
• 特定のネットワークおよびターゲット関数に対しては、計算容量がmin-cut境界の任意に小さい分数未満にまで小さくなる例が存在し、顕著なギャップが生じることを示している。
• Steiner木パッキング数に基づく計算容量の下界が確立され、ネットワーク能力の構造的指標としての役割を果たす。
• 対称関数の場合、対称性に基づく別個の下界が導出され、対称なネットワーク・関数設定では容量推定値の向上が可能である。