Convergent sum of EFT corrections to Schwarzschild metric requires UV locality

Resumen Técnico: La suma convergente de las correcciones de EFT a la métrica de Schwarzschild requiere localidad UV

Planteamiento del problema
Se espera que la Relatividad General (RG) reciba correcciones de efectos cuánticos o de física de alta energía, a menudo modeladas mediante un marco de Teoría de Campo Efectiva (EFT). Estas correcciones introducen una torre infinita de operadores de derivadas superiores. Un desafío central en este contexto es determinar si las correcciones perturbativas a las soluciones conocidas de vacío de agujeros negros (BH), específicamente la métrica de Schwarzschild, producen resultados físicamente significativos. Estudios previos han destacado que las expansiones perturbativas ingenuas pueden conducir a soluciones inestables o series divergentes, particularmente cerca del horizonte o al sumar infinitos órdenes de derivadas. El artículo aborda las condiciones bajo las cuales una construcción perturbativa de una solución de BH corregida es bien definida, convergente y físicamente aplicable. Específicamente, investiga la relación entre la convergencia de estas correcciones y las propiedades de localidad ultravioleta (UV) de la teoría subyacente.

Metodología
Los autores emplean un enfoque perturbativo dentro de un marco de EFT, centrándose en operadores que maximizan el número de derivadas actuando sobre el campo métrico para un dato orden de dimensión de masa. La acción considerada incluye un término cuadrático en el tensor de Weyl ($C_{\mu\nu\lambda\rho}$) acoplado a una función de factor de forma del operador d'Alembertiano ($\Box$):
$$S \supset \int d^D x \sqrt{-g} \, C_{\mu\nu\lambda\rho} F(\Box/\Lambda^2) C^{\mu\nu\lambda\rho}$$
donde $F(\Box/\Lambda^2)$ se expande como una serie de coeficientes $f_{Cn}$.

1. Expansión Perturbativa: Los autores calculan las correcciones a la métrica de Schwarzschild en $D$ dimensiones al primer orden en el parámetro de acoplamiento $\lambda$. Utilizan una parametrización métrica específica para aislar las funciones de corrección $P_D(r)$ y $F_D(r)$ para los componentes $g_{tt}$ y $g_{rr}$, respectivamente.
2. Resumación vía Representación Integral: En lugar de truncar la expansión de derivadas, los autores suman la serie de correcciones a todos los órdenes. Al analizar los coeficientes de la expansión para $n \geq 2$, identifican un patrón que involucra funciones Gamma. Esto permite reescribir la serie infinita de correcciones como una representación integral que involucra la función de factor de forma $F_C(\tau)$ y funciones de Bessel modificadas ($K_\nu$).
3. Análisis de Convergencia: La convergencia de la serie resultante para las correcciones métricas se analiza utilizando el teorema de Cauchy–Hadamard. Los autores relacionan el comportamiento asintótico de los coeficientes de la EFT $f_{Cn}$ con el crecimiento de la función de factor de forma $F_C(\tau)$ en el plano complejo. Este análisis conecta la convergencia matemática de la corrección métrica con el "orden" y el "tipo" de la función entera que representa el factor de forma.
4. Continuación Analítica para Logaritmos: Para abordar los operadores que surgen de las acciones efectivas de 1-bucle (que involucran factores de forma logarítmicos no analíticos), los autores emplean la continuación analítica. Tratan el operador logarítmico $\log(\Box/\mu^2)$ como el límite de $(\Box/\mu^2)^n$ cuando $n \to 0$, aplicando sus resultados de forma cerrada para potencias enteras para derivar la corrección logarítmica.

Contribuciones Clave y Resultados

• Correcciones de Forma Cerrada: Los autores derivan expresiones explícitas de forma cerrada para las correcciones dominantes a la métrica de Schwarzschild lejos del horizonte. Estas correcciones se expresan como transformadas integrales del factor de forma genérico $F_C(\tau)$, válidas para cualquier dimensión $D \geq 4$.
• Condición de Convergencia y Localidad UV: Un resultado primario es la derivación de una condición estricta para la convergencia de la serie perturbativa. La serie de correcciones converge solo si los coeficientes $f_{Cn}$ decaen lo suficientemente rápido (específicamente $f_{Cn} \lesssim 1/(n!)^2$). Esto implica que el factor de forma debe ser de un orden $\rho \leq 1/2$ en el plano de energía compleja.
  • Los autores establecen un vínculo directo entre esta condición de convergencia y la localidad UV. Concluyen que las correcciones perturbativas a la métrica de Schwarzschild son bien definidas solo para teorías localizables, donde las amplitudes de dispersión de gravitones están acotadas polinómicamente en la primera hoja del plano de energía compleja.
  • Para teorías no locales con factores de forma exponenciales (por ejemplo, $e^{s\Box}$), la serie de correcciones diverge en todas partes excepto en el infinito espacial, invalidando el tratamiento perturbativo.
• Dominancia de las Correcciones Logarítmicas: Aplicando el marco a la acción efectiva de 1-bucle en cuatro dimensiones, los autores computan las correcciones que surgen del factor de forma logarítmico $C_{\mu\nu\lambda\rho} \log(\Box/\mu^2) C^{\mu\nu\lambda\rho}$. Encuentran que estas correcciones inducidas por bucles son más fuertes (menos suprimidas por potencias de $r$) que las correcciones de los operadores de EFT de nivel de árbol con factores de forma de ley de potencia. Esto se atribuye a la naturaleza topológica del término de Gauss-Bonnet en 4D, que causa que los términos de curvatura cuadrática de nivel de árbol desaparezcan o contribuyan menos significativamente a la métrica asintótica.

Significado y Reivindicaciones
El artículo afirma establecer una conexión fundamental entre la consistencia matemática de las EFT de gravedad perturbativa y las propiedades físicas de la completitud UV. Específicamente, argumenta que la aplicabilidad de un tratamiento perturbativo para encontrar soluciones de BH no está garantizada para todas las EFT, sino que está restringida a aquellas con propiedades de localidad UV específicas (teorías localizables).

Los autores enfatizan que su marco proporciona una técnica para computar correcciones a las soluciones de BH sin truncar la expansión de derivadas, siempre que el factor de forma cumpla con los criterios de convergencia. Observan que, aunque sus resultados se derivan para la métrica de Schwarzschild, la metodología es extensible a otras soluciones, como la métrica de Kerr, y a contextos como la seguridad asintótica en la gravedad. El hallazgo de que las correcciones logarítmicas de 1-bucle dominan sobre las correcciones de ley de potencia de nivel de árbol en 4D resalta la importancia de los efectos cuánticos de bucle en la modificación de las geometrías de agujeros negros en el infrarrojo.