Bosonic quantum error-correcting codes with finite stellar rank

Technische Samenvatting: Bosonische Kwantumfoutcorrigerende Codes met een Eindige Stellaire Rang

Probleemstelling
Bosonische kwantumfoutcorrectie (QEC) biedt een veelbelovende route voor het coderen van logische qubits in de oneindig-dimensionale Hilbertruimte van een bosonisch mode, waarbij gebruik wordt gemaakt van continu-variabele toestanden zoals cat-codes en Gottesman–Kitaev–Preskill (GKP) codes om dominante ruis zoals fotonverlies en defasering te onderdrukken. Deze coderingen zijn echter inherent niet-Gaussisch, wat middelen vereist die verder gaan dan standaard Gaussische operaties (bijv. verplaatsing en squeezing). In praktische experimentele omgevingen, met name in fotonische systemen, zijn niet-Gaussische middelen beperkt en kostbaar om te bereiden. Het centrale probleem dat wordt aangepakt, is hoe eindige niet-Gaussische middelen de voorbereidingsnauwkeurigheid van bosonische codewoorden en daarmee de prestaties van de logische foutcorrectie beperken. Specifiek blijft het onduidelijk wat de minimale middelenkost vereist is om het "break-even"-punt (het presteren boven een ongecodeerde qubit) te overtreffen en of ideale codewoorden optimaal blijven wanneer er beperkingen zijn op de voorbereiding.

Methodologie
De auteurs introduceren stellaire rang ($r^\star$) als een maatstaf voor middelen, gedefinieerd als het minimale aantal foton-addities dat vereist is om een enkel-mode niet-Gaussische toestand te genereren met behulp van willekeurige Gaussische operaties. Ze maken gebruik van stellaire fideliteit ($f^\star_k$) om de kwaliteit van de benadering van een doeltoestand met een begrensde stellaire rang $k$ te kwantificeren.

De studie verloopt in twee hoofdfasen:

1. Benadering van vaste Codefamilies: De auteurs analyseren standaard cat-codes en GKP-codes. Ze optimaliseren numeriek de stellaire fideliteit van deze doeltoestanden onder beperkingen van een eindige stellaire rang door te optimaliseren over Gaussische unitaire transformaties (verplaatsing en squeezing). Vervolgens testen ze de resulterende benaderde codewoorden onder fotonverlies- en defaseringsruiskanalen met behulp van optimale recovery (berekend via semidefiniete programmering) om de logische kanaalfideliteit te bepalen.
2. Directe Optimalisatie van Coderingen: Voorbij de vaste doeltoestanden optimaliseren de auteurs direct bosonische coderingen binnen variationele klassen die beperkt zijn door een vaste stellaire rang $k$. Om de computationele hanteerbaarheid te waarborgen, gebruiken ze Petz-recovery fideliteit als een surrogaat-doelfunctie tijdens de zoektocht, terwijl de uiteindelijke prestaties worden getoetst met optimale recovery. De optimalisatie omvat het gezamenlijk afstemmen van Gaussische parameters en de coëfficiënten van een "kern"-toestand in de Fock-basis.

Belangrijkste Bijdragen en Resultaten

• Trade-offs in Vaste Codefamilies:

  • Voor cat-codes laat de studie zien dat hogere coherente amplitudes ($\alpha$) hogere stellaire rangen vereisen om een hoge stellaire fideliteit te bereiken, vanwege de toegenomen fase-ruimte scheiding van de componenten. De convergentie naar eenheid-fideliteit is in de praktijk niet-monotoon door optimalisatie-landschappen, waarbij "plateau"-regio's verschijnen waar eindige-rang benaderingen slechts gedeeltelijke rotatiestructuren vastleggen.
  • Voor GKP-codes vereisen minder gedempte toestanden (kleinere regularisatieparameter $\Delta$), die dichter bij de ideale oneindige-energie limiet liggen, aanzienlijk hogere stellaire rangen om accuraat benaderd te worden.
  • Break-even Analyse: Eindige-rang benaderingen kunnen het break-even-drempelpunt overtreffen voordat exacte voorbereiding haalbaar is. Voor cat-codes neemt de vereiste stellaire rang om break-even te bereiken toe met de amplitude $\alpha$. Voor GKP-codes onder fotonverlies wordt break-even bereikt bij lage stellaire rangen ($k=3$ tot $4$), zelfs voor toestanden met stellaire fideliteiten die ver van eenheid afliggen. Echter, onder defasering falen eindige-rang GKP-benaderingen om het break-even-punt te overtreffen binnen het bestudeerde rangbereik.
  • Suboptimaliteit van Ideale Codes: Een cruciale bevinding is dat codewoorden die optimaal zijn in de oneindige-middelenlimiet (bijv. minder gedempte GKP-toestanden met een kleinere $\Delta$) suboptimal kunnen worden onder eindige-rang beperkingen. De voorbereidingsfout van een zeer niet-Gaussische doeltoestand kan de intrinsieke foutcorrectie-eigenschappen tenietdoen, waardoor een gemakkelijker voor te bereiden, "slechtere" ideale toestand in de praktijk beter presteert.

• Geoptimaliseerde Coderingen:

  • Directe optimalisatie van coderingen bij een vaste stellaire rang onthult ruis-geadapteerde code-structuren.
  • Onder fotonverlies evolueren geoptimaliseerde coderingen van gelokaliseerde laag-rang structuren naar rooster-achtige Wigner-functies (die lijken op GKP-toestanden) naarmate $k$ toeneemt.
  • Onder defasering ontwikkelen geoptimaliseerde coderingen benaderde rotatie-symmetrische structuren (die lijken op cat-codes), waarbij de voorkeur uitgaat naar bredere fase-ruimte scheiding.
  • Resource Drempels: Voor defaseringsruis is een stellaire rang van $k=2$ voldoende om break-even te overtreffen voor alle overwogen ruissterktes. Onder fotonverlies neemt de vereiste stellaire rang toe met de verliesgraad.
  • Prestatievergelijking: Bij een vaste stellaire rang ($k=4$) en een verliesgraad ($\kappa t = 10^{-2}$), bereikte de geoptimaliseerde codering een lagere kanaal-infideliteit ($1.99 \times 10^{-4}$) vergeleken met zowel de eindige-rang benadering van een standaard cat-code ($3.41 \times 10^{-4}$) als een binomiale code ($2.9 \times 10^{-3}$).

Betekenis
Dit artikel vestigt de stellaire rang als een operationeel betekenisvolle middelenmaatstaf voor bosonische QEC, waarmee de brug wordt geslagen tussen niet-Gaussische middelen-theorie en praktische beperkingen in de toestandvoorbereiding. Het demonstreert dat de "beste" code niet noodzakelijkerwijs de code is met de beste ideale foutcorrectie-eigenschappen, maar eerder de code die een balans vindt tussen intrinsieke codekwaliteit en de kosten van de voorbereiding. De resultaten bieden concrete middelen-drempels voor het bereiken van foutcorrectie-voordelen en benadrukken dat ruis-geadapteerde optimalisatie een superieure prestatie kan opleveren binnen een vast niet-Gaussisch middelenbudget vergeleken met het benaderen van vooraf gedefinieerde ideale codes. Dit kader is bijzonder relevant voor experimentele platforms waar niet-Gaussische operaties beperkt zijn, zoals fotonische systemen.