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

Résumé Technique : Une règle de sommation pour la fonction bêta à quatre couplages dans la théorie $\phi^4$ non planaire

Énoncé du Problème
L'article traite du défi mathématique consistant à assigner un nombre réel bien défini à la série formelle de la fonction bêta de la théorie scalaire euclidienne $\phi^4$ non planaire en quatre dimensions. La théorie implique quatre couplages variables, $c = (\lambda, \alpha, \mu, \nu) \in \mathbb{R}^4$. La fonction bêta $B(c)$ est donnée par une série de puissances formelle :
$$B(c) = \sum_{p=2}^{\infty} \sum_{|m|=p} \beta(m) c^m$$
Les coefficients $\beta(m)$ sont supposés satisfaire l'Hypothèse H, une borne factorielle de la forme $|\beta(m)| \leq (p-1)! C^{p-1}$ pour $|m|=p \geq 2$. Cette borne reflète la croissance typique des coefficients dans les développements constructifs multi-échelles ou de type vertex-boucle.

La difficulté centrale est que, sous l'Hypothèse H, la série $B(c)$ diverge partout sauf à l'origine (Théorème 9.1). De plus, la transformée de Borel de la série peut posséder une frontière naturelle au cercle de convergence (Théorème 9.2), rendant les techniques de sommation standard (Borel, latérale, médiane, accéléro-sommation) indéfinies pour toute la classe admissible de coefficients. L'article recherche une règle de sommation qui soit :

1. Bien définie : Produit un nombre réel fini sur un domaine explicite.
2. Fidèle : Asymptotique à la série formelle à tous les ordres (Gevrey-1) quand $c \to 0$.
3. Régulière (dans un sens limité) : Linéaire par rapport aux coefficients et lisse ($C^\infty$) par rapport aux couplages.
4. Optimale : Approche la limite intrinsèque de l'ambiguïté non perturbative.

Méthodologie
L'auteur construit une règle de sommation $S$ explicite basée sur une transformée de Borel-Laplace tronquée. La construction implique trois composantes principales :

1. La Transformée de Borel : Définie par $\hat{B}(z) = \sum_{p \geq 2} \frac{b_p(z)}{(p-1)!}$, où $b_p(c)$ sont les parties homogènes de degré $p$. Sous l'Hypothèse H, il est prouvé que $\hat{B}(z)$ est holomorphe sur un polydisque aiguisé $\Pi_C = \{z \in \mathbb{C}^4 : \|z\|_\infty < 1/C\}$.
2. La Troncature (Le "Cut") : Au lieu d'intégrer le long du rayon complet $[0, \infty)$, ce qui pourrait sortir du domaine d'holomorphie, l'intégration est tronquée à une hauteur $T(c)$. Cette coupure est placée à l'aide d'une jauge analytique réelle et positivement homogène $\nu_k(c) = (\sum c_i^{2k})^{1/(2k)}$ (pour $k \geq 1$). La hauteur de la coupure est définie par $T(c) = \frac{\vartheta}{C \nu_k(c)}$, où $\vartheta \in (0, 1)$ est un paramètre.
3. La Règle de Sommation : La fonction bêta sommée est définie par :
   $$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.$$
   L'intégration terme à terme révèle que $S_B(c)$ est équivalente à une moyenne de Poisson de la troncature de la série divergente :
   $$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)).$$
   Cette formulation garantit que la série est absolument convergente, linéaire dans les coefficients et lisse en $c$.

Contributions Clés et Résultats

• Existence et Régularité : La règle $S_B$ est bien définie sur un domaine ouvert non vide explicite $D = \{c : C\nu_k(c) < \vartheta\}$ (et en fait sur tout $\mathbb{R}^4$). La fonction résultante est $C^\infty$ sur $\mathbb{R}^4$ et réelle-analytique sur $\mathbb{R}^4 \setminus \{0\}$. Son développement de Taylor à l'origine recouvre exactement la série formelle $B$ (Théorème 1.2(iv)).
• Fidélité et Asymptotique : $S_B$ est Gevrey-1 asymptotique à $B$ à tous les ordres. Plus précisément, le reste après troncature à l'ordre $N$ est borné par des termes impliquant $N! x^{N+1}$ et un terme exponentiellement petit $e^{-T(c)}$. Le coefficient à une boucle est reproduit exactement au sens asymptotique (Théorème 1.2(ii)).
• Troncature Optimale : À l'ordre de troncature optimale $N^*(c) \approx T(c)$, le reste est borné par $O(e^{-\vartheta_k / (C\|c\|_\infty)})$, où $\vartheta_k$ peut être rendu arbitrairement proche de 1 en augmentant $k$ (Théorème 1.2(iii)).
• Cohérence : Si la somme de Borel classique ou la somme ordinaire d'une série convergente existe, $S_B$ la reproduit avec une erreur de l'ordre de $O(e^{-(1-\sigma)T(c)})$, qui est exponentiellement petite (Théorème 1.2(v)).
• Impossibilité d'une Régularité Exacte : L'article prouve qu'aucune règle de sommation linéaire ne peut être à la fois bien définie sur toute la classe admissible et « régulière » (c'est-à-dire exacte sur les séries convergentes). La régularité exige des poids égaux à 1, ce qui conduit à la divergence ; la définition nécessite des poids décroissant factoriellement, ce qui introduit une erreur sur les séries convergentes (Théorème 9.6). Ainsi, la règle construite paie le prix minimal nécessaire : une erreur exponentiellement petite sur les entrées convergentes.

Optimalité et Ambiguïté Intrinsèque
L'article établit que la construction est essentiellement optimale par rapport aux informations fournies par l'Hypothèse H :

• Divergence : Il existe des familles de coefficients admissibles pour lesquelles la série diverge à chaque $c \neq 0$ (Théorme 9.1).
• Frontières Naturelles : Il existe des familles admissibles où la transformée de Borel possède une frontière naturelle à $|\tau| = 1/(C\|c\|_\infty)$, rendant toute sommation par continuation impossible (Théorème 9.2).
• Ambiguïté Intrinsèque : Deux fonctions satisfaisant les bornes Gevrey-1 peuvent différer exactement de $(2\pi/C)e^{-1/(C\|c\|_\infty)}$ (Théorème 9.11). Cela représente l'ambiguïté de type « renormalon » associée à un pôle simple dans le plan de Borel.
• Optimalité du Taux : Aucune règle de sommation ne peut atteindre une précision meilleure que $o(e^{-1/(C\|c\|_\infty)})$. La famille de règles $S_{k, \vartheta}$ réalise chaque exposant $\eta < 1$, approchant la barrière $\eta = 1$ de manière arbitraire (Théorème 1.2(vi)).

Signification
L'article fournit une solution rigoureuse et autonome au problème de la sommation de la fonction bêta pour la théorie $\phi^4$ non planaire sous des bornes de coefficients factorielles. Il démontre que, bien que la série soit divergente et que les méthodes de sommation standard échouent en raison de frontières naturelles, une transformée de Borel-Laplace tronquée spécifique produit une fonction bien définie, lisse et asymptotique.

Crucialement, ce travail clarifie les compromis inhérents à la théorie de la sommation pour de tels modèles : on ne peut pas avoir une règle qui soit simultanément bien définie sur toute la classe, régulière (exacte sur les séries convergentes) et exempte d'ambiguïté non perturbative. La règle construite offre la meilleure performance possible en étant lisse et asymptotique, tout en acceptant une erreur exponentiellement petite qui correspond à l'ambiguïté non perturbative intrinsèque du problème. Les résultats sont appliqués au flux de renormalisation, montrant que le flux sommé est bien posé, confiné dans la région perturbative, et exempt de points fixes où le terme à une boucle dominerait.