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

Technische Samenvatting: Een Sommatieregel voor de Vier-Koppelings Bèta-functie in Niet-planair $\phi^4$-theorie

Probleemstelling
De paper behandelt de wiskundige uitdaging om een welgedefinieerd reëel getal toe te wijzen aan de formele bèta-functieserie van de vierdimensionale niet-planaire Euclidische scalaire $\phi^4$-theorie. De theorie betreft vier lopende koppelingsconstanten, $c = (\lambda, \alpha, \mu, \nu) \in \mathbb{R}^4$. De bèta-functie $B(c)$ wordt gegeven als een formele machtsreeks:
$$B(c) = \sum_{p=2}^{\infty} \sum_{|m|=p} \beta(m) c^m$$
De coëfficiënten $\beta(m)$ worden verondersteld te voldoen aan Hypothese H, een factorialische begrenzing van de vorm $|\beta(m)| \leq (p-1)! C^{p-1}$ voor $|m|=p \geq 2$. Deze begrenzing weerspiegelt de typische groei van coëfficiënten in constructieve multiscale of loop-vertex expansies.

De kern van de moeilijkheid is dat onder Hypothese H de reeks $B(c)$ overal divergeert, behalve in de oorsprong (Theorema 9.1). Bovendien kan de Borel-transformatie van de reeks een natuurlijke grens bezitten op de cirkel van convergentie (Theorema 9.2), waardoor standaard sommatietechnieken (Borel-, laterale, mediaan- of accelero-sommatie) ongedefinieerd zijn voor de gehele toelaatbare klasse van coëfficiënten. De paper zoekt een sommatieregel die:

1. Welgedefinieerd is: Een eindig reëel getal produceert op een expliciet domein.
2. Getrouw (Faithful) is: Asymptotisch is aan de formele reeks tot alle orden (Gevrey-1) wanneer $c \to 0$.
3. Regulier is (in beperkte zin): Lineair in coëfficiënten en glad ($C^\infty$) in koppelingsconstanten.
4. Optimaal is: De intrinsieke niet-perturbatieve ambiguïteitslimiet benadert.

Methodologie
De auteur construeert een expliciete sommatieregel $S$ gebaseerd op een gesneden Borel-Laplace-transformatie. De constructie omvat drie hoofdonderdelen:

1. De Borel-transformatie: Gedefinieerd als $\hat{B}(z) = \sum_{p \geq 2} \frac{b_p(z)}{(p-1)!}$, waarbij $b_p(c)$ de homogene delen van graad $p$ zijn. Onder Hypothese H is bewezen dat $\hat{B}(z)$ holomorf is op een scherpe polydisc $\Pi_C = \{z \in \mathbb{C}^4 : \|z\|_\infty < 1/C\}$.
2. De Snede (The Cut): In plaats van te integreren langs de volledige straal $[0, \infty)$, wat het domein van holomorfie zou kunnen verlaten, wordt de integratie afgekapt bij een hoogte $T(c)$. De snede wordt geplaatst met behulp van een reëel-analytische, positief homogene graad $\nu_k(c) = (\sum c_i^{2k})^{1/(2k)}$ (voor $k \geq 1$). De snedekniecht is gedefinieerd als $T(c) = \frac{\vartheta}{C \nu_k(c)}$, waarbij $\vartheta \in (0, 1)$ een parameter is.
3. De Sommatieregel: De gesommeerde bèta-functie wordt gedefinieerd als:
   $$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.$$
   Term-voor-term integratie onthult dat $S_B(c)$ equivalent is aan een Poisson-gemiddelde afkapting van de divergente reeks:
   $$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)).$$
   Deze formulering waarborgt dat de reeks absoluut convergent is, lineair in coëfficiënten en glad in $c$.

Belangrijkste Bijdragen en Resultaten

• Bestaan en Regulariteit: De regel $S_B$ is welgedefinieerd op een expliciet niet-leeg open domein $D = \{c : C\nu_k(c) < \vartheta\}$ (en feitelijk op heel $\mathbb{R}^4$). De resulterende functie is $C^\infty$ op $\mathbb{R}^4$ en reëel-analytisch op $\mathbb{R}^4 \setminus \{0\}$. De Taylor-expansie bij de oorsprong herstelt exact de formele reeks $B$ (Theorema 1.2(iv)).
• Getrouwheid en Asymptotica: $S_B$ is Gevrey-1 asymptotisch aan $B$ tot alle orden. Specifiek is de restant na afkapting bij orde $N$ begrensd door termen die $N! x^{N+1}$ en een exponentieel kleine term $e^{-T(c)}$ bevatten. De één-lus coëfficiënt wordt exact gereproduceerd in de asymptotische zin (Theorema 1.2(ii)).
• Optimale Afkapting: Bij de optimale afkapkingsorde $N^*(c) \approx T(c)$ is de restant begrensd door $O(e^{-\vartheta_k / (C\|c\|_\infty)})$, waarbij $\vartheta_k$ willekeurig dicht bij 1 gebracht kan worden door $k$ te vergroten (Theorema 1.2(iii)).
• Consistentie: Indien de klassieke Borel-som of de gewone som van een convergente reeks bestaat, reproduceert $S_B$ deze tot een fout van orde $O(e^{-(1-\sigma)T(c)})$, wat exponentieel klein is (Theorema 1.2(v)).
• Onmogelijkheid van Exacte Regulariteit: De paper bewijst dat geen enkele lineaire sommatieregel zowel welgedefinieerd kan zijn op de gehele toelaatbare klasse als "regulier" (d.w.z. exact op convergente series). Regulariteit vereist gewichten gelijk aan 1, wat leidt tot divergentie; welgedefinieerdheid vereist gewichten die factorialisch afnemen, wat een fout introduceert op convergente series (Theorema 9.6). De geconstrueerde regel betaalt de minimale noodzakelijke prijs: een exponentieel kleine fout op convergente inputs.

Optimale Ambiguïteit en Intrinsieke Onzekerheid
De paper stelt vast dat de constructie essentieel optimaal is ten opzichte van de informatie verstrekt door Hypothese H:

• Divergentie: Er bestaan toelaatbare coëfficiëntfamilies waarvoor de reeks divergeert bij elk $c \neq 0$ (Theorema 9.1).
• Natuurlijke Grenzen: Er bestaan toelaatbare families waarbij de Borel-transformatie een natuurlijke grens bezit bij $|\tau| = 1/(C\|c\|_\infty)$, waardoor elke continuatie-gebaseerde sommatie onmogelijk is (Theorema 9.2).
• Intrinsieke Ambiguïteit: Twee functies die aan de Gevrey-1 grenzen voldoen, kunnen verschillen door exact $(2\pi/C)e^{-1/(C\|c\|_\infty)}$ (Theorema 9.11). Dit vertegenwoordigt de "renormalon" ambiguïteit geassocieerd met een enkelvoudige pool in het Borel-vlak.
• Snelheidsoptimaliteit: Geen enkele sommatieregel kan een nauwkeurigheid bereiken die beter is dan $o(e^{-1/(C\|c\|_\infty)})$. De familie van regels $S_{k, \vartheta}$ realiseert elke exponent $\eta < 1$ en nadert de barrière $\eta = 1$ willekeurig dicht (Theorema 1.2(vi)).

Betekenis
De paper biedt een rigoureuze, zelfstandige oplossing voor het sommeren van de bèta-functie voor niet-planair $\phi^4$-theorie onder factorialische coëfficiëntgrenzen. Het toont aan dat hoewel de reeks divergent is en standaard sommatiemethoden falen door natuurlijke grenzen, een specifieke gesneden Borel-Laplace-transformatie een welgedefinieerde, gladde en asymptotische functie oplevert.

Cruciaal is dat dit werk de inherente afwegingen in de sommatietheorie voor dergelijke modellen verheldert: men kan niet een regel hebben die tegelijkertijd welgedefinieerd is op de gehele klasse, regulier is (exact op convergente series) én vrij is van niet-perturbatieve ambiguïteit. De geconstrueerde regel bereikt de best mogelijke prestatie door glad en asymptotisch te zijn, terwijl zij een exponentieel kleine fout accepteert die overeenkomt met de intrinsieke niet-perturbatieve ambiguïteit van het probleem. De resultaten worden toegepast op de renormalisatiegroep-flow, waarbij wordt aangetoond dat de gesommeerde flow goed gedefinieerd is, binnen de perturbatieve regio blijft en vrij is van vaste punten waar de één-lus term domineert.