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

Resumen Técnico: Unicidad de los Límites Galileano y Carrolliano y Aplicación a la Gravedad de Derivadas de Orden Superior

Planteamiento del Problema
El artículo aborda la fragmentación en los métodos utilizados para derivar teorías gravitatorias no lorentzianas (límites galileanos y carrollianos) a partir de las lorentzianas. Aunque existen diversas técnicas —como las parametrizaciones pre-no relativista (PNR) y pre-ultralocal (PUL), el escalamiento infinito (IS), los enfoques de firma cero (ZS) y el gauging de las álgebras de Galilei y Carroll (GAG y CAG)—, su equivalencia no ha sido rigurosamente establecida en todos los contextos. Además, existe una falta de un marco algorítmico unificado para computar la expansión de orden $n$ para teorías genéricas de gravedad de derivadas de orden superior (HDG), que van desde la gravedad $f(R)$ hasta las teorías más generales de $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$.

Metodología
Los autores emplean un análisis comparativo de los métodos de derivación existentes seguido de la construcción de un algoritmo de expansión generalizado.

1. Pruebas de Equivalencia: El artículo demuestra que distintos métodos producen estructuras métricas y definiciones de conexión idénticas:

   • Límite Galileano: Se demuestra que la parametrización PNR es construible a partir del gauging del álgebra de Galilei (GAG). Del mismo modo, el enfoque PNR es equivalente al método de Escalamiento Infinito (IS) (tomando la norma del vector normal al infinito en una descomposición ADM).
   • Límite Carrolliano: La parametrización PUL se construye a partir del gauging del álgebra de Carroll (CAG). El enfoque PUL es probado como equivalente al enfoque de Firma Cero (ZS) (estableciendo la firma de la métrica en cero en una descomposición ADM).
   • Marco Unificado: Al introducir un parámetro real $\epsilon$ en la descomposición ADM (donde $\epsilon$ representa la firma, tomando los valores $1, -1, 0$), los autores unifican la derivación de estos límites. El límite $\epsilon \to 0$ corresponde al límite carrolliano, mientras que $\epsilon \to -\infty$ corresponde al límite galileano.

2. Expansión Algorítmica: Aprovechando la unicidad establecida, los autores derivan una expansión genérica para los tensores de curvatura. Transforman el problema de calcular el $n$-ésimo orden de las expansiones galileana y carrolliana para arbitrarias teorías HDG en problemas de optimización con restricciones.

   • El Lagrangiano se expande en potencias de la velocidad de la luz ($c$ o $c^{-1}$).
   • Los coeficientes de estas expansiones se determinan resolviendo problemas de optimización (específicamente, encontrando el mínimo o máximo exponente de $c$) sujetos a las restricciones derivadas de la estructura tensorial de la teoría.
   • El método Simplex se identifica como la herramienta computacional para resolver estos problemas de optimización.

Contribuciones Clave y Resultados

• Unificación de Métodos: El artículo proporciona una prueba rigurosa de que los métodos aparentemente dispares (parametrización vs. gauging de álgebra vs. límites de firma) son matemáticamente equivales. Esto establece un límite "único" para cualquier teoría lorentziana dada.
• Algoritmo General para HDG: Se presenta un algoritmo sistemático para computar el Orden de Orden Superior (LO) y el Orden de Siguiente Orden (NLO) para cualquier teoría métrica de gravedad de orden finito.
  • Para la gravedad $f(R)$, los autores derivan fórmulas explícitas para los límites carrollianos eléctrico (LO) y magnético (NLO) y los límites galileanos de Newton-Cartan (LO) y de Newton-Cartan con Torsión (NLO).
  • Para la gravedad $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho})$, la expansión se formula como un problema de optimización con restricciones donde el orden del límite depende de las potencias del tensor de Riemann y la métrica en el Lagrangiano.
  • Para la HDG más general ($f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$), el algoritmo incorpora derivadas covariantes, expandiéndolas en órdenes específicos de $c$ y formulando un problema de optimización multivariable para determinar los términos dominantes.
• Condiciones para la Modificación de la GR: El artículo deriva condiciones específicas bajo las cuales una teoría de la gravedad actúa como una modificación de la Relatividad General (GR) en estos límites.
  • Para las teorías $f(R)$, una modificación de la GR en el límite galileano requiere restricciones específicas sobre la potencia de $c$ en las constantes de acoplamiento (por ejemplo, $N \leq -2$), mientras que el límite carrolliano requiere $N \geq 2$.
  • Exclusividad Mutua: Un resultado significativo es la demostración de que ninguna teoría polinómica $f(R)$ o $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho})$ puede ser simultáneamente una modificación de la GR en los límites galileano y carrolliano. Las condiciones requeridas para un límite son mutuamente excluyentes con las del otro.
  • Los autores señalan que, si bien las teorías de la forma (4.26) y la gravedad cuadrática fallan en satisfacer las condiciones para la modificación simultánea, el algoritmo general permite la búsqueda de tales teorías en la clase más amplia de $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$, aunque no se construye explícitamente tal teoría en este trabajo.

Significancia y Reivindicaciones
El artículo sostiene que establecer la equivalencia de estos métodos de derivación elimina la ambigüedad en la definición de la gravedad no lorentziana. Al convertir la expansión de complejos tensores de curvatura en problemas de optimización con restricciones, los autores proporcionan una herramienta computacionalmente eficiente para estudiar estos límites.

• Contexto Galileano: Se señala que las expansiones de orden superior son útiles para mejorar la precisión de los sistemas dinámicos en la aproximación post-newtoniana.
• Contexto Carrolliano: Aunque las expansiones carrollianas de orden superior carecen actualmente de una aplicación física inmediata, los autores sugieren que, con el creciente interés en la física carrolliana (por ejemplo, horizontes de agujeros negros, holografía), un enfoque algorítmico para computar estos órdenes será beneficioso.
• Trabajo Futuro: El artículo concluye modestamente que la búsqueda de una teoría que modifique la GR en ambos límites simultáneamente sigue siendo un problema abierto para investigaciones futuras, y que el análisis de sistemas dinámicos específicos utilizando el algoritmo propuesto se deja para trabajos posteriores.

Los autores no pretenden haber descubierto nuevos fenómenos físicos, sino que han proporcionado un marco matemático riguroso y un algoritmo computacional que unifica los enfoques existentes y facilita el estudio sistemático de las correcciones de derivadas de orden superior en regímenes no lorentzianos.