Separate and efficient characterization of state-preparation and measurement errors using single-qubit operations

Dit artikel presenteert een efficiënt protocol dat uitsluitend gebruikmaakt van single-qubit-poorten en herhaalde niet-destructieve metingen om de fouten bij het voorbereiden van toestanden en de meetfouten afzonderlijk te karakteriseren, waarbij de toepassing ervan op IBM Quantum-apparaten wordt gedemonstreerd en de noodzaak wordt benadrukt om rekening te houden met fouten bij het voorbereiden van toestanden om vertekende resultaten bij de mitigatie van meetfouten te voorkomen.

De kern

Stel je voor dat je probeert een zeer precieze foto te maken van een klein, fragiel object (een quantumbit, of "qubit"). Om een goede foto te krijgen, moeten twee dingen perfect werken:

1. De scène instellen (State Preparation): Je moet het object op de exacte juiste positie plaatsen voordat je de foto maakt.
2. De foto maken (Measurement): Je camera moet precies registreren wat er staat, zonder de afbeelding te vervagen of verkeerd te interpreteren.

In de wereld van quantumcomputers zijn beide stappen vatbaar voor fouten. Vaak gebeuren de fouten voordat de computer zelfs maar zijn echte werk begint (de scène verkeerd instellen) of nadat hij klaar is (de camera het resultaat verkeerd aflezen). Deze worden collectief SPAM-fouten genoemd (State-Preparation And Measurement errors).

Het probleem is dat de meeste bestaande methoden voor het corrigeren van deze fouten ze behandelen als één grote, rommelige klomp. Ze gaan ervan uit dat alleen de "camera" het fout doet, of ze proberen alles tegelijk op te lossen met complexe, trage en foutgevoelige hulpmiddelen.

Dit artikel introduceert een nieuwe, slimme methode genaamd QSPAM (Quantum SPAM) die werkt als een detective, die de "scène-instel"-fouten scheidt van de "foto-maken"-fouten met behulp van alleen eenvoudige, snelle hulpmiddelen.

Het Kernidee: De "No-Reset"-Truc

Meestal, wanneer je een quantumbit meet, vernietigt het proces de toestand en moet je helemaal opnieuw beginnen om het opnieuw te proberen. Dit artikel stelt een andere aanpak voor: meet dezelfde qubit twee keer achter elkaar zonder hem te resetten.

Denk er zo over na:

• Standaardmethode: Je vraagt een vriend: "Is het licht aan?" Hij zegt "Ja". Vervolgens reset je de kamer, vraag je opnieuw, en hij zegt "Nee". Je moet raden of het licht veranderde, of dat je vriend gewoon slecht is in het beantwoorden.
• QSPAM-methode: Je vraagt: "Is het licht aan?" Hij zegt "Ja". Zonder de kamer te veranderen, vraag je direct: "Is het licht nog steeds aan?" Hij zegt "Ja".

Door te kijken naar het patroon van antwoorden op deze achter elkaar gestelde vragen, tonen de auteurs aan dat je de twee problemen wiskundig kunt ontwarren:

1. Begon de vriend met het licht eigenlijk uit, maar dacht hij dat het aan was? (State Preparation Error)
2. Zag de vriend het licht correct maar zei hij per ongeluk het verkeerde woord? (Measurement Error)

Hoe Ze Het Deden (De Eenvoudige Hulpmiddelen)

De auteurs hadden geen complexe, zware machines nodig. Ze gebruikten alleen single-qubit-operaties (eenvoudige rotaties van de quantumbit) en herhaalde metingen.

• De Analogie: Stel je voor dat je een weegschaal kalibreert die zowel uit balans is (het begint met een gewicht erop) als een plakkerige naald heeft (het wijst niet altijd naar het juiste getal). In plaats van een nieuwe, dure weegschaal te bouwen, leg je gewoon een bekend gewicht erop, weeg je het, en weeg je het direct opnieuw. Door de twee resultaten te vergelijken, kun je precies berekenen hoeveel de weegschaal aan het begin afweek versus hoeveel de naald plakt.

Wat Ze Vonden

Het team testte dit op echte quantumcomputers die door IBM werden geleverd. Dit is wat ze ontdekten:

1. De Fouten zijn Reëel en Gescheiden: Ze vonden dat "scène-instel"-fouten (voorbereiding) en "resultaat-aflees"-fouten (meting) verschillend zijn. In sommige gevallen zat de voorbereiding tot 6,5% verkeerd, en de afleesfouten waren zo hoog als 19%. Dat is een enorme hoeveelheid ruis voor een computer die precieze wiskunde probeert te doen.
2. De "Camera" is Niet Altijd Eenvoudig: Ze vonden dat voor sommige qubits het meetproces complexer is dan een simpele "ja/nee"-schakelaar; het heeft een beetje een "glitch" die het op een niet-standaard manier laat gedragen. Hun nieuwe protocol kon dit detecteren, terwijl oudere methoden dit zouden hebben gemist.
3. Het Oplossen van Slechts de helft van het Probleem Maakt Het Erger: Dit is een cruciale bevinding. Als je probeert de "camera"-fouten (meting) op te lossen maar de "scène-instel"-fouten (voorbereiding) negeert, is je uiteindelijke antwoord niet alleen een beetje verkeerd – het kan extreem verkeerd zijn.
   • De Metafoor: Stel je voor dat je de gemiddelde lengte van een groep mensen probeert te berekenen. Als je een gebogen liniaal gebruikt (meetfout), krijg je een verkeerd antwoord. Maar als je ook iedereen op een verhoogd platform zet dat scheef staat (voorbereidingsfout) en alleen probeert de liniaal te repareren, kan je uiteindelijke berekening er uiteindelijk toe leiden dat mensen 3 meter lang zijn! Het artikel toont aan dat het negeren van het "scheve platform" leidt tot "niet-fysische" resultaten (cijfers die in de realiteit geen zin hebben).

Waarom Dit Belangrijk Is

Het artikel betoogt dat quantumcomputers nuttig moeten zijn, moeten we precies weten waar de fouten vandaan komen.

• Efficiëntie: Hun methode is snel. Het vereist geen complexe circuits die groeien met de grootte van de computer. Het werkt even goed voor 2 qubits als voor 100.
• Nauwkeurigheid: Door de fouten te scheiden, kunnen ze ze individueel corrigeren. Dit leidt tot veel nauwkeurigere resultaten bij het uitvoeren van quantumalgoritmen.
• Realiteitscheck: Ze bewezen dat de "standaard" manier van fouten corrigeren (die ervan uitgaat dat de opstelling perfect is) ons vaak liegt, waardoor we vertrouwen hebben in verkeerde antwoorden.

Kortom, de auteurs bouwden een eenvoudige, efficiënte "diagnostisch hulpmiddel" dat quantumingenieurs precies vertelt hoe hun machine de opstelling en de aflezing verpest, waardoor ze de machine correct kunnen repareren in plaats van alleen maar te raden.

Technische samenvatting

1. Probleemstelling

Op quantumcomputing-platforms (met name supergeleidende qubits) domineren State-Preparation and Measurement (SPAM)-fouten vaak fouten in single-qubit gates. Een accurate karakterisering van deze fouten is cruciaal voor:

• Het ontwikkelen van effectieve strategieën voor foutmitigatie.
• Het verbeteren van de hardware-fideliteit.
• Het waarborgen van de betrouwbaarheid van quantumalgoritmen (bijvoorbeeld fase-schatting, foutcorrectie).

Beperkingen van bestaande protocollen:

• Gekoppelde karakterisering: Standaardprotocollen schatten vaak het product van SP- en Meetfouten (M) ($\alpha_M \alpha_{SP}$) in plaats van ze te scheiden. Dit berust op de aanname dat SP-fouten verwaarloosbaar zijn ($\alpha_{SP} \approx 1$), wat op huidige apparaten vaak ongeldig is.
• Hoge resource-intensiteit: Protocollen die deze fouten wel scheiden, vereisen vaak twee-qubit gates (wat de nauwkeurigheid beperkt tot de fideliteit van de twee-qubit gate) of ancilla-qubits, waardoor ze moeilijk schaalbaar zijn.
• Schaalbaarheid: Sommige bestaande methoden die single-qubit gates gebruiken, vertrouwen op circuits die polynomiaal schalen met de systeemgrootte, waardoor omgevingsruis de schattingen kan corrumperen.
• Bias in mitigatie: Huidige technieken voor meetfoutmitigatie die SP-fouten negeren, kunnen leiden tot bevooroordeelde, en soms niet-fysische, schattingen van de verwachtingswaarden van waarneembare grootheden.

2. Methodologie: Het QSPAM-protocol

De auteurs stellen het Quantum SPAM (QSPAM)-protocol voor, dat SP- en M-fouten onafhankelijk karakteriseert met uitsluitend hoogwaardige single-qubit gates en herhaalde metingen zonder reset.

Kernaannames

• Hoogwaardige single-qubit gates: Gate-fouten zijn verwaarloosbaar in vergelijking met SPAM-fouten.
• Niet-destructieve metingen: De qubittestaat overleeft het meetproces (of wordt gereset naar een bekende post-meetstaat).
• Ongelinkte fouten: SP- en M-fouten zijn ruimtelijk en tijdelijk ongecorreleerd over qubits heen.
• Klassieke M-fouten: Meetfouten worden gemodelleerd als klassieke toewijzingsfouten (diagonale POVM-elementen), hoewel het protocol afwijkingen hiervan kan detecteren.

Theoretisch Kader

Het protocol onderscheidt tussen twee versies:

1. sQSPAM (Vereenvoudigd QSPAM): Gaat ervan uit dat meetoperatoren (Kraus-operatoren) diagonaal zijn. Het vereist 5 experimenten per qubit.
2. QSPAM (Algemeen QSPAM): Houdt rekening met niet-diagonale meetoperatoren (niet-diagonale elementen in de Kraus-operatoren). Het vereist 8 experimenten per qubit.

Kernmechanisme:
Het protocol maakt gebruik van herhaalde metingen zonder reset. Door een staat voor te bereiden, deze te meten en direct opnieuw te meten (geconditioneerd op de eerste uitkomst), creëert het protocol een systeem van niet-lineaire vergelijkingen dat de fideliteit van de initiële staatvoorbereiding ($\alpha_{SP}$) ontkoppelt van de readout-fideliteit ($\alpha_M$).

• Standaard SPAM: Meet $P_{z+ \to z-}$ en $P_{z- \to z+}$. Dit levert twee vergelijkingen op met drie onbekenden ($\alpha_M, \delta, \alpha_{z,SP}$), waarbij de aanname $\alpha_{z,SP} \approx 1$ nodig is.
• QSPAM: Voegt een reeks toe $P_{z+ \to z+ \to z+}$ (twee keer meten). Dit biedt een derde onafhankelijke vergelijking, waardoor de unieke oplossing van $\alpha_M, \delta,$ en $\alpha_{z,SP}$ mogelijk is zonder perfectie in de staatvoorbereiding aan te nemen.
• Volledige karakterisering: Door de initiële staat te roteren met Hadamard ($H$) en $\sqrt{X}$ ($SX$) gates voorafgaand aan de meting, karakteriseert het protocol alle drie componenten van de SP Bloch-vector ($\alpha_{x,SP}, \alpha_{y,SP}, \alpha_{z,SP}$).

Circuitdiepte en Schaalbaarheid

• De circuitdiepte is constant en onafhankelijk van de systeemgrootte ($N$).
• Het protocol is sterk paralleliseerbaar, waardoor gelijktijdige karakterisering van alle qubits in een apparaat mogelijk is.
• De precisie schaalt als $\nu^{-1/2}$ (waarbij $\nu$ het aantal shots is), beperkt uitsluitend door statistische ruis.

3. Belangrijkste Bijdragen

1. Ontkoppeling van SP- en M-fouten: Een rigoureuze methode om SP- en M-parameters onafhankelijk te extraheren met uitsluitend single-qubit operaties, waardoor de behoefte aan de aanname van "perfecte SP" wordt verwijderd.
2. Efficiëntie: Het protocol vereist een vast aantal experimenten (5 of 8) per qubit, ongeacht de systeemgrootte, waardoor schalingsproblemen van eerdere methoden worden vermeden.
3. Detectie van niet-diagonale M-operatoren: Het algemene QSPAM-protocol kan niet-diagonale elementen in meetoperatoren (geparametriseerd door $\epsilon$) detecteren en kwantificeren, wat standaarddiagonale modellen missen.
4. Bias-correctie: Demonstreert dat standaardmitigatie (het negeren van SP-fouten) leidt tot een overschatting van de verwachtingswaarden van waarneembare grootheden, met name voor collectieve waarneembare grootheden zoals GHZ-staat stabilisatoren.

4. Experimentele Resultaten

De auteurs hebben het protocol gevalideerd op IBM Quantum-apparaten (specifiek ibm_brisbane en ibm_sherbrooke).

• Validatie van onafhankelijkheid: Door kunstmatig SP-fouten in te brengen (via $R_x(\phi)$-rotaties) tijdens de initialisatie, toonden ze aan dat de gekarakteriseerde M-foutparameter ($\hat{\alpha}_M$) stabiel bleef terwijl de SP-parameter ($\hat{\alpha}_{z,SP}$) precies zoals voorspeld varieerde. Dit bevestigde dat het protocol de twee foutbronnen succesvol scheidt.
• Apparaatkarakterisering:
  • SP-inefficiënties bleken significant, tot wel 6,57%.
  • Toewijzingsfouten bij readout reikten tot 19,1%.
  • De meeste qubits vertoonden diagonale meetoperatoren ($\epsilon \approx 0$), maar Qubit 61 toonde een aanzienlijk niet-diagonaal component ($\hat{\epsilon} \approx 0,0015$), wat de noodzaak van het algemene QSPAM-protocol bewijst.
• GHZ-staat experimenten:
  • De auteurs bereidden GHZ-staten voor op maximaal 12 qubits en maten de collectieve waarneembare grootheid $\langle Z^{\otimes N} \rangle$.
  • Standaard mitigatie: Ging uit van perfecte SP, wat leidde tot een aanzienlijke overschatting van de verwachtingswaarde (soms resulterend in niet-fysische waarden $>1$).
  • QSPAM-mitigatie: Hield correct rekening met SP-fouten, wat nauwkeurige verwachtingswaarden opleverde die overeenkwamen met theoretische voorspellingen voor ruizige systemen.
  • Naarmate het aantal qubits toenam, groeide het verschil tussen standaard- en QSPAM-mitigatie, wat het cumulatieve effect van ongecorrigeerde SP-fouten benadrukt.

5. Betekenis en Impact

• Hardware-benchmarking: Biedt een resource-efficiënt hulpmiddel voor hardware-ontwikkelaars om te pinpointen of prestatieknelpunten liggen in de staatvoorbereiding of readout, waardoor gerichte hardwareverbeteringen worden gestuurd.
• Verbeterde algoritmebetrouwbaarheid: Door nauwkeurige SPAM-mitigatie mogelijk te maken, voorkomt het protocol het bevooroordeeld maken van resultaten in nabije-toekomst quantumalgoritmen (NISQ), met name die welke collectieve waarneembare grootheden of foutcorrectiesyndromen omvatten.
• Schaalbaarheid: De constante diepte en paralleliseerbaarheid van QSPAM maken het geschikt voor grootschalige quantumprocessors waar karakterisering op basis van twee-qubit gates te luidruchtig of traag is.
• Theoretische inzichten: Het werk benadrukt dat het negeren van SP-fouten in mitigatieprotocollen niet slechts een kleine benadering is, maar een bron van fundamentele bias die kan leiden tot niet-fysische conclusies.

Kortom, het QSPAM-protocol biedt een praktische, schaalbare en theoretisch rigoureuze oplossing voor de langdurige uitdaging van het scheiden van staatvoorbereidings- en meetfouten, wat de betrouwbaarheid van quantumkarakterisering en foutmitigatie op huidige en toekomstige quantumhardware aanzienlijk verbetert.