有噪信道编码定理

✍ dations ◷ 2025-06-08 10:42:33 #信息论,数学定理

在信息论里,有噪信道编码定理指出,尽管噪声会干扰通信信道,但还是有可能在信息传输速率小于信道容量的前提下,以任意低的错误概率传送数据信息。这个令人惊讶的结果,有时候被称为信息原理基本定理,也叫做香农-哈特利定理或香农定理,是由克劳德·艾尔伍德·香农于1948年首次提出。

通信信道的信道容量或香农限制是指在指定的噪音标准下,信道理论上的最大传输率。

根据香农1948年的陈述,本定理描述了在不同级别的噪音干扰和数据损坏情况下,错误监测和纠正可能达到的最高效率。定理没有指出构造错误监测的模型,只是告诉大家达到的最佳效果。香农定理可以广泛应用在通信和数据存储领域。本定理是现代信息论的基础理论。香农只是提出了证明的大概提纲。1954年,艾米尔·范斯坦第一个提出了严密的论证。

香农定理假设一个有噪音的信道,信道容量为,信息以速度传送,如果

那么就存在一种编码技术使接收端收到的错误达到任意小的数值。这意味着理论上,有可能无错误地传送信息直到达到速度限制。

反过来同样重要。如果

那么想达到任意小的错误率是不可能实现的。因此,在传送速度超过信道容量的时候,可靠传输信息是不能被保证的。定理并没有指出在什么特殊情况下速度和容量相等。

简单的流程如"重复发送数据3遍,用一个投票系统在数据不一样的时候选择3个里面相同的那两个的值"是低效的错误纠正的方式,不能保证数据块能完全没有错误地传送。先进一些的技术如里德-所罗门码编码技术和更现代一些的Turbo码、LDPC码等编码技术更逼近香农限制,但是计算复杂度很高。

定理(香农,1948年):

和信息论的其它主要结果一样,噪音信道编码定理包括一个可以实现的结果和相应的相反的结果。这两个组成部分中间有一个界线。在本案例中,可以通过有噪音的信道的可能速度的集合和相应边界显示出这是一个紧密边界。

下面的证明框架只是已有的许多种不同证明方法中的一种而已。

下面这个可实现性的证明是使用渐近等同分割特性(Asymptotic equipartition property(英语:Asymptotic equipartition property) - AEP)方法。另一种信息论常用证明方法是错误列举法(Error Exponent(英语:Error Exponent))。

两种证明方法都使用随机编码参数来构造信道。这样的目的是减少计算的复杂度,同时仍旧可以证明在速度低于信道容量的时候,存在误码率在可接受范围甚至是接近于理想的无失真的编码方式。

采用AEP相关的参数,一个指定的信道,长度为n的源字符串 X 1 n {\displaystyle X_{1}^{n}}

我们可以说两个序列 X 1 n {\displaystyle {X_{1}^{n}}} ,如果它们是基于上述定义的匹配序列集合。

步骤

这个流程产生的错误可以分成两个部分:

定义: E i = { ( X 1 n ( i ) , Y 1 n ) A ϵ ( n ) } , i = 1 , 2 , . . . , 2 n R {\displaystyle E_{i}=\{(X_{1}^{n}(i),Y_{1}^{n})\in A_{\epsilon }^{(n)}\},i=1,2,...,2^{nR}}

作为消息1发送出去,消息i作为匹配的消息接收到的结果。

我们可以发现如果信道 R < I ( X ; Y ) {\displaystyle R<I(X;Y)} ,n变为无穷大,错误的可能性将降为0。

最后,假设平均的编码方式是“好”的话,我们知道存在一个编码方式的效率比平均的值要好,因此可以满足我们在有噪音的信道低误码率的要求。

假设一种编码有 2 n R {\displaystyle 2^{nR}} 个编码词语。W假设为在这个集合上的一个索引。设 X n {\displaystyle X^{n}} Y n {\displaystyle Y^{n}} 分别为编码词和接收到的词。

这些步骤的结果是 P e ( n ) 1 1 n R C R {\displaystyle P_{e}^{(n)}\geq 1-{\frac {1}{nR}}-{\frac {C}{R}}} 。当块的长度变为无穷大,如果R比C大,我们得到 P e ( n ) {\displaystyle P_{e}^{(n)}} 不可能降到0。只有在R比C小的情况下,我们可以得到任意低的误码率。

强逆定理证明由Wolfowitz于1957年提出。,证明归结于证明如下不等式,

其中 A {\displaystyle A} 为有限的正常数。当 n {\displaystyle n} 变为无穷大的时候,弱逆定理证明错误的可能性不可能变成0,而强逆定理证明了错误以指数方式趋向于1。因此, C {\displaystyle C} 是可靠连接和不可靠连接的临界点。

我们假设信道是无记忆的,但是随着时间的变化,传输的可靠性是变化的。发送端和接收端一样工作正常。这样信道容量如下

针对每个不同的信道,计算出取得该信道容量似的分布,以求得上式中的最大值,这样 C = lim inf 1 n i = 1 n C i {\displaystyle C=\liminf {\frac {1}{n}}\sum _{i=1}^{n}C_{i}} ,信道i的容量为 C i {\displaystyle C_{i}}

证明方法和上面信道编码定理几乎一样。在指定的信道里面,每一个符号的选择是随机的,编码方式也是随机的,采用渐近等同分割特性(AEP)方法来定义变化的无记忆信道的参数集。

1 n i = 1 n C i {\displaystyle {\frac {1}{n}}\sum _{i=1}^{n}C_{i}} 不收敛时,下极限开始起作用。

相关

  • 滞产滞产是指分娩的整个过程超过24小时。滞产分为二种,一种是临产潜伏期超过八小时,另一种是临产活跃期超过12小时。滞产的原因可能是子宫收缩不良、胎儿特别大或是其胎位异常、或
  • 工兵工程兵,英语称为Sapper、Pioneer或Combat engineer,是为地面作战部队提供支援的非前线部队。主要负责开路、架桥、障碍排除、设置及灾害抢修等工程性质任务,亦会参与民间维修及
  • 腺苷酸一磷酸腺苷(英文:Adenosine monophosphate,简称AMP),又名5'-腺嘌呤核苷酸或腺苷酸,是一种在核糖核酸(RNA)中发现的核苷酸。它是一种磷酸及核苷腺苷的酯,并由磷酸盐官能团、戊糖核酸糖
  • 迈克尔·菲尔普斯迈克尔·弗雷德·菲尔普斯二世(英语:Michael Fred Phelps II,1985年6月30日-)是美国男子游泳运动员。他拥有28枚奥运奖牌,为史上获得最多奥运奖牌的运动员。同时也拥有史上最多奥
  • 广州流花体育馆广州体育馆是广州市一座已被清拆的体育场馆,原位于广州市越秀区流花路与解放北路交界西北角,曾是华南地区最大的体育场馆,亦是当时中国大陆内仅次于北京体育馆的第二大体育馆,为
  • 杨笑阳杨笑阳(?-),中国舞蹈家,一级编导,现任中国舞蹈家协会副主席,曾担任第七届世界军人运动会开幕式总导演。
  • 高卢的阿马德乌斯《高卢的阿玛迪斯》(西班牙语:Amadís de Gaula;葡萄牙语:Amadis de Gaula)是一部中世纪时代著名的骑士小说。这部小说也是骑士小说中最经典的一部。《高卢的阿玛迪斯》创作年代
  • 密苏里领地美国国旗密苏里领地(英语:Missouri Territory)为美国历史上的合并建制领土之一,存续时间为1812年6月4日至1821年8月10日。1821年8月10日,该领地东南部分以密苏里州名义加入联邦。
  • 李蒙李蒙(英语:Mona Lee Locke),美国电视记者,美国政治人物骆家辉的第二任妻子。李蒙的父亲是李振亚(英语:Larry Lee),母亲王安玲。李振亚和王安玲从台湾移民美国。李振亚的父亲是李定国(
  • 张泽 (材料学家)张泽(1953年1月29日-),生于天津,原籍北京,中国材料科学晶体结构专家,中国科学院物理研究所研究员,现任浙江大学材料系教授、博士生导师。1980年毕业于吉林大学物理系,1987年获中国科