真空的重整化群流与不动点

1. 背景与核心问题
   在量子场论中，我们经常面对“无限大”的出现（如真空能发散），这需要通过“重整化”来消除。重整化涉及引入一个“能标”μ（如截断能标或减除点），理论中的物理参数（如耦合常数g、质量m）都会依赖于这个能标，即变为g(μ)、m(μ)。一个核心问题是：当我们改变能标μ时，这些参数如何变化？物理预言（如散射截面）又如何保持与μ无关？这由“重整化群方程”描述，其解给出的参数随能标的变化轨迹，就称为“重整化群流”。

2. 耦合常数的“流动”
   以无量纲耦合常数g(μ)为例。重整化群方程可写为μ dg/dμ = β(g)，其中β(g)是“β函数”，由理论的费曼图（特别是圈图）计算得到。这个方程就像一个“流动方程”：随着能标μ的增加（向更高能量探测），耦合常数g沿着β函数定义的“矢量场”方向变化，在参数空间（g的空间）中划出一条轨迹，即“流线”。不同的初始条件（如低能测量值）对应不同的流线。

3. β函数的物理意义与计算
   β(g) = μ ∂g/∂μ，它定量描述了耦合常数随能标的“奔跑”速率。其符号至关重要：若β(g)>0，则g随能量增加而变大（如QED）；若β(g)<0，则g随能量增加而变小（如QCD中的渐近自由）。β函数通常通过圈图计算得到，最低阶项（一-loop）决定了紫外能标下的主导行为。例如，在φ⁴理论中，β(g) ∝ g²，符号为正，导致耦合在高能下增强。

4. 不动点的分类与性质
   重整化群流中，满足β(g*) = 0的点g*称为“不动点”。在不动点处，耦合常数不再随能标变化，理论呈现标度不变性。不动点分为两类：

   • 紫外稳定不动点：当能量μ → ∞时，流被吸引到该点。如果该点对应自由理论（g*=0），则为“高斯不动点”；若为相互作用理论（g*≠0），则为“非高斯不动点”（或“威尔逊-费雪不动点”）。
   • 红外稳定不动点：当能量μ → 0时，流被吸引到该点。
     流的稳定性由导数β‘(g*)的符号判断：β‘(g*) < 0为紫外稳定；β‘(g*) > 0为红外稳定。

5. 理论空间与相关/无关算子
   完整的重整化群流发生在“理论空间”中，其坐标是所有可能的耦合常数{g_i}（对应各种相互作用项）。在每个不动点附近，我们可以将算子（或耦合）分为：

   • 相关算子：其标度维数Δ > 时空维数D，对应的耦合在流向红外时增强，破坏不动点的标度不变性。
   • 无关算子：其标度维数Δ < D，对应的耦合在流向红外时衰减，不影响低能物理。
   • 边缘算子：其标度维数Δ = D，行为需做更高阶分析。
     这解释了为何低能有效理论中只包含少数相关或边缘算子，而大量无关算子在流到红外时被“洗掉”。

6. 在量子场论与临界现象中的意义
   真空的重整化群流是连接高能微观理论与低能宏观物理的桥梁：

   • 量子场论：紫外稳定不动点定义了高能下理论的良好行为（如渐近自由）。从紫外不动点出发，沿流线流向红外，即得到我们观测到的低能有效理论及其参数。流的轨迹决定了耦合常数如何“奔跑”。
   • 统计物理与临界现象：在连续相变临界点附近，系统具有长程涨落与标度不变性，对应重整化群流的一个红外不动点。流的性质直接决定了临界指数（如β、ν），不同系统若流向同一不动点，则属于同一个“普适性类”。
     因此，真空的重整化群流不仅是一个去除无穷大的技术工具，更是理解理论在能标变化下如何演化、分类相变、并揭示普适性的核心框架。