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

Resumo Técnico: Buracos Negros Binários na Teoria de Einstein-Maxwell-Dilaton: Dinâmica de Segunda Ordem Post-Newtoniana a partir da Teoria de Campo Eficaz

Enunciado do Problema
A detecção de ondas gravitacionais (GWs) de coalescências de binários compactos oferece uma oportunidade única para testar a Relatividade Geral (GR) no regime de campo forte e buscar assinaturas de teorias de gravidade alternativas. A teoria de Einstein-Maxwell-Dilaton (EMd), que surge naturalmente no limite de baixa energia da teoria de cordas e compactificações de Kaluza-Klein, postula que buracos negros podem carregar tanto cargas elétricas quanto escalares (dilatônicas). Embora a dinâmica conservativa de binários EMd tenha sido previamente conhecida até a ordem pós-newtoniana de primeira ordem (1PN), correções de ordem superior são necessárias para desenvolver modelos de forma de onda precisos para observações de GW. Especificamente, o setor conservativo é um ingrediente crítico para a construção de formas de onda de inspiração (inspiral) pós-newtonianas (PN) e modelos de corpo único efetivo (EOB). Este trabalho aborda a lacuna de conhecimento ao derivar o Lagrangiano de dois corpos conservativo para binários de buracos negros carregados na teoria EMd através da segunda ordem pós-newtoniana (2PN).

Metodologia
O autor emprega a abordagem da Teoria de Campo Eficaz (EFT) para o problema de dois corpos relativísticos, originalmente desenvolvido por Goldberger e Rothstein para a GR não-relativística (NRGR). Este arcabouço é estendido para incluir os graus de liberdade eletromagnéticos e escalares inerentes à teoria EMd.

Componentes metodológicos principais incluem:

• Decomposição de Kaluza-Klein: A métrica é parametrizada usando um ansatz de Kaluza-Klein temporal, decompondo-a em campos não-relativísticos de gravitação (NRG): o potencial Newtoniano ($\phi$), o potencial gravito-magnético ($A_i$) e perturbações da métrica espacial ($\sigma_{ij}$). Esta decomposição explora a hierarquia de escalas na expansão PN ($r_c \ll r \ll \lambda$) e reduz significativamente a complexidade dos diagramas de Feynman.
• Interações de Linha de Mundo e de Volume (Bulk): Objetos compactos são modelados como partículas pontuais com massas dependentes do campo escalar. A ação da matéria é expandida para incluir acoplamentos com a métrica, o campo eletromagnético e o campo dilatônico, caracterizados por parâmetros de resposta escalar ($\alpha, \beta, \beta'$).
• Expansão Diagramática: A dinâmica conservativa é determinada pelos modos de potencial da zona próxima. O autor constrói sistematicamente diagramas de Feynman até a ordem 2PN, categorizando as contribuições pelo seu escalonamento em constante de Newton ($G$), cargas ($q$) e velocidade ($v$).
• Cálculos de Loop: O cálculo envolve a avaliação de integrais de um loop e dois loops. Integrais divergentes são tratados usando regularização dimensional. As topologias de dois loops são classificadas como fatorizáveis, aninhadas ou irredutíveis, sendo estas últimas reduzidas usando identidades de integração por partes.
• Contagem de Potência (Power Counting): Um esquema sistemático de contagem de potência rastreia as potências de $G$, $q$ e $v$ para organizar a expansão diagramática, garantindo que todos os termos relevantes até a ordem 2PN sejam incluídos.

Principais Contribuições

1. Derivação do Lagrangiano 2PN: A principal contribuição é a derivação completa do Lagrangiano de dois corpos conservativo para binários EMd através da ordem 2PN. Isso estende resultados anteriores limitados à ordem 1PN.
2. Inclusão de Interações Mistas: O resultado incorpora interações gravitacionais, eletromagnéticas e dilatônicas, bem como seus acoplamentos cruzados, até a ordem exigida. Isso inclui termos que escalam como $O(Gv^4)$, $O(G^2v^2)$, $O(Gq^2v^2)$, $O(G^3)$, $O(G^2q^2)$ e $O(Gq^4)$.
3. Regras de Feynman e Vértices: O artigo deriva explicitamente os vértices de interação de linha de mundo e de volume e os propagadores necessários para o cálculo PN dentro do arcabouço EMd, utilizando o formalismo NRG para revelar uma clara hierarquia de acoplamento entre as interações gravitacionais, de gauge e escalares.

Resultos
O autor apresenta o Lagrangiano conservativo completo (Eq. 7.1) expresso em termos do vetor de separação relativa, velocidades, acelerações, massas, cargas e parâmetros de resposta escalar. O resultado é validado através de várias verificações de consistência:

• Casos Limite: O Lagrangiano derivado reduz-se corretamente ao Lagrangiano Einstein-Maxwell 2PN conhecido (quando os acoplamentos escalares são zero), ao Lagrangiano escalar-tensor 2PN (quando as cargas elétricas são zero) e ao Lagrangiano GR 2PN (quando tanto as cargas quanto os acoplamentos escalares desaparecem).
• Verificação Independente: O resultado concorda com cálculos realizados usando o pacote EFTofPNG.
• Limite Estático de Corpo de Teste: Uma verificação independente foi realizada tratando um dos corpos como um buraco negro EMd exato e o outro como uma partícula de teste. Mostrou-se que a expansão de campo fraco da solução exata reproduz exatamente o setor estático do Lagrangiano de dois corpos derivado através da ordem 2PN.

Significância
O artigo afirma que estes resultados fornecem a dinâmica conservativa necessária para desenvolver modelos de forma de onda de maior precisão para testar a teoria EMd com observações de ondas gravitacionais. Ao estender a dinâmica conservativa além de 1PN, este trabalho permite restrições mais precisas sobre os parâmetros subjacentes das teorias de gravidade modificada, como a constante de acoplamento do dilatônio $a$ e as cargas escalares de objetos compactos. O autor observa que, embora este trabalho se concentre na dinâmica conservativa da zona próxima, um modelo de forma de onda completo exigirá eventualmente o setor radiativo correspondente (incluindo radiação escalar e eletromagnética), que está além do escopo do cálculo atual. As equações de movimento e as quantidades invariantes de gauge derivadas servem como base para trabalhos futuros, incluindo o desenvolvimento de descrições de corpo único efetivo e a investigação de assinaturas observacionais de binários de buracos negros carregados.