Halma: a routing-based technique for defect mitigation in quantum error correction

In dit paper wordt Halma voorgesteld, een routage-gebaseerde techniek die gebruikmaakt van een uitgebreide native gate-set (CNOT en iSWAP) om defecten in ancilla-qubits van oppervlaktecodes effectief te mitigeren zonder de ruimtelijke of tijdsafstand te verlagen, wat leidt tot een aanzienlijke verbetering in de logische foutkans en een verkleining van de fysieke qubit-behoefte voor fouttolerante kwantumcomputing.

De kern

Hier is een uitleg van het paper "Halma" in eenvoudig Nederlands, met behulp van creatieve analogieën.

🧱 De Grote Uitdaging: Een Onvolmaakte Legpuzzel

Stel je voor dat je een gigantische legpuzzel wilt maken om een heel complex verhaal (een kwantumcomputer) te vertellen. Om dit verhaal betrouwbaar te houden, heb je duizenden stukjes nodig die perfect op elkaar moeten passen. Dit noemen we in de wereld van kwantumcomputers een oppervlaktecode (surface code).

Het probleem? De fabrieken die deze stukjes (qubits) maken, zijn niet perfect. Net als bij een legpuzzel uit de winkel, zijn er soms stukjes die ontbreken, kapot zijn of niet goed werken. In de echte wereld zijn ongeveer 1% tot 2% van deze stukjes defect. Als je een stukje mist, stort het hele verhaal vaak in elkaar.

Tot nu toe was de oplossing voor een kapot stukje vrij simpel maar duur: je haalde het kapotte stukje weg én je haalde ook de vier stukjes eromheen weg, zodat niemand er meer op leunde. Je noemde dit een "superstabilisator".

• Het nadeel: Je verloor veel ruimte in je puzzel. Je moest veel meer stukjes kopen om hetzelfde verhaal te vertellen. Het was alsof je een hele hoek van je huis afbreekt omdat er één raam kapot is.

🚀 De Oplossing: Halma (De Slimme Verhuizer)

De auteurs van dit paper, Runshi Zhou en zijn team, hebben een nieuwe techniek bedacht die Halma heet (naar het bekende bordspel waar je springt over andere stukjes).

In plaats van de kapotte stukjes en hun buren weg te gooien, gebruiken ze een slimme truc: ze verplaatsen de taken.

De Magische Kracht: Twee Soorten Sprongen

Normaal gesproken kunnen kwantumchips (zoals die van Google) maar één soort "sprong" maken: een CNOT-gate (een soort controle-sprong).
Maar Halma maakt gebruik van een extra kracht die al in de chips zit, maar die eerder werd genegeerd: de iSWAP-gate.

• Analogie: Stel je voor dat je in een drukke stad loopt. Normaal kun je alleen rechtdoor lopen (CNOT). Maar Halma ontdekt dat je ook kunt springen over een obstakel of van kant kunt wisselen met iemand die naast je loopt (iSWAP).

Met deze extra sprong kunnen ze een defect stukje "omzeilen" zonder de rest van de puzzel te verstoren.

🎮 Hoe werkt Halma in de praktijk?

Stel je een defect stukje voor in het midden van je puzzel (een "ancilla qubit defect").

1. De Oude Manier (Superstabilisator):
   Je blokkeert het defecte stukje en de vier buren. De puzzel wordt kleiner en zwakker. De "afstand" tussen de belangrijke stukjes wordt kleiner, waardoor de kans op fouten toeneemt.

2. De Halma Manier:

   • Ronde 1 (De W-ronde): De buren doen hun werk, maar ze bereiden een "springplank" voor. Ze wisselen van positie met elkaar.
   • Ronde 2 (De V-ronde): Een buur die normaal gesproken een andere taak had, springt nu over het defecte stukje heen om de taak van het kapotte stukje te doen.
   • Het Resultaat: Het defecte stukje wordt genegeerd, maar de taak wordt toch uitgevoerd door een buur die even van rol wisselt. De puzzel blijft even groot en sterk als toen hij perfect was.

Het is alsof je in een dansgroepje een danser hebt die struikelt. In plaats van de dans te stoppen en de hele groep kleiner te maken, springt een andere danser even over de struikelaar heen om de choreografie te voltooien.

🏆 Waarom is dit zo geweldig?

De auteurs hebben getoond dat Halma twee grote voordelen heeft:

1. Geen ruimteverlies: Omdat je geen buren hoeft weg te halen, blijft je "puzzel" even groot. Je hebt dus veel minder fysieke qubits nodig om dezelfde rekenkracht te krijgen.

   • Vergelijking: Voor een bepaalde taak heb je met de oude methode 3 keer zo veel stukjes nodig als met Halma. Dat is een enorme besparing!

2. Minder fouten: Omdat de puzzel groter en sterker blijft, zijn de kans op fouten in het eindresultaat veel kleiner. Bij een realistisch defectpercentage (2%) is de foutkans met Halma ongeveer 10 keer kleiner dan met de oude methode.

🛠️ Is dit alleen voor de toekomst?

Nee! De auteurs benadrukken dat deze techniek werkt op de hardware die we nu al hebben (supergeleidende chips). Ze hoeven geen nieuwe machines te bouwen; ze gebruiken gewoon een knop die al op de machine staat, maar die ze nog niet hadden gebruikt.

Samenvatting in één zin

Halma is een slimme manier om kapotte stukjes in een kwantumcomputer te omzeilen door ze te "springen" (met een extra gate), waardoor je geen ruimte hoeft op te offeren en je computer veel betrouwbaarder wordt, zelfs als de hardware niet perfect is.

Het is alsof je een auto rijdt met een lekke band: in plaats van de auto te slopen en een nieuwe te kopen, gebruik je een reserveband (de iSWAP-gate) om gewoon door te rijden, terwijl je de rest van de auto intact houdt.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "Halma: a routing-based technique for defect mitigation in quantum error correction" in het Nederlands.

Titel: Halma: Een route-gebaseerde techniek voor defectmitigatie in kwantumfoutcorrectie

Auteurs: Runshi Zhou, Fang Zhang, Linghang Kong, en Jianxin Chen.
Datum: 30 december 2024.

---

1. Het Probleem

Naarmate kwantumchips groeien naar schaal voor grootschalige berekeningen, worden fabricagefouten (defecten) onvermijdelijk. Schattingen suggereren dat in nabije-toekomstige supergeleidende kwantumcomputers ongeveer 1% tot 2% van de qubits defect kan zijn.

• Oppervlakcode (Surface Code): Dit is de meest gebruikte foutcorrectiecode, vooral op supergeleidende platforms, vanwege de beperkte connectiviteit (alleen buren).
• Huidige uitdaging: Bestaande methoden om met defecten om te gaan, zoals de "superstabilizer"-benadering, werken goed voor defecten op data-qubits, maar zijn inefficiënt voor defecten op ancilla-qubits (de qubits die metingen uitvoeren).
  • Bij een defect op een ancilla-qubit vereist de superstabilizer-methode vaak het uitschakelen van vier omliggende data-qubits.
  • Dit leidt tot een significante reductie van de code-afstand (code distance), wat de robuustheid van de logische informatie vermindert en de logische foutenrate verhoogt.
  • Bestaande alternatieven (zoals code-deformatie of brug-gates) behouden vaak niet de volledige ruimtelijke afstand of vereisen complexe asynchrone circuits.

2. Methodologie: Halma

De auteurs introduceren Halma, een techniek die defecten op ancilla-qubits oplost door gebruik te maken van een uitgebreid, maar realistisch, nativ gate-set dat beschikbaar is op moderne supergeleidende processors.

• Kerninnovatie: In plaats van alleen de standaard CNOT-gate (of CZ) te gebruiken, maakt Halma gebruik van een combinatie van CNOT en iSWAP gates.
  • Op supergeleidende chips kunnen deze gates vaak met hoge fideliteit worden uitgevoerd.
  • De CXSWAP-gate (een CNOT gevolgd door een SWAP, logisch equivalent aan iSWAP tot single-qubit rotaties) fungeert als een "gratis" routing-mechanisme.
• Werkingsprincipe:
  • Halma gebruikt een routing-gebaseerde aanpak binnen een diepte-5 syndroom-extractie circuit.
  • Het introduceert geen extra ruis en vereist geen algoritmes voor het zoeken naar complexe circuits.
  • Het proces wisselt af tussen twee types rondes:
    1. W-rondes: Meten van alle stabilisatoren behalve die van het defecte qubit, terwijl er routing wordt uitgevoerd om voor te bereiden op de volgende ronde.
    2. V-rondes: Het defecte stabilisator wordt gemeten door een aangrenzend ancilla-qubit tijdelijk te "huren" om de meting uit te voeren, terwijl de vier omliggende stabilisatoren tijdelijk worden uitgeschakeld.
  • Dit wisselende patroon (WVΛM-cyclus) zorgt ervoor dat het defecte stabilisator gemeten wordt zonder de ruimtelijke afstand van de code te verkleinen.

3. Belangrijkste Bijdragen

1. Zero Ruimtelijke Afstandsreductie: Halma behoudt de volledige ruimtelijke afstand (spacelike distance) van de oppervlakcode, zelfs bij defecten op ancilla-qubits. Dit is een cruciaal verschil met de superstabilizer-methode die de afstand met twee vermindert.
2. Behoud van Tijdsafstand: In tegenstelling tot andere methoden (zoals LUCI), sacrificeert Halma de tijdsafstand (timelike distance) niet, waardoor logische operaties efficiënter blijven.
3. Compatibiliteit: Halma is direct compatibel met bestaande superstabilizer-benaderingen voor data-qubit defecten. Het kan worden gebruikt als een "upgrade-patch" in bestaande systemen.
4. Robuustheid tegen Clusters: De methode is zeer tolerant voor defectclusters. Zelfs bij een defectrate van 2% kan Halma direct worden toegepast op ongeveer 99% van de ancilla-qubit defecten door het wisselen van globale meetordes (Z-orders).

4. Resultaten

De auteurs hebben uitgebreide Monte Carlo-simulaties uitgevoerd met een realistische fysieke ruisniveau van $10^{-3}$.

• Enkele Defect: Op een kleine oppervlakcode met één defecte ancilla-qubit is de logische foutenrate van Halma slechts ~1,5x die van een defectvrije code.
• Vergelijking met Superstabilizer:
  • Voor een oppervlakcode met afstand 11 en een defectrate van 2%, biedt Halma een verbetering van ongeveer 10x in de gemiddelde logische foutenrate ten opzichte van de conventionele superstabilizer-methode.
• Teraquop Footprint:
  • Het aantal fysieke qubits dat nodig is om een logische foutenrate van $10^{-12}$ te bereiken (de "teraquop footprint"), is met ~3x lager bij gebruik van Halma vergeleken met de superstabilizer-methode.
  • Bij gebruik van geoptimaliseerde strategieën (post-selectie) kan deze reductie oplopen tot een factor 4.
• Vergelijking met LUCI: Halma presteert vergelijkbaar in geheugenexperimenten, maar is aanzienlijk superieur in stabiliteitsexperimenten (meer rondes metingen) omdat de tijdsafstand niet wordt verkleind.

5. Betekenis en Conclusie

Halma vertegenwoordigt een belangrijke stap in de realisatie van fouttolerante kwantumcomputing (FTQC) op hardware met fabricagefouten.

• Praktische Impact: Het verlaagt de overhead van fysieke qubits aanzienlijk, wat de kosten en complexiteit van toekomstige kwantumcomputers vermindert.
• Paradigmaverschuiving: Het paper benadrukt dat het benutten van intrinsieke hardware-mogelijkheden (zoals het gebruik van iSWAP naast CNOT) leidt tot betere prestaties dan het strikt vasthouden aan traditionele, beperkte gate-set aannames.
• Toekomstperspectief: Hoewel de huidige studie zich richt op een basisstrategie, suggereert de auteurs dat geavanceerde strategie-modules (bijv. via machine learning) de prestaties nog verder kunnen verbeteren. Halma maakt het mogelijk om oppervlakcodes te gebruiken op imperfecte chips zonder de fundamentele voordelen van de code te verliezen.

Kortom, Halma is een krachtige, routing-gebaseerde oplossing die de haalbaarheid van schaalbare kwantumcomputing op defecte supergeleidende chips aanzienlijk verbetert.