[論文レビュー] How to beat the sphere-packing bound with feedback

Anant Sahai|ArXiv.org|Oct 24, 2006

Wireless Communication Security Techniques参考文献 8被引用数 3

ひとこと要約

本稿は、ノイズレスフィードバックを活用することで、高レートにおいても球詰め境界を超える誤り指数を達成する、離散的メモリレスチャネル向けの新規固定遅延符号化方式を提案する。特に、ゼロエラー容量を持たないチャネル（例：バイナリ対称チャネル（BSC））に対しても有効である。チャネル利用を専用のデータ伝送とフロー制御の2つのストリームに分割し、誤り指数 $ E_0(1) $ を達成するフロー制御符号を用いることで、全体の信頼性指数 $ E' = \frac{E_0(1)E_0(\rho)}{E_0(1)+E_0(\rho)} $ を達成する。この方式は、高レート領域において球詰め境界を上回る性能を示す。

ABSTRACT

The sphere-packing bound $E_{sp}(R)$ bounds the reliability function for fixed-length block-codes. For symmetric channels, it remains a valid bound even when strictly causal noiseless feedback is allowed from the decoder to the encoder. To beat the bound, the problem must be changed. While it has long been known that variable-length block codes can do better when trading-off error probability with expected block-length, this correspondence shows that the {\em fixed-delay} setting also presents such an opportunity for generic channels. While $E_{sp}(R)$ continues to bound the tradeoff between bit error and fixed end-to-end latency for symmetric channels used {\em without} feedback, a new bound called the ``focusing bound'' gives the limits on what can be done with feedback. If low-rate reliable flow-control is free (ie. the noisy channel has strictly positive zero-error capacity), then the focusing bound can be asymptotically achieved. Even when the channel has no zero-error capacity, it is possible to substantially beat the sphere-packing bound by synthesizing an appropriately reliable channel to carry the flow-control information.

研究の動機と目的

• フィードバックが、ゼロエラー容量のないチャネルに対しても、固定遅延符号が球詰め境界を超える誤り指数を達成可能であることを示すこと。
• 固定遅延通信におけるフィードバックの信頼性関数が、高レートにおいて球詰め境界よりもタイトな新しい「集光境界」によって制限されることを示すこと。
• 同じチャネル上でデータとフロー制御信号を分離することで、この集光境界に漸近的に達する実用的な符号化方式を構築すること。
• 長年の懸案であった、フィードバックが固定遅延設定において球詰め境界を超える信頼性向上を可能にするか、特に高レート領域で有効であるかを解明すること。
• 従来のフィードバックベースの符号化方式を上回る、概念的かつ解析的に扱いやすい構成を提供すること、特に高レート環境下での性能向上を実現すること。

提案手法

• 方式はチャネル利用を2つの互いに素なストリームに分割する。1つはデータ伝送用、もう1つはフィードバックを用いたフロー制御信号伝送用である。
• フロー制御符号は、チャネル利用の一部を占め、ギャラッジャー関数に基づく条件下で達成可能な最大誤り指数 $ E_0(1) $ を達成するように設計される。
• データストリームは、$ \rho $ をギャラッジャー関数から得られるパラメータとして、レート $ R/(1-\rho) $ の符号により符号化され、両ストリーム間の全体の誤り指数がバランスされるように保証される。
• 全体の誤り指数は $ E' = \frac{E_0(1)E_0(\rho)}{E_0(1)+E_0(\rho)} $ として導出され、固定エンドツーエンド遅延下で漸近的に達成可能であることが示される。
• パrameter $ \rho $ を用いて、各ストリームに割り当てるチャネル利用の割合を調整することで、データストリームとフロー制御ストリームの誤り指数をバランスさせる。
• 固定遅延フィードバックモデルの採用により、フィードバック遅延に対してもロバストである。フロー制御符号が内部の信頼性目標 $ E_0(1) $ を維持していれば、性能劣化は最小限に抑えられる。

実験結果

リサーチクエスチョン

• RQ1 固定遅延通信システムにおけるフィードバックは、対称的離散的メモリレスチャネルにおいて、球詰め境界を超える信頼性伝送を可能にするか？
• RQ2 ゼロエラー容量のないチャネル（例：誤り確率 0.4 の BSC）においても、球詰め境界を超える高い誤り指数を達成可能か？
• RQ3 固定遅延通信におけるフィードバックの信頼性の根本的限界は何か？ また、球詰め境界と比較してどうなるか？
• RQ4 集光境界に漸近的に達する固定遅延符号を構築可能か？ その構成におけるフロー制御の役割は何か？
• RQ5 本方式の性能は、従来のフィードバックベースの符号化方式と比較して、特に高レート領域でどのように優れているか？

主な発見

• 提案方式は誤り指数 $ E' = \frac{E_0(1)E_0(\rho)}{E_0(1)+E_0(\rho)} $ を達成し、BSC(0.4) などのチャネルにおいて高レート領域で球詰め境界を厳密に上回る。
• 誤り確率 0.4 の BSC に対して、本方式はピンスカーの主張（固定遅延で球詰め境界を超えるのは不可能）に対する明確な反例を提供する。
• 固定遅延設定におけるフィードバックによる信頼性の根本的限界を特徴付ける「集光境界」は、ゼロエラー容量が正である場合に漸近的に達成可能である。
• ゼロエラー容量がゼロであっても、本方式は元のチャネルから信頼性のあるフロー制御チャネルを合成することで、球詰め境界を著しく上回る性能を達成する。
• 誤り指数 $ E' $ は容量近傍で線形に減少するが、球詰め境界は二次的に平坦であるため、容量に近い領域での誤り確率の低下が著しく速い。
• 固定遅延構造のおかげで、フィードバック遅延に対してもロバストである。フロー制御符号が内部の信頼性目標 $ E_0(1) $ を維持していれば、性能劣化は最小限に抑えられる。