第IX章 多粒子系统:对称性的威力

📑 目录

第IX章 多粒子系统:对称性的威力

"宇宙并不区分两个电子。"
—— Paul Dirac, 1930


引言:量子克隆的伦理危机

2156年,量子生物学家程远在火星轨道实验室"奥克托斯号"上进行一项突破性的实验:尝试用量子态转移技术"克隆"一个碳基分子的电子构型。实验理论上是完美的——分子A的每个电子波函数都被精确映射到分子B的对应位置上。然而,当程远启动系统时,灾难发生了:目标分子没有变成预期的构型,而是进入了一种完全混乱的高能态,仿佛所有电子都在"抗拒"被安排到克隆的位置。

程远的导师,一位年迈的理论物理学家,在地球上的全息通话中沉默了很久,然后说:"你忘了Dirac的警告。在量子力学中,电子不是可以贴上标签的台球——它们是全同粒子。任何试图区分它们的尝试,都会被自然以最残酷的方式惩罚。去读第IX章吧。"

Dirac在《量子力学原理》的第IX章中,用一组看似抽象的数学对象——置换算符——构建了整个多粒子量子力学的基石。他从最纯粹的对称性出发,推导出了泡利不相容原理,解释了为什么原子中的电子不会全部塌缩到最低能级,为什么物质是稳定的,为什么宇宙不会坍缩为一团致密的量子浆糊。程远打开那本泛黄的电子书,开始了他职业生涯中最重要的一课。


前置知识:排列群与置换

在深入Dirac的多粒子理论之前,我们需要先理解一个关键数学工具——排列群(Permutation Group),又称对称群(Symmetric Group)。这是群论中最基础也最美丽的结构之一,也是Dirac构建多粒子量子力学的代数基石。

什么是排列?

想象三个标有1、2、3的盒子。排列就是将这三个数字重新排序的操作。例如:

P=(123231)P = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}

这个记号表示:1号位置放原来的2号,2号位置放原来的3号,3号位置放原来的1号。换言之,这是一个轮换(cycle):12311 \rightarrow 2 \rightarrow 3 \rightarrow 1,简记为 (123)(123)

排列的乘法

两个排列可以连续执行。例如:

  • P1=(12)P_1 = (12):交换1和2
  • P2=(23)P_2 = (23):交换2和3

先执行 P1P_1 再执行 P2P_2

  • 1号位置:P1P_1 后变成2,P2P_2 后变成3 → 最终1号位置放3
  • 2号位置:P1P_1 后变成1,P2P_2 后保持1 → 最终2号位置放1
  • 3号位置:P1P_1 后保持3,P2P_2 后变成2 → 最终3号位置放2

所以 P2P1=(132)P_2 \circ P_1 = (132)。注意:排列乘法一般不满足交换律P1P2P2P1P_1 \circ P_2 \neq P_2 \circ P_1

偶排列与奇排列

任何排列都可以分解为一系列对换(transposition,即两两交换)的乘积。例如 (123)=(13)(12)(123) = (13)(12)——先交换1和2,再交换1和3。

关键定理:一个排列分解为对换的个数,其奇偶性是唯一的。也就是说,如果一个排列可以写成偶数个对换的乘积,那么它绝不可能写成奇数个对换的乘积,反之亦然。

  • 偶排列:由偶数个对换组成,符号 (1)P=+1(-1)^P = +1
  • 奇排列:由奇数个对换组成,符号 (1)P=1(-1)^P = -1

恒等排列是偶排列(0个对换,0是偶数)。两个偶排列的乘积仍是偶排列,两个奇排列的乘积也是偶排列,一奇一偶的乘积是奇排列。

对称群 SNS_N

NN 个物体的所有排列构成对称群 SNS_N,它有 N!N! 个元素。

  • S2S_2:2个元素 {I,(12)}\{I, (12)\}
  • S3S_3:6个元素 {I,(12),(23),(13),(123),(132)}\{I, (12), (23), (13), (123), (132)\}
  • S4S_4:24个元素

SNS_N非阿贝尔群(当 N3N \geq 3 时),意味着排列的乘法顺序很重要。

数值例题:计算 S3S_3 的乘法表

S3S_3 的6个元素可以表示为:I,A=(12),B=(23),C=(13),D=(123),F=(132)I, A=(12), B=(23), C=(13), D=(123), F=(132)

验证几个乘法(循环记号,从右往左读):

例题1:计算 AB=(12)(23)A \circ B = (12) \circ (23)

  • 追踪1:(23)(23) 不变1,(12)(12) 把1→2 → 最终1→2
  • 追踪2:(23)(23) 把2→3,(13)(13) 不变3 → 等等,让我重新算:(12)(23)(12) \circ (23) 是先做 (23)(23),再做 (12)(12)
    • 1号:(23)(23) 后仍是1,(12)(12) 后1→2 → 1号放2
    • 2号:(23)(23) 后2→3,(12)(12) 后3不变 → 2号放3
    • 3号:(23)(23) 后3→2,(12)(12) 后2→1 → 3号放1
  • 结果:12311\rightarrow 2 \rightarrow 3 \rightarrow 1,即 (123)=D(123) = D

例题2:计算 DF=(123)(132)D \circ F = (123) \circ (132)

  • (132)(132)13211\rightarrow 3 \rightarrow 2 \rightarrow 1
  • (123)(123)12311\rightarrow 2 \rightarrow 3 \rightarrow 1
  • 先做 (132)(132),再做 (123)(123)
    • 1号:(132)(132) 后1→3,(123)(123) 后3→1 → 最终1号放1
    • 2号:(132)(132) 后2→1,(123)(123) 后1→2 → 最终2号放2
    • 3号:(132)(132) 后3→2,(123)(123) 后2→3 → 最终3号放3
  • 结果:恒等排列 II!这说明 (132)(132)(123)(123) 的逆元。
\circIIAABBCCDDFF
IIIIAABBCCDDFF
AAAAIIDDFFBBCC
BBBBFFIIDDCCAA
CCCCDDFFIIAABB
DDDDCCAABBFFII
FFFFBBCCAAIIDD

从上表可以读出许多群论信息:

  • II 是单位元
  • A,B,CA, B, C 的阶为2(A2=IA^2 = I)——它们是对换
  • D,FD, F 的阶为3(D3=ID^3 = I)——它们是三轮换
  • S3S_3 有3个共轭类:{I}\{I\}{A,B,C}\{A, B, C\}{D,F}\{D, F\}

排列群在物理学中的意义

排列群 SNS_N 的重要性在于:当 NN 个粒子是全同的时候,交换它们的标签不对应任何物理变化。然而,量子态在交换下的行为(对称或反对称)却决定了整个多粒子系统的物理性质。

Dirac的天才在于:他没有把"全同性"当作一个模糊的手 waving 概念,而是将其严格表述为"物理可观测量必须与所有置换算符对易"。这一数学化的表述,直接导致了泡利不相容原理的严格推导。

graph TD
    A["排列群 S_N"] --> B["N! 个元素"]
    A --> C[非阿贝尔群]
    A --> D["偶排列 +1"]
    A --> E["奇排列 -1"]
    B --> F[全同粒子交换]
    C --> G[交换顺序重要]
    D --> H[对称态]
    E --> I[反对称态]
    F --> J[泡利不相容原理]
    style A fill:#1a1a2e,color:#fff
    style H fill:#e94560,color:#fff
    style I fill:#e94560,color:#fff
    style J fill:#ffd93d,color:#000

9.1 全同粒子的不可区分性

9.1.1 经典与量子的根本分歧

在经典力学中,即使两个粒子完全相同(相同的质量、电荷、自旋),它们仍然是"可区分"的。想象两个完全相同的台球:如果我们给其中一个标上"1号",另一个标上"2号",在任何时候我们都知道哪个是1号,哪个是2号。它们的轨迹在相空间中永不相交——它们是不同的历史。

但在量子力学中,这种区分是不可能的。两个电子无法被标记,无法被追踪,无法被赋予独立身份。它们不是"两个电子",而是一个双电子系统的两个组成部分。

这个不可区分性不是技术上的限制,而是量子力学的公理级特征。Dirac在第IX章中写道:

"当我们说两个粒子是全同的,我们意味着物理系统在所有可观测量上都对这两个粒子的交换保持不变。"

9.1.2 交换对称性作为物理定律

考虑一个双粒子系统的波函数 ψ(r1,r2)\psi(\mathbf{r}_1, \mathbf{r}_2),其中 r1\mathbf{r}_1r2\mathbf{r}_2 是两个粒子的位置坐标。定义交换算符 P12P_{12}

P12ψ(r1,r2)=ψ(r2,r1)P_{12} \psi(\mathbf{r}_1, \mathbf{r}_2) = \psi(\mathbf{r}_2, \mathbf{r}_1)

P12P_{12} 交换两个粒子的所有量子数(位置、自旋等)。

如果粒子是全同的,那么哈密顿量必须在交换下不变:

P12H=HP12[P12,H]=0P_{12} H = H P_{12} \quad \Rightarrow \quad [P_{12}, H] = 0

这意味着 P12P_{12} 是一个运动常数(守恒量)——如果一个态在初始时刻具有某种交换对称性,它将永远保持这种对称性。

graph TD
    A["全同粒子
不可区分"] --> B["交换算符 P₁₂"] B --> C["P₁₂与H对易"] C --> D["交换对称性是
运动常数"] D --> E{"P₁₂² = 1"} E -->|"本征值 +1"| F["对称态
ψ(r₁,r₂) = +ψ(r₂,r₁)"] E -->|本征值 -1| G["反对称态
ψ(r₁,r₂) = -ψ(r₂,r₁)"] style A fill:#1a1a2e,color:#fff style B fill:#16213e,color:#fff style C fill:#0f3460,color:#fff style D fill:#533483,color:#fff style E fill:#e94560,color:#fff style F fill:#e94560,color:#fff style G fill:#e94560,color:#fff

9.2 置换算符:对称性的数学化身

9.2.1 置换群与置换算符

Dirac将交换的概念推广到任意 NN 个粒子的情形。对于 NN 个全同粒子,置换群 SNS_N(Symmetric group)包含了所有 N!N! 种粒子标签的重新排列。

每一个置换 PSNP \in S_N 对应一个置换算符 P^\hat{P},作用于 NN 粒子波函数:

P^ψ(1,2,,N)=ψ(P(1),P(2),,P(N))\hat{P} \psi(1, 2, \ldots, N) = \psi(P(1), P(2), \ldots, P(N))

其中 1,2,,N1, 2, \ldots, N 是粒子的完整坐标集合(位置+自旋+其他内禀量子数)。

置换算符满足群的乘法规则:\hat{P}_1 \hat{P}_2 = \widehat{P_1 P_2}。

9.2.2 置换作为动力学变量

Dirac的一个深刻洞察是:置换算符可以作为动力学变量(dynamical variables)。它们与位置和动量不同,不对应连续的谱,而是离散的、有限的对称操作。但它们同样是厄米(或幺正)算符,同样参与对易关系的游戏。

对于任意可观测量 AA,全同粒子假设要求:

[\hat{P}, A] = 0 \quad \text{对所有 } P \in S_N

这意味着:任何物理可观测量都必须是交换不变的

graph LR
    subgraph "置换群 S_N"
        A["恒等置换 I"]
        B["两粒子交换 P₁₂"]
        C["三粒子轮换 P₁₂₃"]
        D["..."]
        E["N! 个元素"]
    end
    subgraph 物理后果
        F["任何可观测量
与P对易"] G[哈密顿量对称] H[守恒量] I["分类多粒子态
的关键工具"] end A --> F B --> G C --> H D --> I style A fill:#1a1a2e,color:#fff style B fill:#16213e,color:#fff style C fill:#0f3460,color:#fff style D fill:#533483,color:#fff style E fill:#e94560,color:#fff style F fill:#1a1a2e,color:#fff style G fill:#16213e,color:#fff style H fill:#0f3460,color:#fff style I fill:#e94560,color:#fff

9.3 对称态与反对称态:两种量子物种

9.3.1 对称化算符与反对称化算符

给定一组单粒子态 a,b,|a\rangle, |b\rangle, \ldots,我们可以构造两种基本的多粒子态:

对称态(Symmetrized State)

a,b,c,S=1NsPSNP^a1b2c3|a, b, c, \ldots\rangle_S = \frac{1}{\sqrt{N_s}} \sum_{P \in S_N} \hat{P} |a\rangle_1 |b\rangle_2 |c\rangle_3 \cdots

反对称态(Antisymmetrized State)

a,b,c,A=1NaPSN(1)PP^a1b2c3|a, b, c, \ldots\rangle_A = \frac{1}{\sqrt{N_a}} \sum_{P \in S_N} (-1)^P \hat{P} |a\rangle_1 |b\rangle_2 |c\rangle_3 \cdots

其中 (1)P(-1)^P 是置换的宇称(parity):偶置换取 +1+1,奇置换取 1-1

这两种态在任意置换下分别乘以 +1+1(1)P(-1)^P,因此它们是置换算符的本征态。

graph TD
    A["单粒子态
|a⟩,|b⟩,|c⟩..."] --> B["直积态
|a⟩₁|b⟩₂|c⟩₃..."] B --> C{对称化操作} C -->|全加| D["对称态 |...⟩_S
玻色子"] C -->|带符号加| E["反对称态 |...⟩_A
费米子"] D --> F["P|ψ⟩_S = +|ψ⟩_S"] E --> G["P|ψ⟩_A = (-1)^P|ψ⟩_A"] style A fill:#1a1a2e,color:#fff style B fill:#16213e,color:#fff style C fill:#0f3460,color:#fff style D fill:#e94560,color:#fff style E fill:#e94560,color:#fff style F fill:#533483,color:#fff style G fill:#533483,color:#fff

9.3.2 Slater行列式与行列式的物理

对于反对称态,反对称化操作有一个优雅的数学表达:

ψA(1,2,,N)=1N!ϕa(1)ϕa(2)ϕa(N)ϕb(1)ϕb(2)ϕb(N)ϕn(1)ϕn(2)ϕn(N)\psi_A(1, 2, \ldots, N) = \frac{1}{\sqrt{N!}} \begin{vmatrix} \phi_a(1) & \phi_a(2) & \cdots & \phi_a(N) \\ \phi_b(1) & \phi_b(2) & \cdots & \phi_b(N) \\ \vdots & \vdots & \ddots & \vdots \\ \phi_n(1) & \phi_n(2) & \cdots & \phi_n(N) \end{vmatrix}

这就是著名的Slater行列式(Slater determinant)。

行列式的性质自动编码了反对称性的所有内容:

  1. 交换两行(两个粒子),行列式变号——这正是反对称性
  2. 如果两行相同(两个粒子处于同一单粒子态),行列式为零——这就是泡利不相容原理

Dirac用置换算符严格推导了这个结果,而不需要像泡利原始论文那样引入额外的"泡利假设"。

9.3.3 玻色子与费米子:宇宙的两大家族

实验和理论的结合揭示了一个惊人的事实:自然界中的全同粒子只有两种

类型交换对称性自旋统计占据规则
玻色子(Boson)对称 Pψ=+ψP\psi = +\psi整数 0,1,2,0, 1, 2, \ldots玻色-爱因斯坦统计同一态可任意占据
费米子(Fermion)反对称 Pψ=ψP\psi = -\psi半整数 1/2,3/2,1/2, 3/2, \ldots费米-狄拉克统计同一态最多一个

光子、声子、胶子是玻色子;电子、质子、中子、夸克是费米子。

自旋-统计定理(Spin-Statistics Theorem)指出:整数自旋粒子必然是玻色子,半整数自旋粒子必然是费米子。这个定理在量子场论中才能得到严格证明(Pauli, 1940),但其物理根源可以追溯到Dirac的置换算符理论。

graph LR
    subgraph "自旋-统计关联"
        A["整数自旋
s = 0,1,2..."] B["半整数自旋
s = 1/2,3/2..."] C["对称态
玻色子"] D["反对称态
费米子"] E["玻色-爱因斯坦统计"] F["费米-狄拉克统计"] G["玻色-爱因斯坦凝聚"] H[泡利不相容原理] I[物质稳定性] end A --> C --> E --> G B --> D --> F --> H --> I style A fill:#1a1a2e,color:#fff style B fill:#16213e,color:#fff style C fill:#0f3460,color:#fff style D fill:#e94560,color:#fff style E fill:#533483,color:#fff style F fill:#e94560,color:#fff style G fill:#0f3460,color:#fff style H fill:#e94560,color:#fff style I fill:#e94560,color:#fff

9.4 置换作为运动常数:守恒的深层含义

9.4.1 对称性分类的永恒性

Dirac在第IX章中证明了一个核心定理:

如果一个多粒子态在某一时刻是对称的(或反对称的),那么它将在所有时刻保持对称(或反对称)。

数学上,这是因为置换算符与哈密顿量对易:

ddtP^=i[H,P^]=0\frac{d}{dt} \hat{P} = \frac{i}{\hbar}[H, \hat{P}] = 0

这意味着:对称性和反对称性不仅是态的性质,而且是动力学的守恒定律。一个对称态永远不会演化出反对称的成分,反之亦然。

这个结果的物理后果是深远的:

  • 如果一个电子系统在某时刻由Slater行列式描述,它将永远由Slater行列式描述
  • 玻色子不会"变成"费米子,费米子也不会"变成"玻色子
  • 宇宙中的两种粒子家族是严格分离的

9.4.2 不可约表示与分类

置换群 SNS_N 有更复杂的结构。除了完全对称和完全反对称两种表示,还存在混合对称性的表示。

Dirac指出:对于多于两个粒子的系统,存在既非完全对称也非完全反对称的态——它们在部分置换下对称,在另一些置换下反对称。这些态对应于置换群的不可约表示(irreducible representations)。

然而,实验上从来没有发现粒子处于混合对称态。这引出了强对称性假设:自然界中存在的多粒子态要么是完全对称的(玻色子),要么是完全反对称的(费米子)。

在量子色动力学(QCD)中,这个假设通过"色禁闭"机制实现:所有可观测的粒子(强子)都是色单态,而色单态恰好对应于完全对称或完全反对称的组合。

graph TD
    A["S_N 的不可约表示"] --> B["一维: 完全对称"]
    A --> C["一维: 完全反对称"]
    A --> D["多维: 混合对称"]
    B --> E["玻色子态
物理存在"] C --> F["费米子态
物理存在"] D --> G["理论存在
但似乎不单独出现"] G --> H["通过色禁闭
组合为单态"] style A fill:#1a1a2e,color:#fff style B fill:#16213e,color:#fff style C fill:#0f3460,color:#fff style D fill:#533483,color:#fff style E fill:#e94560,color:#fff style F fill:#e94560,color:#fff style G fill:#533483,color:#fff style H fill:#e94560,color:#fff

9.5 泡利不相容原理:物质稳定的基石

9.5.1 从反对称性到不相容

泡利不相容原理是反对称性的直接推论。考虑两个费米子占据相同的单粒子态 aa

a,aA=12(a1a2a1a2)=0|a, a\rangle_A = \frac{1}{\sqrt{2}}(|a\rangle_1 |a\rangle_2 - |a\rangle_1 |a\rangle_2) = 0

Slater行列式中两行相同,行列式为零。两个费米子不能占据同一个量子态

这个"不能"不是动力学禁止(像势垒那样),而是概率幅的精确相消。两个电子"试图"进入同一态时,它们的量子干涉产生了完美的破坏性干涉——概率为零。

9.5.2 原子结构与元素周期表

泡利不相容原理是化学的全部基础:

  • 为什么电子在原子中分层排布?因为每一层有有限的量子态数目,电子必须按照不相容原理逐层填充
  • 为什么原子有壳层结构?因为 1s1s2s2s2p2p3s3s3p3p3d3d 等轨道的容量分别是2、2、6、2、6、10……
  • 为什么最外层电子决定化学性质?因为内层电子已经填满了可用的态
  • 为什么有金属、绝缘体、半导体?因为费米能级附近的态被填充的方式决定了导电性

Dirac在书中写道(大意):

"如果没有不相容原理,所有电子都会塌缩到最低能级(1s1s),原子将失去壳层结构,化学将不复存在,物质世界将完全不同。"

graph TD
    A[泡利不相容原理] --> B[电子分层排布]
    B --> C[原子壳层结构]
    C --> D[元素周期表]
    D --> E[化学键]
    E --> F[分子结构]
    F --> G[物质多样性]
    G --> H[生命诞生]
    A --> I[费米能级]
    I --> J["金属/绝缘体"]
    I --> K["白矮星/中子星"]
    I --> L[简并压]
    style A fill:#1a1a2e,color:#fff
    style B fill:#16213e,color:#fff
    style C fill:#0f3460,color:#fff
    style D fill:#533483,color:#fff
    style E fill:#e94560,color:#fff
    style F fill:#e94560,color:#fff
    style G fill:#e94560,color:#fff
    style H fill:#e94560,color:#fff
    style I fill:#16213e,color:#fff
    style J fill:#0f3460,color:#fff
    style K fill:#0f3460,color:#fff
    style L fill:#0f3460,color:#fff

9.5.3 简并压与恒星死亡

在宏观尺度上,泡利不相容原理表现为简并压(degeneracy pressure)。当物质被极度压缩时,电子(或中子)的量子态被强制填满到极高能量。根据不相容原理,每个态只能容纳一个费米子,因此粒子必须进入更高的动量态,产生巨大的压力。

这是白矮星(电子简并压支撑)和中子星(中子简并压支撑)能够存在的原因。当恒星核心质量超过钱德拉塞卡极限(约1.4倍太阳质量),电子简并压无法抵抗引力,恒星塌缩为黑洞。

Dirac在1930年写下的数学,解释了宇宙中一些最极端天体的命运。


9.6 电子系统的应用:从氦原子到金属

9.6.1 氦原子的双电子波函数

氦原子是最简单的多电子系统,也是理解电子关联的起点。忽略电子-电子相互作用时,两个电子分别占据类氢轨道。但由于电子是费米子,总波函数必须是反对称的:

Ψtotal=ψspatial(r1,r2)χspin\Psi_{\text{total}} = \psi_{\text{spatial}}(\mathbf{r}_1, \mathbf{r}_2) \cdot \chi_{\text{spin}}

总波函数的反对称性要求:

  • 自旋单态(singlet,反对称自旋波函数)必须配合对称空间波函数——两个电子倾向于靠近(空间对称意味着 ψ(r,r)0\psi(\mathbf{r}, \mathbf{r}) \neq 0
  • 自旋三重态(triplet,对称自旋波函数)必须配合反对称空间波函数——两个电子倾向于远离(空间反对称意味着 ψ(r,r)=0\psi(\mathbf{r}, \mathbf{r}) = 0

这个关联被称为交换力(exchange force)——它不是一种真实的力(不来源于势),而是反对称性要求导致的统计关联。

氦原子的基态是单态(两个电子反平行自旋,空间波函数对称,电子可以靠近,库仑排斥使能量升高);激发态可以是三重态(平行自旋,空间波函数反对称,电子自动远离,库仑排斥减小,能量更低)。

数值例题:氦原子基态与第一激发态的能量差

已知

  • 氦原子核电荷 Z=2Z = 2
  • 类氢基态能量 E1=Z2×13.6 eV=54.4 eVE_1 = -Z^2 \times 13.6 \text{ eV} = -54.4 \text{ eV}
  • 忽略电子-电子相互作用时,两个电子都在 1s1s 态,总能量 E(0)=2×(54.4)=108.8 eVE^{(0)} = 2 \times (-54.4) = -108.8 \text{ eV}

一级微扰修正(电子-电子库仑排斥):
对于单态基态 1s21s^2,空间波函数对称:

ψspace(r1,r2)=ϕ1s(r1)ϕ1s(r2)\psi_{\text{space}}(\mathbf{r}_1, \mathbf{r}_2) = \phi_{1s}(\mathbf{r}_1)\phi_{1s}(\mathbf{r}_2)

库仑积分(直接积分):

J=d3r1d3r2e24πε0r1r2ϕ1s(r1)2ϕ1s(r2)2J = \int d^3r_1 d^3r_2 \frac{e^2}{4\pi\varepsilon_0|\mathbf{r}_1 - \mathbf{r}_2|} |\phi_{1s}(\mathbf{r}_1)|^2 |\phi_{1s}(\mathbf{r}_2)|^2

使用类氢波函数 ϕ1s(r)=1πa03/Z3eZr/a0\phi_{1s}(r) = \frac{1}{\sqrt{\pi a_0^3/Z^3}} e^{-Zr/a_0}(对氦 Z=2Z=2,但有效电荷因屏蔽略小),计算得:

J34 eVJ \approx 34 \text{ eV}

所以基态能量的一级近似:

Eground108.8+34=74.8 eVE_{\text{ground}} \approx -108.8 + 34 = -74.8 \text{ eV}

实验值:Eground, exp=79.0 eVE_{\text{ground, exp}} = -79.0 \text{ eV}。误差来自忽略关联效应和变分波函数不够精确。

激发态 1s2s1s2s 的单态与三重态
对于 1s2s1s2s 组态,存在单态和三重态:

  • 单态 1S^1S:空间波函数对称,交换积分 K>0K > 0(交换能为正)
  • 三重态 3S^3S:空间波函数反对称,没有直接交换

能量差主要来自交换积分:

ΔE=E(1S)E(3S)2K\Delta E = E(^1S) - E(^3S) \approx 2K

实验测量:ΔE0.80 eV\Delta E \approx 0.80 \text{ eV}1S^1S20.6 eV20.6 \text{ eV}3S^3S19.8 eV19.8 \text{ eV} 高于基态)。这个能量差完全来自交换效应——电子间的"统计关联"。

graph LR
    subgraph 氦原子波函数
        A["总波函数
Ψ_total"] --> B["空间部分
ψ_space"] A --> C["自旋部分
χ_spin"] end subgraph 反对称性要求 D["单态 S=0
χ_antisym"] E["三重态 S=1
χ_sym"] F["ψ_space对称
电子靠近
库仑排斥大"] G["ψ_space反对称
电子远离
库仑排斥小"] end C --> D C --> E D --> F E --> G style A fill:#1a1a2e,color:#fff style B fill:#16213e,color:#fff style C fill:#16213e,color:#fff style D fill:#0f3460,color:#fff style E fill:#0f3460,color:#fff style F fill:#e94560,color:#fff style G fill:#e94560,color:#fff

9.6.2 哈特里-福克近似

对于多电子原子(如碳、铁、铀),精确求解 NN 电子薛定谔方程是不可能的。哈特里(Hartree)和福克(Fock)引入了一种近似:假设每个电子在一个由其他电子产生的平均势场中运动,但保持总波函数的反对称性。

哈特里-福克方法使用Slater行列式作为试探波函数,通过变分原理优化单粒子轨道。这一定性地解释了:

  • 原子的壳层结构
  • 元素周期表的周期性
  • 电离能的趋势
  • 原子半径的变化

Dirac的置换算符理论为哈特里-福克方法提供了严格的数学基础:任何多电子波函数都可以用Slater行列式的线性组合来逼近,而Slater行列式自动满足反对称性。

9.6.3 金属中的自由电子气

在固体物理中,自由电子模型将金属中的传导电子视为在均匀正电荷背景中运动的自由费米子。由于不相容原理,电子填充到费米能级 EFE_F

EF=22m(3π2n)2/3E_F = \frac{\hbar^2}{2m}(3\pi^2 n)^{2/3}

其中 nn 是电子数密度。

数值例题:铜的费米能级与简并压估算

已知

  • 铜的密度 ρ=8.96 g/cm3\rho = 8.96 \text{ g/cm}^3
  • 铜的原子量 A=63.5 g/molA = 63.5 \text{ g/mol}
  • 每个铜原子贡献1个自由电子
  • 电子质量 me=9.11×1031 kgm_e = 9.11 \times 10^{-31} \text{ kg}
  • \hbar = 1.055 \times 10^{-34} \text{ J·s}

计算步骤

  1. 电子数密度

n=ρNAA=8.96×6.022×102363.5=8.49×1022 cm3=8.49×1028 m3n = \frac{\rho N_A}{A} = \frac{8.96 \times 6.022 \times 10^{23}}{63.5} = 8.49 \times 10^{22} \text{ cm}^{-3} = 8.49 \times 10^{28} \text{ m}^{-3}

  1. 费米波矢

kF=(3π2n)1/3=(3π2×8.49×1028)1/3=1.36×1010 m1k_F = (3\pi^2 n)^{1/3} = (3\pi^2 \times 8.49 \times 10^{28})^{1/3} = 1.36 \times 10^{10} \text{ m}^{-1}

  1. 费米能级

EF=2kF22me=(1.055×1034)2×(1.36×1010)22×9.11×1031E_F = \frac{\hbar^2 k_F^2}{2m_e} = \frac{(1.055 \times 10^{-34})^2 \times (1.36 \times 10^{10})^2}{2 \times 9.11 \times 10^{-31}}

EF=1.13×1018 J=7.0 eVE_F = 1.13 \times 10^{-18} \text{ J} = 7.0 \text{ eV}

  1. 费米速度

vF=kFme=1.055×1034×1.36×10109.11×1031=1.57×106 m/sv_F = \frac{\hbar k_F}{m_e} = \frac{1.055 \times 10^{-34} \times 1.36 \times 10^{10}}{9.11 \times 10^{-31}} = 1.57 \times 10^{6} \text{ m/s}

这大约是光速的0.5%!所以铜中的电子实际上是"相对论性"的(尽管我们通常用非相对论公式近似)。

  1. 简并压估算
    零温简并压公式:

P=25nEF=25×8.49×1028×1.13×1018=3.8×1010 PaP = \frac{2}{5} n E_F = \frac{2}{5} \times 8.49 \times 10^{28} \times 1.13 \times 10^{-18} = 3.8 \times 10^{10} \text{ Pa}

380,000 atm380,000 \text{ atm}!这就是支撑白矮星抵抗引力塌缩的压力来源。

这个看似粗糙的模型解释了:

  • 金属的高导电性(费米面附近的电子可以响应电场)
  • 金属的高热导率(电子携带热量)
  • 泡利顺磁性(自旋极化费米面)
  • 维德曼-夫兰兹定律(热导率/电导率的普适比值)

Dirac的费米-狄拉克统计(1926)为理解金属电子提供了正确的分布函数:

f(E)=1e(Eμ)/kBT+1f(E) = \frac{1}{e^{(E - \mu)/k_B T} + 1}

T=0T = 0 时,所有 E<EFE < E_F 的态被填满,所有 E>EFE > E_F 的态为空。这就是费米海(Fermi sea)——一片由不相容原理冻结的量子海洋。

graph TB
    subgraph "费米-狄拉克分布"
        A["温度 T=0"]
        B["温度 T>0
但 T<< T_F"] C[能量E] D["占据数 f(E)"] end A -->|阶梯函数| E["所有 E所有 E>E_F 空"] B -->|模糊边缘| F["仅在 E_F 附近
~kT 范围内过渡"] E --> G["金属低温比热
∝ T"] F --> H["电阻率
声子散射"] style A fill:#1a1a2e,color:#fff style B fill:#16213e,color:#fff style C fill:#0f3460,color:#fff style D fill:#533483,color:#fff style E fill:#e94560,color:#fff style F fill:#e94560,color:#fff style G fill:#e94560,color:#fff style H fill:#e94560,color:#fff

9.7 狄拉克的历史地位:从置换算符到量子场论

9.7.1 从"泡利假设"到严格推导

在Dirac之前,泡利不相容原理是一个经验性假设——它来自于对原子光谱和元素周期表的观察。1925年,年轻的泡利(Wolfgang Pauli,25岁)提出了他的"排斥原理",但并未从更基本的原理出发进行推导。

Dirac在1926年的论文中(以及《量子力学原理》的第IX章),用置换算符理论将泡利原理提升到了定理的地位:如果全同费米子的波函数是反对称的,那么两个费米子不能占据同一态,这是数学的必然结果,而非物理假设

这一推导彻底改变了人们对不相容原理的理解。它不再是"自然界恰好如此"的巧合,而是全同性公理和对称性分类的必然推论。

9.7.2 二次量子化的诞生

Dirac的第IX章和第X章紧密相连。在多粒子系统的对称性分析之后,Dirac立刻转向了如何用统一的算符语言描述任意数量的粒子——这就是二次量子化(Second Quantization)的雏形。

二次量化的核心思想是:

  1. 将粒子视为场的激发
  2. 用产生算符和湮灭算符统一描述粒子数可变的过程
  3. 玻色子用对易关系,费米子用反对易关系

这一框架最初用于电磁场(光子是玻色子),后来被Jordan和Wigner推广到费米子,最终由Feynman、Schwinger和Tomonaga发展为完整的量子场论。

9.7.3 对称性与守恒律:诺特定理的量子版本

Dirac关于置换算符的理论,可以看作是诺特(Emmy Noether)定理在离散对称性上的应用。诺特定理说:连续对称性对应守恒量。Dirac证明了:离散对称性(置换)同样对应守恒律——对称性和反对称性是运动常数。

这一思想在后来的粒子物理中开花结果:

  • 同位旋对称性(质子和中子)
  • 夸克模型中的SU(3)味对称性
  • 标准模型中的SU(3)色对称性
    所有这些,都可以追溯到Dirac对置换算符的深刻分析。

9.8 本章总结

Dirac的第IX章是全书最深刻的章节之一,它从纯粹的数学对称性出发,推导出了物质世界的基本结构。我们学习了:

  1. 全同粒子的不可区分性:在量子力学中,粒子不能被标记或追踪,交换对称性是一种物理定律,而非技术约束。

  2. 置换算符作为动力学变量:置换算符与哈密顿量对易,因此对称性和反对称性是运动常数——它们一旦被设定,永远不变。

  3. 对称态与反对称态:多粒子态的两种基本类型,分别对应玻色子(对称)和费米子(反对称)。Slater行列式是反对称态的优雅表达。

  4. 泡利不相容原理:反对称性的直接推论,两个费米子不能占据同一量子态。它是原子壳层结构、化学周期表、物质稳定的根本原因。

  5. 交换力与电子关联:反对称性导致的空间-自旋关联,解释了氦原子单态与三重态的能量差,以及多电子系统中的统计"力"。

  6. 哈特里-福克方法:用Slater行列式近似多电子波函数,为原子物理和量子化学提供了计算框架。

  7. 费米-狄拉克统计与金属电子:自由电子气模型解释了金属的基本性质,费米面是现代凝聚态物理的核心概念。

mindmap
  root("(#quot;多粒子系统
第IX章#quot;)") 全同粒子 不可区分性 交换对称性 置换算符 对称态与反对称态 对称化算符 反对称化算符 Slater行列式 玻色子 vs 费米子 泡利不相容原理 原子结构 元素周期表 简并压 物质稳定性 交换效应 氦原子单态/三重态 交换力 哈特里-福克方法 费米统计 费米-狄拉克分布 费米面 金属性质 凝聚态物理基础

练习与思考

1. 三粒子系统的混合对称性
考虑三个自旋为1/2的粒子。构造一个总波函数,使得它在粒子1和2交换下对称,但在粒子2和3交换下反对称。证明这样的态在置换群 S3S_3 中属于二维不可约表示。讨论:为什么这种混合对称态在自然界中似乎不单独出现?(提示:考虑QCD中重子的色波函数。)

2. 从置换算符推导泡利不相容原理
从置换算符 P12P_{12} 的代数性质出发(P122=IP_{12}^2 = I[P12,H]=0[P_{12}, H] = 0),严格证明:如果一个双费米子系统在 t=0t=0 时处于反对称态,它将永远保持反对称。进一步证明:如果两个费米子试图占据完全相同的单粒子态(包括位置、自旋、内禀量子数),总波函数必然为零。

3. 费米压与恒星命运
白矮星由电子简并压支撑,中子星由中子简并压支撑。利用非相对论性简并费米气体的压强公式 P=(3π2)2/325mn5/3P = (3\pi^2)^{2/3} \frac{\hbar^2}{5m} n^{5/3},估算白矮星和中子星的典型半径和质量上限。解释为什么中子星的质量上限(奥本海默极限,约2-3倍太阳质量)高于白矮星的钱德拉塞卡极限(约1.4倍太阳质量),以及超过这些极限后为什么必然形成黑洞。


"如果电子不是费米子,宇宙将是一场坍缩的噩梦。"

✍️ 程远关闭了量子克隆系统。他明白了:在量子力学中,真正的智慧不是控制,而是尊重——尊重电子不可区分的事实,尊重对称性守恒的定律,尊重泡利不相容原理为人类保留的物质世界。他在实验日志中写道:"全同不是缺陷,是宇宙的法则。" 🖤