MathLabs
定理已证明

香农有噪信道编码定理

命题陈述

对于容量为 CC 的离散无记忆信道,只要使用足够长的分组码,在任何满足 R<CR < C 的传输速率 RR(每次信道使用的比特数)下都可以实现可靠通信(错误概率 Pe→0P_e \to 0);反之,在任何 R>CR > C 的速率下,都不存在能使 Pe→0P_e \to 0 的编码方案。

为什么成立?

容量不仅仅是一个方便的公式——它是一堵真实存在的墙。低于它时,把每条消息展开到足够长的分组上,可以让看似随机的码字在噪声中依然可区分,从而把错误率降到零;高于它时,无论编码多么巧妙,信道破坏信息的速度都快于任何编码所能保护的速度。

证明思路

**逆定理(R>C⇒Pe↛0R > C \Rightarrow P_e \not\to 0)。** Fano 不等式限制了在给定有噪输出的情况下,接收方对消息剩余的不确定性:H(X∣Y)≤1+Pelog⁡2(n−1)H(X\mid Y) \le 1 + P_e \log_2(n-1),其中 nn 是可能消息的个数。同时,信道的数据处理结构迫使每次使用都满足 I(X;Y)≤CI(X;Y) \le C,因此在 NN 次信道使用组成的一个分组上,接收方能提取的总信息至多为 NCNC 比特。若真实速率 R>CR > C(每次使用),则消息携带 NRNR 比特的熵,但信道大约只能提供其中 NC<NRNC < NR 比特;此时 Fano 不等式迫使 PeP_e 在 NN 增大时始终远离 00,因为剩余的不确定性 H(X∣Y)H(X\mid Y) 无法被消除。

**可达性概述(R<C⇒Pe→0R < C \Rightarrow P_e \to 0)。** 固定一个能达到容量的输入分布 p(x)p(x),从 p(x)Np(x)^N 中独立随机生成 2NR2^{NR} 个长度为 NN 的码字,构成码本。解码时,接收方寻找与接收序列联合典型(即统计模式表现得像真正的输入-输出对)的唯一码字。由于 R<CR < C,候选码字数(2NR2^{NR})远小于统计上可区分的信道输出数(≈2NC\approx 2^{NC}),因此当 N→∞N \to \infty 时,某个未发送的其他码字恰好与接收序列联合典型的概率会缩小到 00,平均到码本的随机选择上,解码错误概率也随之缩小——因此至少存在一个码本能达到任意小的 PeP_e。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Claude E. Shannon (1948). A Mathematical Theory of Communication
  2. Thomas M. Cover, Joy A. Thomas (2006). Elements of Information Theory
  3. David J. C. MacKay (2003). Information Theory, Inference, and Learning Algorithms
  4. Erdal Arıkan (2009). Channel Polarization: A Method for Constructing Capacity-Achieving Codes for Symmetric Binary-Input Memoryless Channels · arXiv:0807.3917