Arbitrary high-fidelity binomial codes from multiphoton spin-boson interactions

Probleemstelling

Kwantumfoutcorrectie (QEC) is essentieel voor schaalbare kwantuminformatieverwerking. Hoewel conventionele methoden discrete variabelen gebruiken, bieden bosonische codes (die informatie coderen in continue variabelen, zoals fotonische modi) een krachtig alternatief met intrinsieke redundantie. Binomial codes zijn een prominente familie van deze codes die bescherming bieden tegen zowel fotoverlies als fasefouten (dephasing) door logische toestanden te coderen in eindige superposities van Fock-toestanden met binomiaal gewogen coëfficiënten.

Hoewel de theoretische eigenschappen en integratie van binomial codes goed onderzocht zijn, blijft de efficiënte generatie van willekeurige binomial codewoorden met hoge fideliteit een kritieke uitdaging. Bestaande methoden zijn vaak beperkt tot specifieke, eenvoudige gevallen (zoals bescherming tegen één enkel fotoverlies) of vereisen complexe iteratieve protocollen die moeilijk te generaliseren zijn naar complexere codes met grotere afstanden (meer correcteerbare fouten). Er ontbreekt een universeel, hardware-onafhankelijk protocol om deze complexe superposities direct en betrouwbaar te synthetiseren.

Methodologie

De auteurs stellen een protocol voor dat gebruikmaakt van niet-lineaire multiphoton-interacties tussen een continue-variabele bosonische modus (een oscillator) en een tweeniveau-systeem (een spin of qubit). De kern van de methode is gebaseerd op de Multiphoton Jaynes-Cummings (MPJC) Hamiltoniaan.

Het protocol verloopt als volgt:

1. Initiële Voorbereiding: De oscillator wordt voorbereid in een bekende Fock-toestand $|n_1\rangle$ en de qubit in een willekeurige superpositie $\cos\theta |g\rangle + \sin\theta |e\rangle$.
2. Interactie: Het systeem evolueert onder invloed van de MPJC-interactie van orde $m$ (waarbij $m$ het aantal uitgewisselde fotonen aangeeft) gedurende een geoptimaliseerde tijd $\tau$. De interactie-Hamiltoniaan is $H_{int} = ig(a^m\sigma_+ - a^{\dagger m}\sigma_-)$.
3. Projectieve Meting: Na de evolutie wordt een projectieve meting uitgevoerd op de qubit.
   • Als de qubit in de grondtoestand $|g\rangle$ wordt gevonden, stort de oscillator in een superpositie van Fock-toestanden (bijv. $|n_1\rangle$ en $|n_1+m\rangle$).
   • Als de qubit in de aangeslagen toestand $|e\rangle$ wordt gevonden, stort de oscillator in een andere superpositie (bijv. $|n_1\rangle$ en $|n_1-m\rangle$).
4. Optimalisatie: De controleparameters ($\theta$, $\tau$, en voor complexere toestanden ook $\phi$) worden numeriek geoptimaliseerd om de coëfficiënten van de resulterende superpositie exact te laten overeenkomen met de gewenste binomial codewoorden.

Voor complexere toestanden (meer dan twee Fock-componenten) wordt een tweestaps-protocol voorgesteld. Eerst wordt een twee-Fock-resource-toestand gegenereerd, die vervolgens als input dient voor een tweede MPJC-stap om een drie-Fock-superpositie te creëren.

Belangrijkste Bijdragen

1. Universeel Protocol: Het artikel presenteert een algemeen schema voor het genereren van willekeurige binomial codewoorden (voor verschillende waarden van $N$ en $K$), niet beperkt tot de eenvoudigste gevallen.
2. Rol van Coherentie: De auteurs benadrukken dat initiële coherentie in de qubit-toestand essentieel is. Omdat de MPJC-interactie geen coherentie kan genereren in een subsystem als het gezamenlijke systeem incoherent is, fungeert de gekozen qubit-superpositie als de "zaad" voor de benodigde coherentie in de oscillator.
3. Reductie van Multiphoton-orde: Een cruciale technische verbetering is de demonstratie dat de vereiste multiphoton-orde $m$ met een factor twee kan worden gereduceerd voor codes met twee Fock-componenten. Dit wordt bereikt door een twee-stapsbenadering waarbij een tussenliggende Fock-component wordt geëlimineerd door constructieve interferentie, waardoor de experimentele eisen aan de niet-lineariteit aanzienlijk worden verlaagd.
4. Probabilistisch vs. Deterministisch: Het artikel vergelijkt twee benaderingen:
   • Probabilistisch: Gebaseerd op post-selectie via qubit-meting. Dit biedt de hoogste fideliteit en grootste flexibiliteit in parameterkeuze.
   • Deterministisch: Gebaseerd op het uittracen (trace-out) van de qubit zonder meting. Dit is operationeel eenvoudiger maar leidt tot een iets lagere fideliteit door de menging van de toestand.

Resultaten

• Hoge Fideliteit: Numerieke simulaties tonen aan dat het protocol binomial codewoorden met twee en drie Fock-componenten kan genereren met fideliteiten die wiskundig dicht bij 1 liggen ($|F - 1| \leq 10^{-6}$).
• Parameterruimte: Er zijn talloze combinaties van controleparameters ($\theta, \tau, \phi$) gevonden die leiden tot eenheid-fideliteit, wat aantoont dat het protocol robuust is tegen kleine afwijkingen in de experimentele instellingen.
• Vergroting van Complexiteit: Het protocol is schaalbaar. Het artikel toont aan hoe het kan worden uitgebreid naar superposities van vier of meer Fock-toestanden, hoewel de computationele kosten voor optimalisatie toenemen.
• Omgevingsinvloeden: Analyse van decoherentie (demping en dephasing) toont aan dat de fideliteit afneemt bij toenemende temperatuur van het thermische bad en bij koppeling van de qubit aan de omgeving. Echter, door de interactietijd $\tau$ te optimaliseren (zodat de evolutie stopt zodra de hoge fideliteit is bereikt), kunnen deze effecten worden geminimaliseerd.
• Vergelijking met Cat-codes: In tegenstelling tot cat-codes, waar een eenvoudige coherente toestand als primitieve staat kan dienen, zijn de primitieve toestanden voor binomial codes zelf al complexe superposities. Het directe genereren van de codewoorden via MPJC is daarom experimenteel efficiënter dan het genereren van een primitieve staat gevolgd door rotaties.

Betekenis en Impact

Deze studie vult een belangrijk gat in de realisatie van robuuste kwantumfoutcorrectie op basis van bosonische codes. Door een schaalbare en hoge-fideliteit methode te bieden voor het synthetiseren van complexe binomial codewoorden, maakt het werk de weg vrij voor de implementatie van fouttolerante kwantumcomputers met beperkte qubit-resources.

De mogelijkheid om de benodigde multiphoton-interactie-orde te halveren, is van groot praktisch belang, aangezien hogere-orde niet-lineariteiten experimenteel moeilijker te realiseren zijn. Het protocol biedt een veelzijdig kader dat niet alleen van toepassing is op binomial codes, maar ook potentieel kan worden uitgebreid naar andere niet-Gaussische bosonische codes (zoals GKP- of cat-codes), en benadrukt het belang van niet-lineaire licht-materie-interacties in continue-variabele kwantumsystemen.