Iceberg Beyond the Tip: Co-Compilation of a Quantum Error Detection Code and a Quantum Algorithm

Dit artikel introduceert een co-optimisatiekader dat de flexibele codering van de Iceberg-kwantumfoutdetectiecode afstemt op het Quantum Approximate Optimization Algorithm (QAOA), waarmee aanzienlijke verbeteringen worden bereikt in de succeskans en post-selectiepercentages op de Quantinuum H2-1 kwantumcomputer ten opzichte van eerdere state-of-the-art demonstraties.

De kern

Het Grote Plaatje: Het "Ijsberg"-Probleem

Stel je voor dat je probeert een zwak radiosignaal (een kwantumberekening) te horen te midden van een lawaaierige storm. Het signaal is zo zwak dat het ruis (de noise) het volledig overstemt.

In de wereld van kwantumcomputing gebruiken wetenschappers een techniek genaamd Kwantumfoutdetectie (QED). Denk hierbij aan een "kwaliteitscontrole-inspecteur" in een fabriek. Als een product (een berekeningsrun) met een defect uitkomt, gooit de inspecteur het weg en probeer je het opnieuw. Je houdt alleen de perfecte exemplaren over.

Een specifieke "inspecteur" die in dit artikel wordt gebruikt, heet de Ijsberg-code. Hij is vernoemd naar een ijsberg omdat, net als het echte ding, het grootste deel van zijn structuur onder water verborgen is. Hij codeert je gegevens in een grotere, complexere vorm om fouten op te vangen.

Het Probleem:
Het artikel betoogt dat de Ijsberg-code weliswaar een uitstekende inspecteur is, maar dat de manier waarop we de fabriek bouwen (de "compilatie") inefficiënt was.

• De Oude Manier: We bouwden de fabriek met stijve, voorgefabriceerde muren. Zelfs als de inspecteur een flexibele manier had om dingen te controleren, dwongen we de arbeiders om een strenge, trage route te volgen. Dit veroorzaakte dat arbeiders erbij stonden te doen (inactief), waardoor ze moe werden en vatbaarder voor fouten (geheugenfouten).
• Het Resultaat: De fabriek was te groot, te traag, en de "kwaliteitscontrole" gooide te veel goede producten weg omdat het proces zo rommelig was.

De Oplossing: Co-Compilatie (De "Tango"-Aanpak)

De auteurs stellen een nieuwe methode voor genaamd Co-Compilatie. In plaats van eerst het algoritme te bouwen en er vervolgens een foutdetectiecode als een sticker bovenop te plakken, bouwen ze ze samen, net als partners die een tango dansen.

Ze beseften dat de "inspecteur" (de Ijsberg-code) verborgen flexibiliteit heeft. Hij kan fouten controleren in verschillende volgorde of met verschillende hulpmiddelen. Door het algoritme en de inspecteur samen te laten dansen, kunnen ze:

1. De inactiviteit verwijderen: De arbeiders constant in beweging houden zodat ze niet moe worden.
2. De fabriek verkleinen: Het hele proces veel korter maken.
3. De veiligheid behouden: Zorgen dat de inspecteur nog steeds alle slechte producten opvangt.

Hoe Ze Het Deden (De Drie Trucs)

Het team gebruikte drie hoofdtrucs om deze dans te laten slagen:

1. Hervormen van de Gereedschappen (Nieuwe Gadgets):
   Ze bouwden nieuwe, snellere versies van de "gereedschappen van de inspecteur". Stel je voor dat de oude gereedschappen waren als het gebruik van een hamer om een spijker te slaan, dan een schroevendraaier, en dan een sleutel. Ze hervormden de gereedschappen zodat de inspecteur de klus in minder stappen kon klaren, wat de tijd voor sommige taken halveerde.

2. Herschikken van de Meubels (Gadget Resynthese):
   In de oude opstelling waren de gereedschappen van de inspecteur gerangschikt in een lange, kronkelende trap. De auteurs beseften dat ze de meubels konden herschikken tot een rechte lijn of een tweebaansweg. Omdat de "inspecteur" het niet uitmaakt in welke volgorde hij de qubits controleert (zolang hij ze maar allemaal controleert), konden ze de stappen herschikken om files te voorkomen.

3. De Symmetrie Gebruiken (De Z2-Truc):
   Het specifieke probleem dat ze testten (MaxCut) heeft een speciale symmetrie: het omkeren van elke schakelaar in de kamer geeft hetzelfde resultaat. De auteurs beseften dat ze deze "spiegelbeeld"-eigenschap konden gebruiken om twee dingen tegelijk te doen in plaats van één. Het is alsof je beseft dat je de linker- en de rechterkant van een muur tegelijkertijd kunt verven omdat ze identiek zijn, waardoor de verf-tijd wordt gehalveerd.

De Resultaten: De "Break-Even"-Punt Doorbreken

In kwantumcomputing is er een concept genaamd "Break-Even". Dit is het moment waarop het gebruik van foutcorrectie het resultaat daadwerkelijk beter maakt dan het uitvoeren van de rommelige, gecorrigeerde versie. Daarvoor voegde foutcorrectie meestal zoveel overhead toe dat het de dingen erger maakte.

Wat ze bereikten:

• Sneller: Ze verlaagden de "diepte" (het aantal stappen) van de berekening met maximaal 55%.
• Betrouwbaarder: Ze verhoogden het aantal "goede" resultaten dat bewaard bleef (post-selectiepercentage) van 4% naar 33% voor een specifieke test.
• Groter: Ze voerden succesvol een complexe berekening uit op 34 qubits (de basiseenheden van kwantuminformatie). Daarvoor was het beste wat iemand had bereikt met deze specifieke code 20 qubits.
• Beter dan Ruis: Voor het eerst presteerde de versie met foutcorrectie beter dan de versie zonder correctie op deze grotere schaal.

De "Lange Staart"-Ontdekking

Toen ze naar de resultaten keken, merkten ze iets interessants op. De resultaten met foutcorrectie hadden een "lange staart" van vreemde, hoge-energie uitkomsten.

• De Metafoor: Stel je een klokkromme van toetsscores voor. De "lange staart" betekent dat er een paar studenten zijn die extreem slechte scores haalden, veel slechter dan het gemiddelde.
• De Oplossing: De auteurs beseften dat omdat de foutdetector de slechtste fouten weggooit, de resterende "lange staart"-fouten eigenlijk specifieke soorten vergissingen zijn. Ze toonden aan dat ze door simpelweg de allerergste uitschieters in de data te negeren (een post-processing-truc), een resultaat konden krijgen dat er bijna exact uitzag als een perfecte, ruisvrije berekening.

Samenvatting

Dit artikel gaat over het leren van een kwantumcomputer om efficiënter te zijn. In plaats van foutcorrectie te behandelen als een stijve, zware last, behandelden de auteurs het als een flexibele partner. Door de gereedschappen te hervormen, de stappen te herschikken en de wiskunde van het probleem in hun voordeel te gebruiken, maakten ze de kwantumcomputer sneller, betrouwbaarder en in staat om grotere problemen op te lossen dan ooit tevoren op huidige hardware.

Technische samenvatting

1. Probleemstelling

Recente vooruitgang in quantumhardware, met name val-gevangen-ionenapparaten zoals de Quantinuum H2-1, heeft demonstraties van logische qubits mogelijk gemaakt. Een centrale uitdaging blijft echter: ruis mitigatie om nauwkeurige algoritmische observabelen te extraheren.

• De beperking van huidige flows: Hoewel Quantum Error Detection (QED)-codes (zoals de Iceberg-code) foutieve runs kunnen identificeren en verwerpen, behandelen conventionele compilatieflows het algoritme en de foutdetectie-gadgets als aparte entiteiten. Zij maken gebruik van vaste gadget-structuren en starre volgorde.
• Het gevolg: Deze scheiding faalt om de inherente flexibiliteit in QED-gadget-encoding en -volgorde te benutten. Dit leidt tot:
  • Verminderde parallelisatie.
  • Verhoogde qubit inactiviteit (idling), wat qubits blootstelt aan geheugenfouten (decoherentie) en decoherentie.
  • Onvermogen om "beyond-break-even"-prestaties te bereiken (waarbij de gecodeerde schakeling de ongecodeerde versie overtreft) voor grootschalige schakelingen (typisch >20 qubits).

2. Methodologie: Co-Compilatie Framework

De auteurs stellen een hardware-bewust co-compilatieframework voor dat het algoritmische circuit en de QED-gadgets gezamenlijk optimaliseert. De kernfilosofie is om het algoritme en de foutdetectiecode te behandelen als één flexibel systeem in plaats van twee sequentiële stappen.

Belangrijkste optimalisatiestrategieën:

1. Nieuwe Fouttolerante Gadgets:

   • Initialisatie: Herontworpen om een twee-branch GHZ-constructie te gebruiken, wat de circuitdiepte halveert ten opzichte van eerdere lineaire constructies.
   • Syndroommeting: Geoptimaliseerd door CNOT-poorten te herschikken om de diepte te reduceren van $k+6$ naar $k+2$ (waarbij $k$ het aantal logische qubits is).
   • Eindmeting: Het aantal ancilla-qubits en CNOT's met één verminderd.

2. Gadget Resynthese & Qubit-herschikking:

   • De impliciete qubitvolgorde in gadgets (typisch $[t, 1, \dots, k, b]$) is niet vast. Het framework permuteren deze volgorde om veelgebruikte qubits te prioriteren, waardoor conflicten en inactiviteitstijd worden verminderd.
   • Voorbeeld: Qubits herschikken in de initialisatiegadget om de connectiviteit van de meest actieve qubits van het algoritme te matchen.

3. Benutten van Probleemsymmetrie ($Z_2$-symmetrie):

   • Voor problemen zoals MaxCut is de oplossing invariant onder een globale bit-flip ($X_1 X_2 \dots X_k$).
   • In de Iceberg-code maakt deze symmetrie het mogelijk logische $X$-rotaties te implementeren met behulp van óf de bovenste qubit ($t$) óf de onderste qubit ($b$) als controle.
   • Impact: Dit maakt het mogelijk de mixerlaag te splitsen in twee parallelle takken, waardoor de circuitdiepte voor de mixeroperator wordt gehalveerd.

4. Boomzoek-gebaseerde compilatie:

   • Om de exponentieel grote ontwerpruimte die wordt gecreëerd door flexibele poortvolgorde en gadget-structuren te navigeren, hebben de auteurs een boomzoekalgoritme ontwikkeld.
   • Grafische representatie: Gebruikt een "niet-gecompileerde graaf" om de diepte te schatten en een "uitvoerbare graaf" om geldige poortcombinaties bij elke stap bij te houden.
   • Heuristische kostfunctie: Combineert de huidige padlengte ($G$) met een heuristische schatting van de resterende diepte ($H$), berekend op basis van het maximale gewicht van randen in de niet-gecompileerde graaf.
   • Doel: Het vinden van het kortste pad (minimale diepte) van de bronknoop (niet-gecompileerd) naar de doelpadknoop (volledig gecompileerd) terwijl fouttolerantie behouden blijft.

3. Belangrijkste Bijdragen

1. Co-Compilatiepijplijn: Een nieuw framework dat algoritmische schakelingen en QED-gadgets gezamenlijk optimaliseert, verdergaand dan het paradigma van "vaste gadgets".
2. Geautomatiseerde Boomzoek: Een schaalbare compiler die grafische representaties en heuristieken gebruikt om de enorme ruimte van geldige poortvolgordes en gadget-permutaties te verkennen.
3. Hardware-demonstraties: Succesvolle uitvoering op de Quantinuum H2-1 val-gevangen-ionenprocessor, met demonstratie van significante verbeteringen in diepte, post-selectiepercentages en succeswahrscheinlijkheden.
4. Beyond-Break-Even Schaalbaarheid: Uitbreiding van de limiet van fouttolerante prestaties van 20 qubits (vorige state-of-the-art) naar 34 logische qubits.

4. Experimentele Resultaten

Het framework werd geëvalueerd op de Quantinuum H2-1 hardware en emulator, voornamelijk met behulp van het Quantum Approximate Optimization Algorithm (QAOA) voor MaxCut, evenals Instantaneous Quantum Polynomial (IQP) en Quantum Fourier Transform (QFT) circuits.

• Reductie van Circuitdiepte:
  • Voor MaxCut QAOA reduceerde de co-compilatie de twee-qubit diepte met maximaal 55% in vergelijking met vaste-gadget-baselines.
  • Voor reguliere grafen was de dieptereductie ~54,8%; voor willekeurige grafen (dichtheid 0,2) ~43,9%.
• Post-Selectiepercentage:
  • Toegenomen van 4% naar 33% voor een $k=22$ instantie (330 algoritmische poorten, 744 fysieke poorten).
  • Behield een beheersbaar post-selectiepercentage van 6,6% zelfs bij $k=38$.
• Succeswaarschijnlijkheid (Beyond-Break-Even):
  • Bereikte beyond-break-even prestaties (het overtreffen van ongecodeerde schakelingen) voor tot 34 algoritmische qubits.
  • Bij $k=22$ verbeterde de succeswaarschijnlijkheid van 44% (baseline) naar 65% (voorgesteld).
  • Bij $k=34$ overtrof de gecodeerde schakeling de ongecodeerde versie, terwijl eerdere methoden op deze schaal faalden.
• Andere Algoritmen:
  • IQP-circuits: Bereikte tot 37% dieptereductie.
  • QFT-circuits: Bereikte tot 13% dieptereductie (beperkt door circuitstructuur maar nog steeds gunstig).
• Energieverdeling:
  • De Iceberg-gecodeerde schakelingen vingen de ruisvrije energieverdeling nauwkeuriger op dan ongecodeerde schakelingen.
  • Een eenvoudige nabewerkingsstrategie (het afsnijden van lange staarten) verbeterde de Total Variation Distance (TVD) met tot 57% voor gecodeerde schakelingen.

5. Betekenis

• Schaalbaarheid van NISQ/Fouttolerante Hybride Systemen: Dit werk toont aan dat "beyond-break-even"-prestaties haalbaar zijn op hardware op korte termijn voor aanzienlijk grotere probleemgroottes (tot 34 qubits) dan eerder mogelijk werd geacht.
• Mitigatie van Geheugenfouten: Door agressieve reductie van circuitdiepte en qubit-inactiviteit via co-compilatie, adresseert de aanpak direct de primaire bottleneck in val-gevangen-ionensystemen: geheugenfouten (decoherentie tijdens inactiviteitstijden).
• Generaliseerbaarheid: Hoewel gedemonstreerd op de Iceberg-code en QAOA, is het co-compilatieframework toepasbaar op andere QED-codes (bijv. H-codes) en algoritmen, en biedt het een weg naar efficiëntere fouttolerante architecturen.
• Praktische Benchmarking: Het vermogen om hoogwaardige energieverdelingen uit ruisbeheerde hardware te extraheren, suggereert dat QED, in combinatie met slimme compilatie, een levensvatbaar hulpmiddel is voor het benchmarken van quantumalgoritmen op korte termijn, zelfs voordat volledige foutcorrectie beschikbaar is.

Kortom, het artikel betoogt dat de "top van de ijsberg" (huidige QED-prestaties) aanzienlijk kan worden uitgebreid door de foutdetectiecode en het algoritme te behandelen als een unified, co-geoptimaliseerd systeem, waardoor het potentieel van huidige quantumhardware wordt vrijgemaakt voor complexe algoritmische taken.