[論文レビュー] Multilevel Diversity Coding Systems: Rate Regions, Codes, Computation, & Forbidden Minors

Congduan Li, Steven Weber+1 more|arXiv (Cornell University)|Jul 21, 2014

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

ひとこと要約

この論文は、有限体上の線形符号に基づくシャノン外部境界と多面体内部境界を用いて、7,360個の同型でない多段階多様性符号化システム（MDCS）のレート領域を調査する。境界が一致したことで、数千のインスタンスについて正確なレート領域を証明し、人間が読みやすい逆方向の証明をコンピュータ支援で生成し、スカラーバイナリ符号が不十分となる12の禁止部分構造（Forbidden minor）MDCSインスタンスを同定。これにより、埋め込み操作を用いた一般化が可能になった。

ABSTRACT

The rate regions of multilevel diversity coding systems (MDCS), a sub-class of the broader family of multi-source multi-sink networks with special structure, are investigated. After showing how to enumerate all non-isomorphic MDCS instances of a given size, the Shannon outer bound and several achievable inner bounds based on linear codes are given for the rate region of each non-isomorphic instance. For thousands of MDCS instances, the bounds match, and hence exact rate regions are proven. Results gained from these computations are summarized in key statistics involving aspects such as the sufficiency of scalar binary codes, the necessary size of vector binary codes, etc. Also, it is shown how to generate computer aided human readable converse proofs, as well as how to construct the codes for an achievability proof. Based on this large repository of rate regions, a series of results about general MDCS cases that they inspired are introduced and proved. In particular, a series of embedding operations that preserve the property of sufficiency of scalar or vector codes are presented. The utility of these operations is demonstrated by boiling the thousands of MDCS instances for which binary scalar codes are insufficient down to 12 forbidden smallest embedded MDCS instances.

研究の動機と目的

• 多段階多様性符号化システム（MDCS）の正確なレート領域を特定すること。MDCSは、階層的な復元優先順位を持つマルチソース・マルチシンクネットワークのクラスである。
• 有限体上のスカラーやベクトル線形符号が、MDCSインスタンスの容量領域を達成するために十分であるかどうかを特定すること。
• シャノン型不等式を用いて、コンピュータ支援で人間が読みやすい逆方向証明を自動生成する手法を開発すること。
• 特定の符号クラスの使用を妨げる最小構造である「禁止部分構造（forbidden minors）」としてのMDCSの最小構成を同定し、埋め込み操作による一般化を可能にすること。
• マトロイドに基づく内部境界とシャノン外部境界を結ぶ計算フレームワークを構築し、構造的ネットワーク符号化問題における正確なレート領域の決定を可能にすること。

提案手法

• 組合せ的分類を用いて、与えられたサイズの同型でないMDCSインスタンスを全列挙した。
• シャノン外部境界と複数の多面体内部境界（バイナリ／三値／表現可能マトロイド、スーパーポジション）を適用して、レート領域を境界付けた。
• 最適化を用いて、人間が読みやすい逆方向証明に必要な最小のシャノン型不等式集合を計算した。
• MDCSに縮約、削除、統合の操作を導入し、符号の十分性の性質を保存し、禁止部分構造を同定した。
• 7,360インスタンスで境界の一致を検証し、境界が一致した箇所で正確なレート領域を証明した。
• 内部境界から、スーパーポジション、スカラー、ベクトル符号の明示的構成を実施し、達成可能性証明を確認した。

実験結果

リサーチクエスチョン

• RQ1 どのMDCSインスタンスでスカラーバイナリ符号が正確なレート領域を達成でき、またいつ不十分となるのか？
• RQ2 スカラーコードの不十分性を引き起こすような、有限個の禁止部分構造MDCSを同定できるか？ また、そのような部分構造の拡張は、常に特定の符号クラスをサポートしないのか？
• RQ3 すべてのMDCSインスタンスにおいて、シャノン外部境界は真のレート領域とどの程度一致するのか？
• RQ4 シャノン型不等式を用いて、コンピュータ支援で人間が読みやすいレート領域境界の証明を体系的に生成するにはどうすればよいか？
• RQ5 どのような構造的操作が、スカラーやベクトル符号の十分性を保ち、インスタンス全体にわたる一般化を可能にするのか？

主な発見

• 境界が一致したすべてのMDCSインスタンスにおいて、シャノン外部境界がタイトであった。これは7,360個の同型でないケースに該当した。
• スカラーバイナリ符号が不十分となる12の最小MDCS構成が同定され、これはスカラーコード十分性のための禁止部分構造として特定された。
• 埋め込み操作を用いることで、問題となるインスタンスの集合を数千からわずか12の禁止部分構造にまで削減でき、一般化が可能になった。
• コンピュータ支援証明生成は、シャノン型不等式のみを用いて、最小で人間が読みやすい逆方向証明を成功裏に生成した。
• 内部境界から、スーパーポジション、スカラー、ベクトル符号の明示的構成が得られ、達成可能性が確認された。
• マトロイドに基づく内部境界とシャノン外部境界を結ぶフレームワークが確立され、構造的ネットワーク符号化問題における正確なレート領域の決定が可能になった。