7.2 PAULI矩陣與電子自旋1925#

本章導言#

1925 年 10 月，兩位荷蘭研究生 Uhlenbeck 與 Goudsmit 在萊頓提出：電子有一種內稟的角動量——自旋，量子數 \(\frac12\) 。這個假說原本是為了解釋鹼金屬光譜的雙線與反常 Zeeman 效應（1.3 節的失敗清單）；Pauli 隨即把它數學化：自旋態是二維複向量空間的元素，轉動與測量由 \(2\times2\) 無跡厄米矩陣——Pauli 矩陣——描述。兩個數字（ \(2\times2\) ）撐起了自旋、量子位元與 Dirac 方程。本節講這套最小表示的代數與物理。

自旋的實驗動機#

鹼金屬（Na、K）的主線系是雙線（如鈉 D 線 589.0/589.6 nm），且弱磁場中譜線分裂不符合 Lorentz 理論（反常 Zeeman 效應，Lande 半整數 \(g\) 因子）。舊量子論的失敗清單（1.3 節）中這兩項最頑固。Uhlenbeck–Goudsmit 的假說：

電子自旋 \(s = \frac12\) ， \(S_z = \pm\frac{\hbar}{2}\) ；
自旋磁矩 \(\vec\mu_s = g_s\frac{e}{2m_e}\vec S\) ， \(g_s \approx 2\) （Goudsmit 從光譜讀出的關鍵數字）。

自旋–軌道耦合 \(H_{SO} \propto \vec L\cdot\vec S\) 使 \(l \ge 1\) 的能階分裂為 \(j = l\pm\frac12\) 兩層——雙線的來源；兩條 D 線的能量差與理論在量級上吻合。Pauli 起初反對（他認為「雙值性」需要新的自由度而非古典自轉），隨即承認並將其納入自己的排布原理（8.3 節）：**電子有第四個量子數 \(m_s = \pm\frac12\) **。

PAULI 矩陣：自旋的代數#

自旋 \(\frac12\) 的三個分量以 Pauli 矩陣表示（ \(S_i = \frac{\hbar}{2}\sigma_i\) ）：

\[ \sigma_x = \begin{pmatrix}0&1\\1&0\end{pmatrix}, \qquad \sigma_y = \begin{pmatrix}0&-i\\i&0\end{pmatrix}, \qquad \sigma_z = \begin{pmatrix}1&0\\0&-1\end{pmatrix}. \]

代數性質：

\[ [\sigma_i, \sigma_j] = 2i\varepsilon_{ijk}\sigma_k, \qquad \{\sigma_i, \sigma_j\} = 2\delta_{ij}\hat 1, \qquad \sigma_i^2 = \hat 1. \]

對易子（su(2) Lie 代數，7.1 節）與反對稱化子（Clifford 代數）並存——這個雙重身分使 Pauli 矩陣同時是：轉動的生成元（酉表示）、測量的觀測量（自伴）、以及幾何的代數（Clifford）。由反對稱化子可推導核心恆等式：對任意單位向量 \(\hat n\) ，

\[ (\hat n\cdot\vec\sigma)^2 = \hat 1 \quad\Longrightarrow\quad \text{沿}\ \hat n\ \text{的測量只有}\ \pm\frac{\hbar}{2}\ \text{兩個結果}. \]

自旋沿任何方向的測量都只有兩個值——這是 Clifford 代數的代數必然，也是 Stern–Gerlach 實驗（7.3 節）看到的兩斑點。測量操作 \(\hat n\cdot\vec\sigma\) 的本徵態 \(|\pm\hat n\rangle\) 構成 \(\mathbb C^2\) 的正交基；不同方向的基由酉變換連接：

\[ |\pm\hat n\rangle = e^{-i\theta(\hat n\cdot\vec\sigma)/2}|\pm z\rangle \quad(\hat n\ \text{在}\ x\text{-}z\ \text{平面，極角}\ \theta). \]

轉動、Bloch 球與量子位元#

\[ \|\psi\rangle\langle\psi\| = \frac12(\hat 1 + \vec r\cdot\vec\sigma), \qquad \vec r \in S^2\ \text{（Bloch 球）}. \]

\(\vec r\) 的方向就是自旋的「平均方向」： \(\langle\vec\sigma\rangle = \vec r\) 。純態 = 球面；混合態 = 球內（10.2 節）；對蹠點 = 正交態。量子位元（qubit）就是自旋態： \(\|0\rangle, \|1\rangle\) 疊加成球面上任意點，量子計算的單位門是 Bloch 球上的轉動（ \(R_x(\theta) = e^{-i\theta\sigma_x/2}\) 等）。1925 年為光譜雙線發明的矩陣，1990 年代成為量子計算機的暫存器語言。

DIRAC 方程的一瞥：自旋與相對論的聯姻#

Pauli 方程（1927）把自旋手工嵌入 Schrödinger 方程： \(H = \frac{(\vec\sigma\cdot\vec p)^2}{2m} + \dots\) 。1928 年 Dirac 為求相對論一致的線性方程，發現必須用四個矩陣 \(\gamma^\mu\) 滿足 Clifford 代數 \(\{\gamma^\mu,\gamma^\nu\} = 2g^{\mu\nu}\) ——Dirac 方程自動包含自旋 \(\frac12\) 與 \(g = 2\) （自旋磁矩的正確 \(g\) 因子免費出現），並預言正電子（1932 Anderson 發現）。自旋從「光譜補丁」升格為相對論的必然： \(\frac12\) 自旋是 Lorentz 群旋量表示的內容（Wigner 1939 的粒子分類：質量 + 自旋 = Poincaré 群不可約表示的標籤）。Pauli 矩陣的 \(\{\ ,\ \}\) 代數在 Dirac 手中成為時空幾何的代數。

例題#

例題 7.2.1：驗證 \(\sigma_x\sigma_y = i\sigma_z\) 並推導 \((\vec a\cdot\vec\sigma)(\vec b\cdot\vec\sigma) = (\vec a\cdot\vec b)\hat 1 + i(\vec a\times\vec b)\cdot\vec\sigma\) 。

解：直接矩陣乘法： \(\sigma_x\sigma_y = \begin{pmatrix}0&1\\1&0\end{pmatrix}\begin{pmatrix}0&-i\\i&0\end{pmatrix} = \begin{pmatrix}i&0\\0&-i\end{pmatrix} = i\sigma_z\) ✓。一般恆等式： \(\sigma_i\sigma_j = \delta_{ij}\hat 1 + i\varepsilon_{ijk}\sigma_k\) （反對稱化子 + 對稱化子的合併），故

\[ (\vec a\cdot\vec\sigma)(\vec b\cdot\vec\sigma) = \sum_{ij}a_ib_j(\delta_{ij}\hat 1 + i\varepsilon_{ijk}\sigma_k) = (\vec a\cdot\vec b)\hat 1 + i(\vec a\times\vec b)\cdot\vec\sigma.\ \checkmark \]

這條恆等式是自旋代數的工作馬：指數化給轉動公式 \(e^{-i\theta\hat n\cdot\vec\sigma/2} = \cos\frac\theta2 - i\sin\frac\theta2\,\hat n\cdot\vec\sigma\) （因 \((\hat n\cdot\vec\sigma)^2 = \hat 1\) ，級數只兩項）——** \(4\pi\) 週期一眼可見**（ \(\theta \to \theta + 2\pi\) 變號， \(\theta \to \theta + 4\pi\) 復原）。

例題 7.2.2：電子在態 \(\|\psi\rangle = \frac{1}{\sqrt3}\|{\uparrow}\rangle + \sqrt{\frac23}\|{\downarrow}\rangle\) 。求 \(\langle S_x\rangle\) 、 \(\langle S_z\rangle\) 與 Bloch 向量。

解： \(\langle S_z\rangle = \frac{\hbar}{2}(|\alpha|^2 - |\beta|^2) = \frac{\hbar}{2}(\frac13 - \frac23) = -\frac{\hbar}{6}\) 。 \(\langle S_x\rangle = \frac{\hbar}{2}\langle\psi|\sigma_x|\psi\rangle = \frac{\hbar}{2}(\alpha^*\beta + \beta^*\alpha) = \frac{\hbar}{2}\cdot2\,\mathrm{Re}(\alpha^*\beta) = \frac{\hbar}{2}\cdot\frac{2}{3}\cos(0) = \frac{\hbar}{3}\) （相位差 0）。Bloch 向量： \(r_x = 2\mathrm{Re}(\alpha^*\beta) = \frac23\) 、 \(r_z = |\alpha|^2 - |\beta|^2 = -\frac13\) 、 \(r_y = 2\mathrm{Im}(\alpha^*\beta) = 0\) 。相對相位決定橫向分量（4.3 節）——量子位元操作（改變相對相位）在 Bloch 球上是繞 \(z\) 軸轉動。

歷史啟示#

最小的表示承載最大的物理： \(\mathbb C^2\) 是最簡非平凡希爾伯特空間，Pauli 矩陣是最簡非平凡 Lie 代數表示——而電子、量子位元、磁共振都住在這裡。物理的豐富性不與空間維度成正比。
** \(g = 2\) 是兩層理論的確認**：Goudsmit 從光譜讀出 \(g \approx 2\) （1925），Pauli 方程半經典得出，Dirac 方程精確給出（1928），QED 修正 \(g = 2(1 + \frac{\alpha}{2\pi} + \cdots)\) （Schwinger 1948，實驗至今吻合到 \(10^{-12}\) ）——一個數字橫跨四代理論。
反對稱化子同樣重要： \(\{\sigma_i,\sigma_j\} = 2\delta_{ij}\) 的 Clifford 代數在 Dirac 方程、幾何代數、拓撲物質（陳數、Z2 不變量）中反覆出現。對易子描述「量子性」（不確定性），反對稱化子描述「幾何性」（度量）——兩套代數共用同一組矩陣。

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

7.1 節：su(2) 表示論；Pauli 矩陣是最小表示。
7.3 節：Stern–Gerlach 是 \(\sigma_z\) 測量的實體化。
8.3 節：自旋進入 Pauli 不相容原理與原子排布。
10.2 節：qubit、單位門、Bloch 球的幾何。
線性代數： \(2\times2\) 厄米矩陣的完備性（ \(\{\hat 1,\sigma_x,\sigma_y,\sigma_z\}\) 張成全部）；密度矩陣的 Bloch 表示。
幾何：Bloch 球 = SU(2) 在 \(S^2\) 上的作用；Hopf 纖維叢（ \(\|\psi\rangle \to \vec r\) ）——相位是纖維，態是球面。
化學／磁學：自旋–軌道耦合、電子順磁共振（EPR 譜儀）、核磁共振（MRI 的前身）。

練習#

驗證 Pauli 矩陣的全部代數性質（跡、行列式、對易、反對稱化）。
求 \(\sigma_x\) 的本徵矢，並以 \(|\uparrow\rangle, |\downarrow\rangle\) 表示。
對例題 7.2.2 的態，計算 \(\Delta S_x\,\Delta S_z\) 並與 Robertson 下界比較（5.2 節）。
思考題：為什麼「電子自轉的小陀螺」圖像是錯的？用赤道速度超光速的估算，說明為何必須接受自旋為純量子自由度。

進階研讀#

自旋的延伸前沿：自旋–統計定理（Pauli 1940）：相對論量子場論中半整數自旋 ⇒ Fermi 統計（8.3 節），整數自旋 ⇒ Bose 統計——統計性由自旋決定，這在二維中失效（任意子 anyons，分數統計），正是拓撲量子計算的資源（10.2 節 Majorana 費米子）。自旋電子學（spintronics）用自旋流取代電荷流；自旋–軌道耦合的強化產生拓撲絕緣體（2010s）。1925 年的「第四量子數」至今仍是材料科學與計算的前沿軸。

名詞速查表#

自旋：內稟角動量，電子 \(s = \frac12\) 。
Pauli 矩陣： \(\sigma_{x,y,z}\) ，su(2) 最小表示 + Clifford 代數。
自旋磁矩： \(\vec\mu = g\frac{e}{2m}\vec S\) ， \(g \approx 2\) 。
Bloch 球：二維態空間的幾何表示；純態在球面。
自旋–軌道耦合： \(H_{SO} \propto \vec L\cdot\vec S\) ，光譜雙線的來源。
旋量：SU(2) 的半整數表示； \(4\pi\) 週期的對象。

年表速查#

1922：Stern–Gerlach 實驗（7.3 節）。
1924：Pauli 排布原理（第四量子數的預兆）。
1925.10：Uhlenbeck–Goudsmit 自旋假說。
1926：Heisenberg–Jordan 自旋代數。
1927：Pauli 方程。
1928：Dirac 方程（ \(g = 2\) 自動成立）。
1940：自旋–統計定理。

深化問答三則#

問：自旋是「真的轉動」嗎？ 答：不是。若電子是半徑 \(r_e \sim 2.8\,\mathrm{fm}\) （古典電子半徑量級）的球，要提供 \(\frac{\hbar}{2}\) 角動量，赤道速度將達 \(v \sim \frac{\hbar}{m_er_e} \approx 100\) 倍光速——古典自轉模型物理上不可能。自旋的正確身分：轉動群表示論要求的內稟自由度。Dirac 方程把它從相對論中「免費」產出，說明它是時空結構的性質，不是粒子的機械性質。

問：為什麼測量沿任何方向都只得 \(\pm\frac{\hbar}{2}\) ？ 答：代數必然。 \((\hat n\cdot\vec\sigma)^2 = \hat 1\) 使本徵值只能是 \(\pm1\) （乘 \(\frac\hbar2\) ）。而 \(\hat n\cdot\vec\sigma\) 是 \(2\times2\) 厄米無跡矩陣——它的兩個本徵值必為 \(\pm|\vec n|\) 。二維空間 + 無跡厄米 + 平方恆等共同鎖死了測量值集。這也說明為何沒有自旋「零分量」態： \(\sigma_z\) 的本徵值不含 0（與軌道 \(L_z\) 的 \(m = 0\) 對照）。

問：Pauli 矩陣與量子計算的關係？ 答：單位元閘 = Pauli 矩陣的指數： \(X = \sigma_x\) （位元翻轉）、 \(H = \frac{\sigma_x + \sigma_z}{\sqrt2}\) （Hadamard，疊加製備）、 \(T = e^{-i\pi\sigma_z/8}\) （相位閘）。任意單位元閘 \(= e^{-i\vec\theta\cdot\vec\sigma/2}\) （Bloch 球轉動）。量子演算法的設計語言就是 su(2) 幾何（4.3、10.2 節）。1925 年的光譜補丁，2025 年是雲端量子電腦的指令集——數學結構的壽命遠超其誕生的問題。

（本節完）