Classical simulation of coherent crosstalk in surface codes

Quantumcomputers beloven problemen op te lossen die voor gewone machines duizenden jaren zouden duren, maar ze zijn ongelooflijk fragiel. Om ze te laten werken, moeten wetenschappers de delicate informatie die ze bevatten beschermen tegen het constante geschud van de omgeving. Een van de meest veelbelovende manieren om dit te doen, is door gebruik te maken van "surface codes" (oppervlaktecodes), een methode waarbij een enkel stuk informatie over een rooster van vele fysieke deeltjes wordt verspreid. Als één deeltje corrupt raakt, kan het systeem de fout detecteren door te controleren hoe de deeltjes met hun buren interageren en deze vervolgens te herstellen. Dit proces berust op een delicaat evenwicht: het systeem moet robuust genoeg zijn om ruis te kunnen verwerken, maar eenvoudig genoeg zodat we kunnen voorspellen hoe het zich zal gedragen. Jarenlang begrepen onderzoekers hoe deze codes omgaan met willekeurige, onvoorspelbare fouten, maar een subtieler en gevaarlijker type ruis bleef een mysterie. Dit is "coherent crosstalk" (coherente kruisspraak), waarbij naburige deeltjes elkaar op een gesynchroniseerde, golfachtige manier beïnvloeden in plaats van dat ze simpelweg willekeurig omdraaien. Omdat deze golven met elkaar kunnen interfereren, creëren ze complexe patronen die berucht moeilijk te voorspellen zijn, waardoor wetenschappers er niet zeker van zijn of hun foutcorrectiesystemen hier werkelijk tegen bestand zijn.

Een team van onderzoekers heeft dit probleem nu gekraakt en biedt een manier om te simuleren hoe deze gesynchroniseerde fouten op grote schaal gedrag vertonen. Ze hebben een nieuw computeralgoritme ontwikkeld dat snel de waarschijnlijke uitkomsten van deze fouten kan berekenen voor surface codes die bestaan uit duizenden fysieke deeltjes. Hun werk onthult een verrassende dualiteit in de aard van kwantumruis. Wanneer de ruis uitsluitend bestaat uit deze gesynchroniseerde interacties tussen buren, is het probleem oplosbaar; de onderzoekers vonden een slimme manier om het complexe rooster af te breken in twee eenvoudiger, onafhankelijke puzzels die direct opgelost kunnen worden. Echter, de situatie verandert drastisch als er zelfs maar een klein beetje van een ander soort ruis aan wordt toegevoegd. Als het systeem wordt blootgesteld aan zowel de gesynchroniseerde interacties tussen buren als aan kleine, individuele rotaties van de deeltjes, wordt het probleem computationeel onhandelbaar voor elke efficiënte klassieke computer, tenzij de fundamentele regels van de informatica volledig worden herschreven.

De onderzoekers concentreerden zich op een specifiek type kwantumfout waarbij naburige deeltjes interageren via een kracht die ervoor zorgt dat ze in unisono roteren. In de echte wereld gebeurt dit wanneer supergeleidende qubits, de bouwstenen van veel kwantumcomputers, dicht bij elkaar worden geplaatst en hun magnetische velden in elkaar lekken. Om te begrijpen of de surface code dit zou kunnen overleven, moest het team de respons van het systeem simuleren. Eerdere pogingen om dit te modelleren waren beperkt tot zeer kleine roosters of vertrouwden op benaderingen die kritieke details zouden kunnen missen. Het nieuwe algoritme kan echter roosters aan met een afstand van 37, wat overeenkomt met 1.369 fysieke deeltjes. Dit doen ze door te beseffen dat het complexe web van interacties op een geroteerd rooster kan worden afgebeeld op twee aparte, eenvoudigere roosters. In plaats van te proberen het enorme, verwarde probleem in één keer op te lossen, splitst het algoritme de taak op in twee kleinere, onafhankelijke problemen met betrekking tot fouten in enkelvoudige deeltjes. Het combineert vervolgens de resultaten om een exact beeld te geven van wat er met het hele systeem gebeurt. Deze aanpak stelt hen in staat om duizenden gesimuleerde foutscenario's in slechts enkele milliseconden te genereren, een prestatie die voor dergelijke grote systemen voorheen onmogelijk was.

Met behulp van dit krachtige instrument testte het team hoe goed een standaard foutcorrectiemethode, bekend als "minimum-weight perfect matching", presteert tegen deze gesynchroniseerde fouten. Ze vergeleken de echte, golfachtige ruis met een vereenvoudigd model waarbij de interacties werden behandeld als willekeurige, onafhankelijke fouten. De resultaten waren schokkend. Wanneer de ruis coherent en gesynchroniseerd was, faalde het foutcorrectiesysteem veel vaker dan het vereenvoudigde model voorspelde. Bij een specifieke sterkte van de ruis was de logische foutenratio bijna vijftig keer hoger dan wanneer dezelfde ruis als willekeurig werd behandeld. Dit suggereert dat het golfachtige karakter van de interferentie de fouten veel moeilijker maakt om te detecteren en te herstellen. Door simulaties uit te voeren op roosters van toenemende grootte, schatten de onderzoekers het punt in waarop het systeem volledig zou stoppen met werken. Ze ontdekten dat de drempelwaarde voor coherente ruis aanzienlijk lager is dan voor willekeurige ruis, wat betekent dat het systeem veel minder deze gesynchroniseerde interferentie kan tolereren voordat het bezwijkt.

De studie onthulde ook een diepgaande theoretische limiet. Hoewel de onderzoekers de gesynchroniseerde buurinteracties efficiënt konden simuleren, bewezen zij dat het toevoegen van zelfs maar een kleine hoeveelheid individuele deeltjesrotatie aan de mix het spel volledig verandert. In dit gecombineerde scenario wordt het patroon van fouten zo complex dat het verbonden is met een klasse van problemen die naar verluidt onoplosbaar zijn voor enige efficiënte klassieke computer, tenzij de polynomiale hiërarchie volledig instort. De onderzoekers toonden aan dat als er een snel algoritme bestond om de uitkomsten van deze gecombineerde ruis te voorspellen, dit zou impliceren dat de wiskundige hiërarchie die de moderne computerwetenschap onderbouwt, zou instorten. Dit betekent dat voor het meest algemene geval van kwantumruis, we de uitkomst van deze grote systemen mogelijk nooit perfect kunnen voorspellen met standaard computers. De enige manier om te weten wat er gebeurt, is door de eigenlijke kwantummachine te bouwen en deze te observeren.

De implicaties van deze bevindingen zijn tweeledig. Ten eerste bieden ze een praktisch hulpmiddel voor ingenieurs die kwantumcomputers bouwen. Het nieuwe algoritme stelt hen in staat om hun ontwerpen te testen tegen realistische, golfachtige ruis zonder dat ze de hardware eerst hoeven te bouwen, waarbij wordt onthuld dat huidige foutcorrectiestrategieën robuuster moeten zijn dan voorheen gedacht. Ten tweede benadrukt het werk een fundamentele grens in ons vermogen om kwantumsystemen te begrijpen. Het laat zien dat terwijl sommige soorten kwantumruis getemd en voorspeld kunnen worden, op het moment dat we een mix van verschillende soorten ruis introduceren, de complexiteit buiten ons bereik explodeert. De onderzoekers benadrukken dat hun resultaten gebaseerd zijn op simulaties en theoretische bewijzen, en niet op fysieke experimenten, maar ze bieden een duidelijke waarschuwing: de golfachtige interferentie van fouten is een krachtige dreiging die niet genegeerd kan worden, en de instrumenten die we gebruiken om het te bestrijden, moeten even geavanceerd zijn als de ruis zelf.