[論文レビュー] Capacity of the Trapdoor Channel with Feedback

Haim H. Permuter, Paul Cuff+2 more|arXiv (Cornell University)|Oct 9, 2006

Computability, Logic, AI Algorithms参考文献 17被引用数 7

ひとこと要約

この論文は、無限時間枠の平均報酬動的計画法として問題を定式化することにより、トラップドアチャネルのフィードバック容量を log(φ) として特定した。ここで φ は黄金比（1+√5)/2 である。ベルマン方程式を解析的に解き、連続する1が存在しない2進数列に基づく単純な符号化/復号化方式を提示し、フィードバック下でゼロエラー通信を達成した。

ABSTRACT

We establish that the feedback capacity of the trapdoor channel is the logarithm of the golden ratio and provide a simple communication scheme that achieves capacity. As part of the analysis, we formulate a class of dynamic programs that characterize capacities of unifilar finite-state channels. The trapdoor channel is an instance that admits a simple analytic solution.

研究の動機と目的

• 情報理論における長年の未解決問題であるトラップドアチャネルのフィードバック容量を特定すること。
• ユニファイル有限状態チャネル（FSC）のフィードバック容量を、無限時間枠の平均報酬動的計画法として定式化すること。
• トラップドアチャネルに対して動的計画法を明示的に解き、ベルマン方程式を用いて解の妥当性を検証すること。
• 導出された容量を達成する単純で実用的な符号化/復号化方式を設計すること。
• この枠組みを他のユニファイルFSCに拡張し、トラップドアモデルの一般化を検討すること。

提案手法

• 平均報酬を用いた指向情報と動的計画法を用いて、ユニファイルFSCのフィードバック容量を定式化する。
• 直前の入力を状態として定義することで、トラップドアチャネルを有限状態マルコフ意思決定過程としてモデル化する。
• 値反復法を用いて解を近似し、最適価値関数の正確な形を仮説立てる。
• ベルマン方程式を解析的に解き、仮説された解が最適であることを検証する。
• 連続する1が存在しない2進数列に基づく、制約付き符号化技術を活用した容量達成通信方式を構築する。
• フィードバック下でゼロエラー通信が達成され、初期チャネル状態が未知であっても適応可能であることを示した。

実験結果

リサーチクエスチョン

• RQ1 45年間も未解決のままであったトラップドアチャネルの正確なフィードバック容量は何か？
• RQ2 ユニファイルFSCのフィードバック容量は、動的計画法を用いて体系的に特徴付けられるか？
• RQ3 トラップドアチャネルは、その動的計画法定式化に対して解析的解を有するか？
• RQ4 トラップドアチャネルのフィードバック容量を達成する単純で実用的な通信方式を設計できるか？
• RQ5 トラップドアチャネルのフィードバック容量は、パーミュティングリレーチャネルやジャマーチャネルといった類縁チャネルと比較してどう異なるか？

主な発見

• トラップドアチャネルのフィードバック容量は、正確に log(φ) に等しく、ここで φ = (1+√5)/2 は黄金比である。
• ユニファイルFSCのフィードバック容量の動的計画法定式化は、有限状態マルコフ意思決定過程における平均報酬問題として示された。
• ベルマン方程式を解析的に解くことで、トラップドアチャネルの最適価値関数が導出され、容量が log(φ) であることが確認された。
• 連続する1が存在しない2進数列へのメッセージのマッピングを特徴とする単純な符号化/復号化方式が提案され、ゼロエラー通信を達成した。
• この方式は初期チャネル状態が未知であってもロバストであり、チャネルを既知の状態に復帰させるために平均3.5回のチャネル利用で十分である。
• トラップドアチャネルのフィードバック容量は、動作モデルが異なるパーミュティングリレーチャネルやパーミュティングジャマーチャネルと同一である。