Existence theorem on the UV limit of Wilsonian RG flows of Feynman measures

技术摘要：费曼测度威尔逊重整化群（Wilsonian RG）流的紫外（UV）极限存在性定理

问题陈述
在欧几里得标量量子场论（QFT）的非微扰表述中，真空态由费曼测度的威尔逊重整化群（RG）流来刻画。构造性量子场论中的一个核心难点在于如何定义相互作用测度 $\mu = e^{-V} \cdot \gamma$，其中 $\gamma$ 是分布场上的高斯测度，而 $V$ 是相互作用势。由于 $\gamma$ 存在于分布场上，而 $V$ 通常需要场的逐点乘积（这对于分布而言是未定义的），因此无法直接定义该乘积测度。

威尔逊正则化通过考虑一系列与粗粒化算符相连的正则化（光滑）场测度族 $(\mu_\eta)$ 来解决这一问题。本文探讨的一个关键开放问题是：一个“非终止”的威尔سون RG 流（即定义为可以延伸至任意正则化强度的测度族）是否在分布场空间上允许一个定义良好的极限测度 $\mu$。此外，本文研究了两个此类流（例如，一个相互作用流与一个自由高斯参考流）之间的相对相互作用势是否允许一个紫外极限，以及在何种条件下这些极限能够保持诸如势能下界等性质。

方法论
作者在平坦时空（$\mathbb{R}^N$）上的欧几里得场论框架内，利用严谨的泛函分析和分布空间上的测度论开展研究。

1. 数学框架： 研究利用了缓增分布空间 $S'$ 和施瓦茨函数空间 $S$。粗粒化算符被定义为卷积算符 $C_\eta$，其核 $\eta$ 属于特定的施瓦茨函数子集（例如，具有施瓦茨频率尾部、非零尾部或严格带限尾部的正则化器）。
2. 分解性质： 证明的核心依赖于 $S$ 中卷积算符的强分解性质。具体而言，作者利用了以下定理：任何施瓦茨函数都可以分解为两个其他施瓦茨函数的卷积，且 $S$ 中的紧集也可以类似地进行分解。这些性质使得从正则化函数的流中构建一个“父函数”成为可能。
3. Bochner–Minlos 定理： 通过从正则化傅里叶变换族 $(Z_\eta)$ 构建 $S$ 上的连续正定函数 $Z$（即测度的傅里叶变换），从而确立了紫外极限测度的存在性。Bochner–Minlos 定理进而保证了存在一个与 $Z$ 相对应的 $S'$ 上的唯一 $\sigma$-可加测度。
4. Radon–Nikodym 与绝对连续性： 为了处理相对相互作用势，作者分析了测度的绝对连续性。他们使用 Radon–Nikodym 定理来联系相互作用流与参考流的密度函数，证明如果在一个粗粒化尺度下存在相对密度，则该密度在所有尺度下均存在，并允许一个紫外极限。
5. 下半连续包络： 在案例研究中，作者利用下半连续包络和“贪婪扩展”（greedy extensions）的概念来定义全分布空间上的势，并分析了这些扩展产生非零测度的条件。

主要贡献与结果

1. 紫外极限测度的存在性（定理 14，推论 15）：
   本文证明了任何非终止的费曼测度威尔逊 RG 流 $(\mu_\eta)$ 在分布场空间 $S'$ 上都存在唯一的紫外极限测度 $\mu$。流中的正则化测度恰好是 $\mu$ 通过粗粒化算符进行压送后得到的边缘测度：$\mu_\eta = (C_\eta)_* \mu$。这确立了一种分解性质，即该流源自于一个单一的最终测度。

2. 紫外极限相对势的存在性（推论 21）：
   如果两个威尔逊 RG 流 $\mu_\eta$ 和 $\gamma_\eta$ 在特定的粗粒化尺度下由相对相互作用势（密度）$f_\eta = e^{-V_\eta}$ 相关联，那么这种关系对于所有尺度都成立。至关重要的是，存在一个紫外极限势 $V$（及密度 $f$），使得极限测度满足 $\mu = f \cdot \gamma$。

3. 下界的保持（定理 25）：
   如果正则化相对相互作用势 $V_\eta$ 在特定尺度下有下界，则紫外极限势 $V$ 也具有相同的下界（在关于参考测度的本质上确界意义下）。

4. 参考高斯测度的刚性（备注 23）：
   作者证明，如果一个威尔逊 RG 流被描述为一个由运行势修改的自由高斯测度，那么参考高斯测度的参数（质量和场重整化）不能“运行”（即在正则化器的平滑处理下，它们必须保持不变）。这与参数经常“运行”的非正式 RG 方法形成对比。

5. 案例研究与可重整化性（第 5 节）：

   • 有界势： 对于相互作用势同时具有下界和上界的模型（例如“盆状”势或 Sine-Gordon 模型），证明了它们在任意维度下都是非微扰可重整化的。它们的紫外极限测度是定义良好且非零的。
   • $\phi^4$ 理论： 本文对 $\phi^4$ 模型进行了严谨分析。它确认了对于维度 $N > 1$，将 $\phi^4$ 势向分布场进行朴素扩展会导致势在几乎处处为 $+\infty$，从而导致零测度。这与已知的平凡性或高维下的不存在性问题相一致。
   • 非威尔逊流： 作者澄清，文献中许多构造性方法（例如晶格极限或针对 $d=3,4$ 维 $\phi^4$ 的特定反项构造）产生的测度序列虽然收敛于一个紫外极限，但它们本身并不构成威尔逊 RG 流（即不满足边际性条件）。然而，由此产生的极限测度确实会诱导出一个威尔逊 RG 流。

意义

本文为威尔逊 RG 流的紫外极限提供了严谨的存在性定理，证明了此类流不仅仅是正则化近似的族，而且从根本上是由分布场上的单一良定义测度所衍生的。这一结果验证了欧几里得 QFT 中威尔逊方法的结构一致性。

作者强调，其结果允许清晰地区分哪些模型是非微扰可重整的（即允许具有有界势的紫外极限的模型），以及哪些不是。具体而言，这些定理表明，在四维时空中，像 $\phi^4$ 这样的相互作用在严格的威尔逊框架内是不受青睐的（因为它们无法产生具有有界势的非零测度），而有界势（如盆状或竞争希格斯模型）则更受青睐。

这项工作还阐明了构造性 QFT 方法（通常通过非威尔逊序列构造极限测度）与威尔逊 RG 形式之间的关系，表明虽然构造路径可能不同，但所得的紫外极限测度自然地生成了一个一致的威尔逊流。这弥合了测度存在性证明与重整化群结构要求之间的鸿沟。