IT 论文精读 · PAPER 36
Claude Shannon · Bell Labs · 1948
你手机右上角的信号格、发一条微信、把照片存进相册时被悄悄压小、看 4K 视频不卡——这些背后都站着 1948 年的一篇论文和一个人:克劳德·香农(Claude Shannon)。他做了两件开天辟地的事:给「信息」找到了度量单位——比特(bit);并证明了通信世界里两条谁也绕不过去的铁律。这篇论文单枪匹马开创了「信息论」,是整个数字时代的地基。
想象你在玩「猜数字」:我心里想了 1 到 8 的一个数,你每次只能问是非题。聪明的问法是「大于 4 吗?」——不管答什么,可能性都砍一半,问三次必能猜中。香农说:这一个「是非题」的答案,就是 1 比特信息。信息不是那句话本身,而是它帮你排除了多少种可能、消除了多少不确定。一件八九不离十的事告诉你,几乎没信息;一件真正出乎意料的事,才信息量大。
在他之前,电报、电话、无线电各有各的土办法,可没人说得清「信息到底是什么、能不能量」。香农把这件事从「传的是语音还是文字还是图片」这些细节里彻底抽离出来——他不关心消息是什么意思,只关心它是从多少种可能里被挑出来的那一个。一旦这样想,一切通信都变成同一道数学题,信息也就有了统一的秤。
第一条铁律关于压缩。一段话里其实一大半是可以猜到的「水分」——英文里 q 后面几乎总跟着 u,删掉几个字母你照样读得懂。香农证明:把这些可预测的冗余全挤干,一个信息源能压到的最小体积是有一个确定极限的,再小就要丢东西了。这就是今天 zip、JPEG、MP3 的理论天花板。
第二条更惊人,关于抗噪声。当时所有人都以为:线路有杂音,想少出错就只能传慢点,想几乎不出错就得慢到几乎不动。香农却证明:每条线路都有一个固定的「限速」(他叫它容量),只要你的传输速度不超过这个限速,就一定存在一种巧妙的编码,能把出错率压到几乎为零——哪怕线路噪声很大。诀窍是把信息摊到很长的一段里、让不同消息对应的「暗号」彼此离得足够远,杂音的随机捣乱就被平均掉、纠正回来。这一下把「传得快就必然出错」的老信念给推翻了。
「比特」从此成了信息的通用货币:语音、文字、图片、视频,甚至 DNA,都能用同一把尺子量、同一套办法存和传——这正是「万物皆可数字化」的理论前提。那条「限速」还给全世界工程师立了一个明确的靶子,此后半个多世纪,一代代纠错编码就是在拼命逼近这条「香农极限」。
说句诚实的:香农证明了「一定存在这么好的编码」,却没告诉你它长什么样、怎么造——人类又花了将近五十年,才造出真正贴近这条极限的实用编码。
香农把信息变成了可以称重的东西(单位是比特 = 消除一次五五开的不确定),并证明两条铁律:任何信息源都有一个压缩极限;任何线路都有一个「限速」,只要不超速,再吵的噪声也能纠正到几乎不出错。这篇论文是数字世界的奠基石。
想看香农的通信系统图、熵与容量的公式、还有那条「香农极限」? → 切到精读版
香农 1948 年这篇论文一手创立了信息论(information theory):他把通信从一门经验手艺变成一门有精确度量、有基本定律的科学——用比特(bit)度量信息,把任何通信系统抽象成「信源 → 编码 → 有噪信道 → 解码 → 信宿」五段,并证明两条铁律:① 一个信息源能被无损压缩到的极限,正好等于它的熵(entropy),再小就会丢信息;② 每条信道有一个确定的容量(capacity)C,只要传输速率低于 C,就存在一种编码能把出错率压到任意小——哪怕信道充满噪声。
log₂N 表示:要多少个是非题才能从 N 个等可能里锁定一个(如 8 个 → 3 个问题)。作者克劳德·香农(Claude Shannon),贝尔实验室,1948 年分两部分发表于《贝尔系统技术期刊》。它接续 Nyquist(1924)、Hartley(1928)关于「信息量 ≈ 可能性数目的对数」的早期直觉,却第一次给出完整的数学理论;次年与 Warren Weaver 合出单行本,标题里的「A(一种)」被改成「The(这套)」。此后所有数字通信、数据压缩、纠错码,乃至香农自己 1949 年的保密通信理论,都建在这篇之上。
1948 年之前,电报、电话、无线电各有各的经验技巧,却没人能回答两个根本问题:「信息」到底是什么、能不能称重?一条有噪声的线路,究竟能可靠地传多快?当时工程界的常识是:要对抗噪声,只能加大功率、加宽带宽,或者干脆把速度降下来——大家默认「传得越快、错得越多,想几乎不出错就得把速率压到接近零」。没有人知道,其实存在一个既固定、又真能达到的上限。香农要做的,是把通信问题从物理细节里抽出来,直接问:本质上能做到什么、做不到什么。
香农开篇就是一句惊人的话:「通信的语义(意义)方面,与工程问题无关。」要紧的不是消息「是什么意思」,而是它是从一堆可能消息里被「选中」的哪一个。他把任何通信系统抽象成五段:信源产生消息 → 发送器把它编码成信号 → 信号穿过(有噪声的)信道 → 接收器解码 → 信宿收到。这个抽象的威力在于:不管你传的是语音、文字还是图片,都化成同一道数学题——在一端重建另一端选出的那个消息。
既然信息就是「从若干可能里选一个」,那可能越多、选中一个携带的信息就越多。香农用以 2 为底的对数来量:N 个等可能的消息里选一个,携带 log₂N 比特信息。2 选 1 = 1 比特(一个是非题),4 选 1 = 2 比特,8 选 1 = 3 比特……「比特(bit)」这个词就此定名(他在文中把它归功于同事 John Tukey)。直觉上,1 比特 = 消除一次「五五开」的不确定。信息不是消息本身,而是它替你消除了多少不确定。
真实信源里各消息并非等可能(英文里 e 远多于 z)。香农给出度量:H = −Σ pᵢ·log₂ pᵢ,把每个符号的「意外量」按其概率加权平均——这就是熵(entropy)。他证明:满足几条自然公理(连续、越多选择越大、可分步计算……)的度量,唯一就是这个式子,而它的形式恰与物理里的玻尔兹曼熵一模一样,故借用「熵」之名。白话说:熵就是这个信源平均每个符号带来多少比特的意外,也正好是它能被无损压缩到的极限。概率越均匀,熵越大(最不确定);越有偏、越可预测,熵越小。
一个信源可以被无损压缩到平均每符号 H 比特,不能再少;同时总能设计编码逼近这个极限。多出来的、可省的那部分叫冗余——英文文本约有一半是冗余(所以缺几个字母仍读得懂、txt 压成 zip 能小一半)。这为一切数据压缩(Huffman 编码、算术编码、ZIP、JPEG、MP3)划下了理论地板:压得再狠,也不可能越过熵这条线而不丢信息。
最反直觉、也最伟大的结果。给信道定义一个容量 C = max I(X;Y)——在所有可能的输入用法里,「看了输出能对输入减少多少不确定」的最大值(I 叫互信息)。香农证明:只要传输速率 R < C,就存在一种编码,能让出错率任意接近零;一旦 R > C,可靠传输不可能。这颠覆了「快就必然错」的旧信念——出错率趋零,竟然不需要速率趋零,只要不越过 C 就行。
做法的直觉是:把信息摊到很长的一段码块上、让不同消息对应的「码字」在信号空间里彼此离得足够远,噪声的随机扰动就被平均掉、被纠正回来。更妙的是香农的证明用了「随机编码」:随手挑一大堆随机码字,算出来的平均出错率就趋零,那么其中必定至少存在一个好码——他因此证明了好码存在,却没告诉你它具体长什么样。
对一条带宽 W、信号功率 S、高斯噪声功率 N 的连续信道,容量为 C = W·log₂(1 + S/N)(比特每秒)。这条香农—哈特利公式直接告诉工程师:想传得更快,要么加带宽、要么提信噪比——它至今是所有无线 / 有线通信的设计标尺。
这是一篇理论论文,「结果」就是定理本身,三块基石:熵 H = −Σ p·log p 给出无损压缩的极限;有噪信道编码定理给出可靠通信的确切上限 C,并证明 R < C 时错误率可任意小;连续信道容量 C = W·log₂(1 + S/N)。香农还顺手估计英文的冗余度约 50%(后续 1951 年他让人来猜下一个字母,估出英文的熵约每字母 1 比特出头)。要紧的是:这些数字不是测出来的经验值,而是证明出来的极限——它们说的是「无论技术多先进,都不可能越过这条线」。
它凭一己之力开创了一整个学科。「比特」从此成了信息的通用货币——语音、图像、文字乃至 DNA,都能用同一把尺子度量、同一套办法存储与传输,这正是「数字化」的理论前提。它还给工程师立了一个明确的靶子:容量 C。此后半个多世纪,一代代纠错码(Hamming 码、Reed–Solomon、到 1993 年的 Turbo 码、LDPC、再到 5G 的 Polar 码)一步步逼近这条「香农极限」;数据压缩、密码学,乃至机器学习里的交叉熵、互信息、KL 散度,都直接借用它的语言。可以说,没有这篇论文,就没有今天的数字世界。
① 一句话:香农 1948 年创立信息论,用比特度量信息,并证明压缩与传输的两条基本极限。
② 抽象:通信 = 从可能的消息里「选中一个」,与语义无关;系统 = 信源→编码→有噪信道→解码→信宿。
③ 比特:N 选 1 携带 log₂N 比特;1 比特 = 消除一次五五开的不确定。信息 = 消除的不确定量。
④ 熵 H=−Σp·log p:信源平均每符号的意外量,也是无损压缩的极限;冗余是可挤掉的水分(英文约半是冗余)。
⑤ 皇冠——有噪信道编码定理:信道有容量 C,R < C 时可把错误率压到任意小、R > C 则不可能;反直觉在于「趋零错误不需趋零速率」。
⑥ 手法:长码块 + 码字在信号空间里彼此拉远,让噪声被平均纠正;用「随机编码」证明好码只是「存在」。
⑦ 香农公式 C = W·log₂(1+S/N):带宽与信噪比决定速度上限,至今是通信设计标尺。
⑧ 影响:比特成为信息的通用货币,是数字化的理论根;纠错码用半个世纪逼近香农极限。
⑨ 局限:只证存在不给构造、逼近极限晚了几十年;剔除语义易被误用;点对点、模型已知等假设之外仍是难题。