异常、OPE 与标准模型一致性

有些经典对称性在量子化后不能同时保留，这就是异常。异常不是单纯的计算错误：全局异常可能给出真实物理效应，而规范异常会破坏理论一致性。OPE 则提供了分析短距离行为和有效算符的通用语言。

1. OPE 的基本思想

当两个局域算符接近时，它们的乘积可以展开成一系列局域算符：

$$A(x)B(0)\sim \sum _i{C}_i(x){\mathcal{O}}_i(0),x\to 0.$$

$C_i(x)$ 是 Wilson 系数，负责短距离信息；${\mathcal{O}}_i$ 是局域算符，负责长距离矩阵元。这个分离思想是有效场论、深度非弹性散射和重整化群分析中的基础工具。

2. 轴矢流异常

经典无质量 Dirac 理论有轴向相位对称性，对应轴矢流

$$J_5^{\mu }=\bar{\psi }{\gamma }^{\mu }{\gamma }^5\psi .$$

量子化后，在规范背景中可能出现

$${\partial }_{\mu }{J}_5^{\mu }=\frac{g^2}{16{\pi }^2}{F}_{\mu \nu }{\tilde{F}}^{\mu \nu }.$$

这里

$${\tilde{F}}^{\mu \nu }=\frac{1}{2}{ϵ}^{\mu \nu \rho \sigma }{F}_{\rho \sigma }.$$

这表示经典守恒流在量子层面被破坏。

3. ${\pi }^0\to 2\gamma$ 的物理含义

中性 pion 衰变到两个光子是异常的经典物理例子。若只按朴素手征对称性理解，某些振幅会被误判；异常项给出实际可观测衰变。它提醒我们：量子场论中的对称性必须经过量子化检验。

4. 规范异常必须抵消

全局异常可以对应物理效应，但规范异常会破坏规范不变性和幺正性。因此标准模型的费米子表示必须让规范异常相互抵消。符号上，三角图贡献常涉及群生成元迹：

$$\mathrm{Tr}\left(T^a\{T^b,T^c\}\right).$$

一致的手征规范理论要求相关异常系数组合为零。

5. 与标准模型的关系

标准模型是手征规范理论。左手和右手费米子处在不同表示中，因此异常抵消不是自动的，而是粒子表示安排的关键一致性条件之一。学习标准模型时，异常抵消和 Higgs 机制一样，都是理论能成立的结构性要求。

6. OPE、EFT 与短距离物理

OPE 和 EFT 的共同点是把短距离自由度的影响编码进系数，把低能或长距离物理放进算符矩阵元。形式上，EFT 拉氏量写作

$${\mathcal{L}}_{\mathrm{EFT}}=\sum _i{C}_i(\mu ){\mathcal{O}}_i.$$

重整化群控制 Wilson 系数随能标的变化：

$$\mu \frac{d}{d\mu }{C}_i(\mu )=\sum _j{\gamma }_{ij}{C}_j(\mu ).$$

7. 检查表

• 能解释 OPE 中 Wilson 系数和局域算符的分工。
• 能写出轴矢流异常的典型形式。
• 能说明 ${\pi }^0\to 2\gamma$ 为什么是异常的物理例子。
• 能区分全局异常和规范异常的后果。
• 能说明标准模型为什么需要规范异常抵消。
• 能把 OPE、EFT 和 RG 语言联系起来。