Symmetry-Adapted Eigensolver from Real-Space Sampling of Tensor-Network-Bridged Quantum Circuits

In de microscopische wereld van de kwantumfysica gedragen atomen en elektronen zich niet als kleine biljartballen; ze bestaan in een staat van diepe verbondenheid die bekend staat als verstrengeling. Wanneer deeltjes verstrengeld zijn, beïnvloedt de toestand van het ene deeltje onmiddellijk de toestand van het andere, ongeacht hoe ver ze van elkaar verwijderd zijn. Dit fenomeen creëert een wiskundige complexiteit die explosief groeit naarmate er meer deeltjes aan een systeem worden toegevoegd. Decennialang hebben wetenschappers geprobeerd deze sterk verbonden systemen te simuleren op klassieke computers, omdat de hoeveelheid informatie die nodig is om deze te beschrijven snel het vermogen van zelfs de krachtigste supercomputers overstijgt. Om dit aan te pakken, wenden onderzoekers zich vaak tot een techniek genaamd het tensornetwerk, dat fungeert als een compressiealgoritme door onnodige details weg te strippen om alleen de meest essentiële verbindingen over te houden. Zelfs deze gecomprimeerde methoden worstelen echter wanneer de verbindingen zich over het hele systeem uitstrekken, wat enorme rekenkracht vereist om het volledige beeld te vangen.

Een team natuurkundigen van de Zhejiang Universiteit heeft nu een nieuwe manier voorgesteld om door deze complexiteit te navigeren door het proces van het bemonsteren van een kwantumtoestand te scheiden van het proces van het definiëren ervan. Hun aanpak, die in een recente studie wordt toegelicht, combineert de sterke punten van kwantumcircuits en klassieke tensornetwerken om een specifiek type moeilijk probleem op te lossen: het vinden van de laagste energietoestand van een systeem van interagerende spins, wat dient als een model voor magnetische materialen. In plaats van te proberen het hele systeem in één keer te berekenen, verdelen ze het rooster van spins in kleinere blokken. Binnen elk blok vangt een kwantumcircuit de lokale verstrengeling op, terwijl een klassieke wiskundige ruggengraat deze blokken verbindt om de globale correlaties te herstellen. De cruciale innovatie ligt in de manier waarop zij de symmetrie van het systeem afhandelen. In plaats van de computer elke mogelijke arrangement van spins te laten berekenen, groeperen ze arrangementen die equivalent zijn onder symmetrieoperaties, zoals rotatie of reflectie. Ze definiëren de kwantumtoestand vervolgens niet door de amplitudes van deze arrangementen op te tellen, maar door hun waarschijnlijkheden te aggregeren. Dit onderscheid stelt hen in staat om monsters van het systeem direct en efficiënt te genereren, zonder de trage, willekeurige wandelingen die gewoonlijk nodig zijn om dergelijke uitgestrekte ruimtes te verkennen.

De onderzoekers testten hun methode op een bekend model van magnetische frustratie, waarbij concurrerende krachten het voor het systeem moeilijk maken om tot een eenvoudige orde te komen. Ze pasten hun techniek toe op eendimensionale ketens en tweedimensionale roosters van spins, waarbij zij symmetrieën zoals translatie en reflectie incorporeerden om ervoor te zorgen dat de resultaten de natuurwetten die het systeem beheersen respecteerden. In hun simulaties gebruikten ze een zeer kleine hoeveelheid computationele middelen, specifiek een parameter die bekend staat als de bond dimension, die de complexiteit van de verbindingen tussen blokken controleert. Zelfs met deze parameter ingesteld op een waarde van slechts zes, produceerde de methode resultaten met een absolute fout in energie per site van slechts één deel op honderdduizend. Dit niveau van nauwkeurigheid is vergelijkbaar met traditionele methoden die bond dimensies in de duizenden vereisen, een verschil dat een enorme reductie in computationele kosten vertegenwoordigt. Het team ontdekte dat door een symmetrie-geadapteerde basis te gebruiken, de langafstandsverstrengeling die de berekening gewoonlijk belast, effectief werd gedragen door de wiskundige structuur van de basis zelf, waardoor de computationele ruggengraat alleen de resterende details hoefde af te handelen.

Een cruciaal aspect van dit werk is hoe de onderzoekers de kwantumcircuits construeerden die werden gebruikt om de monsters te genereren. In plaats van complexe circuits vanaf nul te ontwerpen, wat een moeilijke en foutgevoelige taak is, leidden ze de noodzakelijke verbindingen af uit de gereduceerde dichtheidsmatrix van een kleiner, exact oplosbaar systeem. Deze matrix beschrijft de statistische eigenschappen van een klein blok spins binnen een groter systeem. Door de meest significante patronen uit deze matrix te extraheren, creëerden ze een vereenvoudigde, isometrische kaart die de essentiële verstrengelingsstructuur efficiënt vastlegt. Deze aanpak omzeilt de noodzaak voor diepe, sterk geparametriseerde circuits die moeilijk te optimaliseren zijn, en legt de fysica van het probleem effectief in het bemonsteringsproces zelf. Het resultaat is een hybride raamwerk waarbij de kwantumcircuits fungeren als een generator van real-space configuraties, en het klassieke tensornetwerk dient als een brug die deze configuraties organiseert in een coherente, symmetrie-respecterende toestand.

De studie toont aan dat deze scheiding van rollen een zeer efficiënte simulatie van sterk gecorreleerde systemen mogelijk maakt. De onderzoekers lieten zien dat hun methode, voor een systeem van drieënt zestig spins in een eendimensionale keten en een zestig vier spins rooster in twee dimensies, de grondtoestandsenergie met opmerkelijke precisie kon reproduceren. Ze verifieerden deze bevindingen door hun resultaten te vergelijken met exact diagonalisatie en density matrix renormalization group berekeningen, die worden beschouwd als de gouden standaard voor dergelijke problemen. De overeenkomst was zo nauw dat de kleine discrepanties toegeschreven konden worden aan de eindige grootte van de bond dimension, die verder kan worden gereduceerd door de resultaten te extrapoleren. Dit suggereert dat de methode niet alleen accuraat maar ook schaalbaar is, aangezien de symmetrie-geadapteerde basis van nature de langafstandscorrelaties afhandelt die gewoonlijk enorme computationele middelen vereisen om te simuleren.

Vooruitblikkend merken de auteurs op dat hoewel hun huidige implementatie een klassiek tensornetwerk als ruggengraat gebruikt, het raamwerk compatibel is met gedistribueerde kwantumhardware. De blokken van het systeem kunnen parallel worden verwerkt op afzonderlijke kwantumprocessors, waarbij het klassieke netwerk de resultaten coördineert. Deze architectuur voorkomt de noodzaak voor kwantumprocessors om verstrengeling direct te delen, wat een aanzienlijke hindernis vormt in de huidige gedistribueerde kwantumcomputing. De generatieve stap van het algoritme kan sequentieel op een kwantumapparaat worden uitgevoerd, waarbij exacte monsters van het systeem worden geproduceerd zonder de noodzaak voor complexe amplitude-estimatie. Echter, de laatste stap van het berekenen van de energie-estimator blijft een uitdaging voor directe hardware-implementatie, omdat het vereist dat de amplitude van specifieke configuraties wordt opgevraagd in plaats van verwachtingswaarden te meten. De onderzoekers suggereren dat het herformuleren van deze estimator om te vertrouwen op direct meetbare grootheden de volgende cruciale stap is naar een volledig kwantum-klassieke realisatie.

Uiteindelijk biedt dit werk een nieuw perspectief op hoe men kwantummaterie kan simuleren. Door te erkennen dat de definitie van een kwantumtoestand en het bemonsteren van die toestand van elkaar ontkoppeld kunnen worden, hebben de onderzoekers een manier gevonden om de kracht van symmetrie te benutten om de computationele last te verminderen. De methode bewijst dat het, zelfs met zeer beperkte middelen, mogelijk is om de ingewikkelde dans van verstrengelde deeltjes te vangen, mits men weet waar men moet kijken en hoe men de informatie moet organiseren. De bevindingen suggereren dat de weg naar het simuleren van grotere en complexere kwantumsystemen wellicht niet vraagt om steeds grotere computers, maar om slimmere manieren om de reeds beschikbare informatie te organiseren. Naarmate het veld beweegt naar krachtigere kwantumapparaten, biedt deze aanpak een robuuste en efficiënte brug tussen klassieke simulatietechnieken en de opkomende mogelijkheden van kwantumhardware.