本页目录

量子 V · 全同粒子：交换对称性、统计与干涉

对标：Griffiths Introduction to Quantum Mechanics §5 / Sakurai §1.4 ｜前置：qm-01（态与测量）、qm-03（角动量与自旋）、qm-04（微扰）、sm-03（量子统计）两个电子、两个光子或两个冷原子之间，最容易被忽略的“相互作用”可能不是力，而是交换对称性。交换两个全同粒子的标签，物理状态不能因此改变；波函数的正负号却会改变两条路径的干涉。玻色子的聚束、费米子的反聚束和 Pauli 不相容，都是同一条对称性原则在不同测量中的投影。

学习层：两个粒子怎样在没有排斥力时彼此“避开”？

1. 具体谜题：分束器出口为什么能读出统计类型？

把两个粒子从平衡分束器的两个输入端送入。每个粒子都有一条“直接到达”出口的路径和一条“交换到达”出口的路径。若粒子完全不可区分，探测器不能知道是哪一条路径，于是两条振幅相加；若粒子可区分，内部标签会让路径信息留在环境中，交换干涉消失。

先预测：

完全不可区分的玻色子经过 50/50 分束器后，两个粒子同时到不同出口的符合概率是 \(0\)、\(1/2\) 还是 \(1\)？
完全不可区分的费米子同时出现在同一个出口的概率是 \(0\)、\(1/2\) 还是 \(1\)？
若两个粒子的内部状态重合度 \(s=|\langle\chi_a|\chi_b\rangle|\) 变为 \(0\)，玻色子与费米子的输出是否仍保持极端差异？

这不是粒子之间突然出现一股经典“排斥/吸引”力。可判决的量是交换算符的本征值，以及两条不可区分振幅在同一末态上的相消或相长。

2. 最小模型：交换算符与两条路径

本页采用三维普通玻色/费米粒子的对称化规则。交换算符 \(P_{12}\) 交换两个粒子的全部自由度；在选定的统计子空间内：

\[ P_{12}^2=I,\qquad P_{12}\Psi=\eta\Psi,\qquad \eta=+1\ \text{（玻色子）或}\ -1\ \text{（费米子）}. \]

若两个单粒子空间波包为 \(\phi_a,\phi_b\)，内部态为 \(\chi_a,\chi_b\)，两粒子态的空间-内部结构可写成

\[ \Psi_{\pm}(1,2) =\frac{\phi_a(1)\chi_a(1)\phi_b(2)\chi_b(2) \pm\phi_b(1)\chi_b(1)\phi_a(2)\chi_a(2)} {\sqrt{2(1\pm|S|^2)}}. \]

这里各单粒子因子已归一化，\(S=\langle\phi_a|\phi_b\rangle\langle\chi_a|\chi_b\rangle\) 是完整单粒子态的重合；分母来自两个交叉内积之和。费米式还要求 \(|S|<1\)：\(|S|=1\) 时分子为零，不能把 \(0/0\) 当作归一化态。实际分束器实验中输入端 \(a,b\) 是正交的空间模式，而 \(s\) 可以用偏振、频率或其他内部标签的重合度表示。

对无损、内部态无关的平衡分束器，两个正交输入各一个粒子、内部态分别为纯态 \(\chi_a,\chi_b\)，探测器只数输出端粒子时，交换干涉可见度为 \(s^2\)。对玻色/费米统计分别取 \(\eta=+1/-1\)：

\[ P_{\mathrm{same}}=\frac{1+\eta s^2}{2},\qquad P_{\mathrm{coin}}=\frac{1-\eta s^2}{2}. \]

3. 动手实验：切换统计类型与可区分度

先完成三个预测，再打开实验台。预设包括完全重合的玻色子、完全重合的费米子、\(s=0.6\) 的部分重合以及可区分粒子。拖动 \(s\) 时，柱状图显示交换干涉如何从极限退回 \(1/2\)；左侧路径图把“直接项”和“交换项”画在同一个分束器上。

无 JavaScript 时的静态读法：两个粒子从平衡分束器的不同输入端进入，\(s=|\langle\chi_a|\chi_b\rangle|\)，交换本征值 \(\eta=+1\) 对应玻色子，\(\eta=-1\) 对应费米子。使用

\[ P_{\mathrm{same}}=\frac{1+\eta s^2}{2},\qquad P_{\mathrm{coin}}=\frac{1-\eta s^2}{2}. \]

统计/标签	\(s\)	\(s^2\)	同端 \(P_{\mathrm{same}}\)	符合 \(P_{\mathrm{coin}}\)
玻色子，完全重合	\(1\)	\(1\)	\(1.000\)	\(0.000\)
费米子，完全重合	\(1\)	\(1\)	\(0.000\)	\(1.000\)
玻色子，部分重合	\(0.6\)	\(0.36\)	\(0.680\)	\(0.320\)
可区分粒子	\(0\)	\(0\)	\(0.500\)	\(0.500\)

\(P_{\mathrm{same}}+P_{\mathrm{coin}}=1\)。玻色子完全重合时符合通道相消，费米子完全重合时同端通道相消；\(s=0\) 时两条交换路径带着可读出的内部标签，统计号不再改变这些计数。

4. 误区、反例与适用边界

费米子反聚束不是经典排斥力。它是反对称振幅相消的结果；即使把库仑相互作用调到可忽略，交换效应仍可存在。
全同不等于“空间上必须重叠”。两个电子即便远离，物理态仍需满足交换对称；重叠接近零时，交换干涉在这个测量中只是不可见。
Pauli 排斥排除的是完整量子态相同。自旋不同的两个费米子可以占据同一空间轨道；总态仍由空间与自旋部分共同反对称。
玻色子不保证所有实验都聚束。偏振、频率、时间延迟或环境记录会降低 \(s\)；边界条件与测量方式也决定哪些路径能干涉。
自旋-统计定理不是本页由分束器推出来的。相对论性量子场论中，在局域性、正定 Hilbert 内积、能谱下界等标准假设下，定理给出整自旋对应玻色、半整自旋对应费米；这里使用它在低能量多体量子力学中的后果。

5. 迁移题：把交换对称性搬到两个电子

取两个电子的自旋单态

\[ \lvert S=0\rangle =\frac{1}{\sqrt2} \bigl(\lvert\uparrow\downarrow\rangle-\lvert\downarrow\uparrow\rangle\bigr), \]

它在交换下是反对称的。电子总态必须反对称，因此空间态应为对称组合；三重态的自旋部分对称，空间态则应为反对称组合。先判断：哪一种自旋态允许两个电子更集中在同一空间轨道？实验台的 \(s\) 调的是内部纯态的重合度，没有改变正交的输入空间模式。它的输入内部标签是乘积态，不直接覆盖这里预先纠缠的自旋单态。进一步问：若空间输入为对称组合，内部不敏感的平衡分束器会给何种计数？

1. 为什么标签不能变成可观测事实

对两个相同粒子，写成 \(\psi(x_1,x_2)\) 的 \(1,2\) 只是计算标签，不是两枚带颜色的身份证。交换标签 \(x_1\leftrightarrow x_2\) 不应产生新的物理预测；本页进一步采用普通玻色/费米粒子的对称化公设，将允许态限制在相应的交换本征子空间：

\[ P_{12}\Psi=+\Psi\quad\text{或}\quad P_{12}\Psi=-\Psi. \]

因为 \(P_{12}^2=I\)，其本征值只能是 \(\pm1\)；但这个代数事实本身不能证明所有物理态必须只占其中一个子空间，更不能推出自旋与统计的对应。玻色子态取对称子空间，费米子态取反对称子空间。对于由不同种类组成的可区分粒子，交换两个标签会把系统带到一个可标记的不同描述，不能要求同样的对称约束；实验台对此单独显示 \(P_{\rm same}=P_{\rm coin}=1/2\)，不赋予“交换本征值0”。

更一般地，若单粒子态 \(|a\rangle,|b\rangle\) 不正交，玻色/费米二粒子态是

\[ |a,b\rangle_{\pm} =\frac{|a\rangle_1|b\rangle_2 \pm|b\rangle_1|a\rangle_2} {\sqrt{2(1\pm|\langle a|b\rangle|^2)}}. \]

分母说明交换并非只是在分子上随意加减；态的归一化也感受到单粒子重合。若费米子的两个完整单粒子态完全相同，反对称组合为零，这就是 Pauli 不相容的最短代数表达。

2. 分束器推导：相消与相长从哪里来

先取两个内部态完全相同的极限。用输入产生算符 \(a^\dagger,b^\dagger\)，输出产生算符 \(c^\dagger,d^\dagger\)，取一个相位约定

\[ a^\dagger\mapsto\frac{c^\dagger+d^\dagger}{\sqrt2}, \qquad b^\dagger\mapsto\frac{c^\dagger-d^\dagger}{\sqrt2}. \]

一个粒子从每个输入端进入，输入态是 \(a^\dagger b^\dagger|0\rangle\)。对玻色子，产生算符对易：

\[ a^\dagger b^\dagger|0\rangle \mapsto\frac12\bigl[(c^\dagger)^2-(d^\dagger)^2\bigr]|0\rangle. \]

由于 \((c^\dagger)^2|0\rangle=\sqrt2|2,0\rangle\)，输出是 \((|2,0\rangle-|0,2\rangle)/\sqrt2\)；两个同端结果各占 \(1/2\)，总概率为1。交叉项 \(c^\dagger d^\dagger\) 正好相消，所以符合概率为0。对费米子，产生算符反对易且 \((c^\dagger)^2=(d^\dagger)^2=0\)；交叉项的交换号反而把结果保留下来：

\[ a^\dagger b^\dagger|0\rangle \mapsto -c^\dagger d^\dagger|0\rangle \quad\text{（整体相位不影响概率）}. \]

因此反聚束。对光子，这是 Hong–Ou–Mandel 干涉的理想极限；对电子或冷原子，探测方案和相互作用会不同，但“直接振幅与交换振幅”这条结构相同。

若内部态不完全相同，直接路径与交换路径的两个粒子内部态内积为 \(\langle\chi_a|\chi_b\rangle\langle\chi_b|\chi_a\rangle =\lvert\langle\chi_a|\chi_b\rangle\rvert^2=s^2\)。只有这部分不可区分振幅能够相干相加，于是学习层的 \(P_{\mathrm{same}}\) 与 \(P_{\mathrm{coin}}\) 公式同时覆盖完全同类、部分可辨和经典基线。

3. Pauli 原理、轨道与自旋

费米子产生算符满足

\[ \{a_i^\dagger,a_j^\dagger\}=0,\qquad (a_i^\dagger)^2=0. \]

所以一个单粒子量子态不能被两个完全相同的费米子重复占据。玻色子则满足对易关系，同一单粒子模式可以有任意占据数。注意“同一态”包括所选空间轨道、自旋、内部能级等全部自由度（不是同时指定精确位置和精确动量）；只说“空间波函数相同”还不够。

两个电子的总态必须反对称。自旋单态

\[ |0,0\rangle =\frac{|\uparrow\downarrow\rangle-|\downarrow\uparrow\rangle}{\sqrt2} \]

是反对称的，因此与之相乘的空间态要对称；三重态的自旋部分对称，空间态要反对称。氦原子基态两个电子占据同一个 \(1s\) 空间轨道并不违反 Pauli，因为它们的自旋组成单态。交换对称性由此直接进入原子壳层与化学键。

4. 统计物理中的宏观后果

在巨正则平衡、\(T>0\) 下，理想气体每个完整单粒子态的平均占据为（同能级的简并度应另乘）；玻色情形在有限系统要求 \(\mu_{\mathrm c}<\epsilon_{\min}\) 以使配分和收敛：

\[ \bar n_{\mathrm B}(\epsilon) =\frac1{\exp[(\epsilon-\mu_{\mathrm c})/(k_{\mathrm B}T)]-1}, \qquad \bar n_{\mathrm F}(\epsilon) =\frac1{\exp[(\epsilon-\mu_{\mathrm c})/(k_{\mathrm B}T)]+1}. \]

分母中的负号允许玻色子在低能态大量聚集；正号限制费米子每个态的占据并形成 Fermi 海。白矮星的简并压、金属的费米面和玻色–Einstein 凝聚都涉及这些占据规则。激光有受激辐射增强，但它是受驱、耗散系统，不能直接当作以上热平衡分布或平衡凝聚的例子。零温结果要取相应极限。

对三维非相对论、内部简并度为 \(g_{\rm int}\) 且各内部态近似等占据的理想热气体，稀薄条件是

\[ \frac{n\lambda_{\rm th}^3}{g_{\rm int}}\ll1,\qquad \lambda_{\rm th}=\frac{h}{\sqrt{2\pi m k_{\rm B}T}}, \]

其中 \(n=N/V\)。此时相关能级的平均占据很小，Bose/Fermi 分母的 \(\mp1\) 可忽略，得到 Maxwell–Boltzmann 近似。这个热平衡相空间密度不是实验台的内部重合 \(s\)；不能从温度高推断人为制备的两个同偏振光子的 \(s\) 必须为0。经典近似忽略特定观测中的交换贡献，并未改变粒子的统计类型。

5. 边界与更深一层

分束器公式假设理想线性器件、两个输入端各一个粒子、探测器只区分输出端且没有损耗。部分反射、粒子间相互作用、背景计数和时间分辨率会改变实验拟合；它们是实验修正，不是交换原理失效。

自旋-统计定理把低能量的 \(\pm\) 规则连接到相对论性场论。若只在非相对论波函数中背下“整数是玻色、半整数是费米”，却不说明定理的前提，就把一个深层结果误当作本页的代数公理。相反，在给定统计类型后，交换对称性已足以推出大量可检验的干涉与占据限制。

例 1：可辨识度。\(s=0.6\) 时，玻色子符合概率是 \((1-0.36)/2=0.32\)，费米子符合概率是 \((1+0.36)/2=0.68\)；差异来自交换项的正负，而不是来自两类粒子质量或电荷的差异。

例 2：同一空间轨道。两个电子若自旋相反，可以共同占据一个空间轨道；若自旋也相同，完整态会被反对称性杀掉。这句话把“Pauli 排斥”从空间口号修正为完整 Hilbert 空间的判断。

例 3：环境记录路径。若直接与交换过程留下环境态 \(|e_D\rangle,|e_X\rangle\)，相干交叉项还要乘 \(\langle e_X|e_D\rangle\)；正交记录会消去这项。这是扩大系统后取偏迹的结果。只有标签可分离的简单模型才能把一切压成单个 \(s\)，不能用它概括所有宏观经典化机制。

6. 自己算一次：纠缠内部态与非平衡分束器

先不展开答案：①用同一归一化轨道 \(\phi\) 写出两个电子的总单态，并检验交换与范数；②取正交空间模式 \(a,b\) 的对称组合乘自旋单态，经过本页平衡分束器后是否反聚束；③把器件改成透射概率 \(T=0.8\)、反射概率 \(R=0.2\)，对内部乘积态求 \(s=0.6\) 时两类粒子的符合概率。

核对推导与答案

① 总态 \(\phi(1)\phi(2)(|\uparrow\downarrow\rangle-|\downarrow\uparrow\rangle)/\sqrt2\) 的空间范数和自旋范数均为1，交换后只由自旋部分给负号。三重态若配同一轨道，则所需的反对称空间组合为零，不能归一化。

② 初始空间态 \((|a,b\rangle+|b,a\rangle)/\sqrt2\) 在 \(U\otimes U\) 下变成 \((|c,c\rangle-|d,d\rangle)/\sqrt2\)，自旋单态保持不变。所以同端概率是1，尽管总态始终是费米反对称态。这里不能把“电子”机械地代成实验台的 \(\eta=-1,s=1\)；后者是假设每个输入具有相同的、可分离的内部态，并非自旋单态。

③ 取 \(a^\dagger\mapsto\sqrt T c^\dagger+\sqrt R d^\dagger\)、\(b^\dagger\mapsto\sqrt R c^\dagger-\sqrt T d^\dagger\)，其中 \(T+R=1\)。符合通道的两项幅度为 \(-T\) 与交换后的 \(\eta R\)，内部末态内积为 \(s^2\)，所以

\[ P_{\rm coin}=T^2+R^2-2\eta TRs^2,\qquad P_{\rm same}=2TR(1+\eta s^2). \]

代入得到玻色符合 \(0.5648\)、费米符合 \(0.7952\)，各自同端为 \(0.4352\) 和 \(0.2048\)；可区分符合基线为 \(0.68\)。即使 \(s=1\)，非平衡器件的玻色符合也为 \((T-R)^2=0.36\)，不再为0。实验台只实现 \(T=R=1/2\)；这里是纸笔迁移。

先修回链：态与测量、角动量与自旋、量子气体。热气体的配分求和与经典极限可对照 David Tong 的量子气体讲义。

全同粒子这一页把量子力学的“态空间限制”变成了实验干涉和物质结构。至此，经典散射、连续波、波导、动力学输运和量子统计都共享同一个工作习惯：先列出完整态、动力学假设与测量方式，再问哪些振幅真的通向同一可干涉的末态。