正号还是负号：道路的分岔
上一篇我们发现，两个全同粒子必须用“把它们两种不可区分的排布相加”来描述，而这个和可以带正号，也可以带负号。这不是你可以逐题随意挑选的自由。每一种粒子从诞生起就永远只认一个符号，而这份“认定”把宇宙中的每一个粒子都分进两个部族之一。以正号相加的，是玻色子；以负号相加的，是费米子。物质身上几乎一切奇异而有结构的特性，都可以追溯到：一个粒子站在这道分岔的哪一边。
正号和负号各有正经名字。用正号搭起来的描述，是对称波函数：调换两个粒子，它原封不动地回来。用负号搭起来的描述，是反对称波函数：调换两个粒子，它会翻转符号，多出一个负号。无论哪种，物理——它取决于描述的平方——都不受这次调换的影响，正如交换对称性所要求的那样。但一次看似无害的符号翻转，藏着一记戏剧性的反咬，我们马上就会碰到。
认识这两个部族
这两个部族的脾性截然不同。玻色子合群：它们完全乐意——其实是更偏爱——挤进同一个量子态，全都同时做着同一件事。光子（光的粒子）、氦-4 原子，以及著名的希格斯粒子，都是玻色子。正是这股爱扎堆的劲头，让激光成为可能——一大群光子步调一致地齐步前进；也正是它，让一团气体在被冷却到接近绝对零度时，坍缩进一个共享的态。费米子则是孤高疏离的独行者：它们绝不会有两个占据同一个量子态。电子、质子、中子——构成你的那些东西——全都是费米子。它们拒绝“合住”，正是物质之所以坚硬、之所以占据空间而不坍缩成一个点的原因。
“不许同居”的规则从何而来
费米子拒绝合住，并不是额外硬安上去的一条定律；它直接从那个负号里掉出来。问一问：如果你硬要把两个费米子放进完全相同的态，会怎样？它们的描述在调换时必须翻转符号——可调换两个本就处在同一个态的东西什么也没改变，于是这个描述又必须等于它自己。唯一一个等于自身相反数的数，就是零。于是描述坍缩为零：那种排布发生的概率为零。两个费米子处于同一个态，单凭这套算术就根本不被允许。
swap fermions -> description flips sign: f -> -f but same state -> swap changes nothing: f -> f so f = -f => f = 0 (impossible state!)
对玻色子重跑同样的论证，则什么也没被禁止——即便两个粒子都坐进同一个态，正号依然成立，而且实际上还被加强了，这正是玻色子主动往一处挤的原因。这一个仅仅源自符号的对比，便是费米子那条泡利不相容原理的种子，也是玻色子凝聚的种子。后面的几级阶梯，我们会各用一整篇来讲。
怎么判断一个粒子属于哪个部族
有一条美得惊人的简单规则，它把一个粒子加入的部族，与它的自旋——它即便静止不动也携带的内禀角动量——牢牢绑定。自旋只能取整数或半整数的值。自旋为整数（0、1、2……）的粒子，是玻色子；自旋为半整数（1/2、3/2……）的粒子，是费米子。电子的自旋是二分之一，所以它是费米子；光子的自旋是一，所以它是玻色子。在自然界中，这条规则没有任何例外。
这种联系竟然存在，本身就是物理学最深刻的结果之一，叫做自旋统计定理。一个粒子私下里的“自转”，凭什么能决定它如何与同类相处？这远非显而易见，要严格证明它，需要超出本阶梯的工具。眼下，就把这条规则当作一份可靠的礼物收下：数一数自旋，就知道部族。还有一处值得知道的细节——复合物体也照样按这套数法走。用奇数个费米子搭起来的东西，整体表现得像费米子；用偶数个，整体就像玻色子。这就是为什么氦-4 原子（费米子数为偶数）是玻色子，能做出我们将在这一级阶梯顶端看到的那些惊人之事。