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

Technische Samenvatting: Uniciteit van Galileïsche en Carrolliaanse Limieten en Toepassing op Hogere-Afgeleide Zwaartekracht

Probleemstelling
Het artikel behandelt de fragmentatie in methoden die worden gebruikt om niet-Lorentziaanse zwaartekrachttheorieën (Galileïsche en Carrolliaanse limieten) af te leiden uit Lorentziaanse theorieën. Hoewel er diverse technieken bestaan—zoals pre-niet-relativistische (PNR) en pre-ultralokale (PUL) parametrisaties, oneindige schaling (IS), zero-signature (ZS) benaderingen en het gaugen van de Galileïsche en Carrolliaanse algebra (GAG en CAG)—is hun equivalentie niet rigoureus vastgesteld over alle contexten heen. Bovendien is er een gebrek aan een verenigd, algoritmisch kader om de $n$-de orde expansies te berekenen voor generieke hogere-afgeleide zwaartekrachttheorieën (HDG), variërend van $f(R)$-zwaartekracht tot de meest algemene $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$ theorieën.

Methodologie
De auteurs maken gebruik van een vergelijkende analyse van bestaande afleidingsmethoden, gevolgd door de constructie van een gegeneraliseerd expansie-algoritme.

1. Equivalentiebewijzen: Het artikel toont aan dat verschillende methoden identieke metriekstructuren en connectie-definities opleveren:

   • Galileïsche Limiet: De PNR-parametrisatie kan worden geconstrueerd vanuit het gaugen van de Galileïsche algebra (GAG). De PNR-benadering is eveneens equivalent aan de Infinite Scaling (IS) methode (het nemen van de norm van de normale vector naar oneindig in een ADM-decompositie).
   • Carrolliaanse Limiet: De PUL-parametrisatie wordt geconstrueerd vanuit het gaugen van de Carrolliaanse algebra (CAG). De PUL-benadering is bewezen equivalent aan de Zero Signature (ZS) benadering (het instellen van de metriek-signatuur op nul in een ADM-decompositie).
   • Verenigd Kader: Door de introductie van een reële parameter $\epsilon$ in de ADM-decompositie (waarbij $\epsilon$ de signatuur representeert, met waarden $1, -1, 0$), verenigen de auteurs de afleiding van deze limieten. De limiet $\epsilon \to 0$ komt overeen met de Carrolliaanse limiet, terwijl $\epsilon \to -\infty$ de Galileïsche limiet vertegenwoordigt.

2. Algoritmische Expansie: Gebruikmakend van de vastgestelde uniciteit, leiden de auteurs een generieke expansie af voor krommingstensors. Zij transformeren het probleem van het berekenen van de $n$-de orde van Galileïsche en Carrolliaanse expansies voor willekeurige HDG-theorieën naar beperkte optimalisatieproblemen (constrained optimization problems).

   • De Lagrangiaan wordt geëxpandeerd in machten van de lichtsnelheid ($c$ of $c^{-1}$).
   • De coëfficiënten van deze expansies worden bepaald door optimalisatieproblemen op te lossen (specifiek het vinden van de minimale of maximale macht van $c$) onderhevig aan restricties afgeleid van de tensorstructuur van de theorie.
   • De Simplex-methode wordt geïdentificeerd als het computationele instrument om deze optimalisatieproblemen op te lossen.

Belangrijkste Bijdragen en Resultaten

• Unificatie van Methoden: Het artikel biedt een rigoureus bewijs dat ogenschijnlijk uiteenlopende methoden (parametrisatie versus algebra-gauging versus signatuur-limieten) wiskundig equivalent zijn. Dit vestigt een "unieke" limiet voor elke gegeven Lorentziaanse theorie.

• Algemeen Algoritme voor HDG: Een systematisch algoritme wordt gepresenteerd om de Leading Order (LO) en Next-to-Leading Order (NLO) te berekenen voor elke metriek-theorie van zwaartekracht van eindige orde.

  • Voor $f(R)$-zwaartekracht leiden de auteurs expliciete formules af voor de elektrische (LO) en magnetische (NLO) Carrolliaanse limieten en de Newton-Cartan (LO) en Torsional Newton-Cartan (NLO) Galileïsche limieten.
  • Voor $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho})$-zwaartekracht wordt de expansie geformuleerd als een beperkt optimalisatieprobleem waarbij de orde van de limiet afhangt van de machten van de Riemann-tensor en de metriek in de Lagrangiaan.
  • Voor de meest algemene HDG ($f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$) incorporeert het algoritme covariante afgeleiden, waarbij deze worden geëxpandeerd in specifieke machten van $c$ en een multi-variabele optimalisatieprobleem wordt geformuleerd om de dominante termen te bepalen.

• Condities voor GR-Modificatie: Het artikel leidt specifieke condities af waaronder een zwaartekrachttheorie fungeert als een modificatie van de Algemene Relativiteitstheorie (GR) in deze limieten.

  • Voor $f(R)$-theorieën vereist een modificatie van GR in de Galileïsche limiet specifieke restricties op de macht van $c$ in de koppelingsconstanten (bijv. $N \leq -2$), terwijl de Carrolliaanse limiet $N \geq 2$ vereist.
  • Wederzijdse Exclusiviteit: Een belangrijk resultaat is de demonstratie dat geen enkele polynomiale $f(R)$- of $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho})$-theorie simultaan een modificatie van GR kan zijn in zowel de Galileïsche als de Carrolliaanse limiet. De condities die vereist zijn voor de ene limiet zijn wederzijds exclusief met die voor de andere.
  • De auteurs merken op dat hoewel theorieën van de vorm (4.26) en kwadratische zwaartekracht niet voldoen aan de condities voor simultane modificatie, het algemene algoritme de zoektocht naar dergelijke theorieën in de bredere klasse van $f(g_{\mu\nu}, R_{\mu\nu\sigma\rho}, \nabla_\mu)$ mogelijk maakt, hoewel er in dit werk geen dergelijke theorie expliciet is geconstrueerd.
    Betekenis en Claims
    Het artikel claimt dat het vaststellen van de equivalentie van deze afleidingsmethoden de ambiguïteit in de definitie van niet-Lorentziaanse zwaartekracht wegneemt. Door de expansie van complexe krommingstensors om te zetten in beperkte optimalisatieproblemen, bieden de auteurs een computationeel efficiënt instrument voor het bestuderen van deze limieten.

• Galileïsche Context: Hogere-orde expansies worden opgemerkt als nuttig voor het verbeteren van de nauwkeurigheid van dynamische systemen in de post-Newtoniaanse benadering.

• Carrolliaanse Context: Hoewel hogere-orde Carrolliaanse expansies momenteel geen directe fysieke toepassing hebben, suggereren de auteurs dat met de groeiende belangstelling voor Carrolliaanse fysica (bijv. zwarte gat-horizonten, holografie), een algoritmische benadering om deze orden te berekenen voordelig zal zijn.

• Toekomstig Werk: Het artikel concludeert bescheiden dat de zoektocht naar een theorie die GR in beide limieten simultaan modificeert een openstaand probleem blijft voor toekomstig onderzoek, en dat de analyse van specifieke dynamische systemen met behulp van het voorgestelde algoritme is overgelaten aan latere studies.

De auteurs claimen niet een nieuw fysiek fenomeen te hebben ontdekt, maar hebben eerder een rigoureus wiskundig kader en een computationeel algoritme geleverd dat bestaande benaderingen verenigt en de systematische studie van hogere-afgeleide correcties in niet-Lorentziaanse regimes faciliteert.