这趟攀登的最后一问
你已经来到整座阶梯的最后一篇指南。在你身后的那些级里，你一块一块地搭起了标准模型，看着它一次次通过检验；在这最后一级里，你走过了它诚实的边缘——失踪的引力子、暗的那一面、中微子质量、物质—反物质失衡、自然性的那份拉扯。接着你又巡视了人们提出的那些最大胆的回答：超对称、大统一、额外维度与轴子，以及向量子引力的漫长伸手。它们中的每一个都尚未被证实。于是一个讲道理的人，会留下一个尖锐而实在的问题，这正是本篇指南要谈的。既然我们还不知道哪个构想是对的，这一领域究竟如何向前推进？方法是什么？
诚实的回答是：既没有单一的神谕，也没有捷径。进步来自两大相反方向、却又彼此需要的实验策略，再由一个理论与计算的回路把它们捆在一起。本篇指南要把这台发现的机器摊开来讲，好让你日后读到关于一台新对撞机提案、或某次结果略微偏离预言的测量的头条时，能确切知道那是哪一类动作、又为何重要。
两条前沿，朝相反方向使劲
寻找新事物，本质上有两条路，它们对应着你一路爬上这座阶梯时一直倚靠的同一个深刻想法：要探到很短的距离，你需要很高的能量；要看见很微弱的效应，你需要极致的准确度。第一条是能量前沿。造一台机器，把粒子以你所能凑出的最高碰撞能量去对撞，你就能直接造出沉重的新粒子——若在那个能及范围之下当真存在的话——正如大型强子对撞机把希格斯召唤进了存在。其逻辑残忍地简单：只要把足够的能量集中到一处，一个全新的粒子就可以径直蹦进存在、并在你的探测器里宣告自己。这正是下一代对撞机的策略，去够大型强子对撞机够不到的能量。
第二条是精度前沿，它比听起来更聪明。在这里，你压根不试图把那个新粒子造出来。你转而把某个寻常的量测到荒唐的准确度，再核对现实是否在最后一位小数上都与标准模型的预言相符。这凭什么能揭示出任何东西？因为虚粒子——你早先见过的那些短暂的量子涨落，一个粒子可以闪进存在、又快得来不及被直接抓住便消失。一个沉重的新粒子，重得在你的机器里永远造不出来，却仍能在这些圈图里穿行、把答案推动一丝一毫。于是一次精确到足以分辨那一丝的测量，就成了通往能量前沿够不到的能量的一扇窗。这两条策略之间的对照，正是能量前沿与精度前沿所命名的。
关键在于，两条前沿没有哪一条能单凭自己取胜。一次精密测量可以高喊「有什么不对劲」，但通常无法告诉你那个新粒子是什么——只能说圈图里藏着意外。能量前沿可以把那个粒子干脆造出来、称出它的重量，但前提是它恰好落在能及范围之内。于是这两条形成一把钳子：精度告诉你该往哪里看、大致在什么标度；能量则去把那东西造出来。精度前沿的一条暗示，会变成下一台大机器的物理依据；而能量前沿的一项发现，会变成下一个要测到见底的对象。它们不是对手；它们是同一场调查的两端。
为什么还要再造一台庞然大物？
一台未来的对撞机，是科学认真打算去建造的、最昂贵的造物——数十公里的隧道、数十年的工作、一个小国的预算，由全世界分担。所以这一领域不能向含糊的希望挥手了事；它必须为「一台新机器到底能换来什么」给出一个明确、诚实的论证。那个论证就是未来对撞机的物理依据，而把它摊开来、而非当作一句口号来看，是值得的。
这套论证里最强的一部分，根本不依赖任何尚未被证实的理论。它就是希格斯本身。我们在 2012 年发现了它，但我们才刚刚开始测量它——它与每一种粒子耦合得多强、它是否与自己交谈、它的耦合是否恰好如标准模型所要求那样对齐、还是偏离了百分之几。一台所谓的希格斯工厂，一台被调校来干净而大量地造出希格斯玻色子的正负电子对撞机，会把希格斯从一个我们见过的东西，变成一个我们理解的东西。那些耦合中的任何偏离，都将是标准模型上一道直接的裂缝，而许多超越模型的构想，所预言的正是这种百分之几量级的裂缝。这是一份有保证的回报：哪怕从来没有任何新粒子现身，我们也学到了我们手上那个最神秘粒子的最深秘密。
一台机器的能及范围，并非单由能量决定。你还需要一股碰撞的洪流，因为那些有趣的过程稀有得近乎消失——回想一下，你实际计数的是碰撞率，即截面乘以束流的亮度。一次精密测量，生死全系于原始的统计量：要把一个希格斯耦合钉到百分之一，你必须记录下数目庞大的干净希格斯事例。这正是为什么提案会分成两种互补的风味。一台正负电子对撞机给出干净、被透彻理解的碰撞，最适合做精度；而一台大得多的质子机器，日后建在同一条隧道里，去够最高的能量、用于直接发现。诚实的推介是一份分阶段的纲领：先精度、后能量，彼此为对方提供信息。
那个回路：理论、实验、计算
两条前沿，没有哪一条能独自产出知识。发现是从一个紧密的三角回路里冒出来的——理论、实验与计算的交织——而一旦你看清这个回路，这一领域运作的许多方式就豁然开朗了。理论提出一个干净的构想，再推演它会对世界做出什么。实验造起机器，记录自然界实际做了什么。而计算，已经悄然长成了一个货真价实的第三位伙伴，是让前两者得以彼此交谈的那座桥。
为什么计算是不可或缺的、而不只是图个方便？两个你已经见过的理由。其一，强力不肯向纸笔屈服。它的耦合在低能处很大，于是那套对 QED 管用的微扰论把戏——把寥寥几张费曼图加起来——干脆失灵。要从第一性原理算出比如质子的质量，唯一的办法是格点量子色动力学：你把时空剁成一张网格，在超级计算机上把方程硬磨出来。（这也正是为什么 μ 子 g-2 的预言会有争议——它的强子部分必须这样算，而不同方法尚未完全一致。）其二，一台现代探测器吐出的是数据的洪流，而把原始的电子学击中变成一句「这是一个希格斯」的论断，要靠堆成山的模拟：你生成数十亿次假碰撞，好知道你的探测器会看到什么，再去比对。
- 理论：提出一个干净的构想（比如一个新粒子），并算出它的后果——它会产生什么、衰变成什么，或在某个精密数字上推动什么。
- 计算：把那个构想化作一个你的探测器能拿来比对的具体预言——模拟碰撞、在格点上求解强力、传递每一份不确定度。
- 实验：开动机器，记录自然界做了什么，并带着诚实的误差棒，真刀真枪地测出同一个量。
- 比对：若预言与测量相符，那个构想就存活或出局；若它们超出不确定度地相左，你或许握有一项发现——又或者，同样常见地，握有一个要追查到底的错误。然后再走一遍回路。
请注意，这个回路把每一个零结果都化作了进步。当一次搜寻一无所获时，它并不是空手而归——它带回的是一道限制，一句坚实的论断：「若这个新粒子存在，它就必须重于 X、或稀有于 Y。」数十年来的这类论断，累积出了越来越紧的限制，稳步地把真相能藏身的地方圈起来，杀死整族整族的理论，逼着幸存者变得更具体。一个无法被这样逼到墙角的理论，就没有在尽它的本分。这就是这一领域那台并不光鲜的引擎：回路的大多数循环，磨锐的是地图、而非重画它，而那份磨锐，就是真实的知识。
这一领域诚实的现状
那么，这一切让我们此刻立于何处？这就是不加粉饰的这一领域的现状，是你应当带出整座阶梯的那句话：尚无任何已被证实的、超越标准模型的物理。这一级里那些大胆构想中——超对称、大统一、额外维度、轴子、弦论——没有一个被确立。每一次干净、决定性的实验室检验，仍落在标准模型之上。那为数不多的、尚在活跃的反常，μ 子的磁性和稀有衰变里几个古怪的比值，确实引人入胜，却仍未有定论，还与预言本身的难度纠缠在一起。
把这一点与过往的时代有何不同讲清楚，是值得的，因为那份不同，正是难处与激动的共同源头。在二十世纪的大半时间里，理论稍稍跑在前头，实验在后追赶：夸克、W 和 Z、希格斯，全都是先被预言、而后被找到，每一次都是一场凯旋般的证实。今天，局面颠倒了过来。我们有一套几乎好得过了头的理论，一份我们知道它解释不了的事物清单，还有一把互相竞争的猜想，其中没有一个已被自然界背书。在真切的意义上，我们正在没有可靠地图的情况下搜寻——而这罕见而珍贵。下一项伟大的发现，当它到来时，不会只是添上一个粒子；它会告诉我们，那些深刻构想中是哪一个走在了正确的方向上。
别把「尚无发现」读作失败。一个没有未解之问的领域，是一个完工的领域，而一个完工的领域，是一个死了的领域。标准模型，在每一次干净的检验上，都是人类写下过的最成功的理论——而它身旁，就摆着一份它被证明回答不了的问题清单，从暗物质的本性，到为什么竟然有物质存在。这个组合——压倒性的成功，与界定清晰、诚实坦白的无知——是一门科学所能身处的、最激动人心的位置。你如今已从「什么是粒子？」一路爬到站在那道边缘之上，能够看清地图、那些空白的疆域，以及填补它们的那条两叉策略。这就是这一领域所在之处，而它确确实实，是敞开着、未完成的。