[論文レビュー] Sequential Coding of Gauss-Markov Sources over Packet-Erasure Channels with Feedback.

Anatoly Khina, Ashish Khisti+1 more|arXiv (Cornell University)|Feb 6, 2017

Distributed Sensor Networks and Detection Algorithms被引用数 1

ひとこと要約

本稿は、フィードバック付きのレート制限付き破損可搬チャネルにおけるガウス・マルコフ過程の逐次符号化方式を提案する。多くの過程の極限において、グリーディ量子化が平均二乗誤差を最小化することを示し、遅延ACKによる性能損失はわずかであることが実証された。また、可変長符号化は単一過程追跡における理論的外挙動にほぼ達していることが示された。

ABSTRACT

We consider the problem of tracking the state of Gauss-Markov processes over rate-limited erasure-prone links. We concentrate first on the scenario in which several independent processes are seen by a single observer. The observer maps the processes into finite-rate packets that are sent over the erasure-prone links to a state estimator, and are acknowledged upon packet arrivals. The aim of the state estimator is to track the processes with zero delay and with minimum mean square error (MMSE). We show that, in the limit of many processes, greedy quantization with respect to the squared error distortion is optimal. That is, there is no tension between optimizing the MMSE of the process in the current time instant and that of future times. For the case of packet erasures with delayed acknowledgments, we connect the problem to that of compression with side information that is known at the observer and may be known at the state estimator - where the most recent packets serve as side information that may have been erased, and demonstrate that the loss due to a delay by one time unit is rather small. For the scenario where only one process is tracked by the observer-state estimator system, we further show that variable-length coding techniques are within a small gap of the many-process outer bound. We demonstrate the usefulness of the proposed approach for the simple setting of discrete-time scalar linear quadratic Gaussian control with a limited data-rate feedback that is susceptible to packet erasures.

研究の動機と目的

• レート制限付き破損可搬チャネルにフィードバックを用いた複数のガウス・マルコフ過程の追跡における平均二乗誤差（MMSE）を最小化すること。
• 逐次符号化とフィードバックの文脈において、遅延ACKがシステム性能に与える影響を分析すること。
• 単一過程追跡シナリオにおける可変長符号化と理論的外挙動との性能ギャップを評価すること。
• 多数の独立過程の極限において、二乗誤差歪み下でのグリーディ量子化の最適性を確立すること。
• 提案された方式が、データレート制限付きフィードバックとパケット破損を伴う線形二次ガウス制御に適用可能であることを示すこと。

提案手法

• 複数の独立したガウス・マルコフ過程のリアルタイムなMMSE最小化を目的として、瞬時の二乗誤差歪みに基づくグリーディ量子化を用いる。
• パケット受信に成功した際にアキューレジテーションを送信するフィードバック通信設定としてシステムをモデル化し、適応的送信を可能にする。
• 破損した最近のパケットが側情報として機能することを踏まえ、遅延ACKの影響を、側情報付き圧縮問題に帰着して分析する。
• フィードバックを活用した効率的なレート割り当てを実現するため、可変長符号化技術を適用し、単一過程追跡において理論的外挙動に近づく。
• 多数の過程の漸近的挙動を検討することで性能バウンドを導出し、グリーディ量子化下で歪み最小化が時間不変的であることを示す。
• 追跡問題を、観測者が過去の状態にアクセスできることで推定を改善できる、デコーダに側情報を有するソース符号化に結びつける。

実験結果

リサーチクエスチョン

• RQ1 フィードバック付き破損可搬チャネルにおける複数のガウス・マルコフ過程の追跡において、二乗誤差歪みに基づくグリーディ量子化は最適か？
• RQ2 ACKに1タイムステップの遅延が生じた場合、MMSEの観点から追跡性能にどのような影響を与えるか？
• RQ3 可変長符号化は、単一過程追跡において理論的性能限界にどの程度近づけるか？
• RQ4 フィードバックが制限され、パケット破損が発生する状況でも、システムは近似的に最適性能を達成できるか？
• RQ5 逐次的ガウス・マルコフ過程追跡において、フィードバック遅延と推定精度の根本的トレードオフは何か？

主な発見

• 多数の独立したガウス・マルコフ過程の極限において、二乗誤差歪みに基づくグリーディ量子化は最適であり、現在と将来の推定誤差のトレードオフを排除する。
• ACKに1タイムステップの遅延が生じた場合の性能損失は最小限であり、フィードバック遅延に対して強い耐性を示す。
• 可変長符号化技術は、単一過程ケースに対して導出された理論的外挙動からわずかなギャップで達成される。
• 本システムの設計は、データレート制限付きフィードバックとパケット破損を伴う離散時間スカラー線形二次ガウス制御において有効であることが示された。
• 遅延フィードバックを伴う追跡問題は、形式的に側情報付き圧縮に結びつけられ、過去のパケットが破損していたとしても、依然として側情報として機能する。
• フィードバックにより、観測者はレートを適応的に割り当てることができ、送信レートを増加させることなく推定精度を向上させられる。