Uniqueness of Galilean and Carrollian limits of gravitational theories and application to higher derivative gravity

Resumo Técnico: Unicidade dos Limites Galileano e Carrolliano e Aplicação à Gravidade de Ordem Superior

Problema
O artigo aborda a fragmentação nos métodos utilizados para derivar teorias gravitacionais não lorentzianas (limites Galileano e Carrolliano) a partir de lorentzianas. Embora existam várias técnicas — como parametrizações pré-não relativísticas (PNR) e pré-ultralocais (PUL), escalonamento infinito (IS), abordagens de assinatura zero (ZS) e o levantamento de álgebras de Galilei e Carroll (GAG e CAG) — sua equivalência não foi rigorosamente estabelecida em todos os contextos. Além disso, há uma carência de um arcabouço algorítmico unificado para computar a expansão de $n$-ésima ordem para teorias genéricas de gravidade de ordem superior (HDG), abrangendo desde a gravidade $f(R)$ até as teorias mais gerais de $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$.

Metodologia
Os autores empregam uma análise comparativa dos métodos de derivação existentes, seguida pela construção de um algoritmo de expansão generalizado.

1. Provas de Equivalência: O artigo demonstra que distintos métodos produzem estruturas métricas e definições de conexão idênticas:

   • Limite Galileano: Mostra-se que a parametrização PNR é construível a partir do levantamento da álgebra de Galilei (GAG). Da mesma forma, a abordagem PNR é equivalente ao método de Escalonamento Infinito (IS) (tomando a norma do vetor normal ao infinito em uma decomposição ADM).
   • Limite Carrolliano: A parametrização PUL é construída a partir do levantamento da álgebra de Carroll (CAG). A abordagem PUL é provada equivalente à abordagem de Assinatura Zero (ZS) (definindo a assinatura da métrica como zero em uma decomposição ADM).
   • Arcabouço Unificado: Ao introduzir um parâmetro real $\epsilon$ na decomposição ADM (onde $\epsilon$ representa a assinatura, assumindo valores $1, -1, 0$), os autores unificam a derivação desses limites. O limite $\epsilon \to 0$ corresponde ao limite Carrolliano, enquanto $\epsilon \to -\infty$ corresponde ao limite Galileano.

2. Expansão Algorítmica: Aproveitando a unicidade estabelecida, os autores derivam uma expansão genérica para tensores de curvatura. Eles transformam o problema de calcular a $n$-ésima ordem das expansões Galileana e Carrolliana para quaisquer teorias HDG arbitrárias em problemas de otimização com restrições.

   • O Lagrangiano é expandido em potências da velocidade da luz ($c$ ou $c^{-1}$).
   • Os coeficientes dessas expansões são determinados resolvendo problemas de otimização (especificamente, encontrando o mínimo ou máximo da potência de $c$) sujeitos a restrições derivadas da estrutura tensorial da teoria.
   • O Método Simplex é identificado como a ferramenta computacional para resolver esses problemas de otimização.

Principais Contribuições e Resultados

• Unificação de Métodos: O artigo fornece uma prova rigorosa de que os métodos aparentemente díspares (parametrização vs. levantamento de álgebra vs. limites de assinatura) são matematicamente equivalentes. Isso estabelece um limite "único" para qualquer dada teoria lorentziana.
• Algoritmo Geral para HDG: Um algoritmo sistemático é apresentado para computar a Ordem Principal (LO) e a Próxima Ordem (NLO) para qualquer teoria métrica de gravidade de ordem finita.
  • Para a gravidade $f(R)$, os autores derivam fórmulas explícitas para os limites Carrollianos elétricos (LO) e magnéticos (NLO) e os limites Galileanos de Newton-Cartan (LO) e de Newton-Cartan Torsional (NLO).
  • Para a gravidade $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho})$, a expansão é formulada como um problema de otimização com restrições onde a ordem do limite depende das potências do tensor de Riemann e da métrica no Lagrangiano.
  • Para a HDG mais geral ($f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$), o algoritmo incorpora derivadas covariantes, expandindo-as em ordens específicas de $c$ e formulando um problema de otimização multivariável para determinar os termos dominantes.
• Condições para Modificação da GR: O artigo deriva condições específicas sob as quais uma teoria da gravidade atua como uma modificação da Relatividade Geral (GR) nesses limites.
  • Para teorias $f(R)$, uma modificação da GR no limite Galileano requer restrições específicas sobre a potência de $c$ nas constantes de acoplamento (ex: $N \leq -2$), enquanto o limite Carrolliano requer $N \geq 2$.
  • Exclusividade Mútua: Um resultado significativo é a demonstração de que nenhuma teoria polinomial $f(R)$ ou $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho})$ pode ser simultaneamente uma modificação da GR nos limites Galileano e Carrolliano. As condições exigidas para um limite são mutuamente exclusivas com as do outro.
  • Os autores observam que, embora as teorias da forma (4.26) e a gravidade quadrática falhem em satisfazer as condições para modificação simultânea, o algoritmo geral permite a busca por tais teorias na classe mais ampla de $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$, embora nenhuma teoria tenha sido explicitamente construída neste trabalho.

Significância e Alegações
O artigo alega que estabelecer a equivalência desses métodos de derivação remove a ambiguidade na definição da gravidade não lorentziana. Ao converter a expansão de complexos tensores de curvatura em problemas de otimização com restrições, os autores fornecem uma ferramenta computacionalmente eficiente para estudar esses limites.

• Contexto Galileano: Expansões de ordem superior são notadas como úteis para melhorar a precisão de sistemas dinâmicos na aproximação pós-newtoniana.
• Contexto Carrolliano: Embora as expansões Carrollianas de ordem superior careçam de aplicação física imediata, os autores sugerem que, com o crescente interesse na física Carrolliana (ex: horizontes de buracos negros, holografia), um método algorítmico para computar essas ordens será benéfico.
• Trabalhos Futuros: O artigo conclui modestamente que a busca por uma teoria que modifique a GR em ambos os limites simultaneamente permanece um problema aberto para pesquisas futuras, e a análise de sistemas dinâmicos específicos usando o algoritmo proposto é deixada para trabalhos subsequentes.

Os autores não alegam ter descoberto novos fenômenos físicos, mas sim terem fornecido um arcabouço matemático rigoroso e um algoritmo computacional que unifica abordagens existentes e facilita o estudo sistemático de correções de ordem superior em regimes não lorentzianos.