Operational detection of Wigner negativity in arbitrary quantum states from few copies

Sintesi Tecnica: Rilevamento Operativo della Negatività di Wigner in Stati Quantistici Arbitrari da Pochi Copie

Definizione del Problema
I sistemi quantistici a variabili continue (CV), in particolare le piattaforme ottiche, si basano su distribuzioni di quasi-probabilità nello spazio delle fasi per la descrizione dello stato. La funzione di Wigner è centrale in questo quadro, fungendo da rappresentazione completa degli stati quantistici. Tuttavia, a differenza delle distribuzioni di probabilità classiche, la funzione di Wigner può assumere valori negativi. Questa "negatività di Wigner" è una risorsa non classica fondamentale, legata alla rottura della simulazione classica efficiente (tramite il teorema di Gottesman-Knill) ed essenziale per il vantaggio computazionale quantistico, la correzione degli errori e la distillazione degli stati.

I metodi esistenti per rilevare e quantificare la negatività di Wigner si basano principalmente sulla tomografia completa dello stato quantistico per ricostruire la funzione di Wigner. Queste procedure sono sperimentalmente impegnative, poiché il numero di copie di stato richieste scala rapidamente con la dimensione del sistema, rendendole impraticabili per stati su larga scala o arbitrari. Esiste una critica necessità di metodi che possano rilevare e quantificare la negatività di Wigner utilizzando solo un numero modesto di copie di stato senza richiedere la ricostruzione completa dello spazio delle fasi.

Metodologia
Gli autori sviluppano un quadro unificato basato sui momenti della funzione di Wigner. Il momento di Wigner di ordine $m$ è definito come l'integrale della $m$-esima potenza della funzione di Wigner sullo spazio delle fasi:
$$w_m := \int_{\mathbb{R}^{2N}} W^m d^N x d^N p$$
L'intuizione centrale è che se una funzione di Wigner è ovunque non negativa (una misura positiva), i suoi momenti devono soddisfare specifiche costrizioni matematiche. Le violazioni di queste costrizioni fungono da testimoni (witness) per la negatività di Wigner.

Il documento deriva tre gerarchie complementari di criteri di rilevamento basate su tali costrizioni:

1. Gerarchia della norma $L_p$ (LP): Derivata dalle fondamentali disuguaglianze della norma $L_p$ per misure positive, che fornisce condizioni della forma $(w_n)^{n-2} - (w_{n-1})^{n-1} \geq 0$.
2. Gerarchia della log-convessità (LC): Basata sulla log-convessità della sequenza dei momenti per misure positive, che fornisce condizioni della forma $w_{n-1}w_{n+1} - w_n^2 \geq 0$.
3. Gerarchia della positività della matrice di Hankel: Un approccio più forte che utilizza la positività delle matrici di Hankel costruite dalla sequenza dei momenti. Per una funzione di Wigner positiva, la matrice $H_n(w)$ con elementi $[H_n(w)]_{ij} = w_{i+j+1}$ deve essere semidefinita positiva per ogni $n$. Si dimostra che questa gerarchia è monotona, dove matrici di ordine superiore forniscono criteri di rilevamento strettamente più forti rispetto a quelli di ordine inferiore.

Per affrontare la fattibilità operativa della misurazione di questi momenti, gli autori stabiliscono una rappresentazione multi-copia esatta. Essi dimostrano che qualsiasi momento di Wigner $n$-esimo può essere espresso come il valore di aspettazione di un osservabile universale agendo su $n$ copie identiche dello stato:
$$w_n = \text{Tr}\left[\rho^{\otimes n} A_n\right]$$
dove $A_n$ è un operatore hermitiano che coinvolge una trasformazione interferometrica collettiva seguita da una misurazione della parità congiunta sui gradi di libertà relativi. Ciò consente di stimare direttamente i momenti tramite misurazioni randomizzate (classical shadows) senza la ricostruzione completa dello stato.

Contributi Chiave e Risultati

• Gerarchie di Rilevamento: Il documento presenta tre famiglie di criteri per il rilevamento della negatività di Wigner. Simulazioni numeriche su stati di Fock misti e stati gatto rumorosi dimostrano che la gerarchia della matrice di Hankel fornisce un miglioramento sistematico e monotono nel potere di rilevamento, catturando l'intera regione non classica più efficacemente rispetto ai criteri della norma $L_p$ o della log-convessità, che non necessariamente migliorano con ordini superiori.
• Quantificazione: Oltre al rilevamento binario, il quadro fornisce limiti inferiori certificabili sulla misura della negatività logaritmica di Wigner, $L(W) = \log \int |W| d\mu$. Gli autori definiscono una famiglia di quantità basate sui momenti $L_r(W)$ che fungono da limiti inferiori. Identificano $L_4(W)$, che dipende solo dal secondo e quarto momento, come il quantificatore ottimale accessibile sperimentalmente che fornisce il limite inferiore più stretto.
• Stima Operativa: La derivazione della rappresentazione multi-copia esatta (Teorema 5) collega i momenti astratti dello spazio delle fasi agli osservabili fisici. Nello specifico, $w_n$ è il valore di aspettazione di un osservabile basato sulla parità che agisce su $n$ copie dopo una trasformazione ortogonale che separa le coordinate collettive e relative.
• Efficienza tramite Classical Shadows: Gli autori dimostrano attraverso simulazioni numeriche che sia il testimone di rilevamento ($\Gamma_3$) che il quantificatore ($L_4$) possono essere recuperati efficientemente utilizzando protocolli di classical-shadow (con circa 500 ombre), riducendo significativamente l'overhead delle risorse rispetto alla tomografia completa.
• Estensione all'Entanglement: Il quadro è esteso per rilevare l'entanglement quantistico. Applicando le gerarchie dei momenti alle funzioni di Wigner ridotte o collettive (ad esempio, tracciando via i modi relativi), i criteri fungono da testimoni per l'entanglement NPT bipartito e l'entanglement multipartito genuino (GME).

Significatività e Rivendicazioni
Il documento sostiene di aver stabilito i momenti di Wigner come uno strumento versatile per il rilevamento scalabile e la quantificazione delle risorse non classiche nei sistemi CV. La significatività risiede in:

1. Scalabilità: La capacità di rilevare e quantificare la negatività di Wigner da un piccolo numero di copie di stato senza conoscenza pregressa dello stato o tomografia completa dello spazio delle fasi.
2. Interpretazione Operativa: Fornire un'interpretazione fisica diretta dei momenti di Wigner come valori di aspettazione della parità multi-copia misurabili, colmando il divario tra le proprietà astratte dello spazio delle fasi e gli osservabili sperimentali.
3. Quadro Unificato: Offrire una gerarchia sistematica di criteri in cui gli sperimentatori possono scambiare tra il costo di misurazione (numero di copie/momenti) e il potere di rilevamento, con la gerarchia di Hankel che offre il rilevamento più robusto.
4. Identificazione delle Risorse: Dimostrare che lo stesso quadro basato sui momenti può essere elevato per rilevare l'entanglement, rendendo così unificato il rilevamento della non-classicità e delle correlazioni quantistiche.

Gli autori concludono che, mentre le gerarchie $L_p$ e della log-convessità offrono testimoni semplici, la gerarchia di Hankel fornisce un test progressivamente più forte, particolarmente per gli stati misti. Il quadro abilita una via pratica per certificare le risorse non classiche nei sistemi quantistici a variabili continue utilizzando misurazioni randomizzate.