[論文レビュー] Zero-error feedback capacity via dynamic programming

Lei Zhao, Haim H. Permuter|ArXiv.org|Jul 11, 2009

Error Correcting Code Techniques参考文献 12被引用数 3

ひとこと要約

本稿では、送信者および受信者が完全なチャネル状態情報（CSI）を有する有限状態チャネル（FSC）のゼロエラー・フィードバック容量を計算するための動的計画法（DP）フレームワークを提案する。2人のプレイヤー間の確率的ゲームとして問題を定式化することで、反復的に容量の下界および上界を計算し、極限において正確なゼロエラー・フィードバック容量に収束する。主な貢献は、いくつかのFSC例（容量 ≈1.1029 ビット/チャネル使用）に対して解析的解を可能にする固定点方程式（ベルマン方程式）の導出である。

ABSTRACT

In this paper, we study the zero-error capacity for finite state channels with feedback when channel state information is known to both the transmitter and the receiver. We prove that the zero-error capacity in this case can be obtained through the solution of a dynamic programming problem. Each iteration of the dynamic programming provides lower and upper bounds on the zero-error capacity, and in the limit, the lower bound coincides with the zero-error feedback capacity. Furthermore, a sufficient condition for solving the dynamic programming problem is provided through a fixed-point equation. Analytical solutions for several examples are provided.

研究の動機と目的

• 送信者および受信者が完全なチャネル状態情報（CSI）を有する有限状態チャネル（FSC）のゼロエラー・フィードバック容量を特定すること。
• 従来の容量式が適用できない記憶を持つチャネルにおけるゼロエラー容量を計算可能な方法を開発すること。
• 反復的価値反復を用いて、ゼロエラー容量のタイトな下界および上界を生成する動的計画法の定式化を確立すること。
• 最適性を検証する十分条件を提供し、特定のケースで解析的解を可能にする、ベルマン方程式から導出された固定点方程式を導出すること。
• 具体的なFSC例（3状態チャネルを含む）に対して本手法を適用し、数値反復と解析的検証を用いて結果を検証すること。

提案手法

• ゼロエラー・フィードバック容量問題を、エンコーダー（プレイヤー1）とチャネル（プレイヤー2）という2人の競合プレイヤーを含む無限時間平均報酬動的計画法（DP）問題として定式化する。
• 価値反復を用いて、ゼロエラー容量の下界および上界の列を計算し、下界は min_s J_n(s)/n、上界は max_s J_n(s)/n で与えられる。
• 平均報酬DPのベルマン方程式を適用：各状態 s に対して ρ + J(s) = max_{P_X|S} min_y [ -log P_X|S(x|s) + J(s') ] が成り立ち、状態遷移はチャネル遷移確率に従う。
• ベルマン方程式から導出された固定点方程式を、最適性の十分条件として導入し、解析的解の導出を可能にする。
• 数値的価値反復を、入力分布の離散化（例：10^-4解像度）を用いて実施し、容量の推定と最適方策の推測を行う。
• 推定された方策をベルマン方程式に代入し、計算された容量と整合することを確認することで、解析的解の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 完全なCSIを有する有限状態チャネルのゼロエラー・フィードバック容量は、動的計画法を用いて計算可能か？
• RQ2 フィードバックおよびCSIのもとでゼロエラー通信レートを最大化する最適入力分布の構造は何か？
• RQ3 動的計画法を用いて、反復的にタイトな下界および上界をゼロエラー容量に対して計算する方法は何か？
• RQ4 ベルマン方程式から導出された固定点方程式が、正確なゼロエラー容量をもたらす条件は何か？
• RQ5 提案されたDPフレームワークを用いて、非自明なFSCに対して解析的解を導出可能か？

主な発見

• 完全なCSIを有するFSCのゼロエラー・フィードバック容量は、無限時間平均報酬動的計画法問題の解に等しい。
• DP定式化により、ゼロエラー容量の下界および上界の列が得られ、極限において真の容量に収束する。
• 例1（フィードバック付きバイナリ対称チャネル）では、ゼロエラー容量は1ビット/チャネル使用に等しく、理論的境界と一致する。
• 例2（2状態FSC）では、ゼロエラー容量が解析的に C₀ = 1.1029 ビット/チャネル使用として導出され、価値反復による数値的検証がなされた。
• 例3（3状態FSC）では、最適方策が時不変かつ定常的であると判明し、ゼロエラー容量は約 1.102926 ビット/チャネル使用となった。
• ベルマン方程式から導出された固定点方程式は、解析的解の妥当性を確認するのに成功し、導出された方策の最適性を裏付けた。