[論文レビュー] On Deterministic Linear Network Coded Broadcast and Its Relation to Matroid Theory

Mingchao Yu, Parastoo Sadeghi+1 more|arXiv (Cornell University)|Jun 23, 2014

Cooperative Communication and Network Coding参考文献 19被引用数 3

ひとこと要約

本稿は、決定的線形ネットワーク符号化（DLNC）ブロードキャスト解法と行列マトロイドの間の直接的な同等性を確立し、マトロイド理論を用いて最適なDLNC方式の解析と設計が可能になる。本稿では、グラフ的マトロイドに基づくヒューリスティックなアルゴリズムを提案し、任意の有限体上で近似的に最適なDLNC解法を効率的に得る。特に中程度の体サイズおよび受信者数において、理論的下界に非常に近い送信回数を達成する。

ABSTRACT

Deterministic linear network coding (DLNC) is an important family of network coding techniques for wireless packet broadcast. In this paper, we show that DLNC is strongly related to and can be effectively studied using matroid theory without bridging index coding. We prove the equivalence between the DLNC solution and matrix matroid. We use this equivalence to study the performance limits of DLNC in terms of the number of transmissions and its dependence on the finite field size. Specifically, we derive the sufficient and necessary condition for the existence of perfect DLNC solutions and prove that such solutions may not exist over certain finite fields. We then show that identifying perfect solutions over any finite field is still an open problem in general. To fill this gap, we develop a heuristic algorithm which employs graphic matroids to find perfect DLNC solutions over any finite field. Numerical results show that its performance in terms of minimum number of transmissions is close to the lower bound, and is better than random linear network coding when the field size is not so large.

研究の動機と目的

• 決定的線形ネットワーク符号化（DLNC）とマトロイド理論の間の直接的な理論的関係を確立し、インデックス符号化経由の間接的接続を回避すること。
• DLNCに必要な最小送信回数とその有限体サイズ依存性を特定すること。
• 任意の有限体上で近似的に最適なDLNC解法を生成する効率的なアルゴリズムを開発すること。
• 完全なDLNC解法の存在と実現可能性に関する根本的な問いに答えること。
• 特に小さな体サイズにおいて、ランダム線形ネットワーク符号化（RLNC）よりも送信効率と復号遅延の点で優れるようにすること。

提案手法

• DLNC解法と行列マトロイドの同等性を証明し、有効なDLNC解法が有限体上での表現可能な行列マトロイドに対応することを示すこと。
• マトロイドの表現可能性の概念を用いて、完全なDLNC解法（理論的下限に達する解法）の存在に必要な十分条件と必要十分条件を導出すること。
• 受信インスタンスからグラフ的マトロイドを構築するヒューリスティックなアルゴリズムを提案し、送信回数を最小化するように頂点およびエッジの割り当てを最適化すること。
• 初期の非符号化送信フェーズの後、体系的フィードバック行列（SFM）にアルゴリズムを適用してU×K符号化行列Cを生成すること。
• 符号化行列Cのランクと受信インスタンスの最大重みw_maxを用いて解法の品質を評価し、U = w_maxが完全解を示すことを確認すること。
• シミュレーションを通じて、F₂およびF₈上での本稿のアルゴリズムとランダム線形ネットワーク符号化（RLNC）を比較し、平均U、U = w_maxの頻度、U ≤ w_max + 1の頻度を測定すること。

実験結果

リサーチクエスチョン

• RQ1 無線ブロードキャスト環境下で完全なDLNC解法に必要な最小送信回数は何か？
• RQ2 この最小回数は有限体サイズの選択にどのように依存するか？
• RQ3 与えられた有限体上での完全なDLNC解法が存在する条件は何か？
• RQ4 任意の有限体上で近似的に最適なDLNC解法を生成する体系的アルゴリズムを設計できるか？
• RQ5 本稿のアルゴリズムの性能は、送信回数と体サイズ効率の点で、ランダム線形ネットワーク符号化（RLNC）と比べてどうなるか？

主な発見

• i.i.d. エラージャーチャネル、K=15、Pe=0.2の条件下で、シミュレーションケースの85％以上で本稿のアルゴリズムが完全なDLNC解法（U = w_max）を達成した。
• ほぼすべてのケースでU ≤ w_max + 1の解法が得られ、理論的下限に非常に近い性能を示した。
• 全テストされた受信者数（N ∈ [5,40]）において、本稿のアルゴリズムによる平均送信回数Uは、下限w_maxに比べて無視できるほど小さい。
• F₂上でのRLNCよりも本稿のアルゴリズムは送信効率が優れており、RLNCがより大きな体（F₈）を使用する場合にのみ性能差が縮小した。
• 受信者数の増加に対しても本稿のアルゴリズムの性能は頑健であり、受信インスタンスWの複雑性上昇に起因するわずかな劣化が見られるにとどまった。
• 完全なDLNC解法の存在はすべての有限体で保証されず、このような解法の特定は一般に未解決の問題のままである。