A perturbative approach to the Wetterich equation for Bosonic and Fermionic interacting fields

本文在弯曲时空的微扰代数量子场论框架内，为洛伦兹号差的 Wetterich 重整化群流建立了一个微扰框架，推导了相互作用标量场和狄拉克场的β函数，探讨了其与随机动力学的联系，并利用 Nash-Moser 定理证明了所得流方程的局部适定性。

要点

将宇宙想象成一片巨大而复杂的海洋。在物理学中，我们常通过观察其最微小的波浪（量子场）及其相互作用来理解这片海洋。通常，为了理清这些相互作用，科学家会使用一种称为“重整化群”（RG）流的方法。这就像在地图上缩放：当你缩小视图时，你看到的是宏观图景（宏观行为）；当你放大视图时，你看到的是微观细节（微观混沌）。重整化群流是一套数学规则手册，它告诉你随着缩放级别的调整，对这片海洋的描述如何发生变化。

然而，大多数此类规则手册都是为“欧几里得”宇宙编写的——那是一个数学游乐场，其中的时间不像现实生活中那样向前和向后流动，而更像空间的第四维度。这使得数学计算更简单，但对于我们实际的时间流动宇宙而言，其现实性较差。

本文由 Beatrice Costeri 撰写，旨在为我们的实际宇宙（具有“洛伦兹”号差，意味着时间与空间截然不同）编写一套新的、更现实的规则手册。作者处理了两种特定类型的“海洋波浪”：

1. 两个相互作用的标量场：想象水面上两种不同类型的涟漪，比如红色和蓝色，它们相互碰撞并改变彼此的形状。
2. 自相互作用的狄拉克场：想象一种更复杂的单一类型涟漪（像旋转的波浪），并且它与自身发生相互作用。

主要挑战：“时间”问题

在现实世界中，原因必须先于结果。在作者的数学世界中，这意味着方程必须尊重“因果性”。当你试图在时间流动的宇宙中进行“缩放”（RG 流）时，数学会变得混乱，因为不存在唯一的方式来逆转时间或定义系统的“平均”状态。这就像在一个物理定律略有不同的厨房里试图把蛋糕还原回原料；你无法简单地按下“撤销”键。

作者使用了一套称为**微扰代数量子场论（pAQFT）**的复杂工具包。这可以看作是一套非常严格、逻辑严密的指令集，确保数学的每一步都遵守宇宙的规则（如因果性），而无需事先假设特定的“真空”或空状态。

两大成就

1. 推导流方程（“操作指南”）
作者成功写出了描述这些场之间相互作用“强度”如何随缩放变化而变化的具体方程。

• 对于两个标量场：她计算了“耦合常数”（决定红色和蓝色涟漪相互作用强度的数值）如何变化。
• 对于狄拉克场：她对旋转波浪做了同样的处理。
• 随机性的转折：有趣的是，她还考察了一个模型，其中其中一个场充当“噪声”源（就像风吹在水面上）。她表明，即使在这种看似随机、充满噪声的情景中，同样的严格数学工具依然有效，从而将随机噪声的研究与量子场论的研究联系起来。

2. 证明数学的有效性（“存在性”证明）
写出方程是一回事；证明它们确实有解则是另一回事。这就像写出一份蛋糕食谱；你需要证明，如果遵循这些步骤，你确实能得到蛋糕，而不是一堆面粉。

• 作者使用了一个强大的数学定理，称为纳什 - 莫泽定理。可以将该定理想象为方程的超级高级“生命证明”。它用于那些棘手到标准方法无法解决的方程。
• 她证明了对于标量场和狄拉克场，这些流方程在短时间（局部）内确实存在唯一且行为良好的解。这意味着数学描述是稳定且可靠的，至少对于“流”的近期未来而言是如此。

“局域势”捷径

为了使这些复杂方程可解，作者使用了一种称为**局域势近似（LPA）**的近似方法。

• 类比：想象试图描述山脉的形状。与其绘制每一块岩石和鹅卵石，不如通过观察每一点的地面高度来近似其形状，忽略微小的起伏。
• 在本文中，她假设“势”（场的能量景观）仅取决于场在特定点的值，而不取决于其变化速度。这种简化使她能够计算出特定的“β函数”（相互作用强度变化的速率），并证明方程是成立的。

总结

简而言之，这篇论文解决了一个非常困难的问题——理解量子场如何在现实宇宙中随时间演化——并通过两个步骤解决了它：

1. 它为两种特定类型的量子场写出了正确的“放大/缩小”规则，确保它们尊重时间的流动。
2. 它使用重型数学工具（纳什 - 莫泽定理）证明这些规则确实有效，并且不会立即崩溃。

其结果是一个更稳健、尊重时间的框架，用于研究宇宙基本力可能的行为，弥合了抽象数学理论与时间流动的宇宙物理现实之间的差距。

技术摘要

技术摘要：玻色与费米相互作用场的 Wetterich 方程微扰方法

问题陈述
本文探讨了弯曲全局双曲时空上相互作用量子场的洛伦兹流形重整化群（RG）流方程的表述及其数学适定性。具体而言，其目标是在微扰代数量子场论（pAQFT）框架内推导 Wetterich 方程。洛伦兹号差的一个核心挑战在于，与欧几里得情形不同，缺乏一个独特的费曼逆或真空两点函数。此外，本文旨在建立这些非线性流方程解的局部存在性与唯一性，该问题需要超越标准微扰展开的严格泛函分析技术。

方法论
作者采用量子场论的代数方法，将量子可观测量代数构建为构型空间上经典泛函的形变。方法论按以下步骤进行：

1. 代数构建：

   • 玻色部分： 对于两个相互作用的标量场，利用哈达玛（Hadamard）两点函数对经典代数进行形变，以编码正则对易关系。相互作用通过 Bogoliubov 映射进行微扰处理，将相互作用可观测量与自由可观测量联系起来。
   • 费米部分： 对于自相互作用的狄拉克场（Thirring 模型），该框架避免了格拉斯曼变量。相反，反对易性通过双分布中的特定符号结构直接编码到形变映射中，在保持底层经典泛函空间交换性的同时，在量子代数中生成正确的正则反对易关系（CAR）。
   • 随机类比： 分析了一个具有非对称势的两个标量场的特例，形式上类比于随机动力学的 Martin-Siggia-Rose（MSR）形式体系，但严格限定在洛伦兹、非随机设定内。

2. 流方程的推导：

   • 引入红外调节器 $Q_k$ 以抑制低能模式。
   • 定义生成泛函和平均有效作用量 $\Gamma_k$。
   • 将 Wetterich 方程推导为控制 $\Gamma_k$ 尺度依赖性的微分方程。
   • 分析在**局域势近似（LPA）**下进行，其中有效作用量被截断，仅包含场依赖的势，不包含场的导数。这使得提取相关耦合的 $\beta$ 函数成为可能。

3. 解的存在性与唯一性：

   • 为解决所得流方程的局部适定性问题，本文采用了 [DP23] 的策略。
   • 将问题重新表述为有效势 $U_k$ 的初边值问题。
   • 应用Nash-Moser 定理（在哈密顿表述中）证明局部解的存在性。这要求证明 RG 算子是分级弗雷歇空间（graded Fréchet spaces）之间的“ tame smooth"（ tame 光滑）映射，且其线性化 admits 一个 tame smooth 逆。

主要贡献与结果

• $\beta$ 函数的推导：

  • 标量模型： 对于具有对称四次势的两个相互作用标量场，本文推导了四维闵可夫斯基时空中质量项和耦合常数（$\lambda_1, \lambda_2, \lambda_3$）的 $\beta$ 函数。结果与现有物理文献一致。
  • 狄拉克模型： 计算了二维自相互作用 Thirring 模型的 $\beta$ 函数。值得注意的是，四次耦合 $\lambda$ 的 $\beta$ 函数为零，这与维数分析一致，表明在该截断下该耦合是无关的（具有负质量量纲）。
  • 随机/MSR 模型： 推导了类似于 MSR 形式体系的非对称势模型的 $\beta$ 函数。一个关键结果是，扩散系数（噪声振幅）$D_k$ 在该截断下不随尺度跑动（$\partial_k D_k = 0$），这一发现与 [Duc25] 一致，但通过洛伦兹代数方法推导得出。

• 数学严谨性（适定性）：

  • 本文提供了标量和狄拉克情形下 RG 流方程解的局部存在性与唯一性的严格证明。
  • 通过利用 Nash-Moser 定理，作者克服了无限维空间上非线性偏微分方程中典型的“导数丢失”问题，证明了 RG 算子 admits 唯一的 tame smooth 局部逆族。

• 形式体系扩展：

  • 该工作成功将 pAQFT 框架扩展到费米场，无需借助格拉斯曼值经典场，而是依赖于代数乘积的分级形变。
  • 它展示了洛伦兹代数 RG 方法在混合场类型和非对称势模型中的适用性，填补了代数 RG 与随机场论描述之间的空白。

意义与主张
本文主张为 pAQFT 框架内的洛伦兹 RG 流方程提供了数学严谨的基础。其主要意义在于：

1. 协变性与局域性： 保持了 pAQFT 固有的局域性和协变性原则，而这些原则在弯曲时空的标准泛函 RG 方法中往往受到损害。
2. 数学控制： 确立了 Wetterich 方程作为非线性演化方程的局部适定性，超越了形式微扰展开，证明了解的存在性。
3. 与随机动力学的联系： 提供了洛伦兹 RG 方法与随机场论（通过 MSR 形式体系）之间的形式代数联系，表明代数技术可以描述由噪声驱动的系统，即使底层时空是洛伦兹的。
4. 普适性： 该框架被提出适用于任意全局双曲时空，具体计算在闵可夫斯基空间中进行以利于处理。

作者明确指出，该工作未涉及具有边界的时空或高温极限，也未充分探讨所推导的 Wetterich 方程与随机 Polchinski 型流方程之间的非微扰关系，并将这些确定为未来的研究方向。