[論文レビュー] Network Codes with Overlapping Chunks over Line Networks: A Case for Linear-Time Codes

Anoosheh Heidarzadeh, Amir H. Banihashemi|arXiv (Cornell University)|May 28, 2011

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

ひとこと要約

本稿では、線形ネットワークにおける重複部分集合符号（OCC）を提案し、従来の部分集合符号（CC）と比較して、計算効率と収束速度の両立を実現する線形時間ネットワーク符号化を可能にする。重複部分集合を許容することで、OCCは計算効率と誤り率の間でより優れたトレードオフを達成し、小規模で固定サイズの部分集合を用いたCCを上回る性能を示すが、任意スケジューリング下でも容量に近い性能を維持する。

ABSTRACT

In this paper, the problem of designing network codes that are both communicationally and computationally efficient over packet line networks with worst-case schedules is considered. In this context, random linear network codes (dense codes) are asymptotically capacity-achieving, but require highly complex coding operations. To reduce the coding complexity, Maymounkov et al. proposed chunked codes (CC). Chunked codes operate by splitting the message into non-overlapping chunks and send a randomly chosen chunk at each transmission time by a dense code. The complexity, that is linear in the chunk size, is thus reduced compared to dense codes. In this paper, the existing analysis of CC is revised, and tighter bounds on the performance of CC are derived. As a result, we prove that (i) CC with sufficiently large chunks are asymptotically capacity-achieving, but with a slower speed of convergence compared to dense codes; and (ii) CC with relatively smaller chunks approach the capacity with an arbitrarily small but non-zero constant gap. To improve the speed of convergence of CC, while maintaining their advantage in reducing the computational complexity, we propose and analyze a new CC scheme with overlapping chunks, referred to as overlapped chunked codes (OCC). We prove that for smaller chunks, which are advantageous due to lower computational complexity, OCC with larger overlaps provide a better tradeoff between the speed of convergence and the message or packet error rate. This implies that for smaller chunks, and with the same computational complexity, OCC outperform CC in terms of the speed of approaching the capacity for sufficiently small target error rate. In fact, we design linear-time OCC with very small chunks (constant in the message size) that are both computationally and communicationally efficient, and that outperform linear-time CC.

研究の動機と目的

• 任意スケジュール下での線形ネットワークにおけるネットワーク符号化において、計算複雑性と収束速度のトレードオフを解消すること。
• 計算量が低減されているものの、収束が遅い既存の部分集合符号（CC）を改善すること。
• 特に小さなメッセージサイズにおいて、低計算コストを維持しつつ、容量に迅速に近づく新しい符号化方式を設計すること。
• 最悪スケジューリング下で、漸近的および有限長解析を用いてOCCの性能を厳密に分析すること。

提案手法

• メッセージを非重複ではなく重複する部分集合に分割する重複部分集合符号（OCC）を提案する。
• 各重複部分集合に対してランダム線形ネットワーク符号化を適用し、各部分集合の符号化複雑度を低減する。
• Jansonの不等式および集中不等式を用いて、ブロックの復号可能性確率と誤り率を分析する。
• 従属する指標変数の分数カバーを用いて、復元不能なブロックの割合の上限を導出する。
• ネットワークを1入力1出力の最悪スケジューリングを持つ線形構造としてモデル化し、負に相関するハイパーチャンク近傍における性能を分析する。
• 有限長シミュレーションを用いて理論的結果の妥当性を検証し、漸近的解析と整合性を持つ。

実験結果

リサーチクエスチョン

• RQ1 重複部分集合を有する部分集合符号は、従来の非重複部分集合符号と比較して、同じ誤り率下で容量への収束をより速く達成できるか。
• RQ2 OCCと高密度符号との間の誤り率および収束速度の性能ギャップは何か。
• RQ3 重複パラメータがOCCにおける計算コストと誤り率のトレードオフに与える影響は何か。
• RQ4 固定サイズの部分集合を有するOCCは線形時間複雑度を達成しつつ、既存の線形時間符号を上回る性能を示せるか。
• RQ5 任意スケジュール下で、OCCにおける復元不能なメッセージパケットの割合のタイトな上限は何か。

主な発見

• 十分に大きな重複度を有するOCCは、漸近的にネットワーク容量に達するが、同じ誤り率下ではCCより収束が遅い。
• より小さな部分集合では、より大きな重複度を有するOCCがCCよりも容量に迅速に収束する。特に、目標誤り率が小さい場合に顕著である。
• 固定サイズの部分集合（メッセージ長に比例する）を有するOCCは、線形時間の符号化・復号複雑度を達成しつつ、既存の線形時間CC方式を上回る性能を示す。
• OCCにおける復元不能なメッセージパケットの割合は、上界ηのまわりにきわめて集中しており、その値から逸脱する確率はe−eckで抑えられる。ここでc = O(λ/α)である。
• 有限長シミュレーションにより理論的結果が妥当であることが確認され、OCCは小規模で重複する部分集合を用いることで、CCと比較して誤り率を著しく低減し、収束速度を向上させる。
• 解析により、重複パラメータτおよび開口サイズα = Ω((l³/λ³)τ ln((l/λǫ)τ))を有するOCCは、任意スケジュール下で高い信頼性を高確率で達成できることを証明した。