[論文レビュー] On Real Time Coding with Limited Lookahead

Himanshu Asnani, Tsachy Weissman|arXiv (Cornell University)|May 29, 2011

Wireless Communication Security Techniques参考文献 14被引用数 5

ひとこと要約

本稿は、平均コスト基準の下で、有限の先読みを伴うリアルタイムのソースチャネル符号化を制御されたマルコフ決定過程として定式化し、最小達成可能な期待シンボルあたり歪み D(d) を計算するための平均コスト最適性方程式（ACOE）を導出する。有限の d > 0 に対して、特定のソース・チャネルパラメータ下ではシンボルごとの符号化が劣化していることが示され、ハミング歪み下でのベルヌーイ源およびバイナリシンメトリックチャネルに対して正確な境界が提供される。

ABSTRACT

A real time coding system with lookahead consists of a memoryless source, a memoryless channel, an encoder, which encodes the source symbols sequentially with knowledge of future source symbols upto a fixed finite lookahead, d, with or without feedback of the past channel output symbols and a decoder, which sequentially constructs the source symbols using the channel output. The objective is to minimize the expected per-symbol distortion. For a fixed finite lookahead d>=1 we invoke the theory of controlled markov chains to obtain an average cost optimality equation (ACOE), the solution of which, denoted by D(d), is the minimum expected per-symbol distortion. With increasing d, D(d) bridges the gap between causal encoding, d=0, where symbol by symbol encoding-decoding is optimal and the infinite lookahead case, d=\infty, where Shannon Theoretic arguments show that separation is optimal. We extend the analysis to a system with finite state decoders, with or without noise-free feedback. For a Bernoulli source and binary symmetric channel, under hamming loss, we compute the optimal distortion for various source and channel parameters, and thus obtain computable bounds on D(d). We also identify regions of source and channel parameters where symbol by symbol encoding-decoding is suboptimal. Finally, we demonstrate the wide applicability of our approach by applying it in additional coding scenarios, such as the case where the sequential decoder can take cost constrained actions affecting the quality or availability of side information about the source.

研究の動機と目的

• 有限の先読みを伴うリアルタイムのソースチャネル符号化における、最小達成可能な期待シンボルあたり歪みを特徴付けること。
• マルコフ決定理論を用いて、因果的符号化（d=0）と分離最適な無限の先読み（d=∞）の間の性能ギャップを埋めること。
• 有限の先読み d ≥ 1 がある状況で、シンボルごとの符号化が劣化する条件を特定すること。
• 有限状態のデコーダーおよびコスト制約付きのサイド情報取得を伴うシステムへのフレームワークの拡張。
• 動画ストリーミングや遅延制約を伴うリアルタイム通信などの実用的システムにおける D(d) の計算可能な境界を提供すること。

提案手法

• リアルタイム符号化問題を、平均コスト基準を持つ離散時間の制御されたマルコフ連鎖としてモデル化する。
• 与えられた先読み d に対して最適歪み D(d) を得るための平均コスト最適性方程式（ACOE）を導出する。
• サイド情報取得設定における制約付き行動を扱うために、ラグランジュ緩和と鞍点解析を適用する。
• 特定のケースに対して ACOE を数値的に解くために、価値反復およびポリシー反復技術を用いる。
• 先読みバッファを状態空間に組み込むことで、問題をマルコフ源フレームワークに変換する。
• デコーダーにおけるフィードバックおよびメモリ制約を、信念状態を伴う有限状態マルコフ連鎖としてモデル化する。

実験結果

リサーチクエスチョン

• RQ1 有限の先読み d を伴うリアルタイムのソースチャネル符号化において、与えられた d に対して最小達成可能な期待シンボルあたり歪み D(d) は何か？
• RQ2 どのソースおよびチャネルパラメータの下で、先読み d ≥ 1 がある状況でシンボルごとの符号化が劣化するか？
• RQ3 先読み d が増加するにつれて歪み D(d) はどのように変化し、d → ∞ の分離ベースの限界にどの程度近づくか？
• RQ4 このフレームワークは、エンコーダーの行動がサイド情報のコストと品質に影響を与える、サイド情報の販売機械モデルのようなシステムへ拡張可能か？
• RQ5 制約付きマルコフ決定過程の定式化において、定常確率的方策が最適歪みを達成する条件は何か？

主な発見

• ベルヌーイ源およびバイナリシンメトリックチャネル、ハミング歪み下で、さまざまな d およびデコーダーのメモリサイズに対して D(d) の正確な値が計算される。
• 特定のソースおよびチャネルパラメータ空間の領域において、d ≥ 1 の場合にシンボルごとの符号化が厳密に劣化していることが特定され、先読みの利点を定量的に示している。
• 最小歪み D(d) は d が増加するにつれて単調に減少し、d → ∞ のときには古典的な分離ベースの歪みに収束する。
• 有限状態のデコーダーに対しては、デコーダーに完全なメモリが存在しない場合でも、D(d) の計算可能な上界が提供される。
• フレームワークは、エンコーダーの行動がサイド情報のコストと品質に影響を与えるサイド情報販売機械モデルへも成功裏に拡張可能であり、定常確率的方策が最適歪みを達成する。
• ACOE の解法により、D(d) を系統的にかつ解析的に扱える方法が得られ、多様なリアルタイム通信シナリオにおける性能評価が可能になる。