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

Resumen Técnico: Una Regla de Sumación para la Función Beta de Cuatro Acoplamientos en la Teoría $\phi^4$ No Plana

Planteamiento del Problema
El artículo aborda el desafío matemático de asignar un número real bien definido a la serie formal de la función beta de la teoría escalar $\phi^4$ euclidiana no plana en cuatro dimensiones. La teoría involucra cuatro acoplamientos variables, $c = (\lambda, \alpha, \mu, \nu) \in \mathbb{R}^4$. La función beta $B(c)$ se presenta como una serie de potencias formal:
$$B(c) = \sum_{p=2}^{\infty} \sum_{|m|=p} \beta(m) c^m$$
Se asume que los coeficientes $\beta(m)$ satisfacen la Hipótesis H, un límite factorial de la forma $|\beta(m)| \leq (p-1)! C^{p-1}$ para $|m|=p \geq 2$. Este límite refleja el crecimiento típico de los coefióntes en las expansiones de vértices de bucle o multiescala constructivas.

La dificultad central es que, bajo la Hipótesis H, la serie $B(c)$ diverge en todas partes excepto en el origen (Teorema 9.1). Además, la transformada de Borel de la serie puede poseer una frontera natural en el círculo de convergencia (Teorema 9.2), lo que hace que las técnicas de sumación estándar (Borel, lateral, mediana, aceleración) sean indefinidas para la clase completa de coeficientes admisibles. El artículo busca una regla de sumación que sea:

1. Bien definida: Que produzca un número real finito en un dominio explícito.
2. Fiel: Asintótica a la serie formal a todos los órdenes (Gevrey-1) cuando $c \to 0$.
3. Regular (en un sentido limitado): Lineal en los coeficientes y suave ($C^\infty$) en los acoplamientos.
4. Óptima: Que se aproxime al límite de ambigüedad no perturbativa intrínseca.

Metodología
El autor construye una regla de sumación $S$ explícita basada en una transformada de Borel-Laplace con corte. La construcción involucra tres componentes principales:

1. La Transformada de Borel: Definida como $\hat{B}(z) = \sum_{p \geq 2} \frac{b_p(z)}{(p-1)!}$, donde $b_p(c)$ son las partes homogéneas de grado $p$. Bajo la Hipótesis H, se demuestra que $\hat{B}(z)$ es holomorfa en un policisco agudo $\Pi_C = \{z \in \mathbb{C}^4 : \|z\|_\infty < 1/C\}$.
2. El Corte: En lugar de integrar a lo largo de todo el rayo $[0, \infty)$, lo cual podría salir del dominio de holomorfía, la integración se trunca en una altura $T(c)$. Este corte se coloca utilizando una guía de homogeneidad positiva, real-analítica $\nu_k(c) = (\sum c_i^{2k})^{1/(2k)}$ (para $k \geq 1$). La altura del corte se define como $T(c) = \frac{\vartheta}{C \nu_k(c)}$, donde $\vartheta \in (0, 1)$ es un parámetro.
3. La Regla de Sumación: La función beta sumada se define 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.$$
   La integración término a término revela que $S_B(c)$ es equivalente a una truncación promediada por Poisson de la serie 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 formulación asegura que la serie sea absolutamente convergente, lineal en los coeficientes y suave en $c$.

Contribuciones Clave y Resultados

• Existencia y Regularidad: La regla $S_B$ está bien definida en un dominio abierto no vacío explícito $D = \{c : C\nu_k(c) < \vartheta\}$ (y de hecho en todo $\mathbb{R}^4$). La función resultante es $C^\infty$ en $\mathbb{R}^4$ y real-analítica en $\mathbb{R}^4 \setminus \{0\}$. Su expansión de Taylor en el origen recupera exactamente la serie formal $B$ (Teorema 1.2(iv)).
• Fidelidad y Asintótica: $S_B$ es Gevrey-1 asintótica a $B$ a todos los órdenes. Específicamente, el residuo tras truncar en el orden $N$ está acotado por términos que involucran $N! x^{N+1}$ y un término exponencialmente pequeño $e^{-T(c)}$. El coeficiente de un bucle se reproduce exactamente en el sentido asintótico (Teorema 1.2(ii)).
• Truncación Óptima: En el orden de truncación óptimo $N^*(c) \approx T(c)$, el residuo está acotado por $O(e^{-\vartheta_k / (C\|c\|_\infty)})$, donde $\vartheta_k$ puede acercarse arbitrariamente a 1 aumentando $k$ (Teorema 1.2(iii)).
• Consistencia: Si existe la suma de Borel clásica o la suma ordinaria de una serie convergente, $S_B$ la reproduce con un error de orden $O(e^{-(1-\sigma)T(c)})$, que es exponencialmente pequeño (Teorema 1.2(v)).
• Imposibilidad de la Regularidad Exacta: El artículo demuestra que ninguna regla de sumación lineal puede ser simultáneamente bien definida en toda la clase admisible y "regular" (es decir, exacta para series convergentes). La regularidad requiere pesos iguales a 1, lo que conduce a la divergencia; la definición requiere que los pesos decaigan factorialmente, lo que introduce un error en las series convergentes (Teorema 9.6). Por lo tanto, la regla construida paga el precio mínimo necesario: un error exponencialmente pequeño en las entradas convergentes.

Optimidad y Ambigüedad Intrínseca
El artículo establece que la construcción es esencialmente óptima respecto a la información proporcionada por la Hipótesis H:

• Divergencia: Existen familias de coeficientes admisibles para las cuales la serie diverge en cada $c \neq 0$ (Teorema 9.1).
• Fronteras Naturales: Existen familias admisibles donde la transformada de Borel tiene una frontera natural en $|\tau| = 1/(C\|c\|_\infty)$, haciendo imposible cualquier sumación basada en la continuación (Teorema 9.2).
• Ambigüedad Intrínseca: Dos funciones que satisfacen los límites Gevrey-1 pueden diferir exactamente por $(2\pi/C)e^{-1/(C\|c\|_\infty)}$ (Teorema 9.11). Esto representa la ambigüedad del "renormalón" asociada a un polo simple en el plano de Borel.
• Optimidad de la Tasa: Ninguna regla de sumación puede lograr una precisión superior a $o(e^{-1/(C\|c\|_\infty)})$. La familia de reglas $S_{k, \vartheta}$ realiza cada exponente $\eta < 1$, acercándose a la barrera $\eta = 1$ de manera arbitraria (Teorema 1.2(vi)).

Significado
El artículo proporciona una solución rigurosa y autocontenida al problema de sumar la función beta para la teoría $\phi^4$ no plana bajo límites de coeficientes factoriales. Demuestra que, si bien la serie es divergente y los métodos de sumación estándar fallan debido a las fronteras naturales, una transformada de Borel-Laplace con corte específica produce una función bien definida, suave y asintótica.

Crucialmente, el trabajo clarifica los compromisos inherentes a la teoría de sumación para tales modelos: no se puede tener una regla que sea simultáneamente bien definida en toda la clase, regular (exacta para series convergentes) y libre de ambigüedad no perturbativa. La regla construida logra el mejor desempeño posible al ser suave y asintótica, aceptando un error exponencialmente pequeño que coincide con la ambigüedad no perturbativa intrínseca del problema. Los resultados se aplican al flujo del grupo de renormalización, mostrando que el flujo sumado está bien planteado, se mantiene dentro de la región perturbativa y está libre de puntos fijos donde el término de un bucle domina.