那個會炸開的計算
在本階梯前面，你已經看著粒子消融為場：電子是電子場裡的一道漣漪，光子是電磁場裡的一道漣漪，而量子場論告訴你這些漣漪如何彼此推搡。任何預言的做法，都是把一個過程能夠發生的每一種方式加起來，並把每一份貢獻畫成一張小小的圖——線條在頂點處交匯。最簡單的圖——那些沒有閉合圈的——給出第一個還算像樣的估計。麻煩恰恰在你要求更高精度、把帶有一個圈（loop）的圖也算進來的那一刻冒出來：一對虛粒子忽然閃現、繞行一圈，又消失了。
一個圈裡藏著一場對各種可能性的求和，而量子力學堅持你必須把每一種都算進去。圈內那對虛粒子可以攜帶任意大小的動量——而關鍵在於，可以攜帶任意*巨大*的動量，按量子那一階梯裡的不確定性原理，這意味著任意*短*的波長。當你把每一個可設想的動量所給出的貢獻統統加起來、一路加到能量無窮大的漣漪，這個和並不收斂到一個有限的數。它發散了。對於像電子電荷這樣最基本的東西，若計算得過於天真，那個誠實的預言就是無窮大。這不是數學裡打錯的一個字；如果你照字面把理論當真，它說的就是這個。
一句坦白：它曾讓發明者們驚駭
若把重整化說成物理學家一開始就安然接受的東西，那是不誠實的。當這些無窮大在 1930、1940 年代頭一回浮現時，它們看上去像是給整個光與物質理論判了死刑。保羅·狄拉克——他本人正是這套根基的主要奠定者之一——始終沒能與這個補救手段和解；他說它醜陋，並懷疑一個站得住腳的理論本不該需要它。即便在這套方法大獲全勝之後，理查德·費曼——讓它真正奏效的人之一——仍把這套程序稱作「障眼把戲」與「糊塗手法」，並承認他們所做的事，按當時的標準，在數學上並不正當。
為什麼要在一篇旨在講清這個概念的嚮導裡提起這些？因為那份不安並不愚蠢，它最終是靠真正弄懂了*為什麼*這個手法被允許才得以化解——而這份理解，要等到幾十年後隨著重整化群與有效場論的成熟才到來，那正是下一篇嚮導要接手的內容。現代的看法把當年的難堪整個翻轉了過來：那些無窮大並非要被掃除的缺陷，而是一個信號，它誠實地告訴我們：我們的理論只是一種描述，僅在某個距離之上有效，再往下便不然。同時把握住這個故事的兩半——早期的驚駭與後來的昭雪——這正是真正理解重整化、而非僅僅背誦它的意思所在。
那個真正管用的手法
下面就是這門有章法的手藝，用大白話講。第一步，你不再假裝自己能對能量無窮大的漣漪求和，而是暫時畫一道線：把高於某個極高能量、或者等價地說短於某個極短距離的一切都忽略掉。這個誠實的策略叫做正則化，它把每一個無窮大的答案，變成一個僅僅是巨大卻有限的、並且取決於你把線畫在哪裡的數。第二步是關鍵的洞見。你一開始寫下的那些符號——方程裡寫著的電子「電荷」和「質量」——從來就不是你真正測到的量。它們是裸參數，一種理想化。實驗室裡測到的，永遠是那個*被穿了衣裳的*結果，即裸值加上裹在它周圍的那整團量子修正之雲。
- 正則化：畫一道暫時的高能截斷，讓每個圈給出一個大卻有限的數，而不是無窮大。
- 重新表述：用真正測到的電荷與質量來改寫預言，而不是用那無法測量的裸量。
- 吸收：讓裸參數悄悄把對截斷的依賴吃進去，於是它從每一個物理答案裡都抵消掉。
- 預言：現在去算另一個量——便會得到一個銳利、有限、與截斷無關的數，實驗可以拿來檢驗。
那個看似的奇蹟，就在最後這一步裡。一旦你付清了代價、把兩個無窮大餵進那兩個測到的數（電荷與質量），*理論作出的其他每一個預言都會是有限的，而那條人為的截斷也從中消失了。*你並不是每吸收一個無窮大就換來一個有限答案——你是以僅僅固定那麼寥寥幾個輸入為代價，換來了無窮無盡、有限而可檢驗的預言。一個用有限個輸入就能讓這套辦法奏效的理論，稱為可重整的，而這是一項嚴苛的要求：它恰恰是讓本階梯那些規範理論值得信賴的那條性質。皇冠上的明珠，是電子的磁性強度，其預言與測量相符到優於萬億分之一——這是科學史上被驗證得最精確的預言。
會跑動的耦合
重整化交給你的，遠不止一個躲開無窮大的辦法。當你把一切都用一個測到的電荷重新表述時，你不得不發問：*怎樣*測的？從遠處輕輕探測一個電子所測得的電荷，與近距離猛撞它所測得的電荷，並不是同一個數。這不是馬虎——這是真實的物理。一個相互作用的強度，也就是它的耦合，原來取決於你觀察它時所處的能量尺度。一個會隨尺度悄然改變的「常數」，被說成是在跑動，而它所描出的那條曲線，就是跑動耦合。
這種跑動你在量子色動力學那條軌道裡已經見過一回，而把這兩種情形並排擺出來很值得，因為它們跑動的*方向相反*。在電磁學裡，真空表現得像一種可極化的介質——一層虛電子-正電子對的薄霧，部分地遮住了裸電荷，這種效應叫真空極化。用更高的能量湊得更近去探，你便穿透這層薄霧、看見更多的裸電荷，於是電磁耦合增大。那個著名的低能數值、約為 1/137，並不是根本的；到了 Z 玻色子的能量，它已悄悄爬升到約 1/128。強相互作用則反其道而行，在高能下減弱，因為它的膠子攜帶色荷、以相反的方式屏蔽——那種反著來的跑動，正是你早先學過的漸近自由。
electromagnetic coupling: ~1/137 (low energy) -> ~1/128 (at the Z) grows strong coupling alpha_s: ~1 (proton scale) -> ~0.12 (collider) shrinks same mechanism (vacuum response), opposite sign of the running
重整化群：物理取決於你放大到哪一檔
耦合憑什麼要在意你在哪個能量上去測它？深層的答案，就是重整化群——這名字彆扭（按數學意義它都算不上是個「群」），卻是現代物理學中最有威力的思想之一。想像你故意把視野調模糊，丟掉那些最精細的細節，問在更粗的尺度上這些定律看起來如何。重整化群正是那條精確的規則：當你改變放大的檔位時，理論的各個參數必須如何挪移，才能讓所有預言保持不變。跑動耦合不過是這條規則作用在相互作用強度上的樣子：並不是耦合在神秘地變化，而是*同一套物理在不同分辨率下被描述時，那個位置上要填一個不同的數。*
正是這種重新框定，最終治好了當年的驚駭。一旦你把一個理論看作一種繫於所選尺度的描述，你在正規化時引入的那個截斷，便不再是個令人難堪的拐杖，而成了一句誠實的承認：我們並不聲稱自己知道無窮短距離上的物理，而且我們也不需要知道，因為重整化群保證了：那些雜亂、未知的超短距離細節，幾乎不會滲漏進尋常的低能預言裡。那些無窮大，原是理論在警告我們：別把它一路當真到底——這個警告，我們如今讀作智慧，而非失敗。下一篇嚮導將以有效場論之名，把這種態度發展開來。