Kostant relation in filtered randomized benchmarking for passive bosonic devices

Probleemstelling

Het karakteriseren van passieve bosonische apparaten (zoals interferometers voor continu-variabele kwantumberekening) is een cruciale stap voor de ontwikkeling van kwantumcomputers. Een recente uitbreiding van de Randomized Benchmarking (RB) methode naar deze systemen [11, 12] biedt een robuuste manier om ruis te kwantificeren, maar lijdt aan twee ernstige beperkingen:

1. Berekeningscomplexiteit: De oorspronkelijke methode vereist het evalueren van matrix-permanenten, wat een #P-hard probleem is. Bovendien hangen deze permanenten af van complexe decomposities die Clebsch-Gordan (CG) coëfficiënten vereisen, wat de analyse computationally zwaar en analytisch ondoorzichtig maakt.
2. Experimentele complexiteit: De huidige opzet vereist het voorbereiden van specifieke Fock-toestanden (toestanden met een vast aantal fotonen) en het gebruik van fotonengetal-resolverende detectoren. Dit is voor de meeste laboratoria technisch zeer uitdagend en kostbaar.

Methodologie

De auteur introduceert een verbeterd protocol dat de bestaande RB-framework voor bosonische apparaten behoudt, maar de filterfuncties fundamenteel aanpast om de bovengenoemde beperkingen op te lossen. De kern van de methode rust op de Kostant-relatie en de theorie van representaties van de speciale unitaire groep $SU(m)$.

1. Theoretische Basis:

• Immananten en Karakters: In plaats van permanenten te gebruiken, worden twee nieuwe filterfuncties voorgesteld:
  • Een filter gebaseerd op immananten (generalisaties van determinanten en permanenten).
  • Een filter gebaseerd op de karakters van de speciale unitaire groep $SU(m)$.
• Kostant-relatie: De auteur maakt gebruik van een stelling van Bertram Kostant, die stelt dat een immanant kan worden berekend als de som van diagonale elementen (D-functies) over "nul-gewichtstoestanden" (zero-weight states) van een irreducibele representatie (irrep). Dit elimineert de noodzaak om CG-coëfficiënten expliciet te berekenen.
• Filtering: Door het toepassen van deze filters op de experimentele data, wordt de ruisgevoelige parameter $p_\mu$ geïsoleerd. De gemiddelde waarde van het gefilterde signaal volgt een enkele exponentiële afname ($\kappa p_\mu^{g-1}$), waarbij $g$ de diepte van de circuit is.

2. Experimentele Vereenvoudiging:

• Het protocol is ontworpen om compatibel te zijn met zwakke coherente toestanden (weak coherent states) in plaats van Fock-toestanden.
• Het vereist alleen intensiteitsmetingen (bijv. meten van "klikken" met single-photon avalanche diodes) in plaats van volledige fotonengetal-resolutie.
• De auteurs tonen aan dat dit ook werkt in aanwezigheid van verlies (photon loss) en winst (photon gain), waarbij het Hilbertruimte zich uitbreidt naar een directe som van ruimtes met verschillende fotonenaantallen.

Belangrijkste Bijdragen

1. Eliminatie van CG-coëfficiënten en Projectoren: De voorgestelde filters (zowel immanant als karakter) maken geen gebruik van projectoren op irreps of de berekening van Clebsch-Gordan coëfficiënten. Dit vereenvoudigt de algebraïsche uitdrukkingen aanzienlijk.
2. Twee Nieuwe Filteropties:
   • Immanant-filter: Vervangt de complexe permanenten door een kleinere set immananten. Dit is nuttig wanneer het aantal fotonen ($n$) vergelijkbaar is met het aantal modi ($m$).
   • Karakter-filter: Gebruikt de karakters van $SU(m)$. Dit is de meest efficiënte optie omdat karakters in polynomiale tijd kunnen worden geëvalueerd en een constante, lage variantie hebben (onafhankelijk van de irrep).
3. Experimentele Haalbaarheid: Het artikel levert een haalbaarheidsanalyse die aantoont dat het protocol succesvol kan worden uitgevoerd met standaard optische componenten (verzwakte lasers en eenvoudige detectoren), wat de drempel voor experimentele implementatie verlaagt.

Resultaten

• Numerieke Validatie: De auteurs voeren simulaties uit met verlies- en winstfouten. Ze tonen aan dat het gebruik van zwakke coherente toestanden en intensiteitsmetingen leidt tot schattingen van de fideliteit die zeer dicht bij de waarden liggen die verkregen worden zonder verlies/winst (voor fideliteiten > 0,95).
• Foutmarge: De methode onderschat de fideliteit niet systematisch; er is een lichte overschatting (< 2% fout) die afneemt naarmate de kwaliteit van de poort (fideliteit) verbetert.
• Vergelijking: Een vergelijkingstabel (Tabel II in het artikel) toont aan dat het karakter-filter de beste balans biedt tussen rekentijd en steekproefcomplexiteit, vooral voor grote systemen. Het immanant-filter is een goede tussenoplossing die de algebraïsche complexiteit verlaagt ten opzichte van de originele methode, maar kan nog steeds rekenintensief zijn bij complexe immananten.

Betekenis en Conclusie

Dit werk is significant omdat het de praktische toepasbaarheid van Randomized Benchmarking voor passieve bosonische systemen drastisch verbetert.

• Computationeel: Het verlaagt de complexiteit van de data-analyse door het verwijderen van #P-harde berekeningen (permanenten) en de afhankelijkheid van CG-coëfficiënten.
• Experimenteel: Het maakt karakterisering mogelijk op platforms die geen geavanceerde fotonengetal-resolverende detectoren of perfecte Fock-bronnen hebben.
• Toekomstperspectief: De methode biedt een solide fundament voor het benchmarken van continue-variabele kwantumtechnologieën. De auteurs wijzen erop dat een uitbreiding naar actieve bosonische transformaties (zoals versterking) een interessante, maar uitdagende richting voor toekomstig onderzoek is vanwege de niet-compactheid van de bijbehorende transformatiegroep.

Samenvattend biedt dit artikel een robuust, rekenkundig efficiënt en experimenteel haalbaar kader voor het karakteriseren van ruis in bosonische kwantumapparaten, waarbij de Kostant-relatie centraal staat als wiskundig gereedschap om complexiteit te reduceren.