The symplectic rank of non-Gaussian quantum states

Technische Samenvatting: De Symplectische Rang van Niet-Gaussische Kwantumtoestanden

Probleemstelling
Niet-Gaussische eigenschappen zijn een fundamentele hulpbron voor het bereiken van kwantumvoordelen in bosonische platformen, maar het vergelijken van de niet-klassieke capaciteiten van verschillende fysieke platformen (bijv. fotonica versus supergeleidende circuits) blijft een uitdaging. Bestaande maten voor niet-Gaussische eigenschappen, zoals het negatieve volume van een Wigner-functie of de stellaire rang, lijden aan beperkingen: ze kunnen gevoelig zijn voor specifieke typen niet-Gaussische eigenschappen of missen een duidelijke operationele interpretatie met betrekking tot de complexiteit van de toestand. Bovendien is er behoefte aan een maatstaf die robuust is tegen experimentele ruis, berekenbaar is en in staat is om de complexiteit van taken zoals kwantumtoestandstomaografie en klassieke simulatie te begrenzen.

Methodologie en Definities
De auteurs introduceren de symplectische rang, een nieuwe niet-Gaussische monotone, die een concept uitbreidt dat oorspronkelijk voor Gaussische toestanden was gedefinieerd naar willekeurige niet-Gaussische kwantumtoestanden.

1. Definitie: Voor een zuivere toestand $\psi$ met een goed gedefinieerde covariantie-matrix $V(\psi)$ is de symplectische rang $s(\psi)$ gedefinieerd als het aantal symplectische eigenwaarden van $V(\psi)$ die strikt groter zijn dan 1 (de symplectische eigenwaarden van het vacuüm). Voor gemengde toestanden wordt dit gedefinieerd via een convexe dakconstructie (convex roof construction).
2. Operationele Karakterisering: Het artikel stelt een structuurtheorema op (Theorema 29) dat de symplectische rang koppelt aan $t$-compressibiliteit. Een toestand heeft symplectische rang $s$ als en slechts als deze getransformeerd kan worden via een Gaussische unitaire operatie naar een tensorproduct van een $s$-modus toestand en vacuümtoestanden op de resterende modi. Cruciaal is dat de gecomprimeerde toestand een gemiddeld fotonaantal behoudt dat begrensd wordt door het oorspronkelijke aantal van de toestand.
3. Technische Instrumenten: De auteurs ontwikkelen verschillende onafhankelijke technische instrumenten, waaronder:
   • Een blokdecompositie van Gaussische unitaire operaties (Lemma 35), die aantoont dat elke Gaussische unitaire operatie gedecomposeerd kan worden in een passieve unitaire operatie en unitaire operaties die werken op deelverzamelingen van modi.
   • Perturbatiegrenzen die de trace-afstand tussen toestanden relateren aan de norm-afstand tussen hun eerste momenten en covariantie-matrices (Theorema's 16-18, 62-64). Deze grenzen zijn afgeleid voor algemene (mogelijk niet-Gaussische) toestanden, waarmee eerdere resultaten die beperkt waren tot Gaussische toestanden worden uitgebreid.
   • Benaderde maten: De introductie van de $\epsilon$-benaderde symplectische rang en symplectische fideliteiten om experimentele imperfecties op te vangen.

Belangrijkste Bijdragen en Resultaten

• Monotoniciteit en No-Go Stellingen: Er wordt bewezen dat de symplectische rang niet toeneemt onder gepostelegeerde Gaussische operaties (Theorema 33). Dit leidt tot sterke no-go stellingen voor toestandconversie. Specifiek is het onmogelijk om een enkel-modus niet-Gaussische zuivere toestand deterministisch of probabilistisch te converteren naar een tensorproduct van twee niet-Gaussische zuivere toestanden met behulp van Gaussische operaties, zelfs met postselectie. Dit houdt stand, ongeacht de "afstand" van de toestanden tot de Gaussische verzameling, een resultaat dat niet detecteerbaar is door Wigner-negativiteit of stellaire rang.
• Irreversibiliteit van de Hulpbronnenleer: Het artikel bewijst dat de hulpbronnenleer (resource theory) van niet-Gaussische eigenschappen irreversibel is onder exacte gepostelegeerde Gaussische operaties (Theorema 40). Door de exacte distilleerbare snelheid en de exacte kostenrate te vergelijken tussen specifieke Fock-toestanden (bijv. $|2\rangle$ en $|1\rangle^{\otimes 2}$), tonen de auteurs aan dat de conversieraten niet wederkerig zijn, een eigenschap die willekeurig sterk kan zijn (Theorema 41).
• Complexiteitsgrenzen:
  • Tomografie: De steekproefcomplexiteit voor kwantumtoestandstomaografie van bosonische toestanden schaalt exponentieel met de symplectische rang (Theorema 44). Als de rang $O(1)$ is, is tomografie efficiënt; anders wordt het onhandelbaar.
  • Klassieke Simulatie: De auteurs bieden een klassiek random algoritme aan om de overlap tussen een toestand met een lage symplectische rang en een Gaussische toestand te schatten (Theorema 45). Ze demonstreren dat bosonische circuits die gedoteerd zijn met een constant aantal niet-Gaussische lagen (bijv. kubische fase-poorten of foton-addities/subtracties) efficiënt klassiek gesimuleerd kunnen worden (Theorema's 50, 53).
• Robuustheid: De symplectische rang blijkt robuust tegen kleine perturbaties. Theorema 42 stelt vast dat elke zuivere toestand met symplectische rang $s$ wordt omgeven door een bol van toestanden (in trace-afstand) die allemaal een symplectische rang van minstens $s$ bezitten, mits aan energiebeperkingen wordt voldaan. Dit maakt de definitie van een $\epsilon$-benaderde symplectische rang mogelijk, die dient als een monotone onder Gaussische operaties (Theorema 55).
• Experimenteel Getuigen: Er wordt een protocol voorgesteld om de symplectische rang experimenteel te getuigen door de symplectische fideliteiten te schatten via optimalisatie over Gaussische unitaire operaties (Lemma 59), wat de maatstaf praktisch maakt voor het benchmarken van verschillende bosonische platformen.

Significantie en Claims
Het artikel claimt dat de symplectische rang een geünificeerde, hardware-agnostische maatstaf biedt voor niet-Gaussische eigenschappen die de brug slaat tussen de hulpbronnenleer en computationele complexiteit. De significantie ligt in:

1. Operationele Interpretatie: Het kwantificeert het minimale aantal modi dat vereist is om alle niet-Gaussische eigenschappen te "comprimeren", wat een duidelijke geometrische en operationele betekenis biedt.
2. Sterke Beperkingen: Het stelt striktere beperkingen aan de conversie van Gaussische toestanden dan eerder bekende maten, en bewijst de irreversibiliteit van niet-Gaussische hulpbronnen.
3. Bruikbaarheid voor Benchmarking: Vanwege de robuustheid en de connectie met de covariantie-matrix (die gemakkelijker te meten is dan volledige kwantumtoestandstomaografie), dient het als een praktisch instrument voor het benchmarken van de niet-Gaussische capaciteiten van diverse bosonische kwantumapparaten.
4. Complexiteitskarakterisering: Het identificeert de symplectische rang als een kritieke parameter die de moeilijkheidsgraad van tomografie en de haalbaarheid van klassieke simulatie voor bosonische systemen bepaalt.

De auteurs positioneren de symplectische rang als een fundamenteel instrument voor het begrijpen van de hulpbronnenleer van niet-Gaussische eigenschappen in de multi-modus setting, waarbij nieuwe inzichten worden geboden in de wisselwerking tussen niet-Gaussische eigenschappen, verstrengeling en computationele kracht.