把那道食谱，用在真实的粒子上
到现在，你已经在抽象层面上懂得了那道食谱：触发保存下稀有的碰撞，分析把一份微弱的信号从喧闹的本底里拽出来，一个母粒子在不变质量图上以一个峰的姿态现身，而在跨过五个标准差这道门槛之前，没有什么能被称作发现。这一篇要做的事不一样。它要看着这道食谱，在标准模型的三项[[discovery-case-studies|伟大发现]]——W 和 Z 玻色子、顶夸克、希格斯——上真正烹饪一遍，看看你分头学到的那些步骤，是如何在一次真实的狩猎中合到一起的。
有一种模式贯穿这三者，值得开篇就点明。在每一个案例里，理论都早在任何人看见它之前的好些年，就预言了这个粒子——常常连一个质量、或一种偏爱的衰变方式都钉了下来。那个预言，本身就是发现的一半：它告诉实验家究竟该去搜寻什么样的特征，这是一个巨大的优势。在理论事先告诉你的某个质量处去找一个峰，远比盲目扫描安全，因为一个事先指定的靶子，绕开了别处也在看效应的大半。W、Z、顶夸克和希格斯，都不是被偶然撞见的。它们是先被预言，再被有条不紊地逼到墙角的。
1983 年：W 与 Z，两种特征，两套策略
电弱理论预言了弱相互作用的重型传递者，甚至预报了它们的质量在 80 与 91 GeV 上下。这场狩猎发生在 1983 年的欧洲核子研究中心，把质子与反质子对撞。Z 是较容易到手的奖品，它把这场寻峰展示得最为干净：一个衰变成正负电子对、或两个 缪子的 Z，会给你两条清晰、测得很准的径迹。把它们的四动量加起来，算出这一对的不变质量，在许多事件上重复，一个锐利的峰便在 91 GeV 附近升起——这是 Z 在宣告它自己的质量。
W 则要求一个更巧的诀窍，因为它的衰变产物之一是隐形的。W 衰变成一个带电轻子和一个中微子——而那中微子悄无声息地飞出探测器，所以你永远没法重建出一个干净的两体不变质量峰。取而代之，W 的特征是一个高能、孤立的轻子，外加一份很大的不平衡：被那看不见的中微子带走的缺失横向能量。这项发现，靠的是搜集起恰好具备这种偏斜形状的事件——一个高能的孤立轻子，朝着探测器看不见的「虚空」反冲——并表明它们堆积得远远超过寻常本底所能解释的程度。
1995 年：顶夸克，以及为何喷注与 b 标记不可或缺
顶夸克，迄今已知最重的粒子，于 1995 年在费米实验室的 Tevatron 被逼到墙角——而它的发现，正是那支配角班底登场亮相的地方。顶夸克太重了，重到它在能够形成强子之前就衰变了；几乎每一次，它都裂解成一个 W 玻色子和一个底夸克。你会记得，一个孤零零的夸克无法自由远行：色禁闭逼着它喷成一束紧紧准直的强子簇射，一道[[jets|喷注]]。所以一个顶夸克事件是一幕忙乱的场景——若干 W 玻色子、它们衰变出的轻子或更多喷注，还有关键的、来自一个 b 夸克的喷注。
有两项手艺让顶夸克变得可对付。其一是[[jet-reconstruction|喷注重建]]：一套算法把那几十个四散的强子重新聚拢成喷注，你再把每道喷注的能量与动量加起来，用它来代表造出它的那个夸克。把喷注能标弄准——把一个测得的喷注能量映回真实的部分子能量——是整个实验中最磨人的标定之一，它主导了顶夸克质量测量的不确定度。其二是[[b-tagging|b 标记]]：一个 b 夸克强子化成一个 B 强子，后者寿命约为一万亿分之一秒，恰好长到足以在衰变前走上几毫米。这便留下一个泄底的次级顶点——一小簇径迹，并非起自碰撞点，而是起自一小段可测的距离之外。要求事件里有一道被 b 标记的喷注，便狠狠砍掉了本底，因为寻常喷注极少带着那道指纹。
要诚实看待这些工具有多不完美。一道喷注并不是那个夸克本身，而是对它的一次模糊的、依赖于算法的重建；两个用了不同喷注算法的分析，数喷注的结果可以不一样。而 b 标记也从不完美：它有一个效率——也许它能抓住真 b 喷注里的七成——以及一个把轻夸克喷注误判成那道特征的误标率，二者都必须测出来，因为一个被估错的标记率会直接灌进系统不确定度。顶夸克的发现，与其说是一个干净的峰，不如说是这些复杂的、带 b 标记的多喷注事件，相对于一份精心估算的本底所呈现的超出——一份证据的分量，被保守地清点过。
看不见的引擎：模拟与部分子分布
在上述每一项断言的背后，都坐着一台你在头条里永远看不到的机器：对那些枯燥事件应当长什么样的预测。要说一份信号脱颖而出，你首先得精确地知道你的本底——而本底并非随机的电子噪声。它是真实、平淡的物理：恰好与你的信号相像的寻常碰撞。要把那群想象中的人群了解得足够透彻，唯一的办法就是凭空造出一群你彻底理解的完美人群，用[[monte-carlo-event-generators|蒙特卡洛模拟]]：那是一些与物理定律掷骰子的程序，生成海量逼真却虚拟的碰撞，好让你拿来与真实碰撞作比对。
可是要模拟一场质子碰撞，你会撞上一个令人谦卑的事实：质子不是一颗小球，而是一只翻腾的口袋，装着按不断变动的比例分摊它能量的夸克与胶子。真正的碰撞，发生在每个质子里的某一个这样的组分之间，而你永远无法挑选是哪一个参与、它又携带多少能量。[[parton-distribution-function|部分子分布函数]]就是那场抽签的规则手册——当你伸手探进一个质子时，抓到某一种夸克或胶子、且它携带质子动量某一份额的概率。要预言任何过程的发生率，你都必须把底层的截面，与两个质子的部分子分布折叠到一起。
这里有一条头条略过的、不那么光鲜的真相。一次模拟，只能好到放进它里头的物理那个程度，而每个生成器都含有近似和可调的旋钮；一次走了调、把本底预测错了的模拟，是漏掉信号与误报警两者的常见祸根。而一个部分子分布也不是你能查表得到的基本常数——因为强相互作用在这些尺度上无法从头算起，部分子分布是从数据（主要是深度非弹性散射）拟合出来的，并背着它自己的不确定度。比方说，对胶子分布的不完美知识，就直接限制了希格斯产生率能被预言到多准。这两件工具，是每一项发现看不见的引擎，同时也是其中最大的两项系统不确定度。
2012 年：希格斯，以及作为纪律的发现
希格斯玻色子，最后一块缺失的拼图，于 2012 年 7 月在大型强子对撞机上由 ATLAS 与 CMS 两个实验宣布，它把这一阶梯的每一根线索都收拢到了一起。最干净的几条通道，恰是那些违逆「枯燥物理」的：一个衰变成两个光子、以及衰变成四个轻子（常是四个缪子）的希格斯。对于双光子，你测出每个光子的能量与方向，把四动量加起来，画出不变质量——一个小峰在大约 125 GeV 处浮现，端坐在寻常双光子产生那一片广阔而平滑的本底之上。每个实验都看见了大约五个标准差的超出，那正是公认的发现门槛。
m_parent^2 c^4 = (E1 + E2)^2 - ((p1 + p2) c)^2 add the photons' four-momenta
-> a peak at m_parent ~ 125 GeV/c^2 on top of a smooth background = the Higgs让希格斯这一断言保持诚实的，是一种你必须像对待任何一台探测器那样郑重对待的纪律：[[blind-analysis-combination|盲分析]]。人，哪怕是谨慎的科学家，也会看见自己希望看见的东西；一边盯着峰是否在长大、一边不停地调你的判选，你就能把一次涨落雕琢成一份「信号」，却始终不曾有意识地作弊。于是你把整套分析——每一道判选、每一种方法、每一项不确定度——都固定下来，同时把信号区里的答案对自己藏起，直到一切锁死，才「开盲」。接着是合并：把双光子与四轻子两条通道、把两个实验，汇聚成一句更有力的论断。两台独立的探测器在同一个质量处看见了同一个峰，恰恰防住了某台机器独有的错误。
这三个案例教给我们的
退后一步，那个共同的形状清晰得无可辩驳。一个坚实的理论预言——通常是一个质量、或一种偏爱的衰变——告诉实验家究竟该去找什么。那个特征稀有，且埋在本底里。模拟预测本底，部分子分布喂养模拟，喷注与 b 标记重建出探测器实际看到的东西，而唯有积累了足够的积分亮度，信号才会爬出噪声、跨过五个标准差那条线。然后，盲分析与一次独立的确认，让所有人保持诚实。W 与 Z、顶夸克、希格斯，不是三次侥幸；它们是同一道有纪律的流程跑了三遍。
以一个诚实的提醒收尾，因为它对这一阶梯接下来的一切都至关重要。这三项发现，确证的都是标准模型——它们补上了理论所要求的粒子，并以理论预言的质量与衰变找到了它们。这固然是凯旋，可也正因如此，这个领域才如此渴求某种新东西：这里没有任何东西指向标准模型之外。同样这道有纪律的食谱——触发、模拟、重建、计数、设盲、确认——正是今天搜寻新物理时所运行的，只是如今没有一个已被确认的信号可寻。你方才看着它建起三场凯旋的那些工具，如今正探向黑暗；而到目前为止，数据顽固地，依旧与理论相符。