Topological entanglement entropy in 3D gravity

In de zoektocht naar het begrijpen van hoe het universum werkt op zijn meest fundamentele niveau, hebben natuurkundigen lang vermoed dat ruimte en tijd niet gladde, continue weefsels zijn, maar in plaats daarvan geweven zijn uit iets meer korreligs, zoals draden in een tapijt. Dit idee staat centraal in een veld dat quantumzwaartekracht wordt genoemd, dat probeert de regels van het zeer kleine te verzoenen met de regels van het zeer grote. Een bijzonder krachtig instrument voor het verkennen van dit mysterie is een concept dat holografie wordt genoemd, dat suggereert dat een driedimensionaal volume van de ruimte volledig kan worden beschreven door informatie die op zijn tweedimensionale oppervlak is opgeslagen, net zoals een hologram een 3D-beeld opslaat op een plat stuk film. Binnen dit kader is een specifieke formule naar voren gekomen: deze vertelt ons hoe de hoeveelheid verborgen informatie, of entropie, die in een regio van de ruimte is bevat, berekend kan worden door de oppervlakte van een oppervlak te meten dat die regio scheidt van de rest van het universum. Deze formule is ongelooflijk succesvol geweest, maar werd oorspronkelijk afgeleid met een methode die het universum behandelt als een som van alle mogelijke geschiedenissen, een wiskundige benadering die moeilijk te interpreteren is als een beschrijving van een enkele, reële fysieke toestand.

Een team onderzoekers heeft nu een ander pad bewandeld om dezelfde bestemming te bereiken, waarbij ze deze cruciale formule hebben afgeleid zonder te vertrouwen op de som van geschiedenissen. In plaats daarvan bouwden ze een model met behulp van een structuur die een tensornetwerk wordt genoemd, wat kan worden beschouwd als een gigantisch, onderling verbonden web van wiskundige instructies die nabootsen hoe quantuminformatie door de ruimte stroomt. Door dit web te construeren om te voldoen aan de strikte regels van symmetrie die de zwaartekracht beheersen, en door zorgvuldig de effecten van materie toe te voegen, waren zij in staat aan te tonen hoe de entropie van een regio natuurlijk voortkomt uit de geometrie van het netwerk zelf. Hun werk demonstreert dat de beroemde formule voor entropie niet slechts een gelukkige gok of het resultaat is van een specifieke wiskundige truc, maar een direct gevolg is van hoe quantuminformatie is georganiseerd in een gravitationeel universum. Ze ontdekten dat wanneer de materie binnen het netwerk voldoende willekeurig is, het systeem automatisch de meest efficiënte manier selecteert om de ruimte te verdelen, waardoor de entropie wordt bepaald door de kortst mogelijke weg door de 'bulk', een resultaat dat standhoudt, zelfs voor draaiende zwarte gaten en complexe, tijdsveranderende universa.

De onderzoekers begonnen met het creëren van een model van een universum met behulp van een rooster van wiskundige knopen en verbindingen, een structuur die fungeert als een vereenvoudigde versie van de ruimtetijd. In dit model dragen de verbindingen informatie over de geometrie van de ruimte, terwijl de knopen punten vertegenwoordigen waar deze geometrie samenkomt. Om het model realistisch te maken, moesten ze ervoor zorgen dat het de het principe van diffeomorfisme-invariantie respecteerde, wat betekent dat de wetten van de fysica niet moeten veranderen als je het rooster uitrekt of indrukt, zolang je het niet scheurt. Dit is een fundamentele vereiste voor elke theorie van zwaartekracht, omdat het ervoor zorgt dat de vorm van de ruimte een fysieke realiteit is en niet slechts een artefact van hoe wij ervoor kiezen het te tekenen. Ze introduceerden ook materie in het netwerk, gerepresenteerd als extra 'poten' die aan het rooster zijn bevestigd, om te zien hoe de aanwezigheid van deeltjes de informatiestroom zou veranderen.

Aanvankelijk keken ze naar een versie van het netwerk zonder enige materie. In deze schone, lege staat ontdekten ze dat de entropie van een regio kon worden opgedeeld in drie afzonderlijke delen. Eén deel hing af van de specifieke toestand van de materie, een ander van de interne complexiteit van de regio, en een derde deel leek verrassend veel op een oppervlakte-term. Deze oppervlakte-term werd bepaald door de "dichtheid van toestanden" die beschikbaar is voor het netwerk, een eigenschap die afhangt van de type symmetriegroep die gebruikt is om het model te bouwen. Echter, in deze lege versie was er slechts één manier om het netwerk in tweeën te snijden, dus was er geen noodzaak om te kiezen tussen verschillende paden. De formule werkte, maar het miste de dynamische kwaliteit van het echte universum, waar meerdere oppervlakken met elkaar concurreren om de entropie te definiëren.

Om het model dichter bij de realiteit te brengen, introduceerden de onderzoekers materie en beschouwden ze twee verschillende scenario's. In het eerste scenario hielden ze de toestand van de materie vast, oftewel ze zetten de deeltjes vast op hun plaats. In dit geval maakte het netwerk veel verschillende manieren mogelijk om een lijn te trekken die een regio van een andere scheidt, afhankelijk van aan welke kant van de lijn de materiedeeltjes vielen. Elke van deze lijnen definieerde een andere entropie, maar het model vertelde hen niet welke de "juiste" was. Het was als het hebben van een kaart met vele mogelijke routes tussen twee steden, maar zonder verkeersgegevens om te vertellen welke route de snelste is.

De doorbraak kwam toen ze een tweede scenario overwogen: wat als de materie niet vaststond, maar in een willekeurige, chaotische toestand was? Ze behandelden de materie als een willekeurig ensemble, een statistische collectie van mogelijkheden die het gedrag van een complex, thermisch systeem nabootst. Wanneer ze de entropie gemiddelden over al deze willekeurige configuraties, gebeurde er iets opmerkelijks. De wiskundige som over alle mogelijke sneden door het netwerk werd gedomineerd door één specifieke snede. Dit was de snede die de totale entropie minimaliseerde, wat effectief de meest efficiënte weg selecteerde door het verstrengelde web van informatie. Dit selectieproces is precies wat de formule voor het quantum extreme oppervlak voorspelt: het universum kiest van nature het oppervlak dat de gegeneraliseerde entropie minimaliseert, waarbij het de oppervlakte van het oppervlak afweegt tegen de entropie van de materie erin.

De onderzoekers verbonden hun bevindingen vervolgens met de fysica van driedimensionale zwaartekracht. Ze stelden voor dat hun tensornetwerkmodel, wanneer het wordt geïnterpreteerd door de lens van een specifieke wiskundige structuur die een quantumgroep wordt genoemd, een versie van zwaartekracht beschrijft waarbij de metriek, het wiskundige object dat afstanden definieert, inversibel en goed gedefinieerd is. In deze interpretatie komt de "oppervlakte"-term in hun entropieformule rechtstreeks overeen met de lengte van een geodeet, wat de kortste weg is tussen twee punten in een gekromde ruimte. Ze toonden aan dat voor een statisch, tijdsymmetrisch universum, deze lengte overeenkomt met de beroemde Ryu-Takayanagi-formule, die de entropie relateert aan de lengte van een curve op een tijd-doorsnede. Maar hun model ging verder. Ze pasten het toe op een draaiend zwart gat, een scenario waarin het universum niet statisch is en de tijdsymmetrie gebroken is. In dit geval is het oppervlak dat de entropie minimaliseert niet een eenvoudige tijd-doorsnede, maar een complexer oppervlak dat zich door de ruimtetijd uitstrekt. Hun model identificeerde dit oppervlak correct en berekende de entropie als zijnde proportioneel aan de lengte van de horizon, wat overeenkomt met de Bekenstein-Hawking entropie, een fundamenteel resultaat in de zwart gat-fysica.

Cruciaal is dat de onderzoekers dit alles hebben afgeleid zonder gebruik te maken van de padintegraalmethode, die alle mogelijke geschiedenissen bij elkaar optelt. In plaats daarvan gebruikten ze een canonieke benadering, waarbij ze begonnen met een enkele, goed gedefinieerde toestand op een doorsnede van de tijd en deze evolueerden volgens de regels van de quantummechanica. Dit is significant omdat het laat zien dat het holografisch principe en de formule voor het quantum extreme oppervlak niet slechts artefacten zijn van een specifieke wiskundige techniek, maar inherente kenmerken zijn van de quantumtoestanden die zwaartekracht beschrijven. Ze toonden aan dat de minimalisatie van entropie een natuurlijk gevolg is van de manier waarop quantuminformatie is verdeeld in een gravitationeel systeem, voortvloeiend uit de competitie tussen verschillende manieren om de ruimte te partitioneren.

Het artikel verkende ook het idee om een compacte regio van de ruimte in de 'bulk' te definiëren, niet alleen een die de grens raakt. Ze vonden dat door de materie-poten als markeringen te gebruiken, men een gauge-invariante regio in het midden van het universum kan definiëren. Als de materie buiten deze regio vaststaat, wordt de entropie bepaald door de grens van de regio zelf. Als de buitenste materie willekeurig is, wordt de entropie bepaend door het minimum van de gegeneraliseerde entropie over alle mogelijke regio's die de vaste materie bevatten. Dit suggereert een lokale versie van het holografisch principe, waarbij de entropie van een regio wordt bepaald door haar eigen interne geometrie en de informatie die zij deelt met de rest van het universum, zonder dat daarvoor de verre grens nodig is.

Samenvattend hebben de onderzoekers een nieuwe, rigoureuze afleiding van de formule voor het quantum extreme oppervlak geleverd met behulp van een tensornetwerkmodel. Door materie in te voegen en te middelen over willekeurige toestanden, toonden zij aan hoe het universum van nature het oppervlak selecteert dat de entropie minimaliseert, waarbij ze de resultaten voor zowel statische als draaiende zwarte gaten reproduceerden. Hun werk overbrugt de kloof tussen de abstracte wiskunde van holografie en de concrete fysica van quantumtoestanden, en biedt een helderder beeld van hoe ruimte, tijd en informatie met elkaar verweven zijn in het weefsel van de zwaartekracht. De resultaten suggereren dat het holografisch principe een robuust kenmerk is van de quantumzwaartekracht, dat natuurlijk voortkomt uit de structuur van de theorie zelf, onafhankelijk van de specifieke wiskundige hulpmiddelen die worden gebruikt om het te verkennen.