這趟攀登的最後一問
你已經來到整座階梯的最後一篇指南。在你身後的那些級裡，你一塊一塊地搭起了標準模型，看著它一次次通過檢驗；在這最後一級裡，你走過了它誠實的邊緣——失蹤的重力子、暗的那一面、微中子質量、物質—反物質失衡、自然性的那份拉扯。接著你又巡視了人們提出的那些最大膽的回答：超對稱、大統一、額外維度與軸子，以及向量子重力的漫長伸手。它們中的每一個都尚未被證實。於是一個講道理的人，會留下一個尖銳而實在的問題，這正是本篇指南要談的。既然我們還不知道哪個構想是對的，這一領域究竟如何向前推進？方法是什麼？
誠實的回答是：既沒有單一的神諭，也沒有捷徑。進步來自兩大相反方向、卻又彼此需要的實驗策略，再由一個理論與計算的迴路把它們捆在一起。本篇指南要把這台發現的機器攤開來講，好讓你日後讀到關於一台新對撞機提案、或某次結果略微偏離預言的測量的頭條時，能確切知道那是哪一類動作、又為何重要。
兩條前沿，朝相反方向使勁
尋找新事物，本質上有兩條路，它們對應著你一路爬上這座階梯時一直倚靠的同一個深刻想法：要探到很短的距離，你需要很高的能量；要看見很微弱的效應，你需要極致的準確度。第一條是能量前沿。造一台機器，把粒子以你所能湊出的最高碰撞能量去對撞，你就能直接造出沉重的新粒子——若在那個能及範圍之下當真存在的話——正如大型強子對撞機把希格斯召喚進了存在。其邏輯殘忍地簡單：只要把足夠的能量集中到一處，一個全新的粒子就可以徑直蹦進存在、並在你的探測器裡宣告自己。這正是下一代對撞機的策略，去夠大型強子對撞機夠不到的能量。
第二條是精度前沿，它比聽起來更聰明。在這裡，你壓根不試圖把那個新粒子造出來。你轉而把某個尋常的量測到荒唐的準確度，再核對現實是否在最後一位小數上都與標準模型的預言相符。這憑什麼能揭示出任何東西？因為虛粒子——你早先見過的那些短暫的量子漲落，一個粒子可以閃進存在、又快得來不及被直接抓住便消失。一個沉重的新粒子，重得在你的機器裡永遠造不出來，卻仍能在這些圈圖裡穿行、把答案推動一絲一毫。於是一次精確到足以分辨那一絲的測量，就成了通往能量前沿夠不到的能量的一扇窗。這兩條策略之間的對照，正是能量前沿與精度前沿所命名的。
關鍵在於，兩條前沿沒有哪一條能單憑自己取勝。一次精密測量可以高喊「有什麼不對勁」，但通常無法告訴你那個新粒子是什麼——只能說圈圖裡藏著意外。能量前沿可以把那個粒子乾脆造出來、稱出它的重量，但前提是它恰好落在能及範圍之內。於是這兩條形成一把鉗子：精度告訴你該往哪裡看、大致在什麼標度；能量則去把那東西造出來。精度前沿的一條暗示，會變成下一台大機器的物理依據；而能量前沿的一項發現，會變成下一個要測到見底的對象。它們不是對手；它們是同一場調查的兩端。
為什麼還要再造一台龐然大物？
一台未來的對撞機，是科學認真打算去建造的、最昂貴的造物——數十公里的隧道、數十年的工作、一個小國的預算，由全世界分擔。所以這一領域不能向含糊的希望揮手了事；它必須為「一台新機器到底能換來什麼」給出一個明確、誠實的論證。那個論證就是未來對撞機的物理依據，而把它攤開來、而非當作一句口號來看，是值得的。
這套論證裡最強的一部分，根本不依賴任何尚未被證實的理論。它就是希格斯本身。我們在 2012 年發現了它，但我們才剛剛開始測量它——它與每一種粒子耦合得多強、它是否與自己交談、它的耦合是否恰好如標準模型所要求那樣對齊、還是偏離了百分之幾。一台所謂的希格斯工廠，一台被調校來乾淨而大量地造出希格斯玻色子的正負電子對撞機，會把希格斯從一個我們見過的東西，變成一個我們理解的東西。那些耦合中的任何偏離，都將是標準模型上一道直接的裂縫，而許多超越模型的構想，所預言的正是這種百分之幾量級的裂縫。這是一份有保證的回報：哪怕從來沒有任何新粒子現身，我們也學到了我們手上那個最神秘粒子的最深秘密。
一台機器的能及範圍，並非單由能量決定。你還需要一股碰撞的洪流，因為那些有趣的過程稀有得近乎消失——回想一下，你實際計數的是碰撞率，即截面乘以束流的亮度。一次精密測量，生死全繫於原始的統計量：要把一個希格斯耦合釘到百分之一，你必須記錄下數目龐大的乾淨希格斯事例。這正是為什麼提案會分成兩種互補的風味。一台正負電子對撞機給出乾淨、被透徹理解的碰撞，最適合做精度；而一台大得多的質子機器，日後建在同一條隧道裡，去夠最高的能量、用於直接發現。誠實的推介是一份分階段的綱領：先精度、後能量，彼此為對方提供信息。
那個迴路：理論、實驗、計算
兩條前沿，沒有哪一條能獨自產出知識。發現是從一個緊密的三角迴路裡冒出來的——理論、實驗與計算的交織——而一旦你看清這個迴路，這一領域運作的許多方式就豁然開朗了。理論提出一個乾淨的構想，再推演它會對世界做出什麼。實驗造起機器，記錄自然界實際做了什麼。而計算，已經悄然長成了一個貨真價實的第三位夥伴，是讓前兩者得以彼此交談的那座橋。
為什麼計算是不可或缺的、而不只是圖個方便？兩個你已經見過的理由。其一，強力不肯向紙筆屈服。它的耦合在低能處很大，於是那套對 QED 管用的微擾論把戲——把寥寥幾張費曼圖加起來——乾脆失靈。要從第一性原理算出比如質子的質量，唯一的辦法是格點量子色動力學：你把時空剁成一張網格，在超級計算機上把方程硬磨出來。（這也正是為什麼 μ 子 g-2 的預言會有爭議——它的強子部分必須這樣算，而不同方法尚未完全一致。）其二，一台現代探測器吐出的是數據的洪流，而把原始的電子學擊中變成一句「這是一個希格斯」的論斷，要靠堆成山的模擬：你生成數十億次假碰撞，好知道你的探測器會看到什麼，再去比對。
- 理論：提出一個乾淨的構想（比如一個新粒子），並算出它的後果——它會產生什麼、衰變成什麼，或在某個精密數字上推動什麼。
- 計算：把那個構想化作一個你的探測器能拿來比對的具體預言——模擬碰撞、在格點上求解強力、傳遞每一份不確定度。
- 實驗：開動機器，記錄自然界做了什麼，並帶著誠實的誤差棒，真刀真槍地測出同一個量。
- 比對：若預言與測量相符，那個構想就存活或出局；若它們超出不確定度地相左，你或許握有一項發現——又或者，同樣常見地，握有一個要追查到底的錯誤。然後再走一遍迴路。
請注意，這個迴路把每一個零結果都化作了進步。當一次搜尋一無所獲時，它並不是空手而歸——它帶回的是一道限制，一句堅實的論斷：「若這個新粒子存在，它就必須重於 X、或稀有於 Y。」數十年來的這類論斷，累積出了越來越緊的限制，穩步地把真相能藏身的地方圈起來，殺死整族整族的理論，逼著倖存者變得更具體。一個無法被這樣逼到牆角的理論，就沒有在盡它的本分。這就是這一領域那台並不光鮮的引擎：迴路的大多數循環，磨銳的是地圖、而非重畫它，而那份磨銳，就是真實的知識。
這一領域誠實的現狀
那麼，這一切讓我們此刻立於何處？這就是不加粉飾的這一領域的現狀，是你應當帶出整座階梯的那句話：尚無任何已被證實的、超越標準模型的物理。這一級裡那些大膽構想中——超對稱、大統一、額外維度、軸子、弦論——沒有一個被確立。每一次乾淨、決定性的實驗室檢驗，仍落在標準模型之上。那為數不多的、尚在活躍的反常，μ 子的磁性和稀有衰變裡幾個古怪的比值，確實引人入勝，卻仍未有定論，還與預言本身的難度糾纏在一起。
把這一點與過往的時代有何不同講清楚，是值得的，因為那份不同，正是難處與激動的共同源頭。在二十世紀的大半時間裡，理論稍稍跑在前頭，實驗在後追趕：夸克、W 和 Z、希格斯，全都是先被預言、而後被找到，每一次都是一場凱旋般的證實。今天，局面顛倒了過來。我們有一套幾乎好得過了頭的理論，一份我們知道它解釋不了的事物清單，還有一把互相競爭的猜想，其中沒有一個已被自然界背書。在真切的意義上，我們正在沒有可靠地圖的情況下搜尋——而這罕見而珍貴。下一項偉大的發現，當它到來時，不會只是添上一個粒子；它會告訴我們，那些深刻構想中是哪一個走在了正確的方向上。
別把「尚無發現」讀作失敗。一個沒有未解之問的領域，是一個完工的領域，而一個完工的領域，是一個死了的領域。標準模型，在每一次乾淨的檢驗上，都是人類寫下過的最成功的理論——而它身旁，就擺著一份它被證明回答不了的問題清單，從暗物質的本性，到為什麼竟然有物質存在。這個組合——壓倒性的成功，與界定清晰、誠實坦白的無知——是一門科學所能身處的、最激動人心的位置。你如今已從「什麼是粒子？」一路爬到站在那道邊緣之上，能夠看清地圖、那些空白的疆域，以及填補它們的那條兩叉策略。這就是這一領域所在之處，而它確確實實，是敞開著、未完成的。