Arbitrary parallel entangling gates with independent calibration on a trapped ion quantum computer

Dit artikel demonstreert een nieuwe methode voor het uitvoeren van willekeurige parallelle verstrengelingspoorten op een ionenval-quantumcomputer met onafhankelijke kalibratie, waarbij een bijna lineaire snelheidswinst en hoge fideliteit worden bereikt over diverse grafpatronen, waardoor toekomstige architecturen gebaseerd op meerdere ionenketens van gemiddelde lengte worden gemotiveerd.

De kern

Stel je een kwantumcomputer voor als een drukke keuken waar koks (qubits) samen moeten werken om een complexe maaltijd (een berekening) te bereiden. Normaal gesproken moeten twee koks, als ze ingrediënten willen wisselen om een gerecht af te maken, dit één paar tegelijk doen. Als je tien koks hebt, betekent dat negen aparte tochten naar de voorraadkast, één voor één. Dit kost veel tijd, en hoe langer de maaltijd duurt, hoe waarschijnlijker het is dat het eten bederft (fouten sluipen erin).

Dit artikel introduceert een nieuwe manier om een "gevangen-ionen"-kwantumcomputer te laten werken (een type computer dat zwevende atomen als koks gebruikt). De onderzoekers hebben een methode ontwikkeld om meerdere paren koks tegelijk ingrediënten te laten wisselen, zonder dat ze tegen elkaar aan lopen of andere gerechten verstoren.

Hier is de uiteenzetting van hun ontdekking met eenvoudige analogieën:

1. Het Probleem: De "Eén-voor-één" Verkeersopstopping

In het verleden, als je meerdere paren atomen tegelijk wilde verstrengelen (verbinden), moest de computer zeer kieskeurig zijn.

• De Oude Manier: Het was alsof je probeerde een dans te coördineren waarbij iedereen perfect synchroon moet bewegen, maar je maar één paar dansers tegelijk kon leren. Als je het danspatroon (het "grafiek") wilde veranderen, moest je stoppen, de hele routine opnieuw leren en opnieuw beginnen.
• De Kalibratie-mare: Om de timing voor 100 verschillende paren goed te krijgen, heb je meestal maar 10 "volumeknoppen" (kalibratiecontroles). Probeer 100 verschillende nummers te stemmen met slechts 10 knoppen; dit is wiskundig onmogelijk zonder dat ze met elkaar in conflict komen.

2. De Oplossing: De "Radiofrequentie"-Truc

De auteurs creëerden een nieuwe methode om de "muziek" (laserpulsen) te genereren die de atomen vertelt wat ze moeten doen.

• Verschillende Frequenties: Stel je voor dat de koks naar de radio luisteren. In plaats van dat iedereen naar hetzelfde station luistert, hebben de onderzoekers elk paar koks afgestemd op een iets andere radiofrequentie.
• Het Ruisen Dempen: Door de muziek zorgvuldig te ontwerpen, zorgden ze ervoor dat Kok A en Kok B alleen hun eigen nummer horen, terwijl Kok C en Kok D een ander nummer horen. Zelfs al bevinden ze zich allemaal in dezelfde ruimte (dezelfde ionenketen), dan dansen ze toch niet per ongeluk op elkaars muziek.
• De "Universele Afspeellijst": Het beste deel is dat ze één master-afspeellijst hebben gemaakt die werkt voor elke combinatie van paren. Of je nu Kok 1 wilt verbinden met Kok 2, of Kok 5 met Kok 9, of ze allemaal tegelijk, je gebruikt gewoon dezelfde afspeellijst. Je hoeft geen nieuwe muziek te schrijven voor elk nieuw recept.

3. De Resultaten: Snelheid en Nauwkeurigheid

Het team testte dit op een echte kwantumcomputer met een keten van 7 atomen (waarvan 5 als "koks" werden gebruikt).

• Snelheid: Toen ze drie verschillende beroemde kwantumalgoritmen draaiden (zoals een "Verborgen Shift"-puzzel en een "Bernstein-Vazirani"-codekraker), was de parallelle methode ongeveer twee keer zo snel als het stap-voor-stap uitvoeren. In sommige gevallen was het zelfs nog sneller.
• Kwaliteit: Normaal gesproken maakt het sneller doen dingen rommeliger. Maar hier waren de "parallelle" gerechten net zo hoogwaardig als de "seriële" (één voor één) gerechten. De foutpercentages bleven laag.
• Flexibiliteit: Ze testten verschillende vormen van verbindingen:
  • Disjunct: Twee aparte paren die alleen werken (zoals twee koppels die in een hoekje dansen).
  • Ster-grafiek: Een centrale kok die met iedereen verbonden is (zoals een hub).
  • Ring-grafiek: Iedereen die met zijn buurman in een cirkel verbonden is.
  • In alle gevallen werkte de methode zonder dat de machine voor elke nieuwe vorm opnieuw gekalibreerd hoefde te worden.

4. Waarom Dit Belangrijk Is voor de Toekomst

Het artikel suggereert dat toekomstige kwantumcomputers niet alleen moeten proberen één gigantische keten van atomen te maken (wat moeilijk te controleren is) of veel kleine, gescheiden ketens (waarbij het verplaatsen van atomen tussen hen langzaam is).

In plaats daarvan stellen ze voor om middelgrote ketens te bouwen (zoals 10–20 atomen) die veel dingen tegelijk kunnen doen. Omdat deze nieuwe methode "willekeurige" verbindingen toestaat (elk patroon dat je wilt) zonder de gebruikelijke kalibratiehoofdpijn, maakt dit deze middelgrote ketens veel krachtiger en efficiënter.

Kortom: Ze hebben uitgevonden hoe een groep atomen in paren met elkaar kan praten, allemaal tegelijk, met behulp van één set instructies die werkt voor elk patroon, waardoor de kwantumcomputer sneller en makkelijker af te stemmen wordt.

Technische samenvatting

1. Probleemstelling

Parallelle verwerking is essentieel voor het behalen van een praktisch quantumvoordeel, omdat het de circuitsdiepte en uitvoeringstijd aanzienlijk verkleint in vergelijking met seriële gate-uitvoering. Hoewel quantumcomputers op basis van vastgehouden ionen volledige qubit-connectiviteit bieden, waardoor willekeurige patronen van twee-qubit-verstrengelingsgates mogelijk zijn, lopen bestaande methoden voor het paralleliseren van deze gates tegen kritieke beperkingen aan:

• Calibratiecomplexiteit: Eerdere methoden vereisen vaak maatwerk-pulssynthese voor elk specifiek gatepatroon. Het kalibreren van $O(N^2)$ verstrengelingshoeken met slechts $O(N)$ onafhankelijke controleparameters (pulsamplitudes per ion) is wiskundig beperkt, waardoor onafhankelijke kalibratie van willekeurige patronen moeilijk of onmogelijk is.
• Kruispraat en Vermogen: Het gelijktijdig aandrijven van meerdere gates leidt vaak tot aanzienlijke kruispraat tussen qubittparen en vereist excessief laservermogen, wat de hardwarelimieten kan overschrijden of de fideliteit kan verslechteren.
• Schaalbaarheid: Eerdere benaderingen (bijv. Refs. [1, 2]) lijden onder hoge pulscomplexiteit, gebrek aan stabiliteit tegen frequentiedrift, of het onvermogen om overlappende qubitpatronen (bijv. stergrafieken) efficiënt te verwerken zonder opnieuw te synthetiseren.

2. Methodologie

De auteurs stellen een nieuwe methode voor het synthetiseren van gate-pulsen voor die willekeurige parallelle verstrengelingsgates mogelijk maakt met onafhankelijke kalibratie. De kerninnovatie ligt in het scheiden van gate-pulsen in verschillende frequentiebanden om kruispraat te minimaliseren en het gebruik van een iteratieve projectiemethode om resterende interferentie te onderdrukken.

Het proces omvat drie hoofdstappen:

1. Basisdefinitie en Nulruimte-beperking (Stap 1):

   • De pulsfuncties $g_i(t)$ worden geconstrueerd met behulp van een Fourier-basis (sinusfuncties).
   • Om ervoor te zorgen dat de qubits aan het einde van de gate ontkoppeld zijn van bewegingsmodi (waarbij $\alpha_{ip} = 0$), worden de pulsen beperkt tot de nulruimte van een matrix $\hat{M}$ die is afgeleid van de Lamb-Dicke-parameters en modusfrequenties. Dit garandeert dat de transiënte spin-bewegingsverstrengeling wordt verwijderd.

2. Modus-toewijzing en Ordening (Stap 2):

   • De auteurs formuleren een maximum weight matching-probleem om specifieke qubittparen $(i, j)$ toe te wijzen aan specifieke bewegingsmodi $p$ en eigenwaarden $\lambda$.
   • Het doel is om de vermogenefficiëntie te maximaliseren door qubits te koppelen aan modi met de sterkste koppeling ($\eta_{ip}\eta_{jp}\Lambda_{p,\lambda}$).
   • Gates worden voor synthese geordend op basis van deze toewijzingen, waarbij prioriteit wordt gegeven aan die met lagere vermogenseisen (hogere koppelingsefficiëntie) om deze eerst op te lossen.

3. Iteratieve Pulsynthese met Kruispraatonderdrukking (Stap 3):

   • Pulsen worden iteratief opgelost. Voor de $m$-de gate wordt de oplossingsruimte beperkt tot orthogonaal te zijn met alle eerder opgeloste pulsen ($m' < m$).
   • Een projector-operator $\hat{Q}$ wordt geconstrueerd om ongewenste kruispraattermen ($\chi_{ij}$) tussen de huidige gate en alle eerder opgeloste gates expliciet te annuleren.
   • Dit zorgt ervoor dat, hoewel de pulsen dezelfde frequentieband delen, ze niet met elkaar interfereren wat betreft hun verstrengelingshoeken.

Kernkenmerken van de Methode:

• Enkele Pulsenset: Er wordt één set van $O(N^2)$ pulslösungen gegenereerd voor alle mogelijke twee-qubit-gates. Elk subset (grafpatroon) kan worden geïmplementeerd door simpelweg de relevante pulsen te selecteren, waardoor de noodzaak voor opnieuw synthetiseren wordt vermeden.
• Onafhankelijke Kalibratie: Omdat kruispraat wiskundig wordt genulteerd, kan elke gate in een parallelle set onafhankelijk worden gekalibreerd door de specifieke amplitude aan te passen, vergelijkbaar met seriële gates.
• Vermogenherverdeling: Voor overlappende gates (bijv. een stergrafiek waarbij één qubit deelneemt aan meerdere gates) past de methode vermogenherverdeling toe. Het vermogen van de centrale qubit wordt verlaagd met $\sqrt{d}$ (waarbij $d$ de graad is), en perifere qubits worden verhoogd, waarbij het totale verstrengelingshoek behouden blijft terwijl het piekvermogen haalbaar blijft.

3. Belangrijkste Bijdragen

• Grafpatroon-agnostische Implementatie: De methode ondersteunt elk willekeurig grafpatroon (disjuncte paren, stergrafieken, ringgrafieken) zonder dat er voor elke configuratie nieuwe pulssynthese nodig is.
• Onafhankelijke Kalibratie: Het lost het kalibratiebottleneck op door $O(N)$ gates gelijktijdig te laten kalibreren met $O(N)$ controleknoppen, een prestatie die bij andere methoden eerder beperkt was tot disjuncte paren.
• Stabiliteit: De pulsen zijn ontworpen om stabiel te zijn tegen drifts in bewegingsmodusfrequenties (een eigenschap die vaak ontbreekt in eerdere parallelle schema's).
• Geheugenefficiëntie: Door het opslaan van één universele pulsenset in plaats van $2^{O(N^2)}$ specifieke patronen, verlaagt de methode de geheugeneisen voor quantumbesturingselektronica (FPGA's) drastisch.

4. Experimentele Resultaten

De auteurs hebben deze gates geïmplementeerd op een 171Yb+-vastgehouden-ionenquantumcomputer met een 7-ionenketen (5 actieve qubits).

• Gate-fideliteit:
  • Disjuncte Gates: Parallelle uitvoering van twee disjuncte XX-gates bereikte fideliteiten van 98,48% en 98,58%, vergelijkbaar met seriële gates (~98,5%).
  • Overlappende Gates: Een parallelle implementatie van twee gates die één ion delen bereikte een fideliteit van 94,99%, vergelijkbaar met het seriële equivalent (96,15%).
• Algoritme-benchmarks:
  • Hidden Shift (HS) Algoritme: Parallelle implementatie verkleinde de uitvoeringstijd met ~50% en verbeterde de gemiddelde fideliteit naar 94,58% (vs. 93,15% serieel).
  • Bernstein-Vazirani (BV) Algoritme: Parallelisering verkleinde de uitvoeringstijd aanzienlijk (van $4\tau$ naar $\tau$ of $2\tau$, afhankelijk van de oracle). De fideliteit bleef hoog op 97,01%.
  • Heisenberg-Hamiltoniaan (HH) Simulatie: Een 4-qubit simulatie van een ringgrafiek (all-to-all connectiviteit) toonde een 4x versnelling in uitvoeringstijd. De parallelle implementatie leverde een gemiddelde kwadratische afstand tot de ideale simulatie op van 0,016, aanzienlijk beter dan de 0,037 van de seriële implementatie.
• Vermogensschaling:
  • Voor $O(N)$ parallelle gates schalen de gemiddelde vermogenseisen lineair met $N$, vergelijkbaar met een enkele gate.
  • De methode vermijdt de exponentiële vermogensexplosie die bij andere schema's wordt gezien bij schaling naar all-to-all connectiviteit.

5. Betekenis en Toekomstperspectief

• Architecturale Impact: De resultaten suggereren dat toekomstige vastgehouden-ionenquantumcomputers meerdere medium-lange ionenketens moeten gebruiken in plaats van één enorme keten of vele kleine disjuncte ketens. Deze architectuur maximaliseert de voordelen van parallelisering terwijl het modusoverbevolking en shuttling-overhead beperkt.
• Fouttolerantie: Het vermogen om stabilisator-uitlezingen en transversale logische gates parallel uit te voeren is cruciaal voor foutcorrectieschema's (bijv. oppervlaktecodes), waarbij parallelisering de tijdsbijkomst van syndroomextractie drastisch kan verminderen.
• Schaalbaarheid: Door pulssynthese te ontkoppelen van specifieke grafpatronen en onafhankelijke kalibratie mogelijk te maken, verwijdert deze methode een belangrijke bottleneck bij het schalen van vastgehouden-ionensystemen naar honderden qubits.

Kortom, dit werk demonstreert een robuust, schaalbaar en experimenteel geverifieerd raamwerk voor parallelle verstrengelingsgates dat de kalibratie- en kruispraatbeperkingen van eerdere benaderingen overwint, en de weg effent voor efficiëntere en snellere quantumalgoritmen op vastgehouden-ionenhardware.