Extending Weinberg's EFT: effective scalar-tensor theories up to sixth order

Resumo Técnico: Estendendo a EFT de Weinberg para Teorias Escalar-Tensor de Sexta Ordem

Enunciado do Problema
O artigo aborda a construção sistemática da teoria de campo efetiva (EFT) mais geral para a gravidade escalar-tensor, estendendo o arcabouço originalmente estabelecido por Steven Weinberg até a quarta ordem de derivadas. Embora as teorias de Horndeski e além de Horndeski tenham dominado a literatura recente devido às suas equações de movimento manifestamente de segunda ordem, a perspectiva da EFT sugere que operadores de ordens de derivadas superiores surgem naturalmente ao integrar graus de liberdade pesados. O desafio reside em identificar uma base mínima e não redundante de operadores em ordens superiores (especificamente sexta ordem em derivadas) que respeite a covariância geral, contabilizando o vasto número de termos potenciais e as várias redundâncias introduzidas por integração por partes (IBP), identidades geométricas e redefinições de campo.

Metodologia
Os autores empregam uma abordagem de duas frentes para construir e verificar a base de operadores:

1. Construção de Lagrangiana Covariante (EFT On-Shell):

   • Algoritmo: Os autores geram todos os possíveis operadores de seis derivadas consistentes com a invariância por difeomorfismo. Estes são classificados pelo número de tensores de Riemann ($r$) e "escalares vestidos" (campos escalares com pelo menos uma derivada, $j$).
   • Eliminação de Redundância: Um fluxo sistemático é aplicado para eliminar termos redundantes usando:
     • Simetrias do tensor de Riemann e do tensor de Levi-Civita.
     • Identidades de Bianchi e Identidades Dependentes da Dimensão (DDIs).
     • Integração por partes (IBP).
     • Redução On-Shell: Crucialmente, os autores substituem as equações de movimento de ordem líder (Einstein e equações do campo escalar) para remover termos proporcionais a $\Box \phi$ e ao tensor de Ricci/escalar. Isso transiciona a teoria de uma EFT off-shell para uma on-shell, onde operadores proporcionais às equações de movimento são tratados como redundantes via redefinições de campo.
   • Separação de Paridade: A análise é dividida nos setores de paridade par e ímpar para gerenciar a complexidade do espaço de operadores.

2. Verificação por Amplitude de Espalhamento:

   • Para verificar independentemente a contagem de operadores, os autores utilizam técnicas de amplitude de espalhamento on-shell em espaço plano quadridimensional.
   • Eles analisam diagramas de contato (interações locais sem polos de propagador) para processos envolvendo gravitons e escalares até interações de seis pontos.
   • Utilizando o formalismo de spinor-helicidade, eles constroem amplitudes que respeitam o escalonamento do little-group e a covariância de Lorentz. O número de estruturas de amplitude independentes em uma determinada ordem de derivada é comparado com o número de operadores EFT independentes.

Principais Contribuições e Resultados

• Contagem de Operadores: O artigo estabelece que a base on-shell mínima para teorias escalar-tensor de seis derivadas em quatro dimensões consiste em oito operadores independentes:

  • Cinco Operadores de Paridade Par:
    1. $R_{\alpha\beta\gamma\delta}R^{\alpha\beta}_{\phantom{\alpha\beta}\zeta\eta}R^{\gamma\delta\zeta\eta}$ (Curvatura cúbica)
    2. $R_{\alpha\beta\gamma\delta}R^{\alpha\beta\gamma\delta}\nabla_\zeta\phi\nabla^\zeta\phi$ (Curvatura ao quadrado acoplada ao termo cinético escalar)
    3. $R_{\alpha\beta\gamma\delta}\nabla^\alpha\phi\nabla^\gamma\phi\nabla^\delta\nabla^\beta\phi$ (Derivada mista curvatura-escalar)
    4. $(\nabla_\alpha\phi\nabla^\alpha\phi)^3$ (Termo cinético escalar puro)
    5. $\nabla_\alpha\phi\nabla^\alpha\phi\nabla^\gamma\nabla^\beta\phi\nabla_\gamma\nabla_\beta\phi$ (Derivada escalar pura)
  • Três Operadores de Paridade Ímpar:
    1. $\epsilon_{\zeta\eta\theta\kappa}R_{\alpha\beta\gamma\delta}R^{\alpha\beta\zeta\eta}R^{\gamma\delta\theta\kappa}$ (Curvatura cúbica com Levi-Civita)
    2. $\epsilon_{\gamma\delta\zeta\eta}R^{\alpha\beta}_{\phantom{\alpha\beta}\gamma\delta}R_{\alpha\beta}^{\phantom{\alpha\beta}\zeta\eta}\nabla_\theta\phi\nabla^\theta\phi$ (Curvatura ao quadrado acoplada ao termo cinético escalar)
    3. $\epsilon_{\gamma\delta\zeta\eta}R^{\alpha\beta}_{\phantom{\alpha\beta}\gamma\delta}\nabla_\alpha\phi\nabla^\zeta\phi\nabla^\eta\nabla_\beta\phi$ (Derivada mista curvatura-escalar)

• Lagrangiana Explícita: Os autores fornecem a forma explícita da Lagrangiana de sexta ordem ($S_6[g, \phi]$) com funções de acoplamento dependentes do escalar arbitrárias ($e_n(\phi)$ e $o_n(\phi)$), escalando como $1/\Lambda^2$, onde $\Lambda$ é a escala de corte (cutoff).

• Verificação: A análise de amplitude de espalhamento confirma a contagem de operadores derivada pelo método da lagrangiana covariante. A análise de amplitude revela que amplitudes de helicidade mista desaparecem nesta ordem, levando a uma correspondência um-para-um entre operadores de paridade par e ímpar ao restringir-se a termos que contêm pelo menos um tensor de Riemann.

Significância e Alegações
O artigo afirma fornecer a extensão de próxima ordem (NLO) para a gravidade escalar-tensor, fornecendo um arcabouço robusto para explorar:

• Correções Quânticas e de Teoria de Cordas: Operadores de seis derivadas representam a próxima ordem de correção (NNLO) na expansão de derivadas, capturando termos de curvatura cúbica e estruturas mistas curvatura-escalar esperadas em expansões de baixa energia de cordas e UV completions.
• Fenômenos de Violação de Paridade: A inclusão de operadores de paridade ímpar permite o estudo de efeitos como a birrefringência de ondas gravitacionais (modos quirais) e a birrefringência cósmica, que são relevantes para observações cosmológicas e astronomia de ondas gravitacionais.
• Regimes de Campo Forte: O arcabouço é aplicável à física de buracos negros e cosmologia, particularmente em cenários onde correções de quarta ordem podem estar suprimidas (por exemplo, devido a uma simetria de shift aproximada ou potenciais planos), permitindo que termos de sexta ordem dominem a dinâmica.

Os autores enfatizam que, embora a escolha específica de uma base não seja única (devido a redefinições de campo e IBP), o número de operadores independentes é fixo. Eles observam que seus resultados concordam com estudos anteriores de simetria de shift (especificamente a Ref. [21]) no limite apropriado, mas estendem isso ao incluir tanto acoplamentos dependentes do escalar geral quanto ambos os setores de paridade. O trabalho é apresentado como um passo fundamental para futuros estudos fenomenológicos e para a exploração de acoplamentos de matéria em EFTs abertas, embora a análise atual seja restrita ao setor de vácuo longe de fontes externas.