Improvement of performance of Grover's algorithm on three generations of Heron family IBM QPUs without and with topological dynamical decoupling

Dit onderzoek analyseert de prestaties van het Grover-algoritme op drie generaties IBM Heron-kwantumprocessors en toont aan dat het gebruik van topologische dynamische ontkoppeling de succesratio aanzienlijk verbetert.

De kern

Stel je voor dat je een gigantische bibliotheek hebt met miljoenen boeken, maar je zoekt één specifiek boek met een heel specifieke tekst op pagina 42. Normaal gesproken moet je elk boek één voor één openslaan (dat is de klassieke manier). Maar een kwantumcomputer gebruikt een trucje genaamd Grover’s algoritme: hij kan als het ware door alle boeken tegelijkertijd "kijken" en de juiste heel snel vinden.

Dit wetenschappelijke artikel gaat over hoe we dit trucje steeds beter kunnen uitvoeren op de allernieuwste kwantumcomputers van IBM (de 'Heron' familie).

Hier is de uitleg in begrijpelijke taal:

1. Het probleem: De kwantumcomputer is een "zenuwpatiënt"

Een kwantumcomputer is ongelooflijk krachtig, maar hij is ook extreem gevoelig. Vergelijk het met een kaartenhuis dat je probeert te bouwen in een kamer waar constant iemand langsloopt en de deur openzet. De kleinste zucht wind (ruis, warmte of magnetische velden) en je kaartenhuis stort in. In de wetenschap noemen we dit decoherentie.

Als je Grover’s algoritme probeert uit te voeren, moet de computer een hele reeks ingewikkelde bewegingen maken. Als de "wind" te hard waait, vergeet de computer wat hij aan het doen was en raak je de juiste oplossing kwijt.

2. De oplossing: "Topologische Dynamische Ontkoppeling" (De Zen-methode)

De onderzoekers gebruikten een techniek om die "wind" tegen te gaan. Stel je voor dat je een glazen glas op een trillende tafel probeert te houden. In plaats van alleen maar te hopen dat de tafel stopt met trillen, kun je het glas heel snel en ritmisch heen en weer bewegen om de trillingen van de tafel te neutraliseren.

Dit noemen ze Dynamical Decoupling (DD). Het is een soort ritmische "dans" van pulsen die de kwantumcomputer uitvoert om de fouten weg te poetsen. In dit artikel testen ze een nieuwe, slimme dans genaamd de "Topologische" methode. Het is alsof je niet alleen het glas stilhoudt, maar een soort beschermend schild om het glas heen bouwt door heel precies te timen wanneer je beweegt.

3. Wat hebben ze ontdekt?

De onderzoekers hebben drie generaties van de IBM Heron-computers vergeleken (we noemen ze Torino, Marrakesh en Pittsburgh).

• De hardware wordt steeds beter: De nieuwste computer (Pittsburgh) is veel "rustiger" dan de oudere versies. De "wind" in de kamer is minder hard geworden, waardoor de kaartenhuizen veel stabieler zijn.
• De nieuwe dans werkt: De nieuwe "topologische" manier van pulsen geven de computer een flinke boost. Vooral bij de moeilijkere opdrachten (zoals het zoeken in een lijst van 6 bits) hielp deze techniek de computer om de juiste oplossing te vinden, zelfs als de opdracht eigenlijk te zwaar was voor de hardware.
• Minder is soms meer: Ze ontdekten dat als je de "dans" (de pulsen) te ingewikkeld maakt, het juist averechts werkt. Het is net als een dansles: als de choreografie te moeilijk is, struikel je sneller. Soms is een simpele, korte beweging effectiever dan een hele ingewikkelde balletdans.

Samenvatting in één zin:

De onderzoekers hebben bewezen dat door de nieuwste kwantumcomputers te combineren met een slimme, ritmische "beschermingsdans", we steeds sneller en nauwkeuriger de juiste antwoorden kunnen vinden in een enorme berg aan data.

Technische samenvatting

Technische Samenvatting: Verbetering van de prestaties van Grover's algoritme op drie generaties IBM Heron QPUs met en zonder topologische dynamische ontkoppeling

1. Probleemstelling

Het onderzoek richt zich op de praktische uitvoering van Grover's algoritme op huidige kwantumcomputers (Quantum Processing Units - QPUs). Hoewel Grover's algoritme een kwadratische versnelling biedt voor het doorzoeken van ongesorteerde lijsten, wordt de effectiviteit in de praktijk beperkt door de fysieke beperkingen van de hardware, zoals decoherentie (verlies van kwantuminformatie) en fouten in de poortoperaties (gate errors). Het probleem is om te bepalen in hoeverre de nieuwste generatie hardware (IBM Heron) en geavanceerde foutonderdrukkingstechnieken, zoals topologische dynamische ontkoppeling (TDD), de succesratio van het algoritme kunnen verhogen voor grotere registers (3 tot 6 qubits).

2. Methodologie

De onderzoekers hebben experimenten uitgevoerd op drie verschillende generaties van de IBM Heron-familie van supergeleidende QPUs: Torino (r1), Marrakesh (r2) en Pittsburgh (r3).

• Algoritme-implementatie: Het Grover-algoritme werd geïmplementeerd met behulp van IBM Qiskit. De focus lag op het zoeken naar specifieke bitstrings voor registers van 3, 4, 5 en 6 qubits.
• Dynamische Ontkoppeling (DD): Om decoherentie tijdens de 'idle time' (wanneer qubits niet actief worden aangestuurd) tegen te gaan, werden verschillende DD-sequenties toegepast:
  • Klassieke sequenties: CPMG en XY4.
  • Nieuwe sequenties: De topologische dynamische ontkoppeling ($T_n$), waarbij $n$ het aantal pulsen aangeeft.
• Optimalisatie: Er werd gekeken naar het aantal iteraties van de Grover-operator. Theoretisch optimale iteraties leiden vaak tot een hogere foutaccumulatie, waardoor de onderzoekers ook suboptimale iteraties testten om de balans tussen amplitude-versterking en decoherentie te vinden.
• Hardware-analyse: Er werd nauwkeurig gekalibreerd op parameters zoals $T_1$ (relaxatietijd), $T_2$ (dephaseringstijd), uitlezfouten (readout errors) en 2-qubit poortfouten.

3. Belangrijkste Bijdragen

• Generatievergelijking: Het onderzoek biedt een directe vergelijking van de prestaties van Grover's algoritme over drie opeenvolgende hardware-generaties.
• Evaluatie van TDD: Het is een van de eerste studies die de effectiviteit van de recent voorgestelde topologische dynamische ontkoppeling ($T_n$) in een complexe algoritmische context (Grover) vergelijkt met gevestigde methoden zoals XY4.
• Schaalbaarheidstest: Het onderzoek breidt de grenzen op naar een 6-qubit register, wat de huidige limieten van de hardware opzoekt.

4. Resultaten

• Hardwareverbetering: Er is een duidelijke trend zichtbaar: de succeswaarschijnlijkheid neemt significant toe met de nieuwere generaties QPUs. De Pittsburgh (r3) QPU presteert aanzienlijk beter dan de voorgaande generaties, zelfs zonder foutcorrectie.
• Iteratie-optimalisatie: Voor 5 qubits werd vastgesteld dat de hoogste succeswaarschijnlijkheid niet altijd bij het theoretisch optimale aantal iteraties ligt. Dit komt door de afweging tussen de versterking van de oplossing en de accumulatie van fouten door de toename van het aantal 2-qubit poorten.
• Effectiviteit van TDD:
  • De $T_n$ sequenties (met name $T_2, T_4$ en $T_8$) boden een vergelijkbare of zelfs betere verbetering dan de XY4-sequentie.
  • Er werd een oscillerend gedrag waargenomen in de succeswaarschijnlijkheid in relatie tot het aantal pulsen in de $T_n$ reeks.
• 6-Qubit Resultaten: Voor 6 qubits werd aangetoond dat, hoewel de succeswaarschijnlijkheid laag is, het algoritme met behulp van TDD (zoals $T_4$ of XY4) op de Pittsburgh QPU in staat is om de gezochte bitstring te onderscheiden van een willekeurige gok (de drempelwaarde van $1/2^6$ werd overschreden bij een beperkt aantal iteraties).

5. Betekenis (Significance)

Dit onderzoek bewijst dat de combinatie van hardware-evolutie (betere $T_1/T_2$ tijden en lagere poortfouten) en geavanceerde foutonderdrukkingstechnieken (zoals topologische DD) de weg vrijmaakt voor het uitvoeren van complexere kwantumalgoritmen op de huidige NISQ-hardware (Noisy Intermediate-Scale Quantum). Het laat zien dat we, zelfs zonder volledige kwantumfoutcorrectie, de effectiviteit van algoritmen zoals Grover kunnen uitbreiden naar grotere probleemomvang door slimme controle van de hardware-eigenschappen.