9.3 BELL不等式1964與實驗驗證#

本章導言#

EPR（9.2 節）的辯論困於定義之爭（什麼是「實在」、什麼是「完備」）。1964 年，CERN 的 John Bell 做了一件前無古人的事：從局域實在論推出一個定量的、可實驗檢驗的不等式，而量子力學預言它被違反。1982 年 Aspect 實驗、2015 年無漏洞實驗（Hensen、Giustina、Shalm）、2022 年諾獎，把哲學爭論釘死為物理結論：局域實在論不成立。本節推導 CHSH 不等式、算出量子違反、並追溯這條線如何通向量子資訊。

從局域隱變數到 CHSH 不等式#

設兩地（A、B）各自從兩個測量方向中隨機選一（A 選 \(\hat a_0\) 或 \(\hat a_1\) ；B 選 \(\hat b_0\) 或 \(\hat b_1\) ），結果 \(\pm1\) 。局域隱變數模型：結果由隱參數 \(\lambda\) （分布 \(\rho(\lambda)\) ）預先決定：

局域性體現在： \(A\) 不依賴 B 的選擇（反之亦然）。定義關聯 \(E(\hat a,\hat b) = \int\rho(\lambda)A(\lambda,\hat a)B(\lambda,\hat b)d\lambda\) 。CHSH 組合：

CHSH 定理（Bell 1964 的推廣形式）：局域實在論下

證明（逐 \(\lambda\) ）：對固定 \(\lambda\) ，記 \(s_0 = A(\lambda,\hat a_0)\) 、 \(s_1 = A(\lambda,\hat a_1)\) 、 \(t_0 = B(\lambda,\hat b_0)\) 、 \(t_1 = B(\lambda,\hat b_1)\) ，各為 \(\pm1\) 。計算

由 \(t_0, t_1 = \pm1\) ， \(t_0 - t_1\) 與 \(t_0 + t_1\) 中恰有一個為 0、另一個為 \(\pm2\) ，故逐點值 \(| \cdot | \le 2\) ；積分後 \(|S| \le 2\) 。∎ 六行代數殺死一場三十年辯論——不等式的美在於它只用了局域性與實在性兩條，與量子力學無關。

量子違反： \(2\sqrt2\)#

量子力學對單態（9.2 節）預言 \(E(\hat a,\hat b) = -\hat a\cdot\hat b = -\cos\theta_{ab}\) 。選共面方向 \(\hat a_0 = 0°\) 、 \(\hat a_1 = 90°\) 、 \(\hat b_0 = 45°\) 、 \(\hat b_1 = 135°\) （ \(\theta_{a_0b_0} = 45°\) 、 \(\theta_{a_0b_1} = 135°\) 、 \(\theta_{a_1b_0} = 45°\) 、 \(\theta_{a_1b_1} = 45°\) ）：

Tsiligroson 界： \(2\sqrt2\) （Cirel'son，1980）是量子力學允許的最大違反——超過它需要非線性演化（不可傳訊性的邊界）。局域多面體（ \(|S|\le2\) ）與量子集（ \(|S|\le2\sqrt2\) ）的夾縫就是「非局域關聯」的幾何區域——Bell 研究後來成為凸幾何與資訊論的交叉學科（nonlocal games、device-independent QKD）。

實驗驗證的四十年#

四個「漏洞」需要同時封死：探測漏洞（效率低時可用公平抽樣欺騙）、通訊漏洞（兩地可交換信號）、自由選擇漏洞（選向與 \(\lambda\) 相關）、交換漏洞（源–探測器不是快度分離）。2015 年三組實驗同時封死全部——局域實在論的排除不再依賴輔助假設。2022 諾獎（Aspect、Clauser、Zeilinger）確認了這條弧線的完成。

例題#

例題 9.3.1：構造一個具體的局域隱變數模型重現 \(S = 0\) 或 \(|S| = 2\) 的關聯，並說明它為何無法達到 \(2\sqrt2\) 。

解：最簡單的「預印答案」模型： \(\lambda \in \{\pm1\}\) 等權， \(A(\lambda,\hat a) = \lambda\) （與方向無關）、 \(B(\lambda,\hat b) = -\lambda\,\mathrm{sign}(\hat a\cdot\hat b)\) 。計算 \(E(\hat a,\hat b) = -\mathrm{sign}(\hat a\cdot\hat b)\) ——階梯函數近似 \(-\cos\theta\) 。代入 CHSH 最優方向： \(|S| = 2\) （恰好飽和上界）。階梯可以磨得更平，但任何局域模型的 \(E\) 是凸組合、受同一多面體約束—— \(2\sqrt2\) 在多面體外。量子關聯的「光滑餘弦」結構無法由任何局域查表實現——違反的根源不是模型不夠聰明，而是局域性的代數本身。

例題 9.3.2：無通訊檢驗——證明 Bell 違反不可用於超光速傳訊。

解：Bob 的局部統計： \(P(B = \pm1|\hat b) = \sum_\lambda\rho(\lambda)B(\lambda,\hat b)\) ——與 Alice 的選擇無關（局域模型中本來無關；量子力學中，約化密度矩陣 \(\frac12 I\) 使任何 \(\hat b\) 上機率均為 \(\frac12\) ，4.2 節例題 4.2.2）。Alice 的選向改變的只有聯合統計 \(E(\hat a,\hat b)\) ，Bob 的邊際分布紋絲不動。非局域關聯藏在相關性裡，不在任何一地的數據裡——「關聯而不傳訊」是量子力學與相對論和平共處的精確形式，也是 device-independent QKD 安全性的基礎。

歷史啟示#

• 不等式作為哲學的手術刀：Bell 把「實在」「局域」翻譯成關聯函數的線性約束——哲學爭議在可檢驗不等式面前失去藏身處。這是 20 世紀科學方法論的示範性案例。
• 「漏洞」的認真對待：實驗界花三十年封堵四個漏洞——科學結論的可信度不僅來自數據，還來自對替代解釋的系統排除。無漏洞實驗的方法論（隨機數、時空幾何、探測效率）已成為標準工程。
• 從定理到產業：Bell 違反 → 糾纏是真實資源 → device-independent 協議（即使儀器不可信也保安全）→ 量子資訊工業。最深的基礎問題孵育最實用的技術——本書的主題在此閉環。

與其他章節及領域的關聯#

• 7.2、7.3 節：Pauli 矩陣與 SG 測量是實驗的物理端。
• 9.2 節：EPR 提出問題，Bell 給出判決式。
• 4.3 節：糾纏態（Bell 態）是違反的載體。
• 10.2 節：device-independent QKD、隨機數認證、nonlocal games。
• 數學：凸多面體、線性規劃對偶（Bell 不等式的多面體理論，Pitowsky）、圖論（Lovász 數與 Kochen–Specker）。
• 哲學：實在論的實驗判決——分析哲學史上被「實驗解決」的少數案例。

練習#

1. 完整推導 CHSH 界（六行證明），並驗證例題 9.3.1 模型飽和 \(|S| = 2\) 。
2. 對單態計算 CHSH 最優方向的 \(S\) ，驗證 \(2\sqrt2\) 。
3. 證明 \(|S| = 2\sqrt2\) 是量子力學的極限（用 Tsirelson 恆等式： \(S = 4\langle\psi|\frac{A_0 + A_1}{\sqrt2}\otimes\frac{B_0 + B_1}{\sqrt2}|\psi\rangle\) ，兩個觀測量的譜半徑界）。
4. 思考題：若隱變數允許「超決定論」（ \(\lambda\) 依賴未來的測量選擇），CHSH 能否保持？這個「超決定論」後門在 2015 無漏洞實驗中的地位如何？

進階研讀#

Bell 之後的地圖：Kochen–Specker 定理（1967）：非局域性之外，非上下文實在論也被不等式排除（三維中 117 個方向的奇偶論證，簡化版 18 向）。裝置無關協議（DI-QKD、自測試）：把 Bell 違反當作「免費的認證」——安全性不依賴對儀器的信任，只依賴違反的觀測值。網路非局域性（多 parties、多節點）：2020s 的量子網路中，n-local 賓果遊戲與非局域性交換成為活躍的數學–資訊交界。Bell 定理不是句號，是座標原點——它定義了「非局域關聯」的度量空間，其上的幾何至今在生長。

名詞速查表#

• 局域隱變數模型：結果由 \(\lambda\) 預定，測量局域。
• CHSH 不等式： \(|S| \le 2\) 。
• Tsiligroson 界：量子最大違反 \(2\sqrt2\) 。
• 無通訊定理：非局域關聯不可傳訊。
• 漏洞：探測、通訊、自由選擇、交換——無漏洞實驗（2015）全部封死。
• DI-QKD：以 Bell 違反為安全證據的密鑰分發。

年表速查#

• 1964：Bell 不等式。
• 1967：Kochen–Specker 定理。
• 1969：CHSH 形式（Clauser–Horne–Shimony–Holt）。
• 1972：Freedman–Clauser 首次違反。
• 1980：Tsiligroson 界。
• 1982：Aspect 實驗。
• 2015：無漏洞三實驗。
• 2017：Micius 衛星 1200 km。
• 2022：諾貝爾物理獎。

深化問答三則#

問：Bell 違反「證明」了什麼、沒證明什麼？ 答：證明：局域性 + 測量結果預定論（+ 自由選擇 + 統計獨立）的組合不成立。沒證明：哪一條該被放棄——可以棄實在性（保持局域，如哥本哈根）、棄局域性（如 Bohm）、棄自由選擇（超決定論）、甚至棄統計推論本身。不等式排除的是組合，不是單項——這是理解 Bell 結論的關鍵精度，也是詮釋分歧延續至今的原因（9.1 節）。

問：量子關聯「為什麼」這麼強？ 答：數學上，單態的關聯 \(-\hat a\cdot\hat b\) 是向量內積——連續的角度依賴使 CHSH 組合的單位球結構超出多面體。物理上，糾纏態是整體態（4.3 節）：測量前的量子關聯在測量時被「兌現」，而非由局域預印答案生成。更深一層：Tsirelson 界與無通訊定理共同劃出「關聯的量子區間」——強到違反 Bell，弱到不可傳訊。這個區間的邊界是物理的基本特徵，其公理化刻畫（PR-box 與量子集的差距）是量子資訊的活問題。

問：Bell 實驗的「隨機選向」真的自由嗎？ 答：這是「自由選擇漏洞」的核心。工程解決：以宇宙級分離的光源（類星體，2018 Rauch et al.「COSMIC BELL」）決定選向—— \(\lambda\) 若要影響選擇，需在數十億年前設定。哲學上，超決定論（ \(\lambda\) 與選擇共同相關）邏輯上不可排除，但需要宇宙尺度的精密調和，多數學者視為不值得的代價。實驗的責任是壓縮後門的空間，而非邏輯上窮盡它——這是所有實驗檢驗的認識論邊界。

（本節完）