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

Resumo Técnico: Uma Regra de Somação para a Função Beta de Quatro Acoplamentos na Teoria $\phi^4$ Não-planar

Enunciado do Problema
O artigo aborda o desafio matemático de atribuir um número real bem definido à série da função beta formal da teoria escalar $\phi^4$ euclidiana não-planar em quatro dimensões. A teoria envolve quatro acoplamentos correntes, $c = (\lambda, \alpha, \mu, \nu) \in \mathbb{R}^4$. A função beta $B(c)$ é dada como uma série de potências formal:
$$B(c) = \sum_{p=2}^{\infty} \sum_{|m|=p} \beta(m) c^m$$
Assume-se que os coeficientes $\beta(m)$ satisfaçam a Hipótese H, um limite fatorial da forma $|\beta(m)| \leq (p-1)! C^{p-1}$ para $|m|=p \geq 2$. Este limite reflete o crescimento típico dos coeficientes em expansões multiescalares construtivas ou de vértice-loop.

A dificuldade central é que, sob a Hipótese H, a série $B(c)$ diverge em todos os pontos, exceto na origem (Teorema 9.1). Além disso, a transformada de Borel da série pode possuir uma fronteira natural no círculo de convergência (Teorema 9.2), tornando técnicas de somação padrão (Borel, lateral, mediana, acelero-somação) indefinidas para toda a classe admissível de coeficientes. O artigo busca uma regra de somação que seja:

1. Bem definida: Produz um número real finito em um domínio explícito.
2. Fiel: Assintótica à série formal a todas as ordens (Gevrey-1) quando $c \to 0$.
3. Regular (em um sentido limitado): Linear nos coeficientes e suave ($C^\infty$) nos acoplamentos.
4. Ótima: Aproxima-se do limite de ambiguidade não-perturbativa intrínseca.

Metodologia
O autor constrói uma regra de somação $S$ explícita baseada em uma transformada de Borel-Laplace com corte. A construção envolve três componentes principais:

1. A Transformada de Borel: Definida como $\hat{B}(z) = \sum_{p \geq 2} \frac{b_p(z)}{(p-1)!}$, onde $b_p(c)$ são as partes homogêneas de grau $p$. Sob a Hipótese H, prova-se que $\hat{B}(z)$ é holomorfa em um policilindro agudo $\Pi_C = \{z \in \mathbb{C}^4 : \|z\|_\infty < 1/C\}$.
2. O Corte: Em vez de integrar ao longo de todo o raio $[0, \infty)$, o que pode sair do domínio de holomorfia, a integração é truncada em uma altura $T(c)$. Este corte é posicionado usando um gauge homogêneo positivo, analítico real $\nu_k(c) = (\sum c_i^{2k})^{1/(2k)}$ (para $k \geq 1$). A altura do corte é definida como $T(c) = \frac{\vartheta}{C \nu_k(c)}$, onde $\vartheta \in (0, 1)$ é um parâmetro.
3. A Regra de Somação: A função beta somada é definida como:
   $$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.$$
   A integração termo a termo revela que $S_B(c)$ é equivalente a um truncamento de média de Poisson da 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)).$$
   Esta formulação garante que a série seja absolutamente convergente, linear nos coeficientes e suave em $c$.

Principais Contribuições e Resultados

• Existência e Regularidade: A regra $S_B$ é bem definida em um domínio aberto não vazio explícito $D = \{c : C\nu_k(c) < \vartheta\}$ (e, de fato, em todo o $\mathbb{R}^4$). A função resultante é $C^\infty$ em $\mathbb{R}^4$ e analítica real em $\mathbb{R}^4 \setminus \{0\}$. Sua expansão de Taylor na origem recupera exatamente a série formal $B$ (Teorema 1.2(iv)).
• Fidelidade e Assintótica: $S_B$ é assintótica de classe Gevrey-1 a $B$ a todas as ordens. Especificamente, o resto após o truncamento na ordem $N$ é limitado por termos envolvendo $N! x^{N+1}$ e um termo exponencialmente pequeno $e^{-T(c)}$. O coeficiente de um loop é reproduzido exatamente no sentido assintótico (Teorema 1.2(ii)).
• Truncamento Ótimo: Na ordem de truncamento ótima $N^*(c) \approx T(c)$, o resto é limitado por $O(e^{-\vartheta_k / (C\|c\|_\infty)})$, onde $\vartheta_k$ pode ser tornado arbitrariamente próximo de 1 ao aumentar $k$ (Teorema 1.2(iii)).
• Consistência: Se a soma de Borel clássica ou a soma ordinária de uma série convergente existir, $S_B$ a reproduz até um erro de ordem $O(e^{-(1-\sigma)T(c)})$, que é exponencialmente pequeno (Teorema 1.2(v)).
• Impossibilidade de Regularidade Exata: O artigo prova que nenhuma regra de somação linear pode ser simultaneamente bem definida para toda a classe admissível e "regular" (isto é, exata para séries convergentes). A regularidade exige pesos iguais a 1, o que leva à divergência; a bem-definibilidade exige pesos que decaem fatorialmente, o que introduz um erro em séries convergentes (Teorema 9.6). Assim, a regra construída paga o preço mínimo necessário: um erro exponencialmente pequeno em entradas convergentes.

Otimalidade e Ambiguidade Intrínseca
O artigo estabelece que a construção é essencialmente ótima em relação à informação fornecida pela Hipótese H:

• Divergência: Existem famílias de coeficientes admissíveis para as quais a série diverge em cada $c \neq 0$ (Teorema 9.1).
• Fronteiras Naturais: Existem famílias admissíveis onde a transformada de Borel possui uma fronteira natural em $|\tau| = 1/(C\|c\|_\infty)$, tornando impossível qualquer soma baseada em continuação (Teorema 9.2).
• Ambiguidade Intrínseca: Duas funções que satisfazem os limites Gevrey-1 podem diferir por exatamente $(2\pi/C)e^{-1/(C\|c\|_\infty)}$ (Teorema 9.11). Isso representa a ambiguidade do "renormalon" associada a um polo simples no plano de Borel.
• Otimalidade da Taxa: Nenhuma regra de somação pode alcançar uma precisão melhor que $o(e^{-1/(C\|c\|_\infty)})$. A família de regras $S_{k, \vartheta}$ realiza cada expoente $\eta < 1$, aproximando-se da barreira $\eta = 1$ arbitrariamente de perto (Teorema 1.2(vi)).

Significado
O artigo fornece uma solução rigorosa e autocontida para o problema de somar a função beta para a teoria $\phi^4$ não-planar sob limites de coeficientes fatoriais. Ele demonstra que, embora a série seja divergente e os métodos de soma padrão falhem devido a fronteiras naturais, uma transformada de Borel-Laplace com corte específica produz uma função suave, assintótica e bem definida.

Crucialmente, o trabalho esclarece os compromissos inerentes à teoria de somação para tais modelos: não se pode ter uma regra que seja simultaneamente bem definida em toda a classe, regular (exata para séries convergentes) e livre de ambiguidade não-perturbativa. A regra construída alcança o melhor desempenho possível ao ser suave e assintótica, enquanto aceita um erro exponencialmente pequeno que corresponde à ambiguidade não-perturbativa intrínseca do problema. Os resultados são aplicados ao fluxo do grupo de renormalização, mostrando que o fluxo somado é bem posto, confinado dentro da região perturbativa e livre de pontos fixos onde o termo de um loop domina.