[論文レビュー] Construction of Slepian-Wolf Source Code and Broadcast Channel Code Based on Hash Property

Jun Muramatsu, Shigeki Miyake|arXiv (Cornell University)|Jun 28, 2010

Wireless Communication Security Techniques参考文献 30被引用数 18

ひとこと要約

本稿では、強いハッシュ性質に基づくスパース行列を用いて、Slepian-Wolf ソース符号とブロードキャストチャネル符号を統一的に構築するフレームワークを提案する。最小分散符号化と最尤デコードを活用することで、両方の符号化において、可能なレート領域に限りなく近いレートを達成でき、従来の手法（ランダムバインディングや線形符号など）を統合する。

ABSTRACT

The aim of this paper is to prove theorems for the Slepian-Wolf source coding and the broadcast channel coding (independent messages and no common message) based on the the notion of a stronger version of the hash property for an ensemble of functions. Since an ensemble of sparse matrices has a strong hash property, codes using sparse matrices can realize the achievable rate region. Furthermore, extensions to the multiple source coding and multiple output broadcast channel coding are investigated.

研究の動機と目的

• 強いハッシュ性質の概念を用いて、Slepian-Wolf ソース符号化とブロードキャストチャネル符号化の既存手法を統一的かつ一般化する。
• 対数的列次数を持つスパース行列が強いハッシュ性質を満たすことを示し、効率的な符号構築を可能にする。
• 最小分散符号化と最尤デコードを用いて、Slepian-Wolf およびブロードキャストチャネル符号化の全可能なレート領域を達成する。
• 複数ソースおよび複数出力ブロードキャストチャネルの状況にこのフレームワークを拡張する。
• ランダムバインディング、線形符号、ユニバーサルハッシュの先行研究を包含・一般化する理論的基盤を提供する。

提案手法

• 衝突耐性および飽和性の性質を複数のドメインに拡張した、より強いハッシュ性質を用い、共同ソース・チャネル符号化解析を実現する。
• スパース行列（対数的列次数）をコアな符号構造として採用し、低複雑性の符号化・復号化を実現しながら、容量を達成する性能を維持する。
• Slepian-Wolf 符号化における誤り確率を最小化するための最小分散符号化と、信頼性の高い再構成のための最尤デコードを適用する。
• タイプの方法と典型系列を用いて、エントロピーに基づく集中不等式により誤り確率を評価する。
• 与えられた制約下で、達成可能なレートのポリトープに非整数頂点が存在しないことを確立し、レート領域の凸性と達成可能性を保証する。
• スパース行列のアンサンブルが強いハッシュ性質を満たすことを証明し、その結果、境界に限りなく近いレートを達成する符号の存在が保証される。

実験結果

リサーチクエスチョン

• RQ1 強いハッシュ性質を用いて、Slepian-Wolf ソース符号化とブロードキャストチャネル符号化の両方の達成可能性を示す統一的理論フレームワークを構築できるか？
• RQ2 対数的列次数を持つスパース行列は、全レート領域を達成するために必要な強いハッシュ性質を満たすか？
• RQ3 最小分散符号化と最尤デコードを用いて、両設定において容量領域に限りなく近いレートを達成できるか？
• RQ4 拡張された衝突耐性および飽和性の性質は、複数ドメインの符号化シナリオにおける誤り解析をどのように可能にするか？
• RQ5 提案手法を複数ソースおよび複数出力ブロードキャストチャネルモデルに拡張可能か？ また、その際、レート領域最適性は保たれるか？

主な発見

• 対数的列次数を持つスパース行列のアンサンブルは、強いハッシュ性質を満たしており、可能なレート領域の境界に限りなく近いレートを達成する符号の構築を可能にする。
• 提案手法は、ランダムバインディング、線形符号、ユニバーサルハッシュの先行手法を統合・一般化し、共通の理論的基盤を提供する。
• 強いハッシュ性質の下で、最小分散符号化と最尤デコードが、Slepian-Wolf およびブロードキャストチャネル符号化の両方で誤り確率が消えることを示した。
• 証明により、最初の座標が二値である場合に、達成可能なレートのポリトープに非整数頂点が存在しないことが示され、レート領域の完全な達成可能性が保証された。
• フレームワークは、複数ソース Slepian-Wolf 符号化および複数出力ブロードキャストチャネル符号化に成功裏に拡張され、レート領域最適性が維持された。
• タイプの方法を用いて誤り確率の理論的境界を導出し、ブロック長とともに指数的減少することを示した。これにより、提案された符号構築法の信頼性が確認された。