跳轉到

4.3 態向量與疊加原理#

本章導言#

量子力學最反直覺的特徵不是波長、不是量子化，而是疊加：一個系統可以「同時」處於多個狀態的線性組合。Schrödinger 方程是線性的（2.2 節），因此疊加不是附加假設而是數學必然；但它的物理意義——「貓既活又死」——引爆了至今未息的爭論。本節以希爾伯特空間的語言（4.1、4.2 節）把疊加原理講清楚：它是線性代數的公理，它的深意藏在張量積與相對相位中。

疊加原理的表述#

原理：若 \(\|\psi_1\rangle\) 與 \(\|\psi_2\rangle\) 是系統的可能態，則

\[ \|\psi\rangle = c_1\|\psi_1\rangle + c_2\|\psi_2\rangle, \qquad c_1, c_2 \in \mathbb C \]

也是可能態。

三層讀法：

  1. 數學層：希爾伯特空間是向量空間，態向量是向量——線性組合自動合法（4.1 節）。疊加原理不是額外公理，是「態住在向量空間」的同義詞。
  2. 物理層：測量時不會得到「混合的結果」，而是以機率 \(|c_1|^2\) 得到態 1 的結果、 \(|c_2|^2\) 得到態 2 的結果——且兩種結果可以干涉（2.3 節交叉項）。疊加態不是「無知於處於哪個態」（那是混合態 \(\rho = \sum|c_i|^2\|\psi_i\rangle\langle\psi_i\|\) ），而是真實的新的態，有自己獨特的干涉結構。
  3. 哲學層：疊加態的「實在性」是測量問題（9.1 節）的核心。Schrödinger 1935 年以貓寓言挑戰：放射性原子（疊加：衰變/未衰變）聯動毒瓶與貓，微觀疊放大為宏觀荒謬。

相對相位：疊加中真正要緊的東西#

全局相位 \(e^{i\alpha}\|\psi\rangle\) 無物理意義（2.3 節練習）；但疊加中的相對相位決定一切。考慮

\[ \|\psi_\pm\rangle = \frac{1}{\sqrt2}\left(\|1\rangle \pm \|2\rangle\right). \]

對任何在 \(\|1\rangle,\|2\rangle\) 上測量，兩態給出相同的機率（各 \(\frac12\) ）。但對第三個態 \(\|\chi\rangle = \frac{1}{\sqrt2}(\|1\rangle + \|2\rangle)\) ：

\[ \langle\chi\|\psi_+\rangle = 1 \ (\text{機率} = 1), \qquad \langle\chi\|\psi_-\rangle = 0 \ (\text{機率} = 0). \]

相對相位改變其他測量的預言——它攜帶真實的物理資訊。這是干涉的向量空間本質：干涉條紋就是相對相位的空間分布。Aharonov–Bohm 效應（1959）把這件事推向極致：磁通使電子波的相位偏移而無力場作用，條紋移動——純相位差可觀測，相位從數學細節升格為物理實在。

張量積：複合系統與糾纏的幾何#

公理 5（4.2 節）：兩個系統的複合空間是 \(\mathcal H_1\otimes\mathcal H_2\) 。關鍵的結構性事實：張量積空間比「積態」的集合大得多。若 \(\dim\mathcal H_1 = \dim\mathcal H_2 = 2\) ，積態 \(|a\rangle\otimes|b\rangle\) 有 \(2+2 = 4\) 個實參數，而一般態

\[ \|\Psi\rangle = \alpha\|00\rangle + \beta\|01\rangle + \gamma\|10\rangle + \delta\|11\rangle \]

有 6 個實參數。一般態不能寫成 \(\|\psi_1\rangle\otimes\|\psi_2\rangle\) ——這就是糾纏態。典型例子 Bell 態：

\[ \|\Phi^+\rangle = \frac{1}{\sqrt2}\left(\|00\rangle + \|11\rangle\right). \]

測量第一個粒子得 0，則第二個必然得 0——相關性無法用「各自攜帶預定值」解釋（9.2、9.3 節把這變成可檢驗的不等式）。糾纏的幾何本質：張量積空間中的非因子向量。純線性代數，無需任何新物理公理——但它的物理後果（Bell 違反、量子遙傳、量子計算加速）在 1935–1964–1990s 一波波顯現。

例題#

例題 4.3.1：證明 Bell 態 \(\|\Phi^+\rangle\) 不可分離（不為張量積）。

解：反設 \(\|\Phi^+\rangle = (a\|0\rangle + b\|1\rangle)\otimes(c\|0\rangle + d\|1\rangle) = ac\|00\rangle + ad\|01\rangle + bc\|10\rangle + bd\|11\rangle\) 。比較係數： \(ac = bd = \frac{1}{\sqrt2}\) 、 \(ad = bc = 0\) 。由 \(ac \ne 0\) 得 \(a, c \ne 0\) ，則 \(ad = 0\) 要求 \(d = 0\) ，但 \(bd \ne 0\) 矛盾。∎ 不可分離性的證明就是「比較係數的矛盾」——糾纏的判定在簡單情形是初等代數，一般情形用 Schmidt 分解或部分跡（ \(\mathrm{tr}_2|\Psi\rangle\langle\Psi|\) 是否混合）。

例題 4.3.2：用疊加與相對相位解釋單光子 Mach–Zehnder 干涉儀的輸出。

解：光子經第一個分束器： \(\|{\text{上}}\rangle \to \frac{1}{\sqrt2}(\|{\text{上}}\rangle + i\|{\text{下}}\rangle)\) （反射帶 \(i\) 相位）。兩臂反射鏡後到第二分束器再疊加，輸出機率依兩臂相位差 \(\Delta\phi\) ：

\[ P_{\text{出口1}} = \cos^2\frac{\Delta\phi}{2}, \qquad P_{\text{出口2}} = \sin^2\frac{\Delta\phi}{2}. \]

光子在兩臂間「同時存在」——在臂中放探測器（路徑可分辨）則干涉消失，退回 \(50/50\) 。疊加態的相位差是可測量的：這台儀器是所有量子感測（重力儀、引力波探測器 LIGO）的原型，也是 10.2 節量子演算法中干涉放大正確答案的機制示範。

歷史啟示#

  • 線性不是風格而是命運：Schrödinger 方程線性 ⇒ 疊加 ⇒ Hilbert 空間語言 ⇒ 糾纏。一條始於 1926 年的數學性質，貫穿了整個二十世紀物理的形狀。
  • 荒謬感是進度指示器：Schrödinger 的貓（1935）本意是反駁疊加的歸謬，結果成為量子糾纏與退相干研究的標準思想實驗。理論中被視為荒謬的推論，往往是尚未理解的結構。
  • 張量積是公理中最富成果的：它使量子力學能描述多體系統，也埋下了 EPR、Bell、量子資訊的全部種子。一條看似技術性的公理，六十年後成為新產業的基礎。

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

  • 4.1、4.2 節：疊加的向量空間與公理化基礎。
  • 5.2 節：不對易性與疊加的關係：不可同時對角化的測量迫使疊加態存在。
  • 6.1 節：束縛態的任意疊加給出非定態波包——「電子在井中移動」。
  • 9.1–9.3 節：疊加的測量、糾纏的悖論與實驗。
  • 10.2 節：量子計算的資源就是疊加 + 糾纏 + 干涉三件套。
  • 線性代數：向量空間、張量積、Schmidt 分解（SVD 的量子版本）——量子力學是線性代數最壯麗的應用場。
  • 群論：疊加態的對稱性分類（不可約表示）是分子光譜與粒子物理的基礎。

練習#

  1. 證明：對二維系統，任何態都有一組對角化的相對相位表示（ \(\alpha,\beta\) 可取實正），並說明此為全局相位消去的自由度計數。
  2. 以部分跡計算 \(\|\Phi^+\rangle\) 中第一個粒子的約化密度矩陣，證明其為 \(\frac12 I\) ——最大混合態，並解釋這為何是「最大糾纏」。
  3. 單光子 Mach–Zehnder 中，若在臂 2 放入相位片 \(e^{i\theta}\) ，導出新的輸出機率。
  4. 思考題：Schrödinger 的貓為何是「荒謬」的？嘗試用退相干時間尺度（宏觀物體與環境糾纏的速度）解釋為什麼我們從未見到活死疊加，但單光子疊加隨處可見。

進階研讀#

疊加的工程化：疊加從哲學困境變成工程資源的轉折是 1980–90 年代：Feynman（1982）提議用量子系统模擬量子系统；Deutsch（1985）給出量子圖靈機；Shor（1994）的質因數分解演算法與 Grover（1996）的搜尋演算法展示了加速。其機制不是「平行計算所有分支」的通俗圖像，而是干涉工程：設計演化使錯誤答案的振幅相消、正確答案相長（10.2 節）。糾錯碼（Shor 1995）解決了疊加的脆弱性（退相干），使規模化成為工程問題而非原理問題。

名詞速查表#

  • 疊加原理：態的線性組合仍是態。
  • 相對相位：疊加係數間的相位差，物理可測。
  • 張量積： \(\mathcal H_1\otimes\mathcal H_2\) ，複合系統的空間。
  • 糾纏態：張量積空間中不可分離的態。
  • Bell 態： \((\|00\rangle \pm \|11\rangle)/\sqrt2\) 等，最大糾纏二體態。
  • Mach–Zehnder 干涉儀：單光子疊加與干涉的標準裝置。

年表速查#

  • 1926：線性疊加隨 Schrödinger 方程確立。
  • 1935：Schrödinger 貓；EPR。
  • 1959：Aharonov–Bohm 效應（純相位的可觀測性）。
  • 1964：Bell 不等式。
  • 1982：Feynman 量子模擬提議。
  • 1994–96：Shor、Grover 演算法。

深化問答三則#

問：疊加態「真的是」兩個態的共存嗎？ 答：不是共存，是另一個態。 \(\frac{1}{\sqrt2}(\|1\rangle + \|2\rangle)\) 不是「一半在 1 一半在 2」，而是與 \(\|1\rangle\) 、 \(\|2\rangle\) 同等地位的獨立向量（單位球面上的一點）。它的物理簽名是干涉：有測量能區分它與混合態。本體論的追問（它「是」什麼）屬於詮釋問題（9.1 節）；操作上，它是具有確定干涉性質的實在。

問：宏觀疊加為什麼沒有人見過？ 答：退相干。宏觀物體（如貓）與環境（空氣分子、熱光子）的散射在 \(10^{-20}\) 秒尺度即摧毁相對相位（9.1 節）——疊加的干涉結構被環境「讀出並稀釋」。工程上，隔離退相干（真空、極低溫、糾錯）正是量子計算的核心技術。原理上大分子疊加已實現（千原子級干涉，2.1 節）；貓尺度的疊加是工程極限而非原理禁止。

問：疊加與糾纏哪個更「量子」？ 答：糾纏。可分離的混合態可以經典地模擬（機率紙牌），但糾纏態違反 Bell 不等式（9.3 節）——沒有任何局域經典模型能重現其關聯。量子計算的加速也主要依賴糾纏（可分離態的計算可被經典高效模擬，Gottesman–Knill 定理的推論）。疊加是必要條件，糾纏是量子性質的真正指紋。

（本節完）