10.2 量子糾纏與量子資訊#

本章導言#

二十世紀末，量子力學的「怪異」被重新定價為資源：疊加（4.3 節）、糾纏（4.3、9.2 節）、干涉（2.3 節）從哲學謎題變成計算與通訊的燃料。Feynman（1982）提議量子模擬、Deutsch（1985）定義量子圖靈機、Shor（1994）分解質因數、Bennett–Brassard（1984）量子密鑰——三十年內，一門新工程學科在 Bell 與 EPR 的廢墟上建成。2022 年諾獎（9.3 節）承認這條線；2024–25 年，量子處理器進入百–千位元規模。本節講核心資源與協議，並回到數學：它們全是希爾伯特空間幾何的直接開發。

量子資訊的三大資源#

量子演算法的機制不是「平行計算」（通俗誤解），而是干涉工程：設計酉演化（4.2 節 Stone 定理的離散化——量子閘）使錯誤答案的振幅相消、正確答案相長。Deutsch–Jozsa、Grover 的搜尋（ \(O(\sqrt N)\) 加速）、Shor 的質因數分解（多項式 vs. 指數——依賴量子傅立葉變換把隱週期問題轉成干涉峰）。

糾纏的資源化三例：

1. 量子遙傳（Bennett et al. 1993）：預共享一對 EPR 對（9.2 節）+ 2 位元經典通訊 = 任意量子態的傳輸（本體破壞原態，遵守不可克隆）。
2. 超密編碼：1 個 qubit + 糾纏 = 傳輸 2 個經典位元。
3. 糾錯碼：邏輯 qubit 編碼於多物理位元的糾纏子空間，測量症狀而不塌縮邏輯態——對抗退相干（9.1 節）的工程化。Shor 碼（1995）、表面碼（2010s–2025 的主流路線）。

量子密碼學與無漏洞隨機性#

BB84（Bennett–Brassard 1984）：用兩組不對易基（7.2 節 \(\sigma_z\) / \(\sigma_x\) ）編碼，竊聽者不知基，測量必然引入可偵測誤差（5.2 節不確定性原理的安全面向）。E91（Ekert 1991）：以 Bell 違反（9.3 節）自我認證——糾纏關聯的強度本身就是「無竊聽」的證據。裝置無關（DI）QKD：即使設備不可信任，只要觀測到 Bell 違反，安全性由量子力學 + No-signalling 保證——把 1964 年的哲學定理變成密碼學證明工具。

隨機數：Born 機率的本體性（2.3 節）+ Bell 違反 = 可證明的真隨機性——比任何偽隨機演算法更強的認證。NIST 的 randomness beacon 與商業量子隨機數晶片都建立在這個理論鏈上。

硬體現況：從玩具到千位元#

2025 年的技術版圖：

• 超導 qubit（transmon，7.2 節 Pauli 代數的電路實現）：IBM、Google，千位元規模，毫秒級相干時間；2024–25 Google（Willow）展示糾錯盈虧平衡。
• 離子阱：IonQ、Quantinuum，高保真（99.9%+）、全連接，但速度慢。
• 光子：通信原生（QKD 部署）、糾纏分發（Micius 衛星 1200 km，9.3 節）。
• 中性原子：Rydberg 阻斷，數百原子可編程（2023–25 邏輯量子處理的熱點）。

NISQ 時代（Preskill 2018）：噪聲中尺度量子時代——糾錯未完全、退相干是主敵。應用前沿：量子化學模擬（8.1、8.2 節變分法上機：VQE）、優化的量子啟發、以及對「量子優勢」的謹慎評估（經典算法的追趕是常態——量子與經典的競賽本身是個活的研究領域）。

例題#

例題 10.2.1：Deutsch 演算法——最簡量子加速的完整演示。

解：黑箱函數 \(f: \{0,1\}\to\{0,1\}\) ，判斷 \(f(0)\oplus f(1)\) 是常數還是平衡（一 0 一 1）。古典需兩次呼叫；量子一次。製備 \(\|-\rangle = \frac{1}{\sqrt2}(\|0\rangle - \|1\rangle)\) ，疊加輸入：

相位 \((-1)^{f(x)}\) （相位踢回）+ Hadamard 干涉：

一次黑箱呼叫，讀出全局性質——機制完全透明：疊加把兩個輸入同時送入，相位差編碼 XOR，Hadamard 把相位差干涉成可讀值。這個「疊加 → 相位 → 干涉 → 測量」的四步模式是所有量子演算法的骨架（6.2 節 Mach–Zehnder 的計算版）。

例題 10.2.2：量子遙傳的完整協議。

解：Alice 有未知態 \(\|\psi\rangle = \alpha\|0\rangle + \beta\|1\rangle\) ，與 Bob 共享 Bell 對 \(\|\Phi^+\rangle_{AB} = \frac{1}{\sqrt2}(\|00\rangle + \|11\rangle)\) 。三步：

1. Alice 對自己的兩 qubit 做 Bell 基測量（CNOT + H）： $$ |\psi\rangle_A|\Phi^+\rangle_{A'B} = \frac12\Big[|\Phi^+\rangle|\psi\rangle + |\Phi^-\rangle(\alpha|0\rangle - \beta|1\rangle) + |\Psi^+\rangle(\beta|0\rangle + \alpha|1\rangle) + |\Psi^-\rangle(\beta|0\rangle - \alpha|1\rangle)\Big]. $$
2. Alice 傳 2 經典位元（測得哪個 Bell 態）。
3. Bob 按表應用 Pauli 修正（ \(I, \sigma_z, \sigma_x, \sigma_x\sigma_z\) ，7.2 節的矩陣！）恢復 \(\|\psi\rangle\) 。

兩個經典位元 + 一對糾纏 = 一個 qubit 的無失真傳輸，原態被測量破壞（不可克隆定理的自洽）。數學全是第 4、7 章的內容：張量積展開（4.3 節）、Bell 基（9.2 節）、Pauli 群糾纏——1935 年的糾纏 + 1925 年的矩陣 = 2025 年的通訊協議。

歷史啟示#

• 資源視角的革命：1980s 的關鍵轉向是把量子性質問「能做什麼」而非「是什麼」——疊加是並行性、糾纏是通道、退相干是噪聲。問題的重新定價創造了一個學科。
• 基礎研究的長週期：1935（EPR/糾纏）→ 1964（Bell）→ 1982（Aspect）→ 1993（遙傳）→ 2024（糾錯盈虧平衡）——近九十年、五代人。對「無用」問題的耐心是量子資訊的誕生條件。
• 數學與工程的雙向奔流：量子計算的新問題（糾錯、編譯、驗證）反哺數學（量子糾錯碼 ↔ 經典碼論、量子拓撲 ↔ 張量網路、隨機電路取樣 ↔ 複雜性理論），而數學的表示論（su(2)、SU(3)）持續供應硬體的設計語言。

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

• 4.1–4.3 節：Hilbert 空間、張量積、疊加——全部資源的數學母體。
• 7.2 節：Pauli 矩陣 = 量子閘的字母表。
• 8.1、8.2 節：量子化學模擬（VQE）的目標問題。
• 9.1–9.3 節：退相干（工程敵人）、糾纏（工程燃料）、Bell（安全證據）。
• 10.1 節：路徑積分的物理實現（Feynman 1982 的原始提議）。
• 10.3 節：量子資訊是「數學與物理相互塑造」的最新章節。
• 數學：張量網路、糾錯碼論、複雜性類（BQP vs. NP）、隨機矩陣與糾纏譜、量子機率論。

練習#

1. 完整推演 Deutsch 演算法（例題 10.2.1），並驗證古典需要兩次呼叫。
2. 實現量子遙傳的密度矩陣版本（混合態輸入），驗證保真度為 1 且原態被破壞。
3. 對 Grover 演算法計算 \(N = 4\) 時一次迭代的成功機率（答案：1——完美搜索）。
4. 思考題：不可克隆定理（ \(U\|\psi\rangle\|0\rangle = \|\psi\rangle\|\psi\rangle\) 無解，由線性性證明）如何同時是 QKD 的安全保障與量子計算糾錯的障礙？糾錯碼如何「繞過」它（症狀測量 vs. 態克隆）？

進階研讀#

量子資訊的數學化前沿：張量網路（DMRG、PEPS）作為糾纏結構的分類語言，反哺多體物理（8.3 節）；量子錯誤緩解與影子層析（shadow tomography，Huang–Kueng–Preskill 2020）重新定義「態的學習」；複雜性理論的量子版本（QMA、隨機電路取樣的經典不可模擬性）接觸 P vs. NP 的邊界。最深的一層：量子重構計畫（4.2 節進階）——從「糾纏 + 無通訊 + 局域性」的操作公理推出 Hilbert 空間結構（Masanes–Müller、Chiribella 等）——量子資訊不只用數學，正在反推為什麼世界是量子的。

名詞速查表#

• qubit：二維希爾伯特空間的態（7.2 節自旋的抽象化）。
• 量子閘：有限維酉算子；Stone 定理的離散化。
• 量子遙傳：糾纏 + 2 經典位元傳 1 qubit。
• BB84 / E91：不確定性原理 / Bell 違反為根基的 QKD。
• 表面碼：二維格點糾錯碼，2025 主流路線。
• NISQ：噪聲中尺度量子時代。
• 不可克隆定理：量子態不可複製（線性性）。

年表速查#

• 1982：Feynman 量子模擬提議。
• 1984：BB84。
• 1985：Deutsch 量子圖靈機。
• 1993：量子遙傳。
• 1994：Shor 演算法。
• 1995：Shor 糾錯碼。
• 1996：Grover 演算法。
• 2015：無漏洞 Bell 實驗（9.3 節）。
• 2019–25：量子優勢演示、糾錯盈虧平衡。

深化問答三則#

問：量子計算機會取代經典計算機嗎？ 答：不會，兩者是互補體系。量子加速只對特定問題結構（隱週期、搜尋、量子系統模擬、線性代數子類）成立，且加速是漸近的（大數才顯）；讀出（測量）與退相干使「任意問題加速」不可能（BQP 的界限）。現實架構是經典–量子混合（10.3 節的迴響）：經典做控制與後處理，量子做干涉計算。新工具開拓新領域，不廢棄舊工具——與傅立葉變換、概率論的歷史同型。

問：糾纏在工程中的「價格」是什麼？ 答：糾纏是易碎資源：任何不對稱的環境接觸（退相干，9.1 節）把它降解為經典關聯。工程的全部戰役在於保持相干：真空、低溫（mK 級）、屏蔽、糾錯。糾纏的「產量」（保真度 × 速率）是所有量子技術的 KPI——Micius 衛星的 1200 km 糾纏分發（9.3 節）代表分發技術的前沿。資源不是免費的，它需要整條供應鏈。

問：量子資訊改變了對量子力學本身的理解嗎？ 答：深刻地。一、糾纏從悖論變成度量（糾纏熵、糾纏譜）——多體理論的新座標（8.3 節）。二、測量從公理變成工程（POVM、弱測量、影子層析）。三、「為什麼是量子理論」獲得新的回答路徑（重構計畫：從資訊公理推出 Hilbert 空間）。使用一個理論九十年的工程實踐，能反哺對理論本性的理解——這是 10.3 節要總結的「數學–物理雙向塑造」的最新證據。

（本節完）