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$ 理論における4結合ベータ関数の総和規則

問題設定
本論文は、4次元非平面ユークリッドスカラー $\phi^4$ 理論の形式的なベータ関数級数に対して、定義された実数を割り当てるという数学的課題に取り組んでいる。この理論は、4つのランニング結合 $c = (\lambda, \alpha, \mu, \nu) \in \mathbb{R}^4$ を含む。ベータ関数 $B(c)$ は、以下の形式的べき級数として与えられる：
$$B(c) = \sum_{p=2}^{\infty} \sum_{|m|=p} \beta(m) c^m$$
係数 $\beta(m)$ は、仮説 H、すなわち $|m|=p \geq 2$ に対して $|\beta(m)| \leq (p-1)! C^{p-1}$ という階乗的な有界性を満たすと仮定される。この有界性は、構成的なマルチスケールまたはループ・バーテックス展開における係数の典型的な増大を反映している。

核心となる困難は、仮説 H のもとでは、級数 $B(c)$ は原点を除いて至る所で発散することである（定理 9.1）。さらに、ボレル変換された級数は、収束円に自然境界を持つ可能性があり（定理 9.2）、標準的な総和技法（ボレル、ラテラル、メディアン、アクセレロ・サメーション）を全的な許容係数クラスに対して適用することを不可能にしている。本論文は、以下の性質を持つ総和規則を追求する：

1. 定義可能であること： 明示的なドメイン上で有限の実数を生成する。
2. 忠実であること： $c \to 0$ において、形式的級数に対して全次数で漸近的（Gevrey-1）である。
3. 正則であること（限定的な意味で）： 係数に対して線形であり、結合に対して $C^\infty$ 級である。
4. 最適であること： 本質的な非摂動的不確定性の限界に接近する。

手法
著者は、カット・ボレル・ラプラス変換に基づく明示的な総和規則 $S$ を構築する。この構成は、主に3つの要素から成る：

1. ボレル変換： $\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. カット（切断）： 積分路を $[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. 総和規則： 総和されたベータ関数は以下のように定義される：
   $$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)$ は発散級数のポアソン平均化された打ち切りに等しいことが明らかになる：
   $$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)}$ を含む項によって抑えられる。1ループ係数は漸近的な意味で正確に再現される（定理 氏 1.2(ii)）。
• 最適打ち切り： 最適な打ち切り次数 $N^*(c) \approx T(c)$ において、剰余項は $O(e^{-\vartheta_k / (C\|c\|_\infty)})$ で抑えられる（ここで $\vartheta_k$ は $k$ を大きくすることで 1 にいくらでも近づけることができる）（定理 1.2(iii)）。
• 一貫性： 古典的なボレル和または収束級数の通常の和が存在する場合、$S_B$ は $O(e^{-(1-\sigma)T(c)})$ の誤差、すなわち指数関数的に小さい誤差を除いてそれを再現する（定理 1.2(v)）。
• 厳密な正則性の不可能： 本論文は、全的な許容クラスに対して定義可能であり、かつ「正則」（収束級数に対して正確）である線形総和規則は存在しないことを証明している。正則性は重みを 1 とすることを要求するが、これは発散を招く。一方、定義可能性は重みが階乗的に減衰することを要求し、これは収束する入力に対して誤差を導入する（定理 9.6）。したがって、構築された規則は最小限必要な代償を支払っている：収束する入力に対する指数関数的に小さい誤差である。

最適性と本質的な不確定性
本論文は、仮説 H から提供される情報に対して、この構成が本質的に最適であることを確立している：

• 発散： 任意の $c \neq 0$ において級数が発散する、許容可能な係数族が存在する（定理 9.1）。
• 自然境界： ボレル変換が $|\tau| = 1/(C\|c\|_\infty)$ に自然境界を持ち、継続に基づくいかなる総和も不可能になるような、許容可能な係数族が存在する（定理 9.2）。
• 本質的な不確定性： Gevrey-1 の境界を満たす2つの関数は、$(2\pi/C)e^{-1/(C\|c\|_\infty)}$ だけ異なる可能性がある（定理 9.11）。これは、ボレル平面における単純な極に関連する「レノーマロン」の不確定性を表している。
• 速度の最適性： いかなる総和規則も、$o(e^{-1/(C\|c\|_\infty)})$ より高い精度を達成することはできない。規則の族 $S_{k, \vartheta}$ は、すべての指数 $\eta < 1$ を実現し、障壁 $\eta = 1$ にいくらでも接近できる（定理 1.2(vi)）。

意義
本論文は、階乗的な係数境界を持つ非平面 $\phi^4$ 理論のベータ関数を総和するという問題に対し、厳密で自己完結的な解決策を提供している。標準的な総和法が自然境界のために失敗する一方で、特定のカット・ボレル・ラプラス変換を用いることで、定義可能で滑らかな漸近関数が得られることを示している。

決定的なのは、このようなモデルにおける総和理論に内在するトレードオフを明確にした点である。すなわち、全クラスに対して定義可能であり、かつ（収束級数に対して正確な）正則性を持ち、かつ非摂動的不確定性を持たないような規則を同時に持つことはできない。構築された規則は、滑らかで漸近的であることを維持しつつ、問題の本質的な非摂動的不確定性と一致する指数関数的な誤差を受け入れることで、最善のパフォーマンスを実現している。これらの結果は繰り込み群の流れに適用され、総和された流れがウェルポーズ（適切に定義）されており、摂動領域内に閉じ込められ、1ループ項が支配的となる固定点を持たないことを示している。