那个会炸开的计算
在本阶梯前面，你已经看着粒子消融为场：电子是电子场里的一道涟漪，光子是电磁场里的一道涟漪，而量子场论告诉你这些涟漪如何彼此推搡。任何预言的做法，都是把一个过程能够发生的每一种方式加起来，并把每一份贡献画成一张小小的图——线条在顶点处交汇。最简单的图——那些没有闭合圈的——给出第一个还算像样的估计。麻烦恰恰在你要求更高精度、把带有一个圈（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
重整化群：物理取决于你放大到哪一档
耦合凭什么要在意你在哪个能量上去测它？深层的答案，就是重整化群——这名字别扭（按数学意义它都算不上是个「群」），却是现代物理学中最有威力的思想之一。想象你故意把视野调模糊，丢掉那些最精细的细节，问在更粗的尺度上这些定律看起来如何。重整化群正是那条精确的规则：当你改变放大的档位时，理论的各个参数必须如何挪移，才能让所有预言保持不变。跑动耦合不过是这条规则作用在相互作用强度上的样子：并不是耦合在神秘地变化，而是*同一套物理在不同分辨率下被描述时，那个位置上要填一个不同的数。*
正是这种重新框定，最终治好了当年的惊骇。一旦你把一个理论看作一种系于所选尺度的描述，你在正规化时引入的那个截断，便不再是个令人难堪的拐杖，而成了一句诚实的承认：我们并不声称自己知道无穷短距离上的物理，而且我们也不需要知道，因为重整化群保证了：那些杂乱、未知的超短距离细节，几乎不会渗漏进寻常的低能预言里。那些无穷大，原是理论在警告我们：别把它一路当真到底——这个警告，我们如今读作智慧，而非失败。下一篇向导将以有效场论之名，把这种态度发展开来。