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

Sintesi Tecnica: Buchi Neri Binari nella Teoria di Einstein-Maxwell-Dilatone: Dinamica al Secondo Ordine Post-Newtoniano da Teoria di Campo Efficace

Definizione del Problema
La rilevazione di onde gravitazionali (GW) da coalescenze di binarie compatte offre un'opportunità unica per testare la Relatività Generale (GR) nel regime di campo forte e per cercare firme di teorie della gravità alternative. La teoria di Einstein-Maxwell-Dilatone (EMd), che emerge naturalmente dal limite di bassa energia della teoria delle stringhe e dalle compattificazioni di Kaluza-Klein, postula che i buchi neri possano trasportare sia cariche elettriche che scalari (dilatoniche). Sebbene la dinamica conservativa delle binarie EMd fosse precedentemente nota fino all'ordine post-newtoniano primo (1PN), sono necessarie correzioni di ordine superiore per sviluppare modelli di forma d'onda accurati per le osservazioni di GW. Nello specifico, il settore conservativo è un ingrediente critico per la costruzione di forme d'onda di inspirazione Post-Newtoniana (PN) e di modelli "effective-one-body" (EOB). Questo lavoro affronta la lacuna conoscitiva derivando il Lagrangiano a due corpi conservativo per binarie di buchi neri carichi nella teoria EMd attraverso l'ordine post-newtoniano secondo (2PN).

Metodologia
L'autore impiega l'approccio della Teoria di Campo Efficace (EFT) al problema dei due corpi relativistici, originariamente sviluppato da Goldberger e Rothstein per la GR non relativistica (NRGR). Questo framework viene esteso per includere i gradi di libertà elettromagnetici e scalari intrinseci alla teoria EMd.

Componenti metodologiche chiave:

• Decomposizione di Kaluza-Klein: La metrica è parametrizzata utilizzando un ansatz di Kaluza-Klein temporale, decomponendo la metrica in campi non relativistici (NRG): il potenziale newtoniano ($\phi$), il potenziale gravitomagnetico ($A_i$) e le perturbazioni metriche spaziali ($\sigma_{ij}$). Questa decomposizione sfrutta la gerarchia di scale nell'espansione PN ($r_c \ll r \ll \lambda$) e riduce significativamente la complessità dei diagrammi di Feynman.
• Interazioni Worldline e Bulk: Gli oggetti compatti sono modellati come particelle puntiformi con masse dipendenti dal campo scalare. L'azione della materia è espansa per includere gli accoppiamenti con la metrica, il campo elettromagnetico e il campo del dilatone, caratterizzati da parametri di risposta scalare ($\alpha, \beta, \beta'$).
• Espansione Diagrammatica: La dinamica conservativa è determinata dai modi di potenziale della zona vicina (near-zone). L'autore costruisce sistematicamente i diagrammi di Feynman fino all'ordine 2PN, categorizzando i contributi in base alla loro scala nella costante di Newton ($G$), nelle cariche ($q$) e nella velocità ($v$).
• Calcoli di Loop: Il calcolo comporta la valutazione di integrali a uno e due loop. Gli integrali divergenti sono gestiti tramite regolarizzazione dimensionale. Le topologie a due loop sono classificate come fattorizzabili, annidate o irriducibili, con queste ultime ridotte mediante identità di integrazione per parti.
• Power Counting: Uno schema di power-counting sistematico traccia le potenze di $G$, $q$ e $v$ per organizzare l'espansione diagrammatica, garantendo l'inclusione di tutti i termini rilevanti fino all'ordine 2PN.

Contributi Chiave

1. Derivazione del Lagrangiano 2PN: Il contributo primario è la completa derivazione del Lagrangiano a due corpi conservativo per binarie EMd attraverso l'ordine 2PN. Questo estende i risultati precedenti limitati all'ordine 1PN.
2. Inclusione di Interazioni Miste: Il risultato incorpora interazioni gravitazionali, elettromagnetiche e dilatoniche, nonché i loro accoppiamenti incrociati, fino all'ordine richiesto. Ciò include termini che scalano come $O(Gv^4)$, $O(G^2v^2)$, $O(Gq^2v^2)$, $O(G^3)$, $O(G^2q^2)$ e $O(Gq^4)$.
3. Regole di Feynman e Vertici: Il documento deriva esplicitamente i vertici di interazione worldline e bulk e i propagatori necessari per il calcolo PN all'interno del framework EMd, utilizzando il formalismo NRG per rivelare una chiara gerarchia di accoppiamento tra le interazioni gravitazionali, di gauge e scalari.

Risultati
L'autore presenta il Lagrangiano conservativo completo (Eq. 7.1) espresso in termini del vettore di separazione relativa, delle velocità, delle accelerazioni, delle masse, delle cariche e dei parametri di risposta scalare. Il risultato è validato attraverso diversi controlli di coerenza:

• Casi Limite: Il Lagrangiano derivato si riduce correttamente al noto Lagrangiano Einstein-Maxwell 2PN (quando gli accoppiamenti scalari sono nulli), al Lagrangiano scalare-tensoriale 2PN (quando le cariche elettriche sono nulle) e al Lagrangiano GR 2PN (quando sia le cariche che gli accoppiamenti scalari scompaiono).
• Verifica Indipendente: Il risultato concorda con i calcoli eseguiti utilizzando il pacchetto EFTofPNG.
• Limite Statico di Corpo di Test: Un controllo indipendente è stato eseguito trattando un corpo come un esatto buco nero EMd e l'altro come una particella di test. L'espansione in campo debole della soluzione esatta ha mostrato di riprodurre esattamente il settore statico del Lagrangiano a due corpi derivato attraverso l'ordine 2PN.

Significatività
Il lavoro sostiene che questi risultati forniscano la dinamica conservativa necessaria per sviluppare modelli di forma d'onda ad alta accuratezza per testare la teoria EMd con le osservazioni di onde gravitazionali. Estendendo la dinamica conservativa oltre l'ordine 1PN, questo lavoro consente di porre vincoli più precisi sui parametri sottostanti delle teorie della gravità modificata, come la costante di accoppiamento del dilatone $a$ e le cariche scalari degli oggetti compatti. L'autore osserva che, sebbene questo lavoro si concentri sulla dinamica conservativa della zona vicina, un modello di forma d'onda completo richiederà infine il corrispondente settore radiativo (inclusa la radiazione scalare ed elettromagnetica), che va oltre l'ambito dell'attuale calcolo. Le equazioni del moto e le quantità invarianti rispetto al gauge derivate servono come fondamento per lavori futuri, inclusa lo sviluppo di descrizioni "effective-one-body" e l'indagine delle firme osservative delle binarie di buchi neri carichi.