1948 - Shannon 資訊理論(通訊的容量定理)#
案件摘要#
1948 年,Claude Shannon 發表《通訊的數學理論》—— 為「訊息」下了嚴格定義(熵 \(H\) ),並給出任何通訊系統的絕對上限:
任何編碼、任何調變、無論多聰明,都無法超過這個數字。 同時給出足夠達成它的方法(Shannon 源編碼定理 + 通道編碼定理)。 這是通訊技術偵探案的主導定理——所有工程師都被它判了上限,又被它指了路。
前因 -- 為什麼會有這個案子#
- 工程界的混沌:1930–40 年代工程師用經驗法則設計通訊系統(Nyquist 1928 的取樣率、1933 的 FM 質量),沒有總體理論。
- 戰爭的教訓:二戰密碼破譯(見「計算理論」系列)與通訊經驗累積,但「資訊」仍是一個模糊的直覺詞。
- Shannon 的偵探問題:把「資訊」從語意(消息的意義)與物理(具體訊號)中完全抽象出來—— 只保留統計結構,定義為隨機變數 \(X\) 的不確定性:
- 關鍵洞見:把「發送端」和「接收端」的共同知識限制作為容量限制—— 只有當 \(I(X;Y) = H(X) - H(X|Y)\) 足夠大時才能無誤傳遞。
線索與推理 -- 數學式、程式、理論#
第一條線索:資訊量(log 底的由來)#
對長度 \(n\) 的二元序列(共 \(2^n\) 個可能):
取對數的兩個理由: 1. 可加性: \(H(AB) = H(A) + H(B)\) ——拼接序列的資訊量可加(式 \(\{0,1\}^{n+m}\) 的大小是乘積)。 2. 均勻分布最大化:對固定 \(n\) (等機率時),只有 \(2^n\) 個可能,故均勹分布的 \(H\) 最大:
第二條線索:源編碼定理(壓縮的下限)#
i.i.d. 源 \(X\) 、熵 \(H\) bits/符號,長度 \(n\) 的區塊編碼:
極限論證的關鍵( \(n \to \infty\) ):任何好的演算法不依賴單一符號的機率,而依賴整個區塊的統計結構。
第三條線索:通道容量定理( \(C = B\log_2(1+S/N)\) )#
AWGN 通道、頻寬 \(B\) 、雜訊功率 \(N\) 、訊號功率 \(S\) :
- 帶寬換取頻譜效率(Shannon 圖的啟示):
故在 \(B\log_2(1+S/N)\) 固定下, \(B/S/N\) 有最優化——寬頻窄頻的取捨有了理論基礎。 - 現代 5G massive MIMO 與 OFDM,本質是在逼近這個界(見「2019-5G與Starlink星群.md」)。
證據與工具:Shannon 容量的數值表#
Shannon 公式本身就是可計算的證據。固定頻寬 \(B = 1\ \text{MHz}\) ,改變訊噪比 \(S/N\) :
| SNR(dB) | \(S/N\) (線性) | 容量 \(C = B\log_2(1+S/N)\) |
|---|---|---|
| 0 | 1 | \(1.00\) Mb/s |
| 10 | 10 | \(3.46\) Mb/s |
| 20 | 100 | \(6.66\) Mb/s |
| 30 | 1000 | \(9.97\) Mb/s |
兩個立即浮現的工程事實:
- 對數增長:SNR 每加 10 dB,容量只線性段性地增加——加大發射功率的邊際報酬遞減,逼工程師轉向頻寬與空間維度(MIMO)。
- 絕對上限:1 MHz 頻寬、30 dB SNR 下最多約 10 Mb/s(高斯輸入的極限)——任何調變與編碼都無法超越,所有現代無線系統都在此界之下,設計目標變成「距離 Shannon 界多遠」。
第四條線索:誤碼率的第二定理#
給定容量 \(R\) ,若 \(R < C\) 則可達任意小誤碼率(編碼定理); 若 \(R > C\) 則任何編碼都無法使誤碼率趨近 0(不可達定理)。 通訊工程由此變成「逼近界的學問」——今日 LDPC、Turbo、Polar 碼(5G NR 採用)全在逼近界。
結案 -- 後果與影響#
- 通訊工程從經驗科學變成數學科學:工程師有了容量上限、編碼定理、誤碼性能界限—— 設計目標從「足夠好」變成「距離 Shannon 界多遠」。
- 編碼理論的興起:Shannon 1948 論文開啟 channel coding(前綴碼、漢明碼、里德所羅門); 後續接近界的碼:urbo (1993)、LDPC (Gallager, 1962/2001)、Polar (Arıkan, 2009,5G NR 採用)。
- 取樣定理(見「1948-Shannon取樣定理.md」,同年)是資訊論的另一支柱。
- 密碼學的溫床:Shannon 1949 年〈Communication Theory of Secrecy Systems〉給出完全保密 (perfect secrecy) 的數學定義—— 一次性密碼 (one-time pad) 的絕對安全( \(C = H(X)\) ,互資訊為 0)。現代密碼學的源頭。
- 歷史定位:Bell 電話實驗室 1956 年誕生了資訊論部(Communication Theory Division)—— Hill、Purcell、還是定律物理學家,Shannon 是唯一的 CS/EE 出身的諾貝爾獎主(1972 物理獎); 資訊論的影響遍及電腦(演算法複雜度、編碼、機器學習、量子資訊)。
- 歷史啟示:Shannon 1948 年就在貝爾實驗室與 John Tukey(FFT 發明者,見「傅立葉轉換/1965-FFT快速傅立葉轉換.md」)合作做統計方法—— 資訊論與傅立葉分析源於同一片土壤。
關鍵人物與文獻#
- C. E. Shannon:〈A Mathematical Theory of Communication〉, Bell Syst. Tech. J. 27, 379 (1948);〈Communication Theory of Secrecy Systems〉(1949);1972 諾貝爾獎。
- R. G. Gallager:LDPC (1962);E. Arıkan:Polar 碼 (2009,5G NR 採用)。
- A. D. Huffman:霍夫曼碼 (1952)——Shannon 定理的第一個實務應用。
- 相關案件:
1948-Shannon取樣定理.md、1933-Armstrong調頻.md、2009-4GLTE.md。