03-泡利矩阵与自旋算符

文档摘要

泡利矩阵与自旋算符本节摘要:本节是自旋的数学核心。对 s = 1/2 的电子,自旋态只有两个(自旋向上 |↑⟩、自旋向下 |↓⟩),因此自旋算符可以用 2×2 矩阵表示——这就是著名的泡利矩阵。三个泡利矩阵 σₓ、σᵧ、σz 加上单位矩阵,构成了所有 2×2 矩阵的基底,它们在量子力学、量子信息(量子比特)中无处不在。本节我们引入泡利矩阵,讨论其代数性质,并介绍狄拉克符号 |ψ⟩、⟨ψ|——量子力学最优雅、最简洁的数学语言。

泡利矩阵与自旋算符

本节摘要:本节是自旋的数学核心。对 s = 1/2 的电子,自旋态只有两个(自旋向上 |↑⟩、自旋向下 |↓⟩),因此自旋算符可以用 2×2 矩阵表示——这就是著名的泡利矩阵。三个泡利矩阵 σₓ、σᵧ、σ_z 加上单位矩阵,构成了所有 2×2 矩阵的基底,它们在量子力学、量子信息(量子比特)中无处不在。本节我们引入泡利矩阵,讨论其代数性质,并介绍狄拉克符号 |ψ⟩、⟨ψ|——量子力学最优雅、最简洁的数学语言。

一、二维自旋空间

自旋态的表示

电子自旋 s = 1/2,只有两个本征态:

|↑⟩:自旋向上(S_z = +ℏ/2)
|↓⟩:自旋向下(S_z = −ℏ/2)

这两个态构成一组完备基,任何自旋态都可以表示为它们的线性叠加:

|\psi\rangle = c_1 |↑\rangle + c_2 |↓\rangle

其中 c₁、c₂ 是复数,满足 |c₁|² + |c₂|² = 1(归一化)。

|c₁|² 是测量自旋 z 分量得到 +ℏ/2 的概率;|c₂|² 是得到 −ℏ/2 的概率。

列向量表示

可以用列向量(称为旋量,spinor)表示自旋态:

|↑\rangle = \begin{pmatrix} 1 \\ 0 \end{pmatrix}, \quad |↓\rangle = \begin{pmatrix} 0 \\ 1 \end{pmatrix}

一般自旋态:

|\psi\rangle = \begin{pmatrix} c_1 \\ c_2 \end{pmatrix}

这种二维表示称为自旋 s = 1/2 的"旋量空间",是量子力学中最简单的非平庸例子。

二、狄拉克符号

为什么需要狄拉克符号

在引入泡利矩阵之前,先介绍狄拉克符号(Dirac notation)——这是量子力学最优雅的数学语言。

狄拉克(1930 年代提出)观察到:量子态本质上是某种"矢量",但与传统几何矢量不同。他把量子态矢量称为右矢(ket),记为 |ψ⟩;其"共轭转置"称为左矢(bra),记为 ⟨ψ|。

(这套命名来自 bracket = bra + ket,即"括号"的拆分,这是物理学最巧妙的命名之一。)

基本运算

内积:

\langle \phi | \psi \rangle = \int \phi^* \psi \, dx \quad \text{(在位置表象)}

或矩阵表示下:

\langle \phi | \psi \rangle = \phi^\dagger \psi \quad \text{(矩阵乘法)}

内积是一个复数,满足 ⟨ψ|ψ⟩ ≥ 0。

正交归一化:若 |ψ⟩ 与 |φ⟩ 正交归一,则 ⟨ψ|φ⟩ = δ_ψφ。

期望值:

\langle A \rangle = \langle \psi | \hat{A} | \psi \rangle

简洁优雅,且与表象无关。

狄拉克符号的优势

简洁:把复杂的积分与矩阵运算统一为符号运算。
普适:同一符号语言适用于任何表象(位置、动量、能量、自旋等)。
直观:清楚地展示量子态的"矢量"本质。

从现在起,我们将广泛使用狄拉克符号。例如,电子自旋态写作:

三、泡利矩阵

定义

自旋算符 Ŝₓ、Ŝᵧ、Ŝ_z 作用在二维自旋空间,可以表示为 2×2 矩阵。习惯上写作:

\hat{S}_i = \frac{\hbar}{2} \sigma_i

其中 σ_i 是泡利矩阵(Pauli matrices):

\sigma_x = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \quad \sigma_y = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}, \quad \sigma_z = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}

加上单位矩阵 I,这四个矩阵构成了所有 2×2 矩阵的基底——任何 2×2 矩阵都可以表示为它们的线性组合。

验证 S_z 的本征值

让我们验证 S_z = (ℏ/2)σ_z 的本征值:

\hat{S}_z |↑\rangle = \frac{\hbar}{2} \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \begin{pmatrix} 1 \\ 0 \end{pmatrix} = \frac{\hbar}{2} \begin{pmatrix} 1 \\ 0 \end{pmatrix} = \frac{\hbar}{2} |↑\rangle

确实给出 S_z = +ℏ/2。类似地,Ŝ_z|↓⟩ = −(ℏ/2)|↓⟩。✓

泡利矩阵的对易关系

可以直接验证泡利矩阵满足角动量的对易关系:

[\sigma_x, \sigma_y] = 2i\sigma_z

[\sigma_y, \sigma_z] = 2i\sigma_x

[\sigma_z, \sigma_x] = 2i\sigma_y

由此,Ŝ = (ℏ/2)σ 满足 [Ŝₓ, Ŝᵧ] = iℏŜ_z 等(因子 ℏ/2 把 2i 变为 iℏ)。所以泡利矩阵是自旋 s = 1/2 角动量代数的最简单表示。

反对易关系

泡利矩阵除了普通的对易关系,还满足一组特殊的反对易关系:

\{\sigma_i, \sigma_j\} = \sigma_i \sigma_j + \sigma_j \sigma_i = 2\delta_{ij} I

也就是说,不同泡利矩阵反对易(σ_i σ_j = −σ_j σ_i,当 i ≠ j),同一泡利矩阵平方为单位矩阵(σ_i² = I)。

这一反对易性是自旋代数的核心特征,在量子信息(泡利算符代数)、量子场论(费米子场算符)中都至关重要。

四、泡利矩阵的性质

1. 厄米性

泡利矩阵都是厄米矩阵(等于自身的共轭转置):σ_i† = σ_i。这保证了它们的本征值是实数,符合可观测量算符的要求。

2. 行列式与迹

每个泡利矩阵的:

行列式 det(σ_i) = −1
迹 tr(σ_i) = 0

3. 本征值

每个泡利矩阵的本征值都是 ±1(注意 σ² = I,所以本征值满足 λ² = 1)。

例如 σ_z 的本征向量是 |↑⟩(本征值 +1)和 |↓⟩(本征值 −1)。这意味着测量 S_z 得到 ±ℏ/2 对应测量 σ_z 得到 ±1。

4. 旋转

泡利矩阵在自旋旋转中扮演核心角色。绕 z 轴旋转角 φ 的算符是:

\hat{R}_z(\phi) = e^{-i\phi\sigma_z/2}

这一形式在第 10 章量子比特的旋转操作中再次出现。

五、自旋态的几何图像:布洛赫球

自旋方向

考虑一般自旋态:

可以参数化为(忽略整体相位):

|\psi\rangle = \cos\frac{\theta}{2} |↑\rangle + e^{i\phi} \sin\frac{\theta}{2} |↓\rangle

其中 θ、φ 是球面上的角度。这一参数化给出布洛赫球(Bloch sphere)图像:每个自旋态对应单位球面上的一个点。


<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 600 320" font-family="sans-serif" font-size="13">
  <rect width="600" height="320" fill="#fafafa"/>
  <text x="300" y="25" text-anchor="middle" font-weight="bold">布洛赫球:自旋态的几何表示</text>
  <!-- 球 -->
  <circle cx="280" cy="160" r="100" fill="#cfe8ff" fill-opacity="0.3" stroke="#666"/>
  <ellipse cx="280" cy="200" rx="100" ry="20" fill="none" stroke="#aaa" stroke-dasharray="3,2"/>
  <!-- 坐标轴 -->
  <line x1="280" y1="270" x2="280" y2="50" stroke="#666" stroke-width="1.5"/>
  <text x="275" y="45" text-anchor="end">|↑⟩(z+)</text>
  <line x1="180" y1="200" x2="380" y2="200" stroke="#aaa"/>
  <line x1="225" y1="245" x2="335" y2="155" stroke="#aaa"/>
  <!-- 状态点 -->
  <line x1="280" y1="200" x2="335" y2="110" stroke="#e53935" stroke-width="2"/>
  <circle cx="335" cy="110" r="6" fill="#e53935"/>
  <text x="345" y="105" fill="#e53935">|ψ⟩</text>
  <!-- θ 角 -->
  <path d="M 280 160 A 40 40 0 0 0 305 130" fill="none" stroke="#999"/>
  <text x="295" y="150" fill="#666">θ</text>
  <!-- φ 角 -->
  <text x="280" y="220" text-anchor="middle" fill="#666" font-size="10">φ(绕 z)</text>
  <!-- 说明 -->
  <text x="430" y="100" font-size="12">|ψ⟩ = cos(θ/2)|↑⟩</text>
  <text x="430" y="120" font-size="12">       + e^(iφ) sin(θ/2)|↓⟩</text>
  <text x="430" y="170" font-size="11" fill="#666">北极(θ=0):|↑⟩</text>
  <text x="430" y="190" font-size="11" fill="#666">南极(θ=π):|↓⟩</text>
  <text x="430" y="210" font-size="11" fill="#666">赤道:|↑⟩±|↓⟩ 等叠加</text>
</svg>

布洛赫球的物理意义

布洛赫球揭示了自旋态的几何结构:

北极:|↑⟩(自旋向上,确定 S_z = +ℏ/2)。
南极:|↓⟩(自旋向下,确定 S_z = −ℏ/2)。
赤道:|↑⟩ ± |↓⟩(等量叠加,确定 S_x 或 S_y)。
球内:严格来说,纯态都在球面上;球内的点对应"混合态"(统计混合,不是纯量子叠加)。

布洛赫球是量子比特(第 10 章)的标准几何表示。每个量子比特对应布洛赫球面上的一个点,量子操作对应球面上的旋转。

六、自旋升降算符

定义

与轨道角动量类似,定义自旋升降算符:

\hat{S}_+ = \hat{S}_x + i\hat{S}_y, \quad \hat{S}_- = \hat{S}_x - i\hat{S}_y

用泡利矩阵表示:

\hat{S}_+ = \hbar \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}, \quad \hat{S}_- = \hbar \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}

作用

Ŝ₊|↓⟩ = ℏ|↑⟩(把自旋向下"升"为向上)
Ŝ₊|↑⟩ = 0(已经在最高态,不能再升)
Ŝ₋|↑⟩ = ℏ|↓⟩(把自旋向上"降"为向下)
Ŝ₋|↓⟩ = 0

这与一般角动量的升降作用完全一致。

在量子信息中的应用

Ŝ₊ 与 Ŝ₋ 在量子信息中称为翻转算符(flip operators):它们把自旋向上翻转为向下(反之亦然),是量子比特操作的常用工具。下节的 σₓ 也是某种"翻转"算符:σₓ|↑⟩ = |↓⟩,σₓ|↓⟩ = |↑⟩。

七、自旋与多粒子系统(预告)

本节我们只讨论了单个电子的自旋。在多电子系统中,每个电子都有自己的自旋,这就引出几个重要问题:

自旋耦合:两个电子的自旋如何合成总自旋?(下下节)
泡利不相容:为什么两个电子不能处于完全相同的态(包括自旋)?(第 6 节)
自旋与统计:为什么半整数自旋粒子是费米子?(第 6 章)

这些问题的回答将把自旋概念推向更深的物理层面。

本节要点回顾

电子自旋 s = 1/2,只有两个本征态:自旋向上 |↑⟩、自旋向下 |↓⟩。
自旋态可以用二维列向量(旋量)表示:|ψ⟩ = (α, β)ᵀ,|α|² + |β|² = 1。
狄拉克符号 |ψ⟩(右矢)、⟨ψ|(左矢)是量子力学最优雅的表述语言。内积 ⟨φ|ψ⟩,期望值 ⟨ψ|Â|ψ⟩。
泡利矩阵 σₓ、σᵧ、σ_z 是 2×2 厄米矩阵,加上单位矩阵构成所有 2×2 矩阵的基底。
自旋算符 Ŝ = (ℏ/2)σ;泡利矩阵满足对易关系 [σᵢ, σⱼ] = 2iεᵢⱼₖσₖ 与反对易关系 {σᵢ, σⱼ} = 2δᵢⱼI。
泡利矩阵的本征值都是 ±1,每个 σ_i² = I(单位矩阵)。
布洛赫球:每个自旋态对应单位球面上一点;|↑⟩ 在北极,|↓⟩ 在南极,赤道是等量叠加态。这是量子比特的标准几何。
自旋升降算符 Ŝ± 在 |↑⟩、|↓⟩ 之间切换,在量子信息中是"翻转算符"。

下一节,我们将讨论自旋-轨道耦合——电子自旋磁矩与其轨道运动产生的有效磁场之间的相互作用。这一耦合是原子能级精细结构的物理根源。