定理已证明
香农有噪信道编码定理
命题陈述
对于容量为 的离散无记忆信道,只要使用足够长的分组码,在任何满足 的传输速率 (每次信道使用的比特数)下都可以实现可靠通信(错误概率 );反之,在任何 的速率下,都不存在能使 的编码方案。
为什么成立?
容量不仅仅是一个方便的公式——它是一堵真实存在的墙。低于它时,把每条消息展开到足够长的分组上,可以让看似随机的码字在噪声中依然可区分,从而把错误率降到零;高于它时,无论编码多么巧妙,信道破坏信息的速度都快于任何编码所能保护的速度。
证明思路
**逆定理()。** Fano 不等式限制了在给定有噪输出的情况下,接收方对消息剩余的不确定性:,其中 是可能消息的个数。同时,信道的数据处理结构迫使每次使用都满足 ,因此在 次信道使用组成的一个分组上,接收方能提取的总信息至多为 比特。若真实速率 (每次使用),则消息携带 比特的熵,但信道大约只能提供其中 比特;此时 Fano 不等式迫使 在 增大时始终远离 ,因为剩余的不确定性 无法被消除。
**可达性概述()。** 固定一个能达到容量的输入分布 ,从 中独立随机生成 个长度为 的码字,构成码本。解码时,接收方寻找与接收序列联合典型(即统计模式表现得像真正的输入-输出对)的唯一码字。由于 ,候选码字数()远小于统计上可区分的信道输出数(),因此当 时,某个未发送的其他码字恰好与接收序列联合典型的概率会缩小到 ,平均到码本的随机选择上,解码错误概率也随之缩小——因此至少存在一个码本能达到任意小的 。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- Claude E. Shannon (1948). A Mathematical Theory of Communication
- Thomas M. Cover, Joy A. Thomas (2006). Elements of Information Theory
- David J. C. MacKay (2003). Information Theory, Inference, and Learning Algorithms
- Erdal Arıkan (2009). Channel Polarization: A Method for Constructing Capacity-Achieving Codes for Symmetric Binary-Input Memoryless Channels · arXiv:0807.3917