10. 全同粒子与交换对称性

全同粒子与交换对称性

看见「交换两个粒子」这个纯粹的形式操作，如何把两个粒子推开或者拉到一起。

你将看见什么

交换两个全同粒子的位置，波函数要么原样返回（玻色子）要么变号（费米子）
反对称波函数在 x₁ = x₂ 处严格为零——泡利不相容不是一条外加的规则
同样的单粒子态，对称与反对称给出完全不同的概率分布

前置知识

多粒子波函数 ψ(x₁, x₂) 的含义
一维束缚态（模块 03）

经典物理里，两个一模一样的球仍然是「两个球」——你可以给它们编号，跟踪各自的轨迹。

量子力学里不行。没有轨迹，就没有办法说「刚才那个是 1 号」。全同粒子是原理上不可分辨的，而这件事有可观测的后果。

全同粒子：交换 = 沿对角线翻一次面

水平面是位形空间 (x₁, x₂)，高度是波函数 Ψ。点「交换两个粒子」——玻色子的曲面纹丝不动，费米子的整张曲面翻到地面以下。

3D 场景加载中…

单粒子态

量子数 a1

量子数 b2

对称性

显示 |Ψ|² 而不是 Ψ高亮 x₁ = x₂ 对角线

⟨(x₁−x₂)²⟩ 对照

可分辨0.1033

玻色子（聚集）0.0384

费米子（回避）0.1682

哈密顿量里没有任何相互作用势，差别纯粹来自对称性。

\Psi_- = \tfrac{1}{\sqrt2}\left[\phi_a(x_1)\phi_b(x_2) - \phi_b(x_1)\phi_a(x_2)\right]

⟨(x₁−x₂)²⟩ = 0.1682交换后 Ψ → −Ψ

Ψ > 0
Ψ < 0
x₁ = x₂ 对角线

观察指南

先选「可分辨」：曲面在对角线两侧不对称——「1 号在左、2 号在右」和反过来是两个不同的状态。
切到「玻色子」：曲面关于对角线镜像对称，而且在对角线上（两粒子重合处）取值最大。玻色子喜欢聚在一起。
切到「费米子」：曲面在对角线上**严格为零**，而且对角线两侧一正一负。两个费米子不可能出现在同一点。
点「交换两个粒子」：这个动画就是把曲面沿对角线翻 180°。玻色子看不出变化，费米子整个翻到了地面下——差别只有一个负号，后果是整张元素周期表。
把两个量子数调成相同、选费米子：曲面直接消失。泡利不相容不需要额外规则，反对称化自己就把它算没了。

✕ “交换对称性是一种作用力”

哈密顿量里没有任何相互作用项。粒子的聚集或回避完全来自波函数必须（反）对称这个约束。习惯上叫「交换力」，但它不是力。

✕ “波函数画的是两个粒子在空间中的位置”

这张曲面画在**位形空间**上：横轴是 1 号的位置，纵轴是 2 号的位置。两个粒子的真实空间是一维的，位形空间才是二维的。三个粒子就是三维，十个粒子就是十维——这也是多体问题难的根源。

✕ “泡利不相容说的是费米子之间有排斥力”

不相容是波函数结构的后果，不是相互作用。它不传递能量、不随距离衰减，也没有对应的场。

想一想

两个电子的总波函数 = 空间部分 × 自旋部分，整体必须反对称。若自旋处于三重态（对称），空间部分必须反对称——这对它们的平均间距意味着什么？这就是铁磁性的起源之一。
把 a、b 调得很远（比如 1 和 5），三种情形的 ⟨(x₁−x₂)²⟩ 差别会怎么变？为什么两个态的空间重叠越小，交换效应越弱？
二维体系里交换两次不一定回到原状态，于是允许「任意子」（分数统计）。这与三维有什么本质区别？

这里是一个 3D 交互场景（identical-particles），需要启用 JavaScript 与 WebGL 才能运行。

交换算符只有两个本征值

定义交换算符 $\hat P_{12}\psi(x_1,x_2) = \psi(x_2,x_1)$ 。显然 $\hat P_{12}^2 = \hat I$ ，所以它的本征值只能是 $\pm1$ ：

\psi(x_2,x_1) = \pm\,\psi(x_1,x_2).

$+$ ：玻色子（自旋整数：光子、声子、 $^4$ He）
$-$ ：费米子（自旋半整数：电子、质子、中子）

自旋与统计的这个对应不是量子力学的公设，而是相对论量子场论的定理（自旋-统计定理）。在非相对论框架里我们只能把它当作实验事实接受。

泡利不相容是一个推论

把两个费米子放进同一个单粒子态 $\phi_a$ ：

\psi_-(x_1,x_2) = \frac{1}{\sqrt2}\left[\phi_a(x_1)\phi_a(x_2) - \phi_a(x_2)\phi_a(x_1)\right] = 0 .

整个波函数直接消失。「两个费米子不能占据同一个态」不是一条额外禁令，而是反对称化的算术后果。

场景里把两个粒子的量子数调成相同，反对称模式下整个概率分布会塌成零——那一瞬间很直观。

交换力：一种不是力的力

对不同的单粒子态 $\phi_a,\phi_b$ ，算一下两粒子间距的期望：

\langle (x_1-x_2)^2\rangle_\pm = \langle x^2\rangle_a + \langle x^2\rangle_b - 2\langle x\rangle_a\langle x\rangle_b \mp 2\left|\langle a|x|b\rangle\right|^2 .

最后一项是交换项：

玻色子（取 $-$ ）：间距更小，粒子倾向于聚在一起；
费米子（取 $+$ ）：间距更大，粒子互相回避。

场景里两条概率分布曲线的差别就是这一项。注意哈密顿量里没有任何相互作用势——这个「力」纯粹来自波函数的对称性要求。

它撑起了：金属中的电子简并压、白矮星与中子星不塌缩、以及铁磁性（交换相互作用）。

一张表

	玻色子	费米子
交换后	$\psi \to +\psi$	$\psi \to -\psi$
同一个态	可以，越多越爱去	禁止
统计分布	Bose–Einstein	Fermi–Dirac
低温行为	玻色-爱因斯坦凝聚	费米海 + 简并压
例子	光子、 $^4$ He、 $^{87}$ Rb	电子、质子、 $^3$ He

Slater 行列式进阶

$N$ 个费米子的反对称波函数可以写成行列式：

\psi(x_1,\ldots,x_N) = \frac{1}{\sqrt{N!}} \det\begin{pmatrix} \phi_1(x_1) & \cdots & \phi_1(x_N)\\ \vdots & \ddots & \vdots\\ \phi_N(x_1) & \cdots & \phi_N(x_N) \end{pmatrix}.

行列式的两个性质正好对应两条物理：交换两列变号（反对称），两行相同则为零（泡利不相容）。整个 Hartree–Fock 方法就建立在这个形式上。

想一想

若两个电子的自旋处于三重态（自旋部分对称），空间部分必须是反对称的。这对它们的空间分布意味着什么？这与氢分子的成键/反键态有什么关系？
一个含 $10^{23}$ 个电子的金属，波函数要对所有电子对反对称。为什么我们平时算电导时可以近似当成独立电子？
二维体系里交换两次不一定回到原状态（辫群而非置换群），于是允许「任意子」——分数统计。这与三维有什么本质不同？