The symplectic rank of non-Gaussian quantum states

Sintesi Tecnica: Il Rango Simpletico degli Stati Quantistici Non-Gaussiani

Enunciato del Problema
La non-gaussianità è una risorsa fondamentale per il raggiungimento di vantaggi quantistici nelle piattaforme bosoniche, tuttavia confrontare le capacità non classiche di diverse piattaforme fisiche (ad esempio, fotonica rispetto a circuiti superconduttori) rimane una sfida. Le misure esistenti di non-gaussianità, come il volume negativo della funzione di Wigner o il rango stellare, soffrono di limitazioni: possono essere sensibili a tipi specifici di non-gaussianità o mancare di un'interpretazione operativa chiara riguardo alla complessità dello stato. Inoltre, esiste la necessità di una misura che sia robusta al rumore sperimentale, computabile e capace di porre limiti alla complessità di compiti come la tomografia dello stato quantistico e la simulazione classica.

Metodologia e Definizioni
Gli autori introducono il rango semplice, un nuovo monotono di non-gaussianità, estendendo un concetto originariamente definito per gli stati gaussiani ad arbitrarie classi di stati quantistici non-gaussiani.

1. Definizione: Per uno stato puro $\psi$ con una matrice di covarianza $V(\psi)$ ben definita, il rango semplice $s(\psi)$ è definito come il numero di autovalori semplici di $V(\psi)$ che sono strettamente maggiori di 1 (gli autovalori semplici del vuoto). Per gli stati misti, è definito tramite una costruzione di tetto convesso (convex roof).
2. Caratterizzazione Operativa: Il documento stabilisce un teorema di struttura (Teorema 29) che collega il rango semplice alla $t$-comprensibilità. Uno stato ha un rango semplice $s$ se e solo se può essere trasformato tramite un'operazione unitaria gaussiana in un prodotto tensoriale di uno stato a $s$-modi e stati di vuoto sui restanti modi. Fondamentalmente, lo stato compresso mantiene un numero medio di fotoni limitato superiormente rispetto allo stato originale.
3. Strumenti Tecnici: Gli autori sviluppano diversi strumenti tecnici indipendenti, tra cui:
   • Una decomposizione a blocchi delle unitarie gaussiane (Lemma 35), mostrando che ogni unitaria gaussiana può essere decomposta in un'unitaria passiva e unitarie che agiscono su sottoinsiemi di modi.
   • Limiti di perturbazione che mettono in relazione la distanza di traccia tra stati con la distanza di norma dei loro primi momenti e delle matrici di covarianza (Teoremi 16-18, 62-64). Tali limiti sono derivati per stati generali (possibilmente non-gaussiani), estendendo i risultati precedenti limitati agli stati gaussiani.
   • Misure approssimate: L'introduzione del rango semplice $\epsilon$-approssimato e delle fedeltà semplici per gestire le imperfezioni sperimentali.

Contributi Chiave e Risultati

• Monotonicità e Teoremi di No-Go: Si dimostra che il rango semplice è non-crescente sotto operazioni gaussiane post-selezionate (Teorema 33). Ciò porta a forti teoremi di no-go per la conversione di stati. In particolare, è impossibile convertire deterministicamente o probabilisticamente un singolo stato puro non-gaussiano in un prodotto tensoriale di due stati puri non-gaussiani utilizzando operazioni gaussiane, anche con post-selezione. Questo vale indipendentemente dalla "distanza" degli stati dall'insieme gaussiano, un risultato non rilevabile dalla negatività di Wigner o dal rango stellare.
• Irreversibilità della Teoria delle Risorse: Il documento prova che la teoria delle risorse della non-gaussianità è irreversibile sotto operazioni gaussiane esatte con post-selezione (Teorema 40). Confrontando il tasso distillabile esatto e il tasso di costo esatto tra specifici stati di Fock (ad esempio, $|2\rangle$ e $|1\rangle^{\otimes 2}$), gli autori mostrano che i tassi di conversione non sono reciproci, una proprietà che può essere arbitrariamente forte (Teorema 41).
• Limiti di Complessità:
  • Tomografia: La complessità campionaria della tomografia dello stato quantistico per stati bosonici scala esponenzialmente con il rango semplice (Teorema 44). Se il rango è $O(1)$, la tomografia è efficiente; altrimenti, diventa intrattabile.
  • Simulazione Classica: Gli autori forniscono un algoritmo classico randomizzato per stimare la sovrapposizione tra uno stato a basso rango semplice e uno stato gaussiano (Teorema 45). Dimostrano che i circuiti bosonici drogati con un numero costante di strati non-gaussiani (ad esempio, gate di fase cubica o addizioni/sottrazioni di fotoni) possono essere simulati efficientemente in modo classico (Teoremi 50, 53).
• Robustezza: Si dimostra che il rango semplice è robusto rispetto a piccole perturbazioni. Il Teorema 42 stabilisce che qualsiasi stato puro con rango semplice $s$ è circondato da una sfera di stati (in distanza di traccia) che possiedono tutti un rango semplice di almeno $s$, a patto che siano soddisfiti i vincoli di energia. Ciò permette di definire un rango semplice $\epsilon$-approssimato, che funge da monotono sotto operazioni gaussiane (Teorema 55).
• Verifica Sperimentale: Viene proposto un protocollo per verificare il rango semplice sperimentalmente stimando le fedeltà semplici tramite ottimizzazione su unitarie gaussiane (Lemma 59), rendendo la misura pratica per il benchmarking di diverse piattaforme bosoniche.

Significato e Rivendicazioni
Il documento sostiene che il rango semplice fornisce una misura unificata e indipendente dall'hardware della non-gaussianità che unisce la teoria delle risorse e la complessità computazionale. La sua importanza risiede in:

1. Interpretazione Operativa: Quantifica il numero minimo di modi richiesti per "comprimere" tutta la non-gaussianità, offrendo un significato geometrico e operativo chiaro.
2. Vincoli Forti: Stabilisce limitazioni più strette per la conversione di stati gaussiani rispetto alle misure precedentemente note, provando l'irreversibilità delle risorse di non-gaussianità.
3. Utilità di Benchmarking: Grazie alla sua robustezza e alla connessione con la matrice di covarianza (che è più facile da misurare rispetto alla tomografia completa dello stato), serve come strumento pratico per il benchmarking delle capacità non-gaussiane di diversi dispositivi quantistici bosonici.
4. Caratterizzazione della Complessità: Identifica il rango semplice come un parametro critico che determina la difficoltà della tomografia e la fattibilità della simulazione classica per sistemi bosonici.

Gli autori pongono il rango semplice come uno strumento fondamentale per comprendere la teoria delle risorse della non-gaussianità nell'ambito multi-modo, offrendo nuove intuizioni sull'interazione tra non-gaussianità, entanglement e potenza computazionale.