Breakeven demonstration of quantum low-density parity-check codes

Door de flexibiliteit van een gevangen-ion kwantumcomputer en een nieuwe optische metastabiele grondtoestandarchitectuur te benutten, hebben onderzoekers negen verschillende kwantumfoutcorrigerende codes gedemonstreerd zonder hardwareconfiguratie, waarbij een breakeven-prestatie werd bereikt waarbij de logische foutenreeks van een hoge-rate qLDPC-code de eerdere supergeleidende demonstraties aanzienlijk overtrof terwijl deze de fysieke qubit-levensduur evenaarde of overtrof.

De kern

Stel je voor dat je een delicate boodschap over een stormachtige oceaan probeert te sturen. De boodschap is je "logische qubit" (de werkelijke informatie die je veilig wilt houden), maar de boot die de boodschap vervoert, is gemaakt van "fysieke qubits" (de eigenlijke hardware, die gevoelig is voor nat worden en beschadigd raken door de golven).

Lange tijd hebben wetenschappers geprobeerd een boot te bouwen die zo stevig is dat de boodschap langer overleeft dan het hout van de boot zelf. Dit wordt het bereiken van het "breakevenpunt" genoemd. Als de boodschap langer standhoudt dan de boot, heb je de race tegen fouten gewonnen.

Dit artikel van IonQ rapporteert een grote overwinning in die race met behulp van een trapped-ion quantumcomputer. Dit is wat ze hebben gedaan, eenvoudig uitgelegd:

1. Het Probleen: De "Buurt"-beperking

De meeste quantumcomputers van vandaag zijn als een buurt waar huizen (qubits) alleen met hun directe buren kunnen praten. Om een boodschap te beschermen, gebruiken ze een "Surface Code", wat lijkt op het bouwen van een enorme muur rondom de boodschap. Het probleem? Deze muur is gigantisch. Om één stukje informatie te beschermen, heb je misschien honderden bakstenen (fysieke qubits) nodig. Dat is erg duur en inefficiënt.

Er is een nieuwere, slimmere blauwdruk genaamd qLDPC-codes. Dit zijn als een hoogtechnologisch beveiligingssysteem waarbij de boodschap wordt beschermd door een web van verbindingen die niet alleen naar de buren gaan, maar de hele ruimte kunnen overbruggen. Hierdoor kun je meer informatie beschermen met minder bakstenen. Het bouwen van deze "langlopende" verbindingen is echter meestal een nachtmerrie voor hardware-engineers, omdat de meeste machines niet over de kamer heen kunnen reiken.

2. De Oplossing: De "Magische Afstandsbediening"

Het team bij IonQ gebruikte een trapped-ion computer, die uniek is omdat deze niet vertrouwt op fysieke draden die buren met elkaar verbinden. In plaats daarvan gebruiken ze lasers (Raman-stralen) die fungeren als een magische afstandsbediening.

• Geen bewegende delen: Ze hoeven de atomen (ionen) niet fysiek rond te bewegen. De lasers kunnen op elk atoom of op elk paar atomen wijzen, ongeacht hoe ver ze uit elkaar staan in de rij.
• De "OMG"-truc: Om te controleren of de boodschap veilig is, moeten ze even naar de "beveiligers" (ancilla-qubits) kijken zonder de "gevangenen" (data-qubits) te verstoren. Normaal gesproken vereist dit het verplaatsen van de bewakers naar een andere kamer of het gebruik van extra "koelmiddelen" om de boel stabiel te houden.
  • Hun Innovatie: Ze gebruikten een slimme truc genaamd de Optical-Metastable-Ground (OMG)-architectuur. Stel je voor dat je alle gevangenen in een "time-out" kamer zet (metastabiele staat) waar ze onzichtbaar zijn voor de lasers. Daarna halen ze selectief alleen de bewakers terug naar de hoofdzaal om de status te controleren, ze af te koelen en weer terug naar de time-out te sturen.
  • Het Resultaat: Ze hoefden geen atomen te verplaatsen of extra "koelmiddel"-atomen te gebruiken. Ze deden alles op de plaats, wat enorm veel tijd en ruimte bespaart.

3. Het Experiment: Het testen van verschillende blauwdrukken

Omdat hun "magische afstandsbediening" zo flexibel is, hoefden ze hun machine niet opnieuw te bouwen om verschillende beveiligingsblauwdrukken te testen. Ze testten negen verschillende codes op exact dezelfde hardware:

• qLDPC-codes: De efficiënte codes met langlopende verbindingen.
• Topologische codes: Codes gebaseerd op de vorm van een donut (torus).
• Geconcateneerde codes: Codes waarbij je een klein veiligheidsnet binnen een groter net wikkelt.

4. De Resultaten: De concurrentie verslaan

Het team bereikte twee belangrijke mijlpalen:

• Het vorige record verslaan: Ze testten een specifieke code (BB5) die 4 stukjes informatie codeert in 18 fysieke qubits. Een eerder experiment op een supergeleidende chip (met een ander type hardware) had geprobeerd deze zelfde code te gebruiken, maar had moeite met fouten. De versie van IonQ was 4 keer beter in het stoppen van "Z"-fouten en 9 keer beter in het stoppen van "X"-fouten.
• De "Breakeven"-lijn passeren: Dit is het grote nieuws. Ze maten hoe lang de "logische" informatie overleefde in vergelijking met de "fysieke" atomen.
  • In één specifieke code overleefde de logische informatie 3,95 seconden.
  • De fysieke atomen zelf overleefden slechts 3,3 seconden.
  • De Analogie: De boodschap overleefde langer dan de boot waar hij in zat. Dit is het "breakevenpunt".

Samenvatting

Beschouw dit artikel als een demonstratie dat een flexibele, lasergestuurde vloot van boten (trapped ions) een slimme, langlopende beveiligingsnetten (qLDPC-codes) kan gebruiken om een boodschap langer veilig te houden dan de boten zelf zouden kunnen.

Ze bewezen dat je geen massieve, rigide machine nodig hebt om geweldige resultaten te behalen. In plaats daarvan hebben ze, door een flexibel systeem te gebruiken dat direct met elk deel van de machine kan "praten", een niveau van bescherming bereikt dat een cruciale stap is naar het bouwen van grootschalige, fouttolerante quantumcomputers. Ze deden dit zonder bewegende delen of extra koelmiddelen te gebruiken, waardoor het proces veel efficiënter is.

Technische samenvatting

Technische Samenvatting: Breakeven-demonstratie van Quantum Low-Density Parity-Check Codes

Probleemstelling
Fouttolerante quantumcomputing (FTQC) vereist uitgebreide quantumfoutcorrectie (QEC). Hoewel de surface code een populaire keuze is vanwege de compatibiliteit met 2D-naburige architecturen, lijdt deze onder een enorme qubit-overhead, waarbij honderden fysieke qubits nodig zijn per logische qubit. Quantum low-density parity-check (qLDPC) codes bieden een veelbelovend alternatief door lokaliteitsrestricties te versoepelen, wat hogere coderingsefficiënties en verminderde overhead mogelijk maakt. De experimentele realisatie van qLDPC-codes wordt echter gehinderd door de noodzaak van niet-lokale poorten en complexe hardwareconfiguraties. Eerdere demonstraties, zoals een specifieke bivariate bicycle (BB) code op supergeleidende qubits, vereisten gespecialiseerde hardware met langafstandskoppelingen en behaalden logische foutensnelheden die nog niet competitief waren met de levensduur van fysieke qubits (breakeven).

Methodologie
De auteurs maakten gebruik van een trapped-ion quantumcomputer bestaande uit een stationaire keten van veertig $^{133}\text{Ba}^+$ ionen. Het systeem maakt gebruik van twee belangrijke architecturale voordelen:

1. All-to-All Connectiviteit: Poorten worden geïmplementeerd met behulp van stuurbare Raman-bundels die elk ion of paar ionen in de keten adresseren, waardoor fysiek transport van ionen overbodig is.
2. Optical-Metastable-Ground (OMG) Architectuur: Een nieuwe implementatie die adresseerbare mid-circuit meting (MCM) en reset mogelijk maakt zonder dedicated koelionen.
   • Mechanisme: Idle qubits worden "opgeborgen" (shelved) in een metastabiele manifold ($5^2D_{5/2}$) met behulp van een globale 1762 nm bundel. Specifieke "readout ancillae" worden selectief teruggebracht naar de grondtoestand ($6^2S_{1/2}$) voor meting.
   • Sympatische Koeling: De gemeten ancillae worden gebruikt om de gehele keten sympatisch te koelen, wat de noodzaak voor aparte koelionen wegneemt (die in transport-gebaseerde systemen doorgaans tot 50% van het aantal ionen verbruiken).
   • Leakage Handling: Het systeem detecteert leakage uit de qubit-manifold via fluorescentiecontroles. Hoewel de primaire aanpak post-selectie is (het verwerpen van shots met gedetecteerde leakage), merken de auteurs op dat dit kan worden omgezet naar erasures met conditionele resets.

De experimenten demonstreerden negen verschillende quantumfoutcorrigerende codes binnen drie families zonder enige hardwareconfiguratie:

• qLDPC Codes: Vijf codes, inclusief drie BB5-varianten en twee GB4-codes (gewicht-4 stabilisatoren).
• Topologische Codes: Een standaard toric code ($d=3$) en een geroteerde variant ($d=4$).
• Geconcateneerde Codes: De $[[4, 2, 2]]$ code geconcateneerd met zichzelf.

Geheugeneperimenten werden uitgevoerd door logische eigenstanden ($X_L$ en $Z_L$) voor te bereiden en syndroomcycli te herhalen (tot 6 cycli). Syndroomgegevens werden gedecodeerd met een beam decoder.

Belangrijkste Resultaten

• Logische Foutensnelheden: Gebruikmakend van een BB5-code die 4 logische qubits codeert in 18 fysieke qubits, bereikten de auteurs logische foutensnelheden die significant lager waren dan een eerdere supergeleidende demonstratie van een vergelijkbare BB-code (die 4 logische qubits codeert in 18 fysieke qubits met 32 transmons). Specifiek was de logische foutensnelheid 4$\times$ lager voor Z-fouten en 9$\times$ lager voor X-fouten vergeleken met de supergeleidende benchmark.
• Breakeven Prestaties: De studie rapporteert de eerste demonstratie van breakeven-prestaties voor qLDPC-codes. Logische qubit-levensduur was vergelijkbaar met, en in sommige gevallen zelfs iets hoger dan, de levensduur van de onderliggende fysieke qubits.
  • De best presterende code-instantie (GB4 $[[26, 2, 5]]$) vertoonde een logische qubit-levensduur van 3,95 $\pm$ 0,68 s, vergeleken met 3,3 $\pm$ 0,9 s voor de fysieke qubits.
  • Voor de BB5 $[[18, 4, 3]]$ code was de logische levensduur vergelijkbaar met de fysieke qubit-levensduur ($T_2^* \approx 1,1 \pm 0,3$ s voor $X_L$ en $T_1 \approx 3,3 \pm 0,9$ s voor $Z_L$).
• Flexibiliteit: Dezelfde hardware implementeerde succesvol codes met zeer verschillende connectiviteitsvereisten (van lokale toric codes tot zeer niet-lokale qLDPC-codes), enkel door softwarematige herconfiguratie van de gate-sequenties en qubit-mappings.

Betekenis en Claims
Het artikel stelt dat dit werk een belangrijke mijlpaal vormt richting qubit-efficiënte fouttolerante architecturen. Door gebruik te maken van de flexibiliteit van trapped-ion systemen, demonstreren de auteurs dat hoog-rate qLDPC-codes kunnen worden geïmplementeerd zonder de hardwarebeperkingen die eerdere experimentele realisatie hebben beperkt. De succesvolle demonstratie van breakeven-prestaties (waarbij logische qubits even lang of langer leven dan fysieke qubits) voor qLDPC-codes suggereert dat deze codes levensvatbare kandidaten zijn voor de eerste generaties FTQC. De nieuwe OMG-architectuurimplementatie wordt benadrukt als een cruciale enabler, die schaalbare mid-circuit meting en koeling mogelijk maakt zonder de overhead van ionentransport of dedicated koelsoorten. Het werk onderstreept dat trapped-ion apparaten een natuurlijk platform zijn voor het realiseren van de complexe connectiviteit die vereist is voor qLDPC-codes.