Dynamic Induction of Lattice Gauge Theories on a Quantum Computer

Stel je voor dat het universum is gebouwd op een reeks onzichtbare, onbreekbare regels, vergelijkbaar met de regels van een bordspel. In de natuurkunde worden deze regels "gauge-symmetrieën" genoemd, en ze bepalen hoe deeltjes met elkaar interageren en hoe krachten zoals elektriciteit en magnetisme werken. Een van de bekendste regels is de "wet van Gauss", die fungeert als een scheidsrechter en ervoor zorgt dat de totale lading in een specifieke plek altijd perfect in evenwicht is met het omringende elektrische veld. Als dit evenwicht wordt verbroken, vallen de natuurwetten zoals wij die kennen uit elkaar. Decennialang hebben wetenschappers geprobeerd deze complexe regels op kwantumcomputers te simuleren om alles te begrijpen, van de geboorte van sterren tot het gedrag van exotische materialen. Het houden van deze "scheidsrechters" tevreden op een kwantumcomputer is echter een nachtmerrie geweest. De computers zijn luidruchtig, en de regels zijn zo strikt dat zelfs een kleine fout de hele simulatie ontregelt, waardoor wetenschappers ofwel hun gegevens moeten weggooien of ongelooflijk ingewikkelde circuits moeten bouwen die te traag zijn om nuttig te zijn.

Een team onderzoekers heeft een slimme nieuwe manier gevonden om het spel te spelen. In plaats van te proberen een circuit te bouwen dat de regels van de scheidsrechter vanaf het begin perfect volgt, begonnen ze met een veel eenvoudigere, "slordigere" set regels en voegden ze vervolgens een speciale "bewaker" toe die het systeem zachtjes terug naar de juiste lijn duwt wanneer het probeert de wet te overtreden. Denk aan een kind dat leert fietsen: in plaats van een fiets te bouwen met zijwieltjes die perfect stijf en zwaar zijn, plaatsten ze een zachte, onzichtbare hand op het stuur die de fiets alleen weer naar het midden duwt als hij te veel begint te wankelen. Door deze methode van "dynamische inductie" te gebruiken, slaagde het team erin om een complex model van de deeltjesfysica, de Schwinger-modellen, te simuleren op een echte kwantumcomputer met 101 qubits. Ze ontdekten dat deze nieuwe aanpak niet alleen de fysica accuraat hield, maar de taak van de computer ook vijf keer gemakkelijker maakte dan de oude methoden, wat de deur opent naar het simuleren van nog complexere universums in de toekomst.

Het Probleem: De Scheidsrechter is Te Strikt

In de wereld van kwantumsimulatie willen wetenschappers het gedrag van deeltjes en krachten recreëren met behulp van qubits (de bits van een kwantumcomputer). Het doel is meestal een "Lattice Gauge Theory" (LGT), een roostergebaseerd model van hoe deeltjes interageren. De grootste hoofdpijn is de wet van Gauss. In een perfecte simulatie moet de computer in een "fysieke" toestand blijven waarin deze wet nooit wordt geschonden.

Traditioneel waren er twee manieren om dit aan te pakken:

1. De Analoge Weg: Bouw een machine waarbij het breken van de wet zoveel energie kost dat het nooit gebeurt. Dit is als een zwaar gewicht op een deur plaatsen zodat deze niet geopend kan worden.
2. De Digitale Weg: Voer de simulatie uit, controleer de resultaten en gooi alle gegevens weg waarbij de wet werd geschonden. Dit is als een videogame spelen en je bestand telkens verwijderen wanneer je tegen een muur aan botst.

Beide methoden hebben gebreken. De eerste is moeilijk te bouwen, en de tweede verspilt veel gegevens en vereist ongelooflijk diepe, complexe circuits die huidige kwantumcomputers niet kunnen verwerken zonder te veel fouten te maken.

De Nieuwe Truc: De "Bewaker"-hand

De auteurs van dit artikel, werkend op de 156-qubit processor van IBM genaamd ibm_basquecountry, probeerden een derde benadering. Ze vroegen zich af: "Wat als we niet beginnen met de perfecte regels? Wat als we beginnen met een eenvoudiger, makkelijker te bouwen set regels en dan een 'bewaker' toevoegen die de fouten dynamisch herstelt?"

Ze begonnen met een "drie-lichamen XXX-model". Stel je een lijn van qubits voor waarbij groepen van drie met elkaar interageren. Dit model is gemakkelijk te programmeren en draait snel, maar het heeft een probleem: het staat toe dat het systeem afdrijft naar "onfysische" toestanden waarin de wet van Gauss wordt geschonden.

Om dit te herstellen, voegden ze een "gauge-beschermingsterm" toe. Dit is een speciale energieboete die wordt toegepast met behulp van eenvoudige single-qubit gates. Het werkt als een bewakerhand. Als het systeem probeert af te drijven naar een onfysische toestand, duwt deze bewaker het terug. Cruciaal is dat deze bewaker niet deel hoeft te zijn van de hoofdinteractie; hij hoeft er alleen maar te zijn om het systeem eerlijk te houden.

Het Experiment: 101 Qubits en een Race Tegen de Ruis

Het team testte dit idee op een keten van 101 qubits. Ze simuleerden het "Schwinger-model", dat beschrijft hoe deeltjes en antideeltjes worden gecreëerd en vernietigd. Ze vergeleken drie verschillende manieren om de simulatie uit te voeren:

1. De Directe Methode: Proberen vanaf het begin een perfect, complex circuit te bouwen. (Ze vonden dit te luidruchtig en diep om goed te werken).
2. De PXP-methode: Een vereenvoudigde versie die sommige deeltjes verwijdert om de wiskunde makkelijker te maken.
3. De Dynamisch Geïnduceerde Methode: De nieuwe "bewaker"-aanpak.

De resultaten waren indrukwekkend. De nieuwe methode verminderde de "diepte" van het circuit (het aantal stappen dat de computer moet nemen) met een factor vijf vergeleken met de directe methode. In plaats van 35 complexe stappen nodig te hebben, hadden ze er slechts 7 nodig.

Ze voerden de simulatie uit vanaf twee verschillende toestanden: een "volledig gevulde" toestand (waar elke plek een deeltje heeft) en een "vacuüm" (waar het leeg is). Ze observeerden hoe het elektrische veld in de loop van de tijd veranderde. De resultaten van de kwantumcomputer kwamen bijna perfect overeen met de theoretische voorspellingen voor de eerste acht stappen van de simulatie.

Wat Ze Vonden (en Wat Ze Niet Vonden)

Het artikel laat zien dat deze "dynamische inductie" werkt. De "bewaker" hield het systeem succesvol in de juiste fysieke toestand, waarbij fouten met meer dan tien keer werden onderdrukt vergeleken met het draaien zonder deze. Het elektrische veld oscilleerde precies zoals de theorie voorspelde, of de massa van de deeltjes nu nul, 0,5 of 1 was.

De auteurs merken echter voorzichtig op dat dit geen wondermiddel is voor alles.

• Het is niet perfect: Naarmate de simulatie langer liep, daalde het aantal "shots" (pogingen) dat de veiligheidscontrole doorstond aanzienlijk. Voor het 101-qubit systeem bleef na 8 stappen minder dan 1% van de gegevens geldig. Dit komt omdat het systeem groot is, en de kans dat een deel van het systeem de regel breekt, toeneemt met de grootte.
• Het lost niet alle ruis op: Het team testte of deze bewaker ook willekeurige hardware-ruis kon oplossen (zoals wanneer een qubit in de war raakt door een rondzwervend magnetisch veld). Ze ontdekten dat het hier niet veel bij hielp. De bewaker stopt alleen het systeem met opzettelijk in de verkeerde toestand afdrijven; het kan niet voorkomen dat de computer willekeurige fouten maakt.
• Het is een simulatie, geen ontdekking: Het artikel bevestigt dat deze methode werkt voor het simuleren van het Schwinger-model. Het suggereert dat deze aanpak kan worden opgeschaald naar hogere dimensies (zoals 2D- of 3D-roosters), maar zij hebben dat nog niet gedaan.

Waarom Dit Er Toe Doet

Dit werk verandert de manier waarop we over symmetrie in kwantumcomputing denken. In plaats van de wet van Gauss te zien als een strikte beperking die zaken moeilijk maakt, laten de auteurs zien dat het gebruikt kan worden als een instrument om de simulatie te ontwerpen. Door een eenvoudige bewaker te gebruiken om de regels af te dwingen, kunnen ze veel eenvoudigere, snellere circuits gebruiken.

Dit is een grote zaak omdat het betekent dat we mogelijk veel complexere theorieën van het universum kunnen simuleren op de huidige, luidruchtige kwantumcomputers. Als we de "bewakerhand" maar stabiel kunnen houden, kunnen we binnenkort wellicht het gedrag van quarks en gluonen modelleren op manieren die voorheen onmogelijk waren, waarmee we een stap dichter bij het begrijpen van de fundamentele bouwstenen van de werkelijkheid komen.