预言还要经得起更精细的测量
一个理论能猜中新粒子，还要继续面对更精确的测量。最初近似只计算最简单的相互作用，量子理论还要加入场涨落带来的修正。电弱修正通常较小，可以分层计算；精密实验却足以看见。让这套计算真正成立，是 1999 年授予特霍夫特与韦尔特曼诺奖的核心成就。
厨房秤与实验室天平称同一件东西，前者看不见的细节，到后者那里可能成为关键。粒子质量、衰变宽度和方向分布也经历了这样的精度升级。理论必须用有限的实测输入，把它们之间的关系算到同样细。
衰变宽度联系粒子消失得多快，角分布不对称比较女儿朝不同方向出现的概率。它们探查相互作用的不同组合。一项修正若改变质量关系，也得继续接上衰变率与方向分布。
这样，精密实验形成了一组互相关联的提问。共同输入已经定下之后，理论很难只为一处结果临时改动。计算能同时接住不同观测量，量子修正才显出真正的检验力量。
计算中间步骤为什么会发散
量子修正需要把许多可能的中间场配置加起来。常用的逐阶计算中，环积分会包含任意大的动量贡献，有些积分便发散。这样的中间结果还没法拿去与实验比较，必须先处理。
正规化先用可控制的办法显露发散，重整化再把计算参数与实验定义的量联系起来。在可重整化理论中，发散可以吸收到一组固定参数和场的定义里，其余观测量仍给出有限预言。计算越精细，同一小组输入仍应该够用。
这正是预测能力所在。如果每多一项测量就添一个任意调整，理论的内容会越来越少。可重整化的电弱理论能让少数测量联系许多其他结果，量子修正也成为这些关系里可以检验的一部分。
来源：[1]
计算方法得保留原来的联系
电弱理论属于规范理论，场的描述中有一些变换不会改变物理结果。这个结构把反应的不同贡献联系起来。计算保留这些联系时，非物理部分才能相消，最后留下可测概率。W、Z 有质量之后，怎样继续保留这些联系，曾经是很大的障碍。
特霍夫特证明，自发破缺的规范理论也能重整化。他与韦尔特曼进一步发展系统计算方法，包括维数正规化：先把积分延伸到偏离通常时空维数的数学情形，再取回物理极限。1972 年论文说明怎样处理彼此重叠的发散，并在适当理论中保留所需恒等关系。
这里改变维数，是处理积分的数学工具。提取可测预言时，仍回到实际时空。方法的价值在于，复杂量子修正没有把原本严密相连的电弱结构拆散。
来源：[1]
精密数据能先感觉到重粒子
重粒子即使还不能被直接造出，也能通过环修正影响其他测量。理论能计算这种依赖，精密数据就可以偏好某个尚未发现的质量范围。电弱拟合在顶夸克直接发现之前帮助限定过它的质量，后来也为希格斯部分提供信息。这是多项测量与理论合用的推断，与直接辨认衰变产物各有方法。
LEP 与 SLC 精确测量 Z 共振、衰变方式和多种不对称，再与含量子修正的结果比较。实验把细小修正变得可见，特霍夫特与韦尔特曼让它们可以被计算。电弱理论由此成为能够反复接受精密检验的科学。