Resilience Beyond the Light Cone: Error-Detected Primitives for Practical Dynamic Circuits

Kwantumcomputers beloven problemen op te lossen die er voor klassieke machines duizenden jaren zouden duren, maar ze worden geconfronteerd met een fundamentele hindernis: ze zijn ongelooflijk fragiel. Om berekeningen uit te voeren, manipuleren deze machines minuscule deeltjes die qubits worden genoemd, die in een delicate staat kunnen bestaan van zowel 0 als 1 tegelijkertijd. De standaardmanier om een kwantumcircuit te bouwen is door een reeks operaties achter elkaar op te stellen, als kralen aan een snoer. Het probleem is dat naarmate je meer kralen toevoegt, de kans groter wordt dat de ketting breekt door ruis en imperfecties in de hardware. Dit creëert een "lichtkegel" van invloed, wat betekent dat een verandering aan het begin van het circuit slechts een beperkt aantal qubits kan bereiken tegen de tijd dat de berekening voltooid is, tenzij het circuit zeer diep en lang wordt gemaakt.

Om deze limiet te doorbreken, hebben onderzoekers "dynamische circuits" ontwikkeld. In plaats van te wachten tot de hele berekening is voltooid, pauzeren deze circuits halverwege om enkele qubits te meten en gebruiken ze de resultaten om de instructies voor de resterende qubits onmiddellijk te wijzigen. Dit stelt de machine in staat om verbindingen te creëren tussen qubits die ver van elkaar verwijderd zijn, zonder een lange, foutgevoelige keten van operaties nodig te hebben. Deze snelheid heeft echter een prijs. De handeling van het meten en reageren in realtime introduceert eigen fouten, vaak afkomstig van de meetapparatuur zelf die imperfect is. Op de huidige hardware kunnen deze meetfouten zo ernstig zijn dat ze de zeer langeafstandsverbindingen die de techniek juist probeert te creëren, vernietigen, waardoor het dynamische circuit niet beter is dan de trage, traditionele methode.

Een team van onderzoekers van IBM Quantum en de University of Wisconsin-Madison heeft een manier gevonden om deze afruil op te lossen. Ze hebben een nieuwe methode ontwikkeld waarmee deze snelle, dynamische circuits hun eigen fouten kunnen detecteren en wegwerpen zonder extra hardware nodig te hebben of het proces te vertragen. Door de kwantuminformatie te behandelen als een gedistribueerd signaal over vele qubits, creëerden ze een systeem dat kan detecteren wanneer een meting fout gaat en simpelweg die specifieke poging kan weggooien, waarbij alleen de succesvolle pogingen worden behouden. In experimenten op een supergeleidende kwantumprocessor maakte deze aanpak het mogelijk om een langafstandsverstrengeld paar qubits te creëren, gescheiden door 100 andere qubits, met een succespercentage dat bewees dat de verbinding echt was, een prestatie die de standaard, foutgevoelige versie van hetzelfde circuit niet kon bereiken.

De kern van deze nieuwe methode berust op een concept dat de auteurs "gedistribueerde controle" noemen. Stel je voor dat je probeert een enkele lichtschakelaar te bedienen die verbonden is met honderd verschillende lampen verspreid over een kamer. In een traditionele opstelling zou je een lange gang af moeten lopen om één voor één de schakelaars om te zetten, wat tijd kost en het risico loopt de verbinding te verbreken. In de dynamische aanpak verspreidt het team het "controlesignaal" gelijktijdig over alle lampen met behulp van een speciale gedeelde staat. Ze gebruiken vervolgens een tweestaps-proces: eerst verdelen ze dit controlesignaal over de machine, en daarna laten ze het weer inklappen naar één enkel punt om de taak te voltooien. De genialiteit van hun werk ligt in de manier waarop ze de tweede stap afhandelen. In plaats van alleen het signaal te laten inklappen, voegen ze een laag van controles toe die verifiëren of het signaal tijdens de reis intact is gebleven.

Deze controles werken door te zoeken naar inconsistenties in het patroon van de qubits. Als het signaal is gecorrumpeerd door ruis of een slechte meting, zal het patroon er fout uitzien, en het systeem markeert de poging als een mislukking. De onderzoekers testten twee soorten controles. Het eerste type, dat ze "expliciete controles" noemen, kijkt direct naar specifieke paren qubits om te zien of ze overeenkomen. Het tweede type, de "impliciete controles" genoemd, is krachtiger; het vergelijkt de resultaten van verschillende metingen met elkaar om fouten te vangen die het eerste type zou kunnen missen, inclusief fouten gemaakt door de meetapparaten zelf. Hoewel dit proces betekent dat de computer de berekening vaker moet uitvoeren om een succesvol resultaat te vinden, vonden de onderzoekers dat de afruil de moeite waard is. De succesvolle runs zijn van veel hogere kwaliteit, en de extra tijd die wordt besteed aan het wachten op een goed resultaat is veel minder dan de tijd die verloren gaat aan fouten in een traditionele opstelling.

Om te bewijzen dat dit in de echte wereld werkt, voerde het team experimenten uit op een kwantumprocessor genaamd IBM Boston. Hun eerste test hield het creëren van een langafstands-gate in, een instrument dat twee qubits verbindt die ver van elkaar verwijderd zijn. Ze slaagden erin om twee qubits te koppelen die gescheiden werden door een keten van 100 andere qubits. Zonder hun foutdetectiemethode was de verbinding te zwak om als echt beschouwd te worden, met een fidelity-score van ongeveer 0,39. Met de foutdetectie actief, sprong de fidelity naar 0,59, een score die hoog genoeg is om te certificeren dat de twee verre qubits werkelijk verstrengeld waren. Dit was een significante verbetering, die aantoonde dat de foutdetectie succesvol de ruis had weggefilterd die normaal gesproken deze langafstandverbindingen ruïneert.

In een tweede experiment gebruikte het team dezelfde techniek om een specif kind van een complexe staat voor te bereiden, bekend als een W-toestand, die een enkele excitatie bevat die gedeeld wordt door vele qubits. Ze bereidden deze toestanden voor voor systemen variërend van 5 tot 20 qubits. In elk geval produceerde de versie met foutdetectie een veel schoner resultaat. Voor het grootste systeem van 20 qubits verbeterde de foutdetectie de kwaliteit van de toestand met ongeveer 0,2 vergeleken met de standaardmethode. De onderzoekers merkten op dat hoewel het proces vereiste dat sommige pogingen werden weggegooid, de snelheid van succesvolle uitkomsten hoog genoeg bleef om praktisch te zijn. Ze observeerden dat de methode bijzonder goed was in het oplossen van fouten veroorzaakt door het meetproces zelf, wat vaak de grootste flessenhals is in dynamische circuits.

De implicaties van dit werk strekken zich uit voorbij deze twee tests. De onderzoekers toonden aan dat hun framework kan worden toegepast op een breed scala aan taken, waaronder het voorbereiden van complexe toestanden zoals Dicke-toestanden en het uitvoeren van een fundamenteel algoritmisch instrument genaamd de Hadamard-test. Door deze verschillende taken te verenigen onder een enkele foutdetectiestrategie, hebben ze een toolkit geboden die veel bestaande kwantumprotocollen kan upgraden. De methode vereist niet het toevoegen van meer qubits aan de machine, wat een groot voordeel is voor de huidige hardware die al worstelt met ruimte. In plaats daarvan gebruikt het de bestaande qubits intelligenter, waarbij een beetje tijd wordt geruild voor een grote winst in nauwkeurigheid.

Dit onderzoek suggereert dat de weg naar bruikbare kwantumcomputers niet noodzakelijkerwijs vereist dat we wachten op perfecte, foutvrije machines. In plaats daarvan wijst het naar een toekomst waarin we de imperfecte tools die we vandaag hebben effectiever kunnen gebruiken. Door te accepteren dat fouten zullen optreden en systemen te bouden die in staat zijn om deze te identificeren en on the fly te verwerpen, kunnen we de grenzen van wat mogelijk is met de huidige technologie verleggen. Het werk van het team demonstreert dat dynamische circuits, die ooit werden geteisterd door hun eigen meetfouten, nu robuust genoeg kunnen worden gemaakt om taken uit te voeren die voorheen als onbereikbaar werden beschouwd. Naarmate het vakgebied vooruitgaat, zouden deze technieken een standaard onderdeel kunnen worden van hoe kwantumcomputers worden geprogrammeerd, waardoor de fragiliteit van het heden verandert in een springplank naar de krachtige machines van morgen.