Quantum Approximate Optimization Algorithm with Cat Qubits

Technische Samenvatting: Quantum Approximate Optimization Algorithm met Cat Qubits

Probleemstelling
Het Quantum Approximate Optimization Algorithm (QAOA) is een belangrijke kandidaat voor het oplossen van combinatorische optimalisatieproblemen op intermediate-scale quantum (NISQ) processors. De prestaties worden echter momenteel beperkt door hardware-ruis, wat de effectiviteit van het algoritme vermindert naarmate de circuitdiepte toeneemt. Hoewel variatiele algoritmen zijn ontworpt om op ondiepe circuits te draaien, vereist het bereiken van diepere circuits hardware-implementaties die ruis beter kunnen tolereren. Dit werk onderzoekt of het coderen van qubits in bosonische systemen, specif kindere de "cat qubits" gerealiseerd via Kerr nonlinear resonators (KNRs), een prestatievoordeel kan bieden ten opzichte van standaard twee-niveau systeem qubits bij het oplossen van discrete optimalisatieproblemen zoals MaxCut.

Methodologie
De auteurs stellen een QAOA-implementatie voor en simuleren deze met behulp van cat qubits, die gecodeerd zijn in de coherente toestanden van een gedreven Kerr parametrische oscillator met tegengestelde amplitudes ($|\pm\alpha\rangle$).

• Codering en Ruisbias: De cat qubit-codering (specifiek de superpositie van even en oneven pariteit cat-toestanden) resulteert in "gebiaste ruis". Onder het dominante foutmechanisme van enkelvoudig fotonverlies manifesteert de ruis zich primair als fasefouten ($\hat{Z}$), terwijl bit-flip ($\hat{X}$) fouten exponentieel onderdrukt worden.
• Gate-implementatie: De studie maakt gebruik van een universele gate-set voor cat qubits: $R_Z(\phi)$, $R_X(\theta)$, $R_Y(\phi)$ en $R_{ZZ}(\Theta)$. Deze worden geïmplementeerd via specifieke drives en interacties in KNRs.
• Simulatiestrategie:
  1. Kleine schaal (Proof of Principle): De auteurs simuleren eerst een twee-qubit Exact Cover probleem met behulp van de volledige Lindblad master equation om de aanpak te valideren onder enkelvoudig fotonverlies.
  2. Grote schaal (6, 8, 10 qubits): Om de exponentiële schaling van de Hilbertruimte voor grotere systemen te overwinnen, gebruiken de auteurs de Pauli Transfer Matrix (PTM) formalisme. Ze karakteriseren de foutkanalen veroorzaakt door enkelvoudig fotonverlies op de computationele subspace, waarbij continue tijdsevolutie wordt omgezet in Kraus-operatoren.
  3. Eerlijke vergelijking: Om een eerlijke vergelijking tussen cat qubits en standaard qubits te waarborgen, stemmen de auteurs de relaxatiesnelheden ($T_1$) van de standaard qubits af zodat hun gemiddelde gate-fidelities overeenkomen met die van de cat qubits (specifiek voor $\alpha = 1.36$). Dit isoleert het voordeel van de ruisbias van eenvoudige verbeteringen in gate-fidelity.

Belangrijkste Bijdragen

• Discrete Optimalisatie in Bosonische Systemen: In tegenstelling tot eerdere bosonische QAOA-studies die zich richtten op continue variabele optimalisatie, behandelt dit werk discrete combinatorische problemen (MaxCut en Exact Cover) met behandeling van cat qubits.
• Analyse van Behoud van Ruisbias: Het artikel demonstreert dat hoewel de $R_{ZZ}$ gate de ruisbias behoudt (het omzetten van enkelvoudig fotonverlies naar $\hat{Z}$ fouten), de $R_X$ gate dat niet doet; deze transformeert $\hat{Z}$ fouten naar een combinatie van $\hat{Z}$ en $\hat{Y}$ fouten, waardoor het ruiskanaal voor die specifieke gate effectief on-biased wordt.
• Prestatiebenchmarking: De studie biedt een numerieke vergelijking van de QAOA-prestaties op cat qubits versus standaard qubits voor willekeurige MaxCut instanties, waarbij wordt gecontroleerd voor gemiddelde gate-fidelity.

Resultaten

• Benaderingsratio: Voor willekeurige MaxCut instanties op 6, 8 en 10 qubits bereikt de QAOA geïmplementeerd met cat qubits een hogere gemiddelde benaderingsratio dan de implementatie met standaard qubits, zelfs wanneer beide systemen werken met identieke gemiddelde gate-fidelities.
• Robuustheid tegen Diepte: Hoewel de benaderingsratio voor beide systemen aanvankelijk toeneemt met de circuitdiepte ($p$) en daarna afneemt door ruisaccumulatie, behoudt de cat qubit implementatie een superieure prestatie over alle geteste diepteniveaus.
• Foutmechanisme: Het prestatievoordeel wordt toegeschreven aan het feit dat in typische MaxCut circuits het aantal $R_{ZZ}$ gates (die de ruisbias behouden) groter is dan het aantal $R_X$ gates (die dat niet doen). Bij consequentie blijft het dominante foutmechanisme in cat qubits gebiast ($\hat{Z}$), terwijl standaard qubits lijden onder ongestructureerde fouten ($\hat{X}, \hat{Y}, \hat{Z}$) die alle gate-typen beïnvloeden.
• Bosonische QAOA Variant: De auteurs verkenden ook een "echt bosonische" QAOA variant (het Trotteriseren van een bosonische annealing Hamiltonian) maar stelden vast dat dit geen verbeteringen opleverde ten opzichte van de standaard QAOA aanpak met cat qubits, waarbij zij hypothetiseren dat de inefficiëntie voortkomt uit de moeilijkheid om de resonator-toestand terug te mappen naar de qubit computationele basis.

Betekenis en Claims
Het artikel claimt dat ruis-gebiaste qubits, zoals cat qubits, te prefereren zijn boven standaard qubits voor het implementeren van QAOA op nabije-term intermediate-scale quantum processors. De primaire betekenis ligt in het demonstreren dat de specifieke structuur van gebiaste ruis (die de voorkeur geeft aan dephasering) de algoritmische prestaties kan verbeteren voor discrete optimalisatieproblemen, zelfs wanneer de hardware niet-bias-behoudende gates (zoals $R_X$) vereist. De auteurs suggereren dat deze resultaten waarschijnlijk probleem-agnostisch zijn en dat andere combinatorische problemen vergelijkbaar baat zouden hebben bij deze prestatieseparatie. Zij concluderen dat deze aanpak een concreet estimate biedt van de haalbare benaderingsratio's voor MaxCut met realistische Kerr resonator parameters, wat een levensvatbaar pad biedt naar diepere, effectievere quantum circuits in het NISQ-tijdperk.