A summation rule for the four-coupling beta function of four-dimensional nonplanar Euclidean scalar $\varphi^{4}$ theory under factorial coefficient bounds, and a domain on which the summed beta function is well defined

技术摘要：非平面 $\phi^4$ 理论中四耦合项 Beta 函数的求和规则

问题陈述
本文解决了为四维非平面欧几里得标量 $\phi^4$ 理论的正式 beta 函数级数分配一个定义良好的实数的数学挑战。该理论涉及四个运行耦合项，$c = (\lambda, \alpha, \mu, \nu) \in \mathbb{R}^4$。Beta 函数 $B(c)$ 给定为一个形式幂级数：
$$B(c) = \sum_{p=2}^{\infty} \sum_{|m|=p} \beta(m) c^m$$
假设系数 $\beta(m)$ 满足 假设 H，即一种形式为 $|\beta(m)| \leq (p-1)! C^{p-1}$ 的阶乘界限（其中 $|m|=p \geq 2$）。该界限反映了构造性多尺度或回路-顶点展开中系数的典型增长特征。

核心困难在于，在假设 H 下，$B(c)$ 在除原点以外的所有地方都发散（定理 9.1）。此外，该级数的 Borel 变换可能在收敛圆处存在自然边界（定理 9.2），使得标准的求和技术（Borel、侧向、中值或加速求和）对于整个可容许的系数类而言是未定义的。本文寻求一种满足以下条件的求和规则：

1. 定义良好： 在一个显式的定义域内产生一个有限实数。
2. 忠实性： 在 $c \to 0$ 时，对形式级数在所有阶数上都是渐近的（Gevrey-1）。
3. 正则性（在有限意义下）： 对系数是线性的，且对耦合项是光滑的（$C^\infty$）。
4. 最优性： 逼近内在的非微扰歧义极限。

方法论
作者基于**截断 Borel-拉普拉斯变换（cut Borel-Laplace transform）**构建了一个显式的求和规则 $S$。该构造包含三个主要部分：

1. Borel 变换： 定义为 $\hat{B}(z) = \sum_{p \geq 2} \frac{b_p(z)}{(p-1)!}$，其中 $b_p(c)$ 是 $p$ 次齐次部分。在假设 H 下，证明 $\hat{B}(z)$ 在一个尖锐的多项盘 $\Pi_C = \{z \in \mathbb{C}^4 : \|z\|_\infty < 1/C\}$ 上是全纯的。
2. 截断（The Cut）： 由于沿全射线 $[0, \infty)$ 的积分可能会超出全纯区域，因此将积分截断在高度 $T(c)$ 处。该截断使用实解析、正齐次规范 $\nu_k(c) = (\sum c_i^{2k})^{1/(2k)}$（其中 $k \geq 1$）进行放置。截断高度定义为 $T(c) = \frac{\vartheta}{C \nu_k(c)}$，其中 $\vartheta \in (0, 1)$ 是一个参数。
3. 求和规则： 求和后的 beta 函数定义为：
   $$S_B(c) = \int_0^{T(c)} e^{-\tau} \hat{B}(\tau c) \frac{d\tau}{\tau} \quad (c \neq 0), \quad S_B(0) = 0.$$
   逐项积分表明，$S_B(c)$ 等价于发散级数的泊松平均截断（Poisson-averaged truncation）：
   $$S_B(c) = \sum_{p \geq 2} \Pr[\text{Poi}(T(c)) \geq p] b_p(c) = \mathbb{E}\left[ \sum_{p=2}^K b_p(c) \right], \quad K \sim \text{Poi}(T(c)).$$
   这种形式确保了级数是绝对收敛的，并且对系数是线性的，且对 $c$ 是光滑的。

主要贡献与结果

• 存在性与正则性： 规则 $S_B$ 在一个显式的非空开域 $D = \{c : C\nu_k(c) < \vartheta\}$ 上是定义良好的（实际上在整个 $\mathbb{R}^4$ 上均成立）。所得函数在 $\mathbb{R}^4$ 上是 $C^\infty$ 的，在 $\mathbb{R}^4 \setminus \{0\}$ 上是实解析的。其在原点处的泰勒展开精确地恢复了形式级数 $B$（定理 1.2(iv)）。
• 忠实性与渐近性： $S_B$ 在所有阶数上都是 $B$ 的 Gevrey-1 渐近函数。具体而言，在阶数 $N$ 处截断后的余项由涉及 $N! x^{N+1}$ 的项和指数级小的项 $e^{-T(c)}$ 组成。单圈（one-loop）系数在渐近意义下被精确重现（定理 1.2(ii)）。
• 最优截断： 在最优截断阶数 $N^*(c) \approx T(c)$ 处，余项由 $O(e^{-\vartheta_k / (C\|c\|_\infty)})$ 界定，其中通过增加 $k$ 可以使 $\vartheta_k$ 任意接近 1（定理 1.2(iii)）。
• 一致性： 如果经典的 Borel 和或收敛级数的普通和存在，则 $S_B$ 会重现该和，误差阶数为 $O(e^{-(1-\sigma)T(c)})$，这是指数级小的（定理 1.2(v)）。
• 精确正则性的不可能： 本文证明了不存在既能在整个可容许类上定义良好、又具有“正则性”（即对收敛级数精确）的线性求和规则。正则性要求权重等于 1，这会导致发散；而定义良好性要求权重呈阶乘级衰减，这会引入对收敛输入的误差（定理 9.6）。因此，所构建的规则付出了最小的必要代价：对收敛输入引入指数级小的误差。

最优性与内在歧义
本文确立了该构造相对于假设 H 所提供的信息而言是本质上最优的：

• 发散性： 存在可容许的系数族，使得级数在每个 $c \neq 0$ 处都发散（定理 9.1）。
• 自然边界： 存在可容许的系数族，其 Borel 变换在 $|\tau| = 1/(C\|c\|_\infty)$ 处具有自然边界，使得任何基于延拓的求和都无法实现（定理 9.2）。
• 内在歧义： 满足 Gevrey-1 界限的两个函数可以相差恰好 $(2\pi/C)e^{-1/(C\|c\|_\infty)}$（定理 9.11）。这代表了与 Borel 平面上简单极点相关的“重整化子”（renormalon）歧义。
• 速率最优性： 没有求和规则能实现比 $o(e^{-1/(C\|c\|_\infty)})$ 更高的精度（定理 1.2(vi)）。规则族 $S_{k, \vartheta}$ 实现了每一个 $\eta < 1$ 的指数，无限趋近于障碍 $\eta = 1$。

意义
本文为求解在阶乘系数界限下的非平面 $\phi^4$ 理论的 beta 函数问题提供了一个严谨且自洽的解决方案。它表明，虽然由于自然边界的存在，级数是发散的且标准求和方法失效，但特定的截断 Borel-拉普拉斯变换可以产生一个定义良好、光滑且渐近的函数。

至关重要的是，这项工作阐明了此类模型中求和理论固有的权衡：求和规则不可能同时满足在整个类上定义良好、正则（对收敛级数精确）以及没有非微扰歧义。所构建的规则通过接受一个与问题的内在非微扰歧义相匹配的指数级小误差，实现了最佳性能，从而保持了光滑性和渐近性。这些结果被应用于重整化群流，表明求和后的流是适定的，被限制在微扰区域内，并且不存在单圈项占主导地位的固定点。