Quantum subspace verification for error correction codes

Om een computer te bouwen die problemen kan oplossen die buiten het bereik liggen van elke machine van vandaag, strijden wetenschappers om de creatie van quantumcomputers. Deze apparaten gebruiken de vreemde regels van de subatomaire wereld om informatie te verwerken op manieren die onmogend lijken in onze alledaagse ervaring. Deze machines zijn echter ongelooflijk fragiel. De kleinste verstoring door warmte, trilling of elektromagnetische ruis kan ervoor zorgen dat de informatie die ze bevat, verstoord en onzichtbaar wordt. Om dit op te lossen, gebruiken onderzoekers een techniek genaamd quantumfoutcorrectie. In plaats van een enkel stuk informatie op één klein deeltje op te slaan, verspreiden ze het over vele deeltjes, waardoor ze een vangnet creëren. Als één deeltje een fout maakt, kunnen de anderen helpen deze te herstellen, vergelijkbaar met een koor waarbij één zanger die een noot mist niet het hele lied verpest, omdat de rest van de groep de melodie voortzet.

De uitdaging is weten of dit vangnet daadwerkelijk werkt. In de echte wereld zijn deze quantumsystemen luidruchtig, en de "perfecte" toestanden waar wetenschappers naar streven, worden zelden bereikt. Om te controleren of een quantumcomputer zijn werk doet, proberen wetenschappers meestal het hele systeem te meten om te zien hoe dicht het bij het ideaal ligt. Maar deze traditionele methode is als het proberen te tellen van elk zandkorreltje op een strand om de grootte van het strand te controlen; het vereist zoveel tijd en inspanning dat het voor grote systemen onmogelijk wordt. Een nieuwe studie door Junjie Chen en collega's biedt een slimmere manier om de gezondheid van deze quantumfoutcorrectiesystemen te controleren zonder dat elk afzonderlijk deel gemeten hoeft te worden.

De onderzoekers realiseerden zich dat je, om te verifiëren of een quantumcomputer correct werkt, niet de exacte staat van elk deeltje hoeft te kennen. Je hoeft alleen maar te weten of het systeem binnen de specifieke "veilige zone" blijft die door de foutcorrectiecode is ontworpen. Ze ontwikkelden een nieuw framework genaamd quantumsubspace-verificatie. Denk aan de foutcorrectiecode als een specifieke kamer in een groot gebouw. Het doel is om ervoor te zorgen dat de computer zich in die kamer bevindt, niet noodzakelijkerwijs om elke centimeter van zijn positie binnen die kamer in kaart te brengen. Door zich op dit bredere gebied te richten, creëerde het team een methode die veel minder metingen gebruikt om te bevestigen dat het systeem naar behoren functioneert.

Het team testte hun idee op twee belangrijke soorten foutcorrectiecodes die in het vakgebied worden gebruikt: stabilizer codes en quantum low-density parity-check codes. Stabilizer codes zijn als een set regels die de deeltjes vertellen hoe ze samen moeten gedragen, terwijl het andere type een complexere, flexibele structuur is die is ontworpen om fouten efficiënt af te handelen. De onderzoekers toonden aan dat ze door hun nieuwe methode te gebruiken, deze codes konden verifiëren met behulp van alleen lokale metingen. Dit betekent dat ze slechts kleine groepen deeltjes tegelijk hoefden te controleren, in plaats van het hele systeem in één keer. Voor veel veelvoorkomende codes was het aantal verschillende meetopstellingen dat vereist was verrassend klein, en bleef soms constant, zelfs naarmate de omvang van de computer groter werd.

Een belangrijke bevinding was dat voor bepaalde geavanceerde codes de inspanning die nodig is om het systeem te verifiëren, niet groeit met het aantal fysieke deeltjes dat wordt gebruikt. In het verleden betekende het controleren van een groter systeem exponentieel meer werk, wat snel onbeheersbaar werd. Met deze nieuwe aanpak blijft het werk beheersbaar, en in sommige gevallen hangt de verificatie-inspanning alleen af van het aantal logische stukken informatie die worden beschermd, niet van het totaal aantal fysieke deeltjes die hen vasthouden. Dit is een significante verschuiving, aangezien het betekent dat wetenschappers grootschalige quantumcomputers kunnen verifiëren zonder dat de benodigde middelen de controle verliezen.

De onderzoekers combineerden deze nieuwe verificatiemethode ook met een bestaande techniek voor het schatten van hoe goed een specifieke quantumtoestand overeenkomt met een doeltoestand. Deze combinatie maakt het mogelijk om de kwaliteit van "magic states" te controleren, wat speciale, complexe quantumtoestanden zijn die nodig zijn om de krachtigste berekeningen uit te voeren. Eerdere methoden voor het controleren van deze toestanden waren zo resource-intensief dat ze onpraktisch waren voor grote systemen. Het nieuwe protocol vermindert het aantal benodigde metingen met een enorme factor, waardoor het mogelijk wordt om deze cruciale toestanden efficiënt te verifiëren.

De studie biedt een duidelijk pad voorwaarts voor het testen van quantumcomputers naarmate ze in omvang groeien. Door de bekende structuur van foutcorrectiecodes te gebruiken om de metingen te sturen, heeft het team aangetoond dat verificatie met een hoge mate van vertrouwen kan worden uitgevoerd met slechts een fractie van de middelen die voorheen nodig werden geacht. Dit werk biedt niet alleen een theoretische verbetering; het biedt een praktisch hulpmiddel dat kan worden geïmplementeerd op huidige en toekomstige quantumhardware. Terwijl wetenschappers dichter bij het bouwen van fouttolerante quantumcomputers komen, is het hebben van een betrouwbare en efficiënte manier om hun prestaties te controleren essentieel. Dit nieuwe framework zorgt ervoor dat wanneer deze machines eindelijk klaar zijn, we precies weten hoe goed ze werken.