Het universum is gebouwd op een reeks onzichtbare regels die bepalen hoe deeltjes met elkaar interageren, regels die natuurkundigen beschrijven met behulp van wiskundige structuren die gauge-theorieën worden genoemd. Deze theorieën zijn essentieel voor het begrijpen van alles, van het licht dat ons in staat stelt te zien tot de krachten die atoomkernen bij elkaar houden. Het simuleren van deze regels op een computer is echter berucht moeilijk. De wiskundige objecten die centraal staan in deze theorieën, bekend als gauge-velden, gedragen zich als draaiende wielen die slechts in specifieke, discrete richtingen kunnen wijzen, vergelijkbaar met de handen van een klok die alleen op de uuraanduidingen kunnen stoppen. In tegenstelling hiertoe maken de meest geavanceerde kwantumcomputers die vandaag de dag beschikbaar zijn geen gebruik van draaiende wielen; zij gebruiken vibrerende systemen, vergelijkbaar met een gitaarsnaar, die met elke gewenste hoeveelheid energie kunnen trillen en in elke richting kunnen wijzen. Deze fundamentele mismatch heeft wetenschappers er lang voor verhinderd om deze specifieke soorten natuurwetten met perfecte nauwkeurigheid te simuleren met behulp van kwantumhardware.

Een team van onderzoekers heeft nu een manier gevonden om deze kloof te overbruggen, door een methode te creëren om het gedrag van deze draaiende wielen te vertalen naar de taal van vibrerende snaren zonder de essentiële fysica te verliezen. In een nieuwe studie demonstreren de auteurs hoe ze de beperkte, circulaire aard van deze gauge-velden kunnen coderen in de continue, onbegrensde ruimte van een kwantumoscillator. Ze bereikten dit door gebruik te maken van een speciaal type foutcorrigerende code, een wiskundig kader dat de continue trillingen dwingt zich te gedragen alsof ze op een cirkel zijn beperkt. De onderzoekers lieten zien dat deze codering niet slechts een benadering is, maar een exacte overeenkomst in de ideale limiet, en zelfs wanneer de hardware imperfect is, zijn de fouten voorspelbaar en kunnen ze worden verwijderd. Door deze techniek toe te passen op een vereenvoudigd model van elektromagnetisme in drie dimensies, waren ze in staat de minuscule energieverschillen te herstellen die voortkomen uit de unieke topologie van het systeem, wat bewees dat de methode met hoge precisie werkt.

De kernuitdaging die het team aanpakte, was het verschil tussen de hardware en de theorie. Kwantumhardware gebaseerd op bosonische modi, zoals supergeleidende circuits of gevangen ionen, ondersteunt van nature continue variabelen. Een deeltje in een dergelijk systeem kan een positie of impuls hebben die elk reëel getal is. De gauge-velden in de theorie zijn echter compact, wat betekent dat ze periodiek zijn; als je ver genoeg in één richting beweegt, kom je weer terug bij het beginpunt. Traditioneel hebben wetenschappers geprobeerd de continue hardware te dwingen dit na te bootsen door de ruimte in kleine, discrete stukjes te hakken, maar dit introduceert fouten die toenemen naarmate de simulatie complexer wordt. De nieuwe aanpak vermijdt deze afkaping volledig. In plaats van de ruimte af te kappen, gebruikten de onderzoekers een stabilizer, een wiskundig instrument dat werkt als een filter. Dit filter selecteert een specifiek patroon van trillingen dat zichzelf met regelmatige intervallen herhaalt, waardoor de oneindige lijn van mogelijkheden effectief op een cirkel wordt gewikkeld. Hierdoor kan de continue hardware exact dezelfde informatie dragen als de compacte theorie, mits het systeem in de juiste toestand wordt voorbereid.

Om hun methode te testen, richtten de onderzoekers zich op een specifieke versie van kwantumelektrodynamica, een theorie die beschrijft hoe licht en materie interageren, gereduceerd tot een enkele vierkante lus van de ruimte. Ze introduceerden statische elektrische ladingen in dit systeem, die fungeren als vaste obstakels die de randvoorwaarden van de golf verdraaien. In deze verdraaide omgeving ontwikkelt het systeem een minuscule energieshift die bekend staat als twist-energie, een fenomeen dat voortkomt uit het kwantumtunnelen van magnetische flux door de lus. Deze energie is ongelooflijk klein en moeilijk te meten omdat deze begraven ligt onder veel grotere klassieke energiebijdragen. Het team simuleerde de tijdsontwikkeling van het systeem, waarbij ze een deeltje en een antideeltje paar creëerden en observeerden hoe zij interageerden met het gauge-veld. Door de grote, bekende energiebijdragen zorgvuldig te verwijderen en de resultaten te extrapoleren om de effecten van de eindige hardwareprecisie te elimineren, waren ze in staat de minuscule twist-energie te isoleren.

De resultaten van de simulatie waren opmerkelijk. De onderzoekers ontdekten dat hun gecodeerde systeem de exacte dynamica van de compacte theorie reproduceerde tot binnen een procent van de werkelijke waarde. Ze waren in staat de energie-splitsing tussen verschillende ladingsectoren te meten, een waarde die exponentieel klein is en dient als de kiem voor de magnetische monopole-fysica die inherent is aan de theorie. De studie bevestigde dat de fouten die werden geïntroduceerd door de eindige energie van de hardware geen willekeurige ruis waren, maar systematische verschuivingen die berekend en afgetrokken konden worden. Door de simulatie uit te voeren bij verschillende niveaus van squeezing, een parameter die de precisie van de kwantumtoestand regelt, konden ze de resultaten extrapoleren naar de ideale limiet, waardoor de exacte theoretische waarde werd teruggewonnen. Dit toonde aan dat de codering de integriteit van de fysica bewaart, zelfs wanneer de hardware niet perfect is.

Het artikel verkende ook hoe deze methode omgaat met de aanwezigheid van dynamische materie, waarbij de ladingen niet vaststaan maar kunnen bewegen. In dit scenario wordt de twist een dynamische variabele in plaats van een vaste instelling. De onderzoekers toonden aan dat hun kader deze complexiteit kon accommoderen, waarbij het foutenbudget beheersbaar bleef. Ze detailserden hoe de fouten zich manifesteren als kleine verschuivingen in de energieniveaus en hoe deze verschuivingen afhangen van de specifieke configuratie van het systeem. Cruciaal was dat ze bewezen dat de leidende fouten gecorrigeerd of gemitigeerd konden worden door middel van extrapolatie, wat betekent dat de resultaten niet afhankelijk zijn van het feit dat de hardware perfect is, maar eerder van het vermogen om de imperfecties te begrijpen en te modelleren. Dit onderscheid is van vitaal belang, aangezien het suggereert dat huidige en nabije kwantumapparaten gebruikt kunnen worden om deze complexe theorieën te bestuderen zonder te wachten op fouttolerante machines.

Een van de meest significante aspecten van het werk is de manier waarop het de instandhouding van natuurwetten behandelt. In de gereduceerde theorie losten de onderzoekers een beperking op die bekend staat als de wet van Gauss, die ervoor zorgt dat de totale lading in een regio in evenwicht is. Deze reductie liet hen achter met een reeks onafhankelijke oscillatoren, die elk een vrijheidsgraad van het gauge-veld vertegenwoordigen. Ze toonden aan dat de stabilizer die ze introduceerden communiceert met de dynamica van het systeem, wat betekent dat de foutcorrectie de evolutie van het systeem niet verstoort. Dit maakt een niet-destructieve meting van het foutsyndroom mogelijk, een signaal dat aangeeft of het systeem is afgedreven van de beoogde toestand. Door dit signaal te meten, kunnen de onderzoekers verplaatsingsfouten detecteren en corrigeren die worden veroorzaakt door fotonverlies of imperfecte operaties, waardoor de simulatie op koers blijft.

De studie vergeleek ook twee verschillende manieren om de variabelen in de simulatie te organiseren, bekend als frames. Eén frame behandelt de magnetische flux als de primaire variabele, terwijl het andere frame de link-hoeken als de primaire variabele behandelt. Beide frames beschrijven dezelfde fysieke realiteit, maar ze verschillen in de benodigde computationele middelen en de specifieke aard van de fouten die ze introduceren. De onderzoekers boden een gedetailleerde verantwoording van deze verschillen, waarbij ze lieten zien dat het ene frame efficiënter kan zijn voor bepaalde typen berekeningen. Ze vonden dat de keuze van het frame invloed heeft op de grootte van de systematische bias, waarbij het ene frame een schoner foutenprofiel biedt. Dit niveau van detail biedt een routekaart voor toekomstige implementaties, waardoor wetenschappers de meest efficiënte weg kunnen kiezen voor hun specifieke simulatiedoelen.

In de uiteindelijke analyse vormt het werk een belangrijke stap voorwaarts in het vakgebied van de kwantumsimulatie. Het gaat verder dan het idee om complexe theorieën simpelweg te benaderen met beperkte middelen en biedt in plaats daarvan een rigoureuze methode om ze exact te coderen. De onderzoekers hebben aangetoond dat de kloof tussen de continue aard van bosonische hardware en de compacte aard van gauge-velden kan worden gedicht met een combinatie van stabilizers en foutmitigatie. Door hun methode te valideren op een enkele plaquette, hebben ze de basis gelegd voor het opschalen van de techniek naar grotere roosters. Het vermogen om exponentieel kleine energie-splitsingen met hoge precisie te herstellen, suggereert dat deze aanpak binnenkort gebruikt kan worden om de niet-perturbatieve regimes van kwantumveldentheorieën te verkennen, regio's die momenteel ontoegankelijk zijn voor klassieke computers. De studie bevestigt dat met de juiste codering de beperkingen van de hardware beheersbaar zijn, waardoor de continue trillingen van een kwantumoscillator een precies instrument worden om de fundamentele wetten van het universum te onderzoeken.