Accurate and bounded approximation of quantum correlation functions

Het voorspellen van hoe een complex kwantumsysteem in de loop van de tijd verandert, is een van de moeilijkste uitdagingen in de moderne natuurkunde. Wanneer deeltjes op manieren met elkaar interageren die niet vereenvoudigd of opgelost kunnen worden met standaard wiskunde, groeit het enorme aantal mogelijkheden zo snel dat zelfs de krachtigste supercomputers moeite hebben om het bij te houden. Dit is vooral het geval bij systemen die geen eenvoudige, voorspelbare patronen volgen, ook wel bekend als niet-integreerbare systemen. Wetenschappers vertrouwen op deze simulaties om te begrijpen hoe warmte zich verspreidt, hoe informatie wordt verstrengeld en hoe materialen zich gedragen wanneer ze uit evenwicht worden gebracht. Omdat exacte berekeningen voor grote groepen deeltjes echter vaak onmogelijk zijn, moeten onderzoekers gebruikmaken van benaderingen. Het probleem is dat deze kortere wegen meestal komen zonder garantie over hoe dicht ze bij de waarheid liggen. Zonder het kennen van de foutmarge is het moeilijk te zeggen of een simulatie een echt fysisch fenomeen onthult of slechts een fout in de methode.

Een team van onderzoekers aan Imperial College London heeft een nieuwe manier ontwikkeld om deze complexe kwantumsystemen te simuleren, die gepaard gaat met een strikte, wiskundige garantie van nauwkeurigheid. Ze richtten zich op een specifiek type meting genaamd een correlatiefunctie, die bijhoudt hoe een verandering in één deel van een systeem gerelateerd is aan een ander deel naarmate de tijd verstrijkt. Door te bestuderen hoe deze correlaties evolueren, ontdekten ze een verrassende eigenschap: hoewel het gedrag van een enkel deeltje of een kleine groep deeltjes over lange perioden moeilijk nauwkeurig te voorspellen is, kan de relatie tussen twee dergelijke groepen met veel grotere precisie worden voorspeld met een beperkte hoeveelheid informatie. De onderzoekers bewezen dat als men de evolutie van een systeem binnen een kleine, eindige "window" van ruimte berekent, de fout in de correlatiefunctie veel langzamer groeit dan de fout in de individuele deeltjes zelf. Dit betekent dat zelfs als de simulatie van een enkel deeltje begint af te wijken van de werkelijkheid, de berekening van de relatie tussen dat deeltje en een ander deeltje nog aanzienlijk langer accuraat kan blijven.

De kern van hun methode houdt in dat een klein deel van een groter kwantumsysteem wordt geïsoleerd en dat wordt berekend hoe dit op zichzelf evolueert, waarbij de rest van het univers buiten die sectie wordt genegeerd. In een echt systeem interageren deeltjes aan de rand van deze sectie voortdurend met buren buiten het venster, wat er uiteindelijk voor zorgt dat de geïsoleerde berekening onjuist wordt. De onderzoekers toonden aan dat, voor een bepaalde periode, de invloed van deze buitenstaanders de kern van het venster nog niet heeft bereikt, waardoor de geïsoleerde berekening perfect is. Naarmate de tijd verstrijkt, verspreidt de "invloed" zich naar buiten, als een rimpeling, totdat deze de grens van het venster raakt. Het team leidde een strikte wiskundige limiet af voor hoe lang deze benadering geldig blijft. Ze ontdekten dat voor de correlatiefunctie deze geldige periode veel langer is dan voor de individuele deeltjes. Sterker nog, de fout in de correlatiefunctie groeit met een snelheid die het kwadraat is van de foutsnelheid van de individuele deeltjes. Deze kwadratische verbetering betekent dat de benadering veel langer accuraat blijft dan voorheen mogelijk werd geacht.

Om dit idee te testen, pasten de onderzoekers het toe op twee verschillende soorten kwantumsystemen: een eendimensionale keten van spins en een tweedimensionaal honingraatrooster. Ze simuleerden het gedrag van deze systemen met behulp van een eindig venster van variërende grootte. In het eendimensionale geval gebruikten ze een venster van dertien spins gecentreerd in een keten van vijftig. Ze vergeleken de resultaten van dit beperkte venster met het exacte gedrag van het volledige systeem, dat zij precies konden berekenen voor een specifieke, eenvoudigere versie van het model. De resultaten bevestigden hun theorie: de fout in de correlatiefunctie bleef gedurende een lange tijd ongelooflijk klein, terwijl de fout in het gedrag van de individuele deeltjes veel sneller groeide. De wiskundige grens die zij afleidden, die fungeert als een vangnet om wetenschappers precies te vertellen hoe groot de fout zou kunnen zijn, bleek zeer nauwkeurig te zijn. Het was geen losse schatting, maar een precieze limiet die nauw aansloot bij de werkelijk geobserveerde fout in de simulaties.

Het team demonstreerde ook dat deze methode gebruikt kan worden om de nauwkeurigheid van andere populaire simulatietechnieken te controleren die momenteel dergelijke garanties missen. Ze pasten hun kader toe op een methode genaamd matrix-product-operator simulatie, die veel wordt gebruikt maar vaak steunt op numerieke stabiliteit in plaats van bewezen foutmarges. Door de resultaten van deze methode te vergelijken met hun eindige-vensterberekening, konden ze een strikte foutlimiet vaststellen voor de matrix-product-operator resultaten. In hun tests vonden ze dat ze, door een specifiek niveau van computationele detail te kiezen, konden garanderen dat de simulatie minstens even nauwkeurig was als hun eindige-vensterbenadering. Dit biedt een krachtig nieuw instrument voor wetenschappers om hun simulaties te valideren zonder vooraf het exacte antwoord te hoeven weten.

De implicaties van dit werk reiken verder dan alleen het verkrijgen van betere getallen. Het biedt een betrouwbaar pad naar het bestuderen van kwantumchaos en thermalisatie in systemen die te groot zijn voor exacte berekening. De onderzoekers toonden aan dat hun methode niet alleen werkt voor eenvoudige ketens, maar ook voor tweedimensionale roosters, wat suggereert dat het kan worden toegepast op een breed scala aan fysieke materialen. Ze merkten ook op dat de nauwkeurigheid van de methode afhangt van de grootte van het gebruikte venster; grotere vensters maken nauwkeurige voorspellingen over langere perioden mogelijk. In hun tweedimensionale tests ontdekten ze dat het vergroten van de venstergrootte van een kleine cluster naar een grotere hexagonale vorm het punt waarop de fout merkbaar werd, aanzienlijk vertraagde. Dit geeft onderzoekers een duidelijke vuistregel: als ze een systeem voor een specifieke duur willen simuleren, kunnen ze exact berekenen hoe groot hun computationele venster moet zijn om binnen een gewenste foutmarge te blijven.

Uiteindelijk vormt dit onderzoek een brug tussen de onmogelijke taak om een heel kwantumuniversum te simuleren en de praktische noodzaak om het gedrag ervan te begrijpen. Door te bewijzen dat lokale berekeningen globale inzichten kunnen opleveren met gegarandeerde precisie, hebben de auteurs wetenschappers een manier gegeven om hun simulaties van complexe, niet-integreerbare systemen te vertrouwen. Dit is bijzonder belangrijk nu het veld zich beweegt naar het gebruik van werkelijke kwantumcomputers om de natuur te simuleren; het hebben van een klassieke methode met bekende nauwkeurigheid is essentieel om te verifiëren of deze nieuwe kwantummachines correct werken. Het werk vestigt de conclusie dat zelfs in de chaotische, onvoorspelbare wereld van de kwantumveel-deeltjesfysica, er rigoureuze manieren zijn om precies te weten hoe dicht onze benaderingen bij de werkelijkheid liggen.