Where the Gauss--Bonnet coupling enters the Bondi--Sachs hierarchy

Resumen Técnico: Dónde entra el acoplamiento de Gauss–Bonnet en la jerarquía de Bondi–Sachs

Planteamiento del problema
La estructura asintótica de los espaciotiempos radiativos en la nulidad infinita futura ($\mathscr{I}^+$), formulada dentro del marco de Bondi–Sachs, sustenta la comprensión moderna de la radiación gravitacional, incluyendo la fórmula de pérdida de masa de Bondi, el grupo BMS y las leyes de balance de flujo. Si bien estas estructuras están bien establecidas en la Relatividad General (RG) y en diversas teorías escalar-tensoriales, su comportamiento en teorías con acoplamientos de derivadas de orden superior sigue siendo menos comprendido. Específicamente, la gravedad Escalar–Gauss–Bonnet (sGB), un prototipo de teorías que exhiben agujeros negros con "cabello" o escalarización espontánea, presenta un desafío único. Su representación de Horndeski involucra funcionales logarítmicos ($G_5 \propto f'(\Phi) \ln X$), que anteriormente habían sido excluidos de las clasificaciones de teorías que admiten expansiones asintóticas suaves y libres de logaritmos. En consecuencia, permanecía como una pregunta abierta si el acoplamiento de Gauss–Bonnet $\lambda$ modifica los datos asintóticos principales (masa y momento angular), si introduce términos logarítmicos en la expansión y exactamente en qué orden en la jerarquía de $1/r$ influye el acoplamiento por primera vez en la evolución dinámica de la métrica y los campos escalares.

Metodología
Los autores abordan estas preguntas integrando directamente la jerarquía de Bondi–Sachs para la gravedad sGB con una función de acoplamiento arbitraria $f(\Phi)$ y un campo escalar sin masa radiativo. La metodología consiste en:

1. Análisis Covariante: Trabajar directamente con las ecuaciones de campo covariantes para computar la expansión asintótica del tensor de energía-impulso efectivo de Gauss–Bonnet ($T^{GB}_{ab}$) sobre un fondo de Bondi–Sachs.
2. Conteo de Tetrados Nulos: Utilizar un tetrado nulo adaptado a las coordenadas de Bondi para analizar la estructura algebraica del tensor de Gauss–Bonnet. Los autores explotan el hecho de que la componente Hessiana dominante del campo escalar se contrae con la dirección nula principal de la curvatura radiativa, anulando efectivamente los escalares de Weyl de mayor orden ($\Psi_4, \Psi_3$).
3. Integración Orden por Orden: Seguir los decaimientos derivados a través de la jerarquía de Bondi–Sachs, que incluye ecuaciones de hipersuperficie (que determinan las funciones métricas $\beta, U^A, V$) y ecuaciones de evolución/suplementarias (que determinan el aspecto de masa $M$, el aspecto de momento angular $N$ y la evolución de la cizalladura).
4. Calaje Axisimétrico: Realizar la integración explícita en el calaje axisimétrico libre de torsión para verificar los resultados covariantes generales e aislar términos específicos, manteniendo la dependencia arbitraria del tiempo retardado $u$ y las coordenadas angulares.

Contribuciones Clave y Resultados

• Decaimiento Asintótico del Tensor de Energía-Impulso de Gauss–Bonnet:
  El tensor de energía-impulso efectivo de Gauss–Bonnet decae significativamente más rápido que el decaimiento más lento compatible con una $\mathscr{I}^+$ suave. Cada componente decae entre uno y tres órdenes de potencia de $1/r$ más rápido que los límites requeridos para una expansión suave. Los coeficientes principales dependen únicamente de los datos principales (cizalladura $c_{AB}$, aspecto de masa $M$, coeficiente escalar $\phi_1$) y de la derivada de la función de acoplamiento $f'(\phi_0)$. Crucialmente, la componente angular sin traza $H^{TF}_{AB}$ resulta ser proporcional al término cruzado $-f'(\phi_0)\phi_1 \partial_u N_{AB}$, que representa la interacción entre el aspecto de la carga escalar y la derivada temporal del tensor de noticias (news tensor).

• Preservación de las Leyes de Balance Principales:
  La fórmula de pérdida de masa de Bondi y la ecuación de evolución del aspecto del momento angular son exactamente las mismas que las del sistema Einstein–escalar mínimamente acoplado. Este resultado se mantiene no perturbativamente en $\lambda$ bajo el supuesto de una expansión suave de $1/r$. El acoplamiento $\lambda$ no aparece en las ecuaciones suplementarias en los órdenes $O(r^{-2})$ y $O(r^{-3})$, que gobiernan la conservación de la masa y el momento angular.

• Ausencia de Términos Logarítmicos:
  A pesar de que la representación de Horndeski de la gravedad sGB involucra funcionales logarítmicos, el acoplamiento no genera términos logarítmicos en la expansión de la métrica a través de los órdenes considerados. La condición que elimina los logaritmos (específicamente la anulación de la parte sin traza del coeficiente métrico de $O(r^{-2})$) se preserva para un $f(\Phi)$ arbitrario. Los términos logarítmicos inherentes al mapa de Horndeski se cancelan entre los funcionales cuando se tratan en forma covariante.

• Primer Ingreso del Acoplamiento:
  El acoplamiento de Gauss–Bonnet entra por primera vez en una ecuación dinámica en la evolución del coeficiente de $O(r^{-3})$ de la métrica angular conforme (denotado como $C$ en el calaje axisimétrico o $e^{TF}_{AB}$ en general).

  • En la jerarquía métrica, el nuevo término es $-2\lambda f'(\phi_0) \phi_1 \partial_u N_{AB}$.
  • En el formalismo de Newman–Penrose, la ecuación de evolución para el coeficiente principal de $\Psi_0$ adquiere un término fuente: $-12\lambda f'(\phi_0) \phi_1 \bar{\Psi}^0_4$.
  • El invariante de Gauss–Bonnet mismo decae como $r^{-6}$ y afecta la jerarquía escalar solo a partir de la evolución del coeficiente $\phi_5$ de $r^{-5}$ en adelante.

• Casos Especiales y Agujeros Negros en Vacío:
  Para los espaciotiempos de agujeros negros en vacío donde el escalar es originado únicamente por el acoplamiento (por ejemplo, durante la aproximación final y la fusión), la carga escalar $\phi_1$ es de orden $\lambda$. Consecuentemente, todas las contribuciones de Gauss–Bonnet a la jerarquía son de orden $\lambda^2$. Si el acoplamiento lineal se anula ($f'(\phi_0) = 0$), como en las teorías que conducen a la escalarización espontánea, los efectos principales se desplazan un orden adicional en $1/r$, apareciendo en $O(r^{-3})$ con un coeficiente proporcional a $f''(\phi_0)\phi_1^2$.

Significado
Este trabajo llena un vacío crítico en la comprensión de las correcciones de curvatura superior a la radiación gravitacional. Al proporcionar la solución de Bondi–Sachs explícita, el artículo:

1. Valida y Extiende Afirmaciones Previas: Confirma mediante integración directa que el término de Gauss–Bonnet no modifica el efecto de memoria ni la ley de balance de supertraslaciones, extendiendo estas conclusiones al sector del momento angular.
2. Resuelve la Ambigüedad Logarítmica: Demuestra que la gravedad sGB, a pesar de involucrar funcionales logarítmicos en su forma de Horndeski, satisface todos los límites de decaimiento para una $\mathscr{I}^+$ suave sin generar términos métricos logarítmicos, siempre que la expansión sea suave.
3. Identifica el Nivel de la Jerarquía: Identifica con precisión el nivel de la jerarquía asintótica (la carga de espín-2 asociada con $\Psi_0$) donde los acoplamientos de curvatura superior de este tipo dejan su primera huella. Esto generaliza los resultados previos del límite Einstein–Gauss–Bonnet $D \to 4$ a una teoría con radiación escalar.

Los autores concluyen que la razón estructural de esta aparición "tardía" es la contracción del Hessiano escalar con la dirección nula principal de la curvatura radiativa, lo que suprime la influencia del acoplamiento en la estructura asintótica principal. El análisis se limita al calaje axisimétrico para la integración explícita y asume una expansión suave, dejando la investigación de términos polihomogéneos de orden superior y ecuaciones de evolución no axisimétricas para estudios futuros.