Certifying quantum code and circuit distances at scale
Dit artikel introduceert een schaalbare methode die gebruikmaakt van tropische partitiefuncties en dynamisch programmeren om de afstanden van kwantumcodes en -circuits exact te certificeren, waarbij significante overschattingen in eerdere literatuur worden onthuld terwijl nauwkeurigere bronramingen en het gebruik van defecte kwanthardware mogelijk worden gemaakt.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteur. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Quantumcomputers beloven problemen op te lossen die onmogelijk zijn voor de machines van vandaag, van het ontwerpen van nieuwe materialen tot het kraken van complexe codes. Om dit te doen, moeten ze berekeningen uitvoeren met extreme precisie. De fysieke deeltjes die informatie opslaan in deze machines zijn echter berucht fragiel en gevoelig voor fouten door de kleinste verstoring. Om dit te overwinnen, gebruiken wetenschappers een techniek genaamd quantumfoutcorrectie. Ze verspreiden één stuk informatie over vele fysieke deeltjes, waardoor een logische eenheid ontstaat die kan overleven als sommige van de onderdelen falen. De sterkte van deze bescherming wordt gemeten met een waarde genaamd afstand. Een hogere afstand betekent dat het systeem meer fouten kan weerstaan voordat de informatie verloren gaat. Dit getal is cruciaal voor ingenieurs; het bepaalt hoeveel fysieke deeltjes nodig zijn om een bruikbare computer te bouwen en hoe betrouwbaar de uiteindelijke machine zal zijn. Jarenlang vertrouwden onderzoekers op schattingen voor deze afstand, waarbij ze vaak computerzoekopdrachten gebruikten die fouten vinden, maar niet kunnen bewijzen dat ze de kleinst mogelijke hebben gevonden.
Een team van onderzoekers heeft nu een manier ontwikkeld om deze afstanden exact te berekenen, zelfs voor de enorme systemen die worden voorgesteld voor toekomstige hardware. Ze behandelden het probleem van het vinden van de kleinste fout als een verenigde wiskundige puzzel en losten het op met drie verschillende, rigoureuze methoden die samenwerken. In plaats van te gokken of te stoppen bij de eerste gevonden fout, bewijst hun aanpak dat er geen kleinere fout bestaat. Door deze methoden te combineren met slimme afkortingen die de omvang van het probleem verkleinen, waren ze in staat de exacte afstanden te certificeren voor quantumcodes met tot wel 31.200 fysieke deeltjes en circuits met honderdduizenden potentiële foutpunten. Dit niveau van zekerheid stelt hen in staat om de ontwerpen van grote technologiebedrijven te verifiëren en gebreken te identificeren die eerdere schattingen misten.
De onderzoekers pasten hun methode toe op een breed scala aan huidige voorstellen, inclusief ontwerpen van Google en IBM. In veel gevallen ontdekten zij dat de gepubliceerde schattingen te optimistisch waren. Zo bleek een specifiek geheugencircuit van IBM, waarvan werd aangenomen dat het een afstand van 18 had, een afstand van slechts 16 te hebben. Dit verschil is significant omdat het de voorspelde foutenrate met een grote factor verandert. In een ander geval, betreffende een code ontworpen door Google, certificeerden het team de afstanden voor systemen met meer dan 31.000 qubits, waarmee zij waarden bevestigden die voorheen onbekend waren. Hun audit van zesentwintig recente wetenschappelijke artikelen onthulde dat tien daarvan overschatte afstanden bevatten, met sommige discrepanties van wel acht eenheden. Deze fouten waren niet te wijten aan slechte wiskunde in de oorspronkelijke artikelen, maar aan het feit dat de zoekmethoden die daar werden gebruikt niet konden garanderen dat ze de absoluut kleinste fout hadden gevonden.
Naast het corrigeren van eerdere cijfers, gebruikten het team hun instrumenten om betere circuits te ontwerpen. Ze testten duizenden verschillende schema's voor hoe fouten in een specifiek type quantumcode te meten. Ze ontdekten dat terwijl één standaard schema optimaal was voor sommige codes, het verre van het beste was voor andere. Door de volgorde van operaties te herschikken, konden ze de afstand van een circuit verhogen van 16 naar 18, waardoor het aanzienlijk robuuster werd. Dit soort precieze optimalisatie is essentieel voor het bouwen van machines die lange berekeningen kunnen uitvoeren zonder te falen. De onderzoekers toonden ook aan hoe hun methode hels bij de praktijk van de productie. Quantumchips komen vaak uit de fabriek met kleine defecten, zoals een enkele kapotte sensor. Eerdere modellen suggereerden dat elke chip met een defect weggegooid moest worden. Echter, door de afstand van deze imperfecte chips te certificeren, toonde het team aan dat veel van deze chips nog steeds bruikbaar zijn. Bijvoorbeeld, bij een productieopbrengst waarbij 99,98% van de verbindingen werkt, kan het behouden van chips met enkele dode sensoren die nog steeds een hoge afstand behouden, het aantal bruikbare chips verhogen van 53% naar 94%.
Het werk steunt op een verenigd kader dat zowel de code zelf als het circuit dat wordt gebruikt om deze te meten als één enkel probleem behandelt. De onderzoekers uitten de zoektocht naar de kleinste fout als een "tropische partitiefunctie", een concept dat hen in staat stelt krachtige algoritmen te gebruiken om de minimale waarde te vinden. Vervolgens gebruikten ze drie verschillende exacte solvers: een dynamisch programma dat door het systeem beweegt als een ladder, een zoektocht die naar fouten zoekt binnen een specifieke gewichtslimiet, en een bidirectionele zoektocht die in het midden samenkomt. Een kostenmodel beslist welke solver voor welk deel van het probleem wordt gebruikt om efficiëntie te garanderen. Wanneer een solver een fout vindt, verifieert het team dit door de sequentie van fouten in een simulator te herafspelen om te controleren of het daadwerkelijk een logische fout veroorzaakt zonder alarmen te triggeren. Dit proces produceert een certificaat: een bewijs dat er geen lichtere fout bestaat, vergezeld van de specifieke gevonden fout.
De resultaten hebben directe implicaties voor de architectuur van toekomstige quantumcomputers. Voor de geplande processor van IBM bevestigde het team dat het standaard schema voor een specifiek geheugenblok een afstand van 16 heeft, en niet 18 zoals eerder aangenomen. Ze identificeerden echter ook alternatieve schema's die de hogere afstand van 18 bereiken, zij het met een lichte toename van de tijd die nodig is voor elke cyclus. Deze afweging tussen snelheid en betrouwbaarheid is nu een bekende grootheid in plaats van een gok. Op vergelijkbare wijze boden zij voor de modulaire hyperbolische codes van Google de eerste exacte afstanden voor systemen van die schaal, waarmee vragen werden beantwoord die open waren gebleven. Het vermogen om deze waarden te certificeren betekent dat de bronberekeningen voor toekomstige machines gebaseerd kunnen worden op harde feiten in plaats van bovengrenzen.
De studie behandelde ook het vraagstuk van logische metingen, waarbij aparte blokken quantumgeheugen worden samengevoegd om operaties uit te voeren. De onderzoekers ontdekten dat de afstand van deze samengevoegde systemen sterk afhangt van hoe de extra "gauge" qubits die tijdens het proces worden geïntroduceerd, worden afgehandeld. Als deze qubits vrij worden gelaten, kan de afstand aanzienlijk dalen, maar als ze in een specifieke staat worden gefixeerd, blijft de afstand hoog. Dit onderscheid is cruciaal voor het ontwerpen van meetprotocollen die niet per ongeluk de foutbescherming verzwakken. De exacte berekeningen van het team toonden aan dat eerdere schattingen deze nuances hadden gemist, wat leidde tot potentiële overschattingen van de prestaties.
Uiteindelijk transformeert het artikel de afstand van een quantumcode van een schatting naar een geverifieerde hoeveelheid. Deze verschuiving verwijdert een belangrijke bron van onzekerheid uit de planning van quantumcomputers. Ingenieurs kunnen nu met vertrouwen verschillende ontwerpen vergelijken, wetende precies hoeveel fouten elk ontwerp kan tolereren. De methode schaalt naar de omvang van de grootste voorgestelde systemen en kan systemen met honderdduizenden potentiële foutpunten aan. Hoewel sommige extreem grote of complexe instanties nog steeds aanzienlijke rekenkracht vereisen, heeft het team aangetoond dat exacte certificering mogelijk is voor het overgrote deel van de huidige ontwerpen. Deze precisie maakt een realistischere beoordeling mogelijk van wat quantumcomputers kunnen bereiken en hoeveel fysieke middelen zij werkelijk nodig zullen hebben.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.