[論文レビュー] Abelian Group Codes for Source Coding and Channel Coding

Aria G. Sahebi, S. Sandeep Pradhan|arXiv (Cornell University)|May 7, 2013

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

ひとこと要約

本稿は、任意の離散的メモリレスなソースおよびチャネルに対して、アーベル群符号を用いた可達レート・歪み関数およびチャネル符号化レートの1文字記号情報理論的特徴付けを提示する。群が体である場合、結果は対称的レート・歪み関数および対称的チャネル容量に簡約され、Z4に基づく符号が相関する四値ソースの非対称設定において線形符号よりも優れた性能を示す。

ABSTRACT

In this paper, we study the asymptotic performance of Abelian group codes for the lossy source coding problem for arbitrary discrete (finite alphabet) memoryless sources as well as the channel coding problem for arbitrary discrete (finite alphabet) memoryless channels. For the source coding problem, we derive an achievable rate-distortion function that is characterized in a single-letter information-theoretic form using the ensemble of Abelian group codes. When the underlying group is a field, it simplifies to the symmetric rate-distortion function. Similarly, for the channel coding problem, we find an achievable rate characterized in a single-letter information-theoretic form using group codes. This simplifies to the symmetric capacity of the channel when the underlying group is a field. We compute the rate-distortion function and the achievable rate for several examples of sources and channels. Due to the non-symmetric nature of the sources and channels considered, our analysis uses a synergy of information theoretic and group-theoretic tools.

研究の動機と目的

• 任意の有限アーベル群上でアーベル群符号を用いた損失ありソース符号化のための1文字記号可達レート・歪み関数を導出すること。
• 任意の有限アーベル群上でアーベル群符号を用いたチャネル符号化のための1文字記号可達レートを確立すること。
• 非対称なソースおよびチャネルモデルにおいて、群符号が標準的なランダム符号化アンサンブルおよび線形符号を上回ることを示すこと。
• マルチ・ターミナルおよびシングル・ターミナル通信問題における構造化符号の性能を分析するため、情報理論的および群論的ツールを統合すること。

提案手法

• 著者らは、群構造および商群のエントロピーに基づいて、アーベル群符号のアンサンブル解析を用いて1文字記号レート・歪み関数を導出する。
• 部分群の分解およびコセット解析を含む群論的ツールを適用し、群作用下での典型集合のサイズを特徴付ける。
• この手法では、商群による同値類の定義と、群コセット下での条件付き典型性の分析が行われる。
• p進表現の構造をZ_{p^r}で活用し、環上での線形方程式の解集合を導出する。
• 著者らは、Z_{p^r}におけるax = bの解集合がp進分解における代表元の選択に依存しないことを証明し、群符号構築における一貫性を保証する。
• 群コセットと典型集合の交差サイズに対して上限を確立し、条件付き分布のエントロピーを中心に指数的集中が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 非対称なソースおよびチャネルモデルにおいて、アーベル群符号はランダム符号化アンサンブルよりも優れた漸近的性能を達成できるか？
• RQ2 特にZ_{p^r}のような非体群である群構造の選択が、可達レート・歪み関数およびチャネル符号化レートにどのように影響するか？
• RQ3 アーベル群符号がガロア体上の線形符号に対して厳密な性能向上をもたらす条件は何か？
• RQ4 群論的ツールと情報理論的典型性を組み合わせることで、構造化符号アンサンブルの性能をどのように分析できるか？
• RQ5 任意の有限アーベル群上でアーベル群符号のレート・歪み関数の正確な1文字記号特徴付けは何か？

主な発見

• アーベル群符号の可達レート・歪み関数は、群エントロピーおよび商群構造を用いて1文字記号形式で特徴付けられ、対称的レート・歪み関数を一般化する。
• 基になる群が体である場合、導出されたレート・歪み関数は対称的レート・歪み関数に簡約され、既知の結果と整合性を確認する。
• チャネル符号化において、アーベル群符号を用いた可達レートは1文字記号形式で特徴付けられ、群が体である場合には対称的チャネル容量に簡約される。
• 非対称な設定、例えばZ4上での相関する四値ソースにおいて、アーベル群符号はGF(4)上の線形符号を上回る性能を示し、複雑さを超える性能優位性を示す。
• 群コセットと典型集合の交差サイズは、群商に基づくソースの条件付きエントロピーによってきわめて厳密に境界づけられ、指数的集中が生じる。
• Z_{p^r}におけるax = bの解集合は、p進分解における代表元の選択に依存せず、符号構築におけるロバスト性を保証する。