[論文レビュー] Comprehensive Analysis on Exact Asymptotics of Random Coding Error Probability

Junya Honda|arXiv (Cornell University)|Jul 14, 2017

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

ひとこと要約

本稿は、固定レートにおける一般化された無記憶通信路におけるランダムコーディング誤り確率の正確な漸近的性質を確立し、非格子および格子分布型通信路における長年の未解決ギャップを解消した。誤り確率の感度に合わせた精密な適合性を持つ2次元の局所極限定理の精緻化により、対称的かつ非格子通信路の先行研究を一般化する統一的な表現が得られ、すべてのケースで相対誤差が消えることを達成した。

ABSTRACT

This paper considers error probabilities of random codes for memoryless channels in the fixed-rate regime. Random coding is a fundamental scheme to achieve the channel capacity and many studies have been conducted for the asymptotics of the decoding error probability. Gallager derived the exact asymptotics (that is, a bound with asymptotically vanishing relative error) of the error probability below the critical rate. On the other hand, exact asymptotics for fixed rate above the critical rate has been unknown except for symmetric channels (in the strong sense) and strongly nonlattice channels. This paper derives the exact asymptotics for general memoryless channels covering all previously unsolved cases. The analysis reveals that strongly symmetric channels and strongly nonlattice channels correspond to two extreme cases and the expression of the asymptotics is much complicated for general channels.

研究の動機と目的

• 固定レートが臨界レートを超える無記憶通信路におけるランダムコーディング誤り確率の正確な漸近的解析におけるギャップを埋めること。
• これまで正確な漸近的性質が不明であった一般（非対称的・非格子）通信路のケースを解消すること。
• 強対称的・強非格子・一般無記憶通信路を、同一の解析的枠組みで統一的に取り扱うこと。
• 相対誤差が消える、すなわちオーダーの見積もりにとどまらず正確な漸近的性質を達成すること。
• Cramérの条件および正規近似に基づく先行結果を、格子分布または退化分布である場合にまで拡張すること。

提案手法

• ランダムコーディング誤り事象の経験的挙動をモデル化するため、2次元 i.i.d. ランダムベクトル (Z₀, Z₁) を導入する。
• Z₀ の誤り確率に対する感度の臨界性を考慮し、両方向で o(1/√n) の精度を持つ精緻化された局所極限定理を適用する。
• Z₀ における高精度を維持しつつ、Z₁ では粗い近似を許容する「ぼやけ化（blurring）」技術を用い、誤り確率の非対称的感度を反映する。
• モーメント生成関数と指数的傾き変換を用いて、E[fₙ(𝐙̄₀, 𝐙̄₁)] の明示的表現を導出し、ランダムコーディング誤り確率 P_RC(n) の代理として用いる。
• 離散的および連続的近似をそれぞれ用いて、(h′, a′)-格子分布および非格子分布のケースに適用する。
• O(n⁻¹/²) および o(n⁻¹/²) 項による誤差項のバウンディングを通じて、E[fₙ(𝐙̄₀, 𝐙̄₁)] と P_RC(n) の漸近的同等性を確立し、相対誤差が消えることを示した。

実験結果

リサーチクエスチョン

• RQ1 固定レートが臨界レートを超える一般無記憶通信路におけるランダムコーディング誤り確率の正確な漸近的挙動は何か？
• RQ2 Z₀, Z₁ の分布が格子分布または退化している場合に、正確な漸近的性質をどのように導出できるか？
• RQ3 対称的・非格子・格子分布型通信路を、同一の解析的手法で統一的にカバーできるフレームワークを開発できるか？
• RQ4 分布が特異的または格子型である場合に、Cramérの条件および局所極限定理が正確な漸近的性質を達成するために果たす役割は何か？
• RQ5 正規近似が失敗する場合を含め、さまざまな通信路タイプにおいて、漸近的近似の相対誤差はどのように振る舞うか？

主な発見

• 本稿は、格子分布型および退化（強対称的）通信路を含む、すべての無記憶通信路におけるランダムコーディング誤り確率 P_RC(n) の正確な漸近的性質を導出した。
• (h′, a′)-格子通信路では、漸近的形が (1 + o(1)) · ψₛ,ρ,h′(na′)/(√(2πn)σ₀₀) であることが示された。ここで ψₛ,ρ,h′ はモーメント生成関数から導かれる関数である。
• 非格子通信路では、漸近的表現が (1 + o(1)) · ψₛ,ρ,δ(0)/(√(2πn)σ₀₀)（δ → 0）となり、非格子極限と同一の形に収束することが示された。
• 解析により、強対称的通信路は Z₁ が Z₀ の決定的関数である退化ケースであることが明らかになった。この場合、漸近的形が簡略化される。
• n → ∞ のとき、近似の相対誤差が消えることが確認され、すべての通信路タイプにおいて漸近的表現の正確性が裏付けられた。
• Cramérの条件が成立しない（格子分布）場合でも、本手法は従来の正規近似に基づく手法の限界を克服し、有効に機能した。