跳轉到

9.2 EPR悖論1935#

本章導言#

1935 年 5 月，Einstein、Podolsky、Rosen 發表〈能認為量子力學對物理實在的描述是完備的嗎？〉。這篇論文不是提出新實驗，而是一個邏輯論證：若接受兩條看似無害的原則——局域性（無超光速作用）與實在性（若能確定預言某量，該量對應實在元素）——則量子力學不完備（必有隱變數）。Bohr 六週後以同名論文回應。這場辯論看似純哲學，直到 1964 年 Bell 把它變成不等式（9.3 節），2022 年 Aspect、Clauser、Zeilinger 以實驗獲諾獎。EPR 的原文選擇，影響了整個世紀。

EPR 的論證結構#

EPR 思考二粒子系統的連續變數版本：兩粒子動量總和與距離同時確定（ \(\hat p_1 + \hat p_2 = 0\) 、 \(\hat x_1 - \hat x_2 = d\) ）。測量粒子 1 的動量 \(p_1\) ，立即確定知道粒子 2 的動量 \(p_2 = -p_1\) ——無需接觸粒子 2。同樣，測 \(x_1\) 立即確定 \(x_2\) 。EPR 的兩條判準：

  1. 實在性判準：「若不用以任何方式擾動系統，我們能確定（機率 1）預言一個物理量的值，則存在對應此量的物理實在元素。」
  2. 局域性：對粒子 1 的測量不擾動粒子 2（二者分離足夠遠）。

由局域性，測 1 不擾動 2；由實在性， \(p_2\) 與 \(x_2\) 都是實在元素（各自可被遠方測量確定預言）。但量子力學說 \(x\) 與 \(p\) 不能同時有確定值（ \([\hat x_2, \hat p_2] = i\hbar\) ，5.2 節）——於是：

\[ \text{局域性} + \text{實在性} \quad\Longrightarrow\quad \text{量子力學不完備（漏掉了實在元素的完整清單）}. \]

Einstein 的結論克制而鋒利：「波函數不給出單個系統的完備描述。」他主張存在更深的決定論層次——隱變數： \(x_2, p_2\) 早已由攜帶的隱參數 \(\lambda\) 決定，量子力學只是統計投影。這是 1926 年 Born 機率詮釋之爭（2.3 節）的最強版本：Einstein 的機率 = 無知；量子力學的機率 = 本體。

BOHR 的回應：整體性對局域性#

Bohr 六週後（1935.10）回應，核心不在駁斥邏輯而在重新審視「測量不擾動」：對 EPR 糾纏對，測量粒子 1 的動量改變的不是粒子 2 的物理狀態，而是定義「粒子 2 的動量」這個問題的整個實驗裝置——兩粒子是一個不可分割的整體現象（indivisibility of quantum phenomena），「實在元素」的歸屬不能按 EPR 的方式分割給單個粒子。

\[ \text{Bohr 的對手棋}：\quad \text{實在性判準的「不用擾動系統」} \Rightarrow \text{糾纏態中「系統」= 整體，非子系統}. \]

Bohr 的立場（互補原理的延伸）後被稱為整體性（holism）：糾纏態的實在屬於複合系統。這個回應在 1935 年被多數物理學家接受（部分因 Bohr 的威望），但它只是重新劃界而非駁倒 EPR——兩者對「局域實在」的定義不同。直到 Bell 1964 才找到兩者共同可檢驗的推論。

SCHRÖDINGER 的糾纏（1935）：為 EPR 命名#

同年，Schrödinger 以德英兩文回應 EPR，創造了「糾纏」（Verschränkung / entanglement）一詞：

「當兩個系統……相互作用後分離，我們不能再用這種方式描述它們：對每個系統給出一個狀態，對整體給出兩者狀態的組合。我稱之為糾纏。」

Schrödinger 同時指出糾纏的定量特徵：它是最大的量子關聯——單一系統的知識可以完全決定另一個的態（不只是某個分量的值）。他還提出貓的思想實驗（9.1 節）作為糾纏放大到宏觀的荒謬展示。糾纏概念在 1935–1964 年沉睡（被視為哲學好奇），1990 年代復活為資源（10.2 節）——Schrödinger 1935 年的名字，成為 2025 年產業的貨幣。

例題#

例題 9.2.1：以自旋單態（CHSH 標準對）重演 EPR 邏輯。

解：總自旋零態

\[ \|\Psi^-\rangle = \frac{1}{\sqrt2}\left(\|{\uparrow_z}\rangle_1\|{\downarrow_z}\rangle_2 - \|{\downarrow_z}\rangle_1\|{\uparrow_z}\rangle_2\right). \]

性質：任何方向 \(\hat n\) 上， \(\sigma_n^{(1)} + \sigma_n^{(2)} = 0\) （旋轉不變的總自旋零）。測粒子 1 沿 \(z\) 得 \(+\) ，立即知道粒子 2 沿 \(z\) 為 \(-\) ；改測 1 沿 \(x\) ，粒子 2 沿 \(x\) 為 \(-\) 。同態可給出任意方向的反關聯——EPR 的「 \(x\) 與 \(p\) 都是實在」在此變成「 \(S_x\) 與 \(S_z\) 都是實在」，與 \(\{\sigma_x,\sigma_z\}\) 代數（7.2 節）直接衝突。Einstein 的讀法：每個粒子預先攜帶「沿各方向的自旋值」清單（隱變數）；Bohr 的讀法：方向選擇與測量共構實在。Bell（9.3 節）將證明：Einstein 的讀法在關聯函數上有定量上界，而量子力學超越它。

例題 9.2.2：驗證單態中兩粒子的關聯函數 \(E(\hat a,\hat b) = -\hat a\cdot\hat b\) 。

解： \(E(\hat a,\hat b) = \langle\Psi^-|\sigma_a^{(1)}\otimes\sigma_b^{(2)}|\Psi^-\rangle\) 。用 \(\sigma_i\otimes\sigma_j\) 在單態上的性質： \(\langle\Psi^-|\sigma_i\otimes\sigma_j|\Psi^-\rangle = -\delta_{ij}\) 。線性組合： \(E = -\sum_i a_ib_i = -\hat a\cdot\hat b\) 。平行測量（ \(\hat a = \hat b\) ）： \(E = -1\) （完美反關聯）✓；垂直： \(E = 0\) （無關）✓。這條餘弦關聯曲線就是 Bell 實驗要測的量——它比任何局域隱變數模型的關聯都強（9.3 節的 CHSH 界 \(2\) 被量子力學的 \(2\sqrt2\) 超越，正是因為 \(-\hat a\cdot\hat b\) 的連續角依賴）。

歷史啟示#

  • 哲學論證的數學化：EPR（1935）是純邏輯；Bell（1964）是純數學不等式；Aspect（1982）是物理實驗；諾獎（2022）是科技（量子資訊）——從形而上到工程的七十年，是科學史上「哲學問題變成實驗問題」的最佳樣本。
  • Einstein 輸了論證、贏了問題：局域隱變數被排除（Bell 實驗），但 EPR 指出的「非局域關聯」成為量子資訊的核心資源。Einstein 對量子力學的挑戰最終揭示了它最深刻的結構特徵（糾纏、非局域性）——反對者的敏銳常比擁護者的順從更富生產力。
  • 「完備性」是物理理論的檢驗標準：EPR 攻擊的「完備性」今天成為理論評價的日常用語（理論是否漏掉了自由度）。量子力學被證明在局域實在的意義上「完備」——而局域實在本身是不成立的組合。

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

  • 4.3 節：張量積與不可分離態是 EPR 的數學母體。
  • 5.2、5.3 節： \([\hat x,\hat p] = i\hbar\) 與 CSCO 完備性是被攻擊的「完備性」。
  • 9.1 節：測量問題與 EPR 是同一危機的兩面（單一結果 vs. 非局域關聯）。
  • 9.3 節：Bell 不等式與實驗——EPR 的可檢驗化。
  • 10.2 節：糾纏作為資源（遙傳、QKD、超密編碼）——EPR 對（Bell 態）是量子資訊的標準信號。
  • 數學：張量積分解、部分跡、Bell 不等式的線性規劃（局域多面體 vs. 量子集）。
  • 哲學：實在論、局域性、整體性——EPR 是分析哲學與物理的經典交會。

練習#

  1. 證明單態的旋轉不變性：對任意 \(\hat n\) ， \((\sigma_n^{(1)} + \sigma_n^{(2)})\|\Psi^-\rangle = 0\) 。
  2. 對稱態 \(\|\Phi^+\rangle = \frac{1}{\sqrt2}(\|00\rangle + \|11\rangle)\) 計算 \(E(\hat a,\hat b) = \cos(\alpha - \beta)\) ——它為何是最大糾纏但「非反關聯」？
  3. 兩粒子空間波函數 \(\psi(x_1 - x_2)\) （相對座標確定），驗證 \(x_1 - x_2\) 與 \(p_1 + p_2\) 同時有確定值而 \(x_1, p_1\) 各自不確定（EPR 原版的算子結構）。
  4. 思考題：EPR 的局域性判準要求「不擾動」，但測量選擇（測 \(x\) 或 \(p\) ）本身是自由事件——這個「自由選擇」假設在 Bell 實驗中如何被保障（延遲選擇、光速分離的隨機數源）？

進階研讀#

EPR 的現代化：糾纏的量化與資源化：1960s–90s，糾纏從悖論變成可度量資源：糾纏熵（von Neumann 熵的子系統差，4.2 節）、Schmidt 分解、糾纏蒸餾（Bennett 1996）。單向 EPR 問題的反轉：Einstein 視糾纏為理論缺陷，Bennett et al. 1993 的量子遙傳把它變成通訊協議——EPR 對 + 經典通道 = 量子態的傳輸。2022 諾獎的頒獎詞：「糾纏態的實驗、Bell 不等式的違反、以及開創量子資訊科學。」EPR 1935 年的「缺陷」在 2022 年成為諾獎標題——這是本書「技術與理論互相驅動」主題的頂點樣本。

名詞速查表#

  • EPR 判準：實在性（可確定預言 ⟺ 實在）與局域性（無遠距擾動）。
  • 隱變數：Einstein 假設的更深层決定論參數 \(\lambda\) 。
  • 糾纏（Verschränkung）：Schrödinger 1935 命名；不可分離的複合態。
  • 單態： \(\|\Psi^-\rangle\) ，旋轉不變的反關聯糾纏態。
  • 整體性：Bohr 的回應——複合系統的實在不可分割。

年表速查#

  • 1926–27：Born 機率詮釋之爭（2.3 節）。
  • 1935.05：EPR 論文。
  • 1935.07：Schrödinger 糾纏論文。
  • 1935.10：Bohr 回應。
  • 1952：Bohm 導航波（隱變數的可運算版本）。
  • 1964：Bell 不等式。
  • 1982：Aspect 實驗。
  • 2022：Aspect、Clauser、Zeilinger 諾獎。

深化問答三則#

問：EPR 糾纏是「超光速作用」嗎？ 答：關聯瞬時建立（測 1 立即確定 2 的值），但不可傳訊：單獨看粒子 2 的統計永遠是 50/50，關聯只在對照兩地數據時顯現（無通訊定理，no-signalling）。數學上：約化密度矩陣 \(\frac12 I\) 與遠方操作無關（4.2 節例題 4.2.2）。Einstein 擔心的相對論衝突因此被化解——但代價是承認「世界的關聯結構超出任何局域故事」。非局域關聯而不非局域信號——這個精細區分是 Bell 之後量子理論詮釋的基準線。

問：Bohm 導航波「解決」了 EPR 嗎？ 答：解決了不完備性指控（粒子永遠有確定位置），但代價是明確的非局域性：導引方程 \(v = \nabla S/m\) 依賴全系統波函數，遠方測量瞬時改變導引場。Bohm 理論不是局域隱變數——Bell 1964 年正是從研究 Bohm 模型出發，發現任何（Bohm 式）隱變數若要重現量子預言，必須非局域。Bohm 模型是 Bell 定理的先例：它證明隱變數可行但必須付非局域的代價，Bell 則證明這代價不可豁免。

問：EPR 對今天的工程意義？ 答：EPR 對（Bell 態）是量子資訊的標準資源：量子遙傳（每態傳輸消耗一對）、超密編碼（1 對糾纏傳 2 位元）、QKD（E91 協議以 Bell 違反自我認證安全）、糾錯碼（邏輯位元編碼於糾纏子空間）。2020 年代，中國 Micius 衛星實現千公里級糾纏分發與星地遙傳——1935 年的「悖論」已是太空級基礎設施。

（本節完）