Hamiltonian equations of motion of quadratic gravity

In dit artikel worden met behulp van Cadabra de Hamiltoniaanse bewegingsvergelijkingen voor kwadratische zwaartekracht expliciet berekend, waarna deze worden vergeleken met covariante veldvergelijkingen en toegepast op homogene en isotrope configuraties.

De kern

De Zwaartekracht van de Toekomst: Een Simpele Uitleg van "Quadratische Zwaartekracht"

Stel je voor dat de zwaartekracht, zoals we die kennen van Einstein, een simpele, soepele deken is die de ruimte en tijd bedekt. Deze deken reageert op alles wat erop ligt (zoals sterren en planeten) door te zakken. Dit is wat we "Algemene Relativiteit" noemen.

Maar wat als we die deken niet alleen laten zakken, maar ook kijken naar hoe de plooien in de stof zelf eruitzien? Wat als we de zwaartekracht niet alleen beschrijven door de vorm van de deken, maar ook door hoe diep de plooien zijn en hoe ze tegen elkaar aan drukken? Dat is wat deze wetenschapper, Jorge Bellorin, doet in zijn paper over Quadratische Zwaartekracht.

Hier is de uitleg, vertaald naar alledaagse taal:

1. Het Probleem: De "Te Complexe" Deek

Einstein's theorie werkt fantastisch voor de meeste dingen, maar als we kijken naar het heel kleinste niveau (kwantummechanica) of naar het allereerste moment van het heelal, loopt de theorie vast. Het is alsof je probeert een simpele vergelijking te gebruiken om een ingewikkeld computerspel te simuleren; het werkt niet goed genoeg.

Wetenschappers hebben daarom een "upgrade" bedacht: Quadratische Zwaartekracht. In plaats van alleen naar de kromming van de ruimte te kijken (zoals Einstein deed), kijken ze ook naar de kromming van de kromming.

• Analogie: Stel je voor dat je een rubberen mat trapt. Einstein kijkt alleen naar hoe diep het gat is. Quadratische zwaartekracht kijkt ook naar hoe de randen van het gat vervormen en hoe de spanning in het rubber zelf werkt. Dit maakt de theorie "renormaliseerbaar" (een technisch woord dat betekent: we kunnen er wiskundige oneindigheden mee oplossen), maar het introduceert ook een nieuw probleem: het wordt heel erg ingewikkeld om de beweging van deze "mat" te berekenen.

2. De Oplossing: De Hamiltonian "Stuurinrichting"

Om deze complexe theorie te bestuderen, moet je weten hoe de ruimte in de tijd beweegt. Hiervoor gebruiken wetenschappers een methode genaamd de Hamiltoniaanse formulering.

• Analogie: Stel je voor dat je een auto wilt besturen. Je kunt kijken naar de weg (de "Lagrangiaanse" manier, of hoe de auto er nu uitziet), maar dat is lastig om te voorspellen waar hij over een uur is. De Hamiltoniaanse manier is alsof je een dashboard hebt met een snelheidsmeter en een stuurwiel. Je kijkt niet alleen naar waar de auto is, maar ook naar hoe snel hij gaat en in welke richting hij wil gaan. Dit geeft je een completer beeld om de beweging te voorspellen.

In dit paper heeft Bellorin voor het eerst de exacte bewegingsvergelijkingen voor deze "dashboard-weergave" van Quadratische Zwaartekracht opgeschreven. Vroeger wisten we hoe de theorie eruitzag, maar we hadden de specifieke regels (de vergelijkingen) niet om te berekenen hoe het zich gedraagt.

3. De Hulp van de Robot: Cadabra

Het rekenwerk voor dit soort theorieën is zo enorm ingewikkeld dat een mens er waarschijnlijk jaren over zou doen en zeker fouten zou maken.

• Analogie: Het is alsof je een duizendpoot probeert te tekenen terwijl je blind bent. Bellorin heeft een slimme computerprogramma gebruikt genaamd Cadabra.
• Wat doet Cadabra? Het is als een super-rekenmachine die niet alleen getallen kan optellen, maar ook begrijpt wat "ruimte", "tijd" en "kromming" zijn. Het kan duizenden symbolen in een keer verwerken en zorgt ervoor dat de wiskunde klopt. Bellorin gebruikt dit om de vergelijkingen te "ontmaskeren".

4. De Grote Ontdekking: De "Spiegel" en de "Gaten"

Een van de belangrijkste dingen die Bellorin ontdekte, is hoe deze nieuwe theorie zich verhoudt tot de oude theorie van Einstein.

• Het Probleem: In de nieuwe theorie zijn er extra "knoppen" (wiskundige variabelen) die je kunt draaien. Soms lijken deze knoppen willekeurig te zijn.
• De Vindst: Bellorin ontdekte dat als je de oude theorie van Einstein (de "normale" zwaartekracht) erbij haalt, je die willekeurige knoppen niet meer zomaar kunt draaien. Je moet ze op een specifieke manier vastzetten.
• Analogie: Stel je voor dat je een poppetje op een podium hebt. In de oude show (Einstein) mag het poppetje vrij rondlopen. Maar in de nieuwe show (Quadratisch) moet je het poppetje vastzetten aan een onzichtbaar touw als je de oude show erbij wilt betrekken. Als je dat niet doet, klopt de show niet meer.
• Conclusie: Hij bewees dat de nieuwe "dashboard-methode" (Hamiltoniaans) alleen werkt als je een specifieke voorwaarde stelt: de "ruimtelijke maat" moet spoorloos zijn (een wiskundige term die betekent dat er geen "extra" uitrekking is in één richting). Dit is een cruciale regel om de theorie stabiel te houden.

5. Het Heelal in Eenvoud: Een Expanderende Bal

Om te laten zien dat zijn vergelijkingen echt werken, heeft Bellorin ze toegepast op een heel simpel scenario: een heelal dat overal hetzelfde is en in alle richtingen uitdijt (zoals ons eigen heelal).

• Het Resultaat: Hij kon exacte oplossingen vinden voor hoe zo'n heelal zich gedraagt. Hij vond scenario's waarin het heelal uitdijt als een "stofwolk" of als "straling".
• Waarom is dit cool? Het bewijst dat de vergelijkingen niet alleen mooi op papier staan, maar dat ze daadwerkelijk fysieke situaties kunnen beschrijven. Het is alsof je een nieuwe motor hebt ontworpen en hem vervolgens in een auto hebt gezet om te zien of hij rijdt. En ja, hij rijdt!

Samenvatting in één zin

Jorge Bellorin heeft met behulp van een slim computerprogramma de specifieke regels voor het besturen van een ingewikkeld nieuw model van zwaartekracht geschreven, bewezen dat dit model alleen stabiel werkt als je bepaalde "willekeurige knoppen" vastzet, en getoond dat dit model realistische scenario's voor het heelal kan beschrijven.

Het is een belangrijke stap om te begrijpen hoe zwaartekracht werkt op het allerfundamenteelste niveau, en het legt de basis voor toekomstige ontdekkingen over de oorsprong van het heelal.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Hamiltonian equations of motion of quadratic gravity" van Jorge Bellorin, weergegeven in het Nederlands.

Probleemstelling

Kwadratische zwaartekracht (quadratic gravity) is een theorie die de meest algemene Lagrangiaan bevat met termen van kwadratische orde in de krommingstensor (specifiek $R_{\mu\nu}R^{\mu\nu}$ en $R^2$, naast de Einstein-Hilbert-term). Hoewel deze theorie renormaliseerbaar is, kent ze fysieke instabiliteiten (zoals Ostrogradsky-instabiliteiten) en negatieve norm-modi, wat haar toelaatbaarheid als kwantumtheorie van de zwaartekracht in twijfel trekt.

Het centrale probleem dat in dit artikel wordt aangepakt, is het ontbreken van een expliciete formulering van de vergelijkingen van beweging in de Hamiltoniaanse vorm voor deze theorie. Hoewel de Hamiltoniaanse formulering voor kwadratische zwaartekracht eerder is onderzocht (o.a. door Buchbinder en Lyahovich), ontbrak een expliciete, uitgewerkte set differentiaalvergelijkingen in de literatuur. Zonder deze vergelijkingen is het moeilijk om de dynamica van de theorie te analyseren, het beginwaardeprobleem correct te definiëren, of numerieke simulaties uit te voeren die gebaseerd zijn op eerste-orde tijdsafgeleiden.

Methodologie

De auteur hanteert de volgende methodologische aanpak:

1. Formulering: Er wordt gebruikgemaakt van de generalisatie van de Ostrogradsky-methode, ontwikkeld door Buchbinder en Lyahovich. In tegenstelling tot de standaard Ostrogradsky-methode die alleen tijdsafgeleiden als nieuwe coördinaten gebruikt, maakt deze generalisatie gebruik van de ADM-formalisme (Arnowitt-Deser-Misner) om de ruimtelijke en tijdscomponenten van de metriek te scheiden.
2. Variabelen: De theorie bevat hogere-orde tijdsafgeleiden. Om dit op te lossen, worden de extrinsieke krommingstensor $K_{ij}$ en zijn conjugate impuls $P^{ij}$ als extra canonieke variabelen geïntroduceerd naast de ruimtelijke metriek $g_{ij}$ en zijn impuls $\pi^{ij}$.
3. Computatietool: Vanwege de extreme complexiteit van de algebraïsche manipulaties (met name het hanteren van indices, contracties en variaties) wordt de symbolische computertools Cadabra gebruikt. Dit stelt de auteur in staat om de Poisson-haakjes en de afgeleide vergelijkingen van beweging expliciet en foutloos te berekenen.
4. Analyse:
   • Afleiding van de primaire en secundaire constraints.
   • Berekening van de algebra van de constraints (eerste klas).
   • Afleiding van de niet-perturbatieve vergelijkingen van beweging.
   • Linearisatie van de vergelijkingen rond een Minkowski-achtergrond en toepassing van een longitudinaal-transversale decompositie.
   • Vergelijking met de covariante veldvergelijkingen.
   • Toepassing op homogene en isotrope configuraties (kosmologische oplossingen).

Belangrijkste Bijdragen

• Expliciete Vergelijkingen van Beweging: Voor het eerst worden de volledige Hamiltoniaanse vergelijkingen van beweging voor kwadratische zwaartekracht expliciet gepresenteerd (vergelijkingen 5.1 t/m 5.4). Dit vult een belangrijke lacune in de literatuur op.
• Poisson-haakjes en Constraints: De auteur levert expliciete uitdrukkingen voor de Poisson-haakjes tussen de canonieke velden en de constraints, waaronder sommige die eerder niet expliciet in de literatuur waren getoond. Dit bevestigt dat de constraints een eerste-klass algebra vormen die analoog is aan die van de algemene relativiteitstheorie (ART).
• Linearisatie en Decompositie: Een volledige lineaire analyse wordt uitgevoerd waarbij de veldvariabelen worden ontbonden in longitudinale en transversale componenten. Dit maakt het mogelijk om de dynamica van de verschillende modi (scalair, vectorieel, tensorieel) afzonderlijk te bestuderen.
• Vergelijking met Covariante Formulier: Er wordt een strikte vergelijking gemaakt tussen de Hamiltoniaanse en de covariante (Lagrangiaanse) veldvergelijkingen in de lineaire benadering.

Resultaten

1. Geldigheid van de Lineaire Formulering: Een cruciale bevinding is dat de lineaire Hamiltoniaanse formulering alleen equivalent is met de covariante veldvergelijkingen als de Einstein-Hilbert-termen actief zijn ($\kappa^{-2} \neq 0$). In dit geval moet de longitudinale scalair $h_L$ (het spoor van de perturbatieve ruimtelijke metriek) worden vastgelegd via de voorwaarde:
   $$h_L = -h_T$$
   Dit betekent dat de perturbatieve ruimtelijke metriek spoorloos (traceless) moet zijn. Zonder deze voorwaarde ontstaat er een discontinuïteit tussen de twee formuleringen. Dit is een noodzakelijke vereiste voor de geldigheid van de lineaire Hamiltoniaanse benadering.
2. Vrijheidsgraden: De theorie heeft 8 fysieke modi (16 canonieke variabelen minus 2 keer het aantal eerste-klass constraints).
3. Kosmologische Oplossingen: De vergelijkingen worden toegepast op een homogeen en isotroop universum (FLRW-metriek) gekoppeld aan een perfect vloeistof. De auteur vindt expliciete analytische oplossingen voor de schaalfactor $a(t)$:
   • Voor straling ($k=1/3$) groeit $a(t)$ lineair met de tijd.
   • Voor stof ($k=0$) geldt $a(t) \sim t^{4/3}$.
   • Er wordt ook een dynamische vacuümlösing gevonden waarbij $a(t) \sim \sqrt{t}$.
   • Deze oplossingen zijn consistent met de covariante veldvergelijkingen.
4. Beperkingen: De afgeleide formulering vereist dat de koppelingsconstante van de $R_{\mu\nu}R^{\mu\nu}$-term niet nul is. Hierdoor is deze specifieke Hamiltoniaanse formulering niet continu verbonden met de standaard ADM-formulering van de algemene relativiteitstheorie (de limiet $\alpha \to 0$ is niet glad binnen dit formalisme).

Betekenis en Conclusie

Dit artikel levert een fundamentele bijdrage aan de theorie van kwadratische zwaartekracht door de "ontbrekende schakel" van de expliciete Hamiltoniaanse bewegingsvergelijkingen te bieden.

• Conceptueel: Het bevestigt de geldigheid van de Hamiltoniaanse aanpak en verduidelijkt de rol van de constraints als generatoren van transformaties (diffeomorfismen).
• Praktisch: De vergelijkingen zijn essentieel voor numerieke relativiteit, waar integratie vaak gebaseerd is op eerste-orde tijdsafgeleiden.
• Kwantumtheorie: De analyse van de equivalentie tussen de Hamiltoniaanse en covariante formulering is cruciaal voor de canonieke kwantisatie. De noodzaak om de spoorloosheid van de metriek op te leggen in de lineaire benadering heeft implicaties voor hoe de kwantumtheorie moet worden geconstrueerd om de juiste dynamica te reproduceren.

De auteur concludeert dat het gebruik van Cadabra de complexiteit van deze berekeningen haalbaar maakte en hoopt dat deze resultaten als basis zullen dienen voor toekomstig onderzoek, zowel in de niet-perturbatieve als de kwantumcontext.