全同粒子的统计

贡献者：待更新

　　为什么要讲全同粒子呢？因为，我们的世界有两种粒子，玻色子和费米子，他们的性质截然不同，但又都很重要。上一章讲了基本的数学结构，这一章就是对这两种粒子建立这种数学结构。要注意，只有玻色子和费米子这两种粒子在低维的时候很可能被打破，形成一种 “任意子（anyon）”，甚为可怕，其在量子信息中也有很重要的作用，是处理非 Abelian 交换的，可做逻辑门。更多信息可以参考¹.

1. Fock 空间

　　一个简单的说法，Fock 空间就是不同粒子数的态所在的空间。例如，一个玻色体系，有两个能级，那么第一个能级 $n$ 个粒子，第二个能级 $m$ 个粒子的态，我们并不关心其具体的波函数形式 $ψ (x)$ 这样的，而是抽象的写成 $| n, m ⟩$ 。当然，这里我们还没有明确的定义玻色和费米体系都是什么样子，这个只是简单的给一个大致想法。接下来，我们仔细的构建这套理论。

有关排列群

　　首先，我们看一些有关于排列群的知识。这部分不是必要的，对于理解某些特殊的问题时有奇效²。

全同粒子的传统处理方法

　　如果我有 $n$ 个粒子，由于是全同的，我说这 $n$ 个粒子在 $x_{1}, x_{2} \dots x_{n}$ 这 $n$ 个位置组成的无序数组的情况可以用类似我们 single particle 的办法描述，也就是使用波函数

\begin{matrix} (1) & ψ (x) = ψ (x_{1}, x_{2} \dots x_{n}) . \end{matrix}

然而这个波函数的

n

个位置参数显然是有序的。我们可以断言，在这

n

个坐标进行重新排列之后，波函数应该不变——或者至少说，密度矩阵不变，波函数有相位差别。

　　在波函数的形式仅仅是一个函数——并不是什么旋量啊之类的奇怪的东西，而仅仅是一个复数的时候（这也被叫做排列群的一维表示），粒子自然而然地被分为了两类：波色子和费米子。

　　我们取一个排列算符 $σ \in S_{n}$ ，并将这个算符作用在波函数的参数上，得到的应该是一个对应的一维表示 $R (σ)$ 作用在波函数上

\begin{matrix} (2) & ψ (σ (x_{1}, x_{2} \dots x_{n})) = R (σ) ψ (x_{1}, x_{2} \dots x_{n}), \end{matrix}

　　显然满足的是 $| R (σ) | = 1$ 。现在考虑一对位置的交换，比如把 $i$ 位置和 $j$ 位置进行交换，这样的操作记为 $σ_{i, j}$ 。显然的有 $R (σ_{i, j})^{2} = 1$ ，也就是说

\begin{matrix} (3) & R (σ_{i, j}) = \pm 1 . \end{matrix}

　　如果更具体的分析这两种群表述的区别，在量子场论里面我们能一目了然的看到这与自旋之间有着密切的关系。在后面角动量的部分和相对论性量子力学部分我们也会稍微的提及一点。不过在这里我只给出结论：得到 $+ 1$ 结果的是玻色子（Boson），两个粒子交换波函数不变；得到 $- 1$ 结果的是费米子（Fermion），两个粒子交换波函数变成原来的负数。

　　然而，如果波函数不是一个数的话，这有可能就是一个排列群的二维或者更复杂的表示了，我们在此不赘述。

多体 Hilbert 空间的数学结构

　　波函数所在的 Hilbert 空间，在这套框架下是没有确定粒子数的空间，也就是说最终的 Hilbert 空间——Fock 空间，是各个粒子数的 Hilbert 空间的直和。

\begin{matrix} (4) & F = H_{0} \oplus H_{1} \dots \end{matrix}

　　而我们可以一目了然的说明的就是， $0$ 粒子状态就是一种我们称为 “真空” 的状态，可以用 $| 0 ⟩$ 来指代。更准确一点地说，真空态相当于在 $1$ 粒子波函数的 Hilbert 空间中没有粒子（波函数等于 $0$ ），而 $1$ 粒子波函数的 Hilbert 空间就是单体波函数所在的线性空间，也是如果我们有一些简单的波动力学基础的话最熟悉的那种。

　　而更高粒子数的子空间 $H_{n}$ ，则是指通过对称化或者反对称化之后的 $n$ 个单粒子空间的张量积的子空间， $(H_{1})^{\otimes n} \equiv H_{1} \otimes H_{1} \dots \otimes H_{1}$ ，如图 1 就是一个张量积的示意。

图 1：体系的波函数为

| ψ ⟩_{left} \otimes | 0 ⟩_{right}

　　而我们注意到， $H_{n}$ 仅仅是张量积的子空间，要建立完整的数学描述还需要告诉我们如何从这个张量积空间获得这个需要的子空间。也就是说，形式上的，我们需要找到这么一个线性映射：

\begin{matrix} (5) & \begin{aligned} S : (H_{1})^{\otimes n} & \mapsto H_{n} \\ | ψ_{1} ⟩ \otimes | ψ_{2} ⟩ \otimes \dots \otimes | ψ_{n} ⟩ & \mapsto | ψ_{1}, ψ_{2}, \dots, ψ_{n} ⟩ . \end{aligned} \end{matrix}

　　很显然的，我们就得到了两种情况下的这个线性映射 $S$ ：

Boson Case
$\begin{matrix} (6) & | ψ_{1} ⟩ \otimes | ψ_{2} ⟩ \otimes \dots \otimes | ψ_{n} ⟩ \mapsto \sum_{σ \in S_{n}} | ψ_{σ (1)} ⟩ \otimes | ψ_{σ (2)} ⟩ \otimes \dots \otimes | ψ_{σ (n)} ⟩ . \end{matrix}$
Fermion Case
$\begin{matrix} (7) & | ψ_{1} ⟩ \otimes | ψ_{2} ⟩ \otimes \dots \otimes | ψ_{n} ⟩ \mapsto \sum_{σ \in S_{n}} (- 1)^{σ} | ψ_{σ (1)} ⟩ \otimes | ψ_{σ (2)} ⟩ \otimes \dots \otimes | ψ_{σ (n)} ⟩ . \end{matrix}$

　　其中，熟悉线性代数的同学肯定会猜到，这个 $(- 1)^{σ}$ 就是一个重排操作 $σ$ 中交换的次数，或者说逆序数。

　　接下来我们考虑多体问题 Hilbert 空间的基。最基础的版本是我们的波函数是空间坐标的函数，当然是多个空间坐标： $ψ (x_{1}, \dots, x_{n})$ 。但是，由于统计性质的要求，我们要求（对 Boson 取 $+$ ，Femrion 取 $-$ ）

\begin{matrix} (8) & ψ (x_{1}, \dots, x_{n}) = \frac{1}{\sqrt{n!}} \sum_{σ \in S_{n}} (\pm 1)^{σ} ⟨ x_{1} | ψ_{σ (1)} ⟩ \dots ⟨ x_{n} | ψ_{σ (n)} ⟩ . \end{matrix}

习题 1　练习（Majorana 算符）

　　考虑两个格点，这两个格点上有相同的费米子模式。记 $| 1 ⟩_{1, 2} = c_{1, 2}^{†} | 0 ⟩$ ，

　　 (1) 在

\begin{matrix} (9) & (\begin{matrix} | 0 ⟩_{1} | 0 ⟩_{2} \\ | 0 ⟩_{1} | 1 ⟩_{2} \\ | 1 ⟩_{1} | 0 ⟩_{2} \\ | 1 ⟩_{1} | 1 ⟩_{2} \end{matrix}) \end{matrix}

的基下，写出

c_{1, 2}, c_{1, 2}^{†}

的矩阵形式。此处我们定义

| 1 ⟩_{1} | 1 ⟩_{2} \equiv c_{1}^{†} c_{2}^{†} | 0 ⟩_{1} | 0 ⟩_{2}

。