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

Sintesi Tecnica: Unicità dei Limiti Galileani e Carrolliani e Applicazione alla Gravità ad Alte Derivate

Problema
Il documento affronta la frammentazione nei metodi utilizzati per derivare teorie della gravità non lorentziane (limiti galileani e carrolliani) a partire da teorie lorentziane. Sebbene esistano varie tecniche — come le parametrizzazioni pre-nonrelativistiche (PNR) e pre-ultralocali (PUL), lo scaling infinito (IS), gli approcci a firma zero (ZS) e la gauging delle algebre di Galilei e Carroll (GAG e CAG) — la loro equivalenza non è stata rigorosamente stabilita in tutti i contesti. Inoltre, vi è una mancanza di un framework unificato e algoritmico per calcolare l'espansione all'ordine $n$ per generiche teorie della gravità ad alte derivate (HDG), che spaziano dalla gravità $f(R)$ alle più generali teorie $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$.

Metodologia
Gli autori impiegano un'analisi comparativa dei metodi di derivazione esistenti seguita dalla costruzione di un algoritmo di espansione generalizzato.

1. Dimostrazioni di Equivalenza: Il documento dimostra che metodi distinti producono strutture metriche e definizioni di connessione identiche:

   • Limite Galileano: Si dimostra che la parametrizzazione PNR è costruibile tramite la gauging dell'algebra di Galilei (GAG). Allo stesso modo, l'approccio PNR è equivalente al metodo di Scaling Infinito (IS) (prendendo il modulo del vettore normale all'infinito in una decomposizione ADM).
   • Limite Carrolliano: La parametrizzazione PUL è costruita tramite la gauging dell'algebra di Carroll (CAG). L'approccio PUL è dimostrato equivalente all'approccio a Firma Zero (ZS) (impostando la firma del metrico a zero in una decomposizione ADM).
   • Framework Unificato: Introducendo un parametro reale $\epsilon$ nella decomposizione ADM (dove $\epsilon$ rappresenta la firma, assumendo i valori $1, -1, 0$), gli autori unificano la derivazione di questi limiti. Il limite $\epsilon \to 0$ corrisponde al limite carrolliano, mentre $\epsilon \to -\infty$ corrisponde al limite galileano.

2. Espansione Algoritmica: Sfruttando l'unicità stabilita, gli autori derivano un'espansione generica per i tensori di curvatura. Trasformano il problema del calcolo dell'ordine $n$ delle espansioni galileane e carrolliane per arbitrarie teorie HDG in problemi di ottimizzazione vincolata.

   • Il Lagrangiano viene espanso in potenze della velocità della luce ($c$ o $c^{-1}$).
   • I coefficienti di queste espansioni sono determinati risolvendo problemi di ottimizzazione (specificamente, trovare la potenza minima o massima di $c$) soggetti a vincoli derivati dalla struttura tensoriale della teoria.
   • Il metodo del Simplex viene identificato come lo strumento computazionale per risolvere tali problemi di ottimizzazione.

Contributi Chiave e Risultati

• Unificazione dei Metodi: Il documento fornisce una prova rigorosa che i metodi apparentemente disparati (parametrizzazione vs. gauging dell'algebra vs. limiti di firma) sono matematicamente equivalenti. Ciò stabilisce un limite "unico" per ogni data teoria lorentziana.
• Algoritmo Generale per HDG: Viene presentato un algoritmo sistematico per calcolare l'Ordine Dominante (LO) e l'Ordine Successivo al Dominante (NLO) per qualsiasi teoria metrica della gravità di ordine finito.
  • Per la gravità $f(R)$, gli autori derivano formule esplicite per i limiti carrolliani elettrici (LO) e magnetici (NLO) e i limiti galileani di Newton-Cartan (LO) e di Newton-Cartan con Torsione (NLO).
  • Per la gravità $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho})$, l'espansione è formulata come un problema di ottimizzazione vincolata dove l'ordine del limite dipende dalle potenze del tensore di Riemann e del metrico nel Lagrangiano.
  • Per la più generale HDG ($f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$), l'algoritmo incorpora le derivate covarianti, espandendole in specifici ordini di $c$ e formulando un problema di ottimizzazione multi-variabile per determinare i termini dominanti.
• Condizioni per la Modifica della GR: Il documento deriva condizioni specifiche sotto le quali una teoria della gravità agisce come una modifica della Relatività Generale (GR) in questi limiti.
  • Per le teorie $f(R)$, una modifica della GR nel limite galileano richiede vincoli specifici sulla potenza di $c$ nelle costanti di accoppiamento (ad esempio, $N \leq -2$), mentre il limite carrolliano richiede $N \geq 2$.
  • Esclusività Mutua: Un risultato significativo è la dimostrazione che nessuna teoria polinomiale $f(R)$ o $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho})$ può essere simultaneamente una modifica della GR sia nel limite galileano che in quello carrolliano. Le condizioni richieste per un limite sono mutuamente esclusive con quelle per l'altro.
  • Gli autori osservano che, sebbene le teorie della forma (4.26) e la gravità quadratica falliscano nel soddisfare le condizioni per la modifica simultanea, l'algoritmo generale permette la ricerca di tali teorie nella classe più ampia di $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$, sebbene nessuna tale teoria sia esplicitamente costruita in questo lavoro.

Significato e Rivendicazioni
Il documento afferma che stabilire l'equivalenza di questi metodi di derivazione rimuove l'ambiguità nella definizione della gravità non lorentziana. Convertendo l'espansione di complessi tensori di curvatura in problemi di ottimizzazione vincolata, gli autori forniscono uno strumento computazionalmente efficiente per studiare questi limiti.

• Contesto Galileano: Le espansioni di ordine superiore sono notate come utili per migliorare l'accuratezza dei sistemi dinamici nell'approssimazione post-newtoniana.
• Contesto Carrolliano: Sebbene le espansioni carrolliane di ordine superiore manchino attualmente di un'applicazione fisica immediata, gli autori suggeriscono che, con la crescente attenzione alla fisica carrolliana (ad esempio, orizzonti di buchi neri, olografia), un approccio algoritmico per calcolare questi ordini diventerà benefico.
• Lavoro Futuro: Il documento conclude modestamente che la ricerca di una teoria che modifichi la GR in entrambi i limiti simultaneamente rimane un problema aperto per la ricerca futura, e l'analisi di specifici sistemi dinamici utilizzando l'algoritmo proposto è lasciata a lavori successivi.

Gli autori non pretendono di aver scoperto nuovi fenomeni fisici, ma piuttosto di aver fornito un framework matematico rigoroso e un algoritmo computazionale che unifica gli approcci esistenti e facilita lo studio sistematico delle correzioni ad alte derivate nei regimi non lorentziani.