[論文レビュー] Control-theoretic Approach to Communication with Feedback: Fundamental Limits and Code Design

Ehsan Ardestanizadeh, Massimo Franceschetti|arXiv (Cornell University)|Jun 28, 2010

Control Systems and Identification参考文献 31被引用数 5

ひとこと要約

本稿は、符号化器を動的システムにおける制御装置にマッピングすることで、フィードバック通信の制御理論的枠組みを確立する。ここで、チャネルのフィードバックは状態フィードバックとして機能する。十分な条件下で、MMSE容量（平均二乗誤差の指数的減衰率として定義される）が情報理論的フィードバック容量に等しくなることを示し、ガウス指向では、フィードバック容量が、パワー制約下での最大安定化可能な不安定性に等しくなる。さらに、Kramerの和速率最適MAC符号はLQG制御を用いて回復可能である。

ABSTRACT

Feedback communication is studied from a control-theoretic perspective, mapping the communication problem to a control problem in which the control signal is received through the same noisy channel as in the communication problem, and the (nonlinear and time-varying) dynamics of the system determine a subclass of encoders available at the transmitter. The MMSE capacity is defined to be the supremum exponential decay rate of the mean square decoding error. This is upper bounded by the information-theoretic feedback capacity, which is the supremum of the achievable rates. A sufficient condition is provided under which the upper bound holds with equality. For the special class of stationary Gaussian channels, a simple application of Bode's integral formula shows that the feedback capacity, recently characterized by Kim, is equal to the maximum instability that can be tolerated by the controller under a given power constraint. Finally, the control mapping is generalized to the N-sender AWGN multiple access channel. It is shown that Kramer's code for this channel, which is known to be sum rate optimal in the class of generalized linear feedback codes, can be obtained by solving a linear quadratic Gaussian control problem.

研究の動機と目的

• ノイズのある状態フィードバックを伴う制御問題として再解釈することにより、情報理論と制御理論を統合する。
• フィードバックシステムにおける平均二乗復号誤差の指数的減衰率として定義されるMMSE容量を定義し、その分析を行う。
• MMSE容量が情報理論的フィードバック容量に等しくなる条件を確立する。特にガウス指向に対して検討する。
• 制御理論的マッピングをN送信者AWGN多重アクセスチャネルに一般化し、LQG制御を用いて既知の最適符号を回復する。
• 最適フィードバック符号が、ボーデの積分やLQG最適化といった制御理論的ツールを用いて体系的に導出可能であることを示す。

提案手法

• メッセージを初期状態とし、チャネル出力がフィードバックを提供する非線形かつ時変な制御された動的システムに、フィードバック通信システムをマッピングする。
• 制御装置の行動を符号化器の送信シンボルとして定義し、制御装置の戦略を符号化器の因果的戦略に対応させる。
• 元のメッセージとその推定値との間の平均二乗誤差（MSE）を、制御問題における最終コストとして定式化する。
• システムの状態を十分統計量として使用する：$ S_i = (M, F_{M|Y^{i-1}}(\cdot|Y^{i-1})) $ は、メッセージの事後分布を捉える。
• ガウス指向に対しては、離散時間ボーデの積分公式を適用し、パワー制約下での制御装置が耐えられる最大不安定性がフィードバック容量に等しいことを示す。
• NユーザーAWGN MACに対しては、二次コスト関数を伴う単一のポイント・トゥ・ポイントLQG制御問題に還元し、Kramerの一般化された線形フィードバック符号を最適解として回復する。

実験結果

リサーチクエスチョン

• RQ1 フィードバック通信を、符号化器を制御装置として扱う制御理論的視点から体系的に分析可能か？
• RQ2 MMSE容量（平均二乗誤差の指数的減衰率）が情報理論的フィードバック容量に等しくなる条件は何か？
• RQ3 定常ガウス指向のフィードバック容量は、制御装置の安定化可能性とパワー制約とどのように関係するか？
• RQ4 NユーザーAWGN MACの最適フィードバック符号は、LQG制御定式化から導出可能か？
• RQ5 情報パターンは、最適性を保持しつつ、制御システムの状態空間をどのように縮小するか？

主な発見

• MMSE容量は情報理論的フィードバック容量によって上界され、制御装置およびチャネルの構造に関する十分な条件下で等しくなる。
• 定常ガウス指向に対しては、パワー制約下での線形制御装置が安定化可能な最大不安定性がフィードバック容量に等しくなることが、ボーデの積分公式を用いて導出される。
• NユーザーAWGN MACの和速率最適コードであるKramerのコードは、パワーコストを目的関数とする線形二次ガウス（LQG）制御問題の解として回復可能である。
• 一般のフィードバックチャネルにおける最適符号化器は、履歴の全情報を用いるのではなく、メッセージの事後分布 $ F_{M|Y^{i-1}}(\cdot|Y^{i-1}) $ のみに依存する制御装置に対応する。
• 制御理論的枠組みは、安定性および推定誤差ダイナミクスとの明確な関連性を有する包括的なアプローチを提供し、フィードバック符号の導出と分析を可能にする。
• 本フレームワークは先行研究を一般化する：Eliaの研究をN > 2ユーザーに拡張し、Youlaパrameterizationの代わりにLQG制御を用いることで、よりスケーラブルかつ解釈可能な設計手法を提供する。