Binary Black Holes in Einstein-Maxwell-Dilaton Theory: Second Post-Newtonian Dynamics from Effective Field Theory

Resumen Técnico: Agujeros Negros Binarios en la Teoría de Einstein-Maxwell-Dilatón: Dinámica de Segundo Post-Newtoniano desde la Teoría de Campo Efectivo

Planteamiento del Problema
La detección de ondas gravitacionales (GW) de coalescencias de binarias compactas ofrece una oportunidad única para probar la Relatividad General (GR) en el régimen de campo fuerte y buscar firmas de teorías de gravedad alternativa. La teoría de Einstein-Maxwell-Dilatón (EMd), que surge naturalmente del límite de baja energía de la teoría de cuerdas y las compactaciones de Kaluza-Klein, postula que los agujeros negros pueden portar cargas tanto eléctricas como escalares (dilatónicas). Si bien la dinámica conservativa de las binarias EMd se conocía previamente hasta el orden de la primera post-newtoniana (1PN), se requieren correcciones de orden superior para desarrollar modelos de formas de onda precisos para las observaciones de GW. Específicamente, el sector conservativo es un ingrediente crítico para construir formas de onda de inspiración post-newtoniana (PN) y modelos de cuerpo único efectivo (EOB). Este trabajo aborda la brecha de conocimiento mediante la derivación del Lagrangiano de dos cuerpos conservativo para binarias de agujeros negros cargados en la teoría EMd a través del orden de la segunda post-newtoniana (2PN).

Metodología
El autor emplea el enfoque de la Teoría de Campo Efectivo (EFT) para el problema de dos cuerpos relativistas, desarrollado originalmente por Goldberger y Rothstein para la GR no relativista (NRGR). Este marco se extiende para incluir los grados de libertad electromagnéticos y escalares inherentes a la teoría EMd.

Componentes metodológicos clave:

• Descomposición de Kaluza-Klein: La métrica se parametriza utilizando un ansatz de Kaluza-Klein temporal, descomponiendo la métrica en campos no relativistas (NRG): el potencial newtoniano ($\phi$), el potencial gravito-magnético ($A_i$) y las perturbaciones métricas espaciales ($\sigma_{ij}$). Esta descomposición aprovecha la jerarquía de escalas en la expansión PN ($r_c \ll r \ll \lambda$) y reduce significativamente la complejidad de los diagramas de Feynman.
• Interacciones de la Línea de Mundo y del Volumen (Bulk): Los objetos compactos se modelan como partículas puntuales con masas dependientes del campo escalar. La acción de materia se expande para incluir acoplamientos con la métrica, el campo electromagnético y el campo de dilatón, caracterizados por parámetros de respuesta escalar ($\alpha, \beta, \beta'$).
• Expansión Diagramática: La dinámica conservativa está determinada por los modos de potencial de la zona cercana. El autor construye sistemáticamente diagramas de Feynman hasta el orden 2PN, categorizando las contribuciones según su escala en la constante de Newton ($G$), las cargas ($q$) y la velocidad ($v$).
• Cálculos de Bucle (Loop): El cálculo implica la evaluación de integrales de un bucle y de dos bucles. Las integrales divergentes se manejan mediante regularización dimensional. Las topologías de dos bucles se clasifican como factorizables, anidadas o irreducibles, siendo estas últimas reducidas mediante identidades de integración por partes.
• Conteo de Potencias: Un esquema sistemático de conteo de potencias rastrea las potencias de $G$, $q$ y $v$ para organizar la expansión diagramática, asegurando que todos los términos relevantes hasta el orden 2PN estén incluidos.

Contribuciones Clave

1. Derivación del Lagrangiano 2PN: La contribución principal es la derivación completa del Lagrangiano de dos cuerpos conservativo para binarias EMd a través del orden 2PN. Esto extiende los resultados previos limitados al 1PN.
2. Inclusión de Interacciones Mixtas: El resultado incorpora interacciones gravitatorias, electromagnéticas y de dilatón, así como sus acoplamientos cruzados, hasta el orden requerido. Esto incluye términos que escalan como $O(Gv^4)$, $O(G^2v^2)$, $O(Gq^2v^2)$, $O(G^3)$, $O(G^2q^2)$ y $O(Gq^4)$.
3. Reglas de Feynman y Vértices: El artículo deriva explícitamente los vértices de interacción de la línea de mundo y del volumen, así como los propagadores necesarios para el cálculo PN dentro del marco EMd, utilizando el formalismo NRG para revelar una clara jerarquía de acoplamiento entre las interacciones gravitatorias, de gauge y escalares.

Resultos
El autor presenta el Lagrangiano conservativo completo (Ec. 7.1) expresado en términos del vector de separación relativa, velocidades, aceleraciones, masas, cargas y parámetros de respuesta escalar. El resultado se valida mediante varias comprobaciones de consistencia:

• Casos Límite: El Lagrangiano derivado se reduce correctamente al Lagrangiano Einstein-Maxwell 2PN conocido (cuando los acoplamientos escalares son cero), al Lagrangiano escalar-tensor 2PN (cuando las cargas eléctricas son cero) y al Lagrangiano GR 2PN (cuando tanto las cargas como los acoplamientos escalares desaparecen).
• Verificación Independiente: El resultado concuerda con los cálculos realizados utilizando el paquete EFTofPNG.
• Límite de Cuerpo de Prueba Estático: Se realizó una comprobación independiente tratando a un cuerpo como un agujero negro EMd exacto y al otro como una partícula de prueba. Se demostró que la expansión de campo débil de la solución exacta reproduce exactamente el sector estático del Lagrangiano de dos cuerpos derivado a través del orden 2PN.

Significancia
El artículo afirma que estos resultados proporcionan la dinámica conservativa necesaria para desarrollar modelos de forma de onda de mayor precisión para probar la teoría EMd con observaciones de ondas gravitacionales. Al extender la dinámica conservativa más allá del 1PN, este trabajo permite establecer restricciones más precisas sobre los parámetros subyacentes de las teorías de gravedad modificada, tales como la constante de acoplamiento del dilatón $a$ y las cargas escalares de los objetos compactos. El autor señala que, si bien este trabajo se centra en la dinámica conservativa de la zona cercana, un modelo de forma de onda completo requerirá eventualmente el sector radiativo correspondiente (incluyendo la radiación escalar y electromagnética), lo cual está más allá del alcance del cálculo actual. Las ecuaciones de movimiento derivadas y las cantidades invariantes de gauge sirven como base para trabajos futuros, incluyendo el desarrollo de descripciones de cuerpo único efectivo y la investigación de las firmas observacionales de binarias de agujeros negros cargados.