[論文レビュー] The State-Dependent Multiple-Access Channel with States Available at a Cribbing Encoder

Shraga I. Bross, Amos Lapidoth|arXiv (Cornell University)|Jul 22, 2010

Wireless Communication Security Techniques参考文献 8被引用数 4

ひとこと要約

本稿は、1つの符号器（符号器2）が、他の符号器（符号器1）のチャネル入力を因果的にすくい取る（クリッピング）一方で、状態系列についても非因果的知識を持つ状態依存多重アクセスチャネルを研究する。厳密に因果的および因果的クリッピングの両状況について、容量領域を導出しており、事前共有メッセージの仮定を排除することで、従来のモデルを一般化している。新規のマルコフ連鎖と強典型性に基づく符号化方式を用いて、完全な特徴付けを確立している。

ABSTRACT

The two-user discrete memoryless state-dependent multiple-access channel (MAC) models a scenario in which two encoders transmit independent messages to a single receiver via a MAC whose channel law is governed by the pair of encoders' inputs and by an i.i.d. state random variable. In the cooperative state-dependent MAC model it is further assumed that Message 1 is shared by both encoders whereas Message 2 is known only to Encoder 2 - the cognitive transmitter. The capacity of the cooperative state-dependent MAC where the realization of the state sequence is known non-causally to the cognitive encoder has been derived by Somekh-Baruch et. al. In this work we dispense of the assumption that Message 1 is shared a-priori by both encoders. Instead, we study the case in which Encoder 2 cribs causally from Encoder 1. We determine the capacity region for both, the case where Encoder 2 cribs strictly causal and the case where Encoder 2 cribs causally from Encoder 1.

研究の動機と目的

• 符号器2が事前共有メッセージを仮定するのではなく、符号器1の入力を因果的にすくい取ることで、より現実的な協調的状態依存多重アクセスチャネルをモデル化すること。
• 符号器2が状態系列および符号器1の過去または現在の入力にアクセスできる状態依存MACの容量領域を特定すること。
• 事前共有メッセージの仮定を排除することで、従来の協調MAC結果を一般化し、因果的情報交換をクリッピングによってモデル化すること。
• 厳密に因果的および因果的クリッピングの両状況について、容量領域の完全な特徴付けを提供すること。
• マルコフ連鎖と強典型性の議論を活用して、すくい取った情報と状態知識を活用し、最適レートを達成する符号化方式を確立すること。

提案手法

• 2つの変種（厳密に因果的：符号器2が符号器1の過去の入力を使用、因果的：符号器2が現在および過去の入力を使用）を定義することで、クリッピング符号器を備えた状態依存MACを形式化する。
• 符号器2の入力が過去の入力および状態に因果的に依存することをモデル化するため、補助確率変数 $ U_k $ および $ V_k $ を導入し、マルコフ連鎖 $ U_k \rightarrow S_k V_k \rightarrow X_{1,k} $ を確立する。
• 誤り確率の解析と外側境界の導出に、強典型性および同時典型性の議論を用い、AEP や典型集合の列挙といった標準的な情報理論的ツールに依存する。
• 補助変数に基づく時分割戦略を用いる際の復号誤り確率の上限を求めるために、補題2（典型集合における条件付き独立性）を適用する。
• 補助変数およびチャネル入力に関連する相互情報量制約を満たすすべての可能なレートペア $ (R_1, R_2) $ の集合を特徴づけることで、容量領域を導出する。
• 容量領域が、$ R_1 \neq 0 $、$ R_2 \neq 0 $、および $ R_1 + R_2 \neq 0 $ を満たすすべてのレートタプルの閉包であることを確立し、$ I(U_k; Y_k | V_k, S_k) $、$ I(X_{2,k}; Y_k | X_{1,k}, S_k, V_k) $、および $ I(U_k; S_k) $ を含む制約を含む。

実験結果

リサーチクエスチョン

• RQ1 1つの符号器が他の符号器の入力を因果的に観測し、非因果的状態知識を持つ場合、状態依存多重アクセスチャネルの容量領域は何か？
• RQ2 クリッピング符号器が他の符号器の入力について、厳密に因果的か因果的かの知識を持つ場合、容量領域はどのように変化するか？
• RQ3 より実用的なクリッピングモデルを採用する場合、符号器間の事前共有メッセージの仮定を排除しても、容量領域を特徴づけられるか？
• RQ4 因果的クリッピングおよび状態知識の下で、補助確率変数は容量領域を達成するために果たす役割は何か？
• RQ5 強典型性およびマルコフ連鎖制約の使用は、このモデルにおける可能なレートの特徴づけをどのように改善するか？

主な発見

• 厳密に因果的クリッピングの場合、補助変数 $ U_k $、$ V_k $ およびチャネル入出力に関連する相互情報量制約によって、容量領域が特徴づけられる。
• 因果的クリッピングの場合、符号器2の符号化関数が符号器1の現在および過去の入力に依存するため、異なるマルコフ構造を持つが、同様に相互情報量制約によって容量領域が特徴づけられる。
• 容量領域は、$ R_1 \neq 0 $、$ R_2 \neq 0 $、および $ R_1 + R_2 \neq 0 $ を満たすすべてのレートタプルの閉包であり、$ I(U_k; Y_k | V_k, S_k) $、$ I(X_{2,k}; Y_k | X_{1,k}, S_k, V_k) $、および $ I(U_k; S_k) $ を含む制約を含むことが示された。
• 補助確率変数 $ U_k $ および $ V_k $ の使用により、符号器2の入力が符号器1の過去の入力および状態に因果的に依存することを捉え、容量領域の特徴づけが可能になった。
• 外側境界はタイトであり、内側境界と一致しており、導出された領域が、厳密に因果的および因果的クリッピングモデルの両方における実際に容量領域であることが証明された。
• 従来の協調MACに関する研究を一般化し、事前共有メッセージの仮定を排除し、因果的クリッピングによる実用的な情報交換をモデル化することで、より現実的な状況を反映している。