[論文レビュー] Upper Bound Scalability on Achievable Rates of Batched Codes for Line Networks

Shenghao Yang, Jie Wang|arXiv (Cornell University)|Jan 12, 2020

Cooperative Communication and Network Coding参考文献 12被引用数 5

ひとこと要約

この論文は、ゼロのゼロエラー容量を持つ有限アルファベット離散時変動なし通信路（DMC）を備えたラインネットワークにおけるバッチコードの達成可能なレートのタイトな上界を確立する。エンドツーエンドの遷移行列をボトルネック部と有界部に分解することで解析を行い、バッチコードに関して、バッファサイズが一定の場合、ネットワーク長Lに指数的にスケーリングするレートが達成可能であり、バッファサイズがln ln Lに比例して増加する場合、1/ln Lにスケーリングすることを示した。これは既知の達成可能性結果と一致し、これらのパrameterセットにおける容量スケーラビリティのギャップを閉じた。

ABSTRACT

The capacity of line networks with buffer size constraints is an open, but practically important problem. In this paper, the upper bound on the achievable rate of a class of codes, called batched codes, is studied for line networks. Batched codes enable a range of buffer size constraints, and are general enough to include special coding schemes studied in the literature for line networks. Existing works have characterized the achievable rates of batched codes for several classes of parameter sets, but leave the cut-set bound as the best existing general upper bound. In this paper, we provide upper bounds on the achievable rates of batched codes as functions of line network length for these parameter sets. Our upper bounds are tight in order of the network length compared with the existing achievability results.

研究の動機と目的

• バッファサイズ制約下でのラインネットワークにおけるバッチコードの既存の上界と達成可能性結果のギャップを埋めること。
• 有限アルファベットDMCにゼロのゼロエラー容量を持つ状況下でのバッチコードの達成可能なレートの根本的スケーラビリティを同定すること。
• 主要なパrameter領域において既知の達成可能性結果のオーダーと一致するタイトな上界を提供すること。
• 対称的チャネルに限らない一般のDMC（ゼロのゼロエラー容量を有する）に一般化された解析を実施し、やや弱い技術的条件のもとで行うこと。

提案手法

• ラインネットワークのエンドツーエンド遷移行列を、通信ボトルネックを捉える成分と、独立に有界される成分に分解する。
• ε正規化チャネル下で共通出力記号が正の確率で存在することを活用し、バッチ内全チャネル利用における共通出力記号の確率を確率的議論で上界付ける。
• 最適性を仮定した決定的再符号化関数の再帰的構成を用いて、ホップ間での内部符号の挙動をモデル化する。
• Kホップをスーパーチャネルにグループ化するブロック構造的解析を採用し、入力ペア間の共通出力記号に関するキーレンマを帰納的に適用可能にする。
• εQ > 0 であるチャネルでは、すべての入力に対して高確率で共通出力記号が存在することを活用し、特定の条件下で一様な出力挙動を可能にする。
• 入力とエンドツーエンド出力間の相互情報量の上界を導出し、情報理論的不等式を用いて容量上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 バッファサイズが一定の場合、ラインネットワークにおけるバッチコードの達成可能なレートはネットワーク長Lに指数的にスケーリング可能か？
• RQ2 バッファサイズがO(ln ln L)に比例して増加する場合、達成可能なレートの1/ln Lスケーリングはタイトか、それより良いレートが達成可能か？
• RQ3 ゼロのゼロエラー容量を持つDMC下で、ミニマムカット境界はバッチコードに対してタイトなままか、よりタイトな一般上界を導出可能か？
• RQ4 正規化チャネル（例：BSC、BEC）に限らない一般のDMC（ゼロのゼロエラー容量を有する）に、上界解析を拡張可能か？

主な発見

• 内部ブロック長NがO(1)の場合、達成可能なレートCLはO((1−ε|Qin|N)L)と表され、ネットワーク長Lに指数的に減少する。
• バッチサイズMがO(1)で内部ブロック長NがΘ(ln L)の場合、達成可能なレートCLはO(1/ln L)と表され、既知の達成可能性結果のオーダーと一致する。
• バッチサイズMと内部ブロック長Nが両方ともΩ(ln L)の場合、達成可能なレートCLはO(1)と表され、定数レートスケーリングを示す。
• すべてのリンクでεQℓ ≥ ε > 0を満たす一般のDMCに対して、N = O(1)のときCL = O((1−ε′)L)が成り立ち、M = O(1)かつN = Θ(ln L)のときCL = O(1/ln L)が成り立つ。
• 導出された上界は、既存の達成可能性結果のオーダーと一致し、研究された領域におけるバッチコードのタイトな容量スケーリングを確立する。
• バッファサイズが一定の場合、レートの指数的減少は避けられないことが確認され、バッファサイズがln ln Lに比例して増加する場合、1/ln Lが最良のスケーリングであることが判明した。