Quantifying mixed-state entanglement via partial transpose and realignment moments

Sintesi Tecnica: Quantificazione dell'Entanglement in Stati Misti tramite Trasposta Parziale e Momenti di Riallineamento

Definizione del Problema
Quantificare l'entanglement in sistemi quantistici molti-corpo in stato misto rimane un problema notoriamente difficile, particolarmente nel contesto dei dispositivi NISQ (Noisy Intermediate-Scale Quantum), dove il rumore sperimentale rende gli stati misti. Mentre l'entanglement degli stati puri è ben caratterizzato da misure come l'entropia di entanglement (Rényi), estendere queste proprietà agli stati misti presenta ostacoli significativi. La metrica standard, la negatività della Trasposta Parziale (PT - Partial Transpose), richiede la diagonalizzazione completa della trasposta parziale, il che è esponenzialmente costoso. Inoltre, la misurazione sperimentale della negatività PT richiede tipicamente la tomografia completa dello stato. Gli sforzi precedenti si sono concentrati sulla rilevazione binaria dell'entanglement utilizzando momenti di basso ordine o mappe positive, ma questi mancano del potere quantitativo per caratterizzare il grado di entanglement o la dimensionalità dell'entanglement in grandi sistemi rumorosi.

Metodologia
Gli autori introducono famiglie di testimoni quantitativi di entanglement costruiti dai momenti della trasposta parziale e della matrice di riallineamento. Essi sono definiti come:

1. Negatività $p_\alpha$ ($E_\alpha$): Derivata dai momenti della PT $p_\alpha = \text{tr}((\rho^\Gamma)^\alpha)$. Nello specifico, $E_\alpha(\rho) = \frac{1}{2-\alpha}[\ln(\tilde{p}_\alpha) + (\alpha-1)S_2(\rho)]$, dove $\tilde{p}_\alpha = \text{tr}(|\rho^\Gamma|^\alpha)$ e $S_2$ è l'entropia di 2-Rényi.
2. Negatività $r_\alpha$ ($C_\alpha$): Derivata dai momenti di riallineamento $r_\alpha = \text{tr}((R_\rho^\dagger R_\rho)^{\alpha/2})$, dove $R_\rho$ è la matrice di riallineamento.

Gli autori si concentrano sul caso $\alpha=4$ ($E_4$ e $C_4$), dimostrando che queste quantità possono essere misurate efficientemente su hardware quantistico utilizzando test SWAP o misurazioni di Bell su un numero costante di copie (2 o 4 copie) senza ricorrere alla tomografia completa dello stato. Il framework viene esteso a testimoni risolti per simmetria (SR - Symmetry-Resolved), scomponendo la matrice di densità in settori di carica (ad esempio, sotto simmetrie globali $U(1)$ o $\mathbb{Z}_2$), il che stringe i limiti e migliora le capacità di rilevazione.

Il documento sviluppa inoltre algoritmi classici efficienti per calcolare questi momenti per Stati di Prodotto di Matrici (MPS) e Operatori di Prodotto di Matrici (MPO), con costi computazionali che scalano polinomialmente con la dimensione del sistema e la dimensione del legame (bond dimension).

Contributi Chiave e Risultati

1. Testimonianza Quantitativa e Limiti (Bounds):

   • La negatività $p_\alpha$ e la negatività $r_\alpha$ fungono da testimoni quantitativi. Per $\alpha \ge 1$, forniscono limiti inferiori rigorosi sulla negatività PT ($E$) e sulla negatività CCNR ($C$), rispettivamente.
   • Crucialmente, forniscono limiti inferiori sulla robustezza dell'entanglement e sul numero di Schmidt (dimensionalità dell'entanglement).
   • Per gli stati puri, questi testimoni collassano nelle standard entropie di entanglement Rényi, generalizzandole efficacemente agli stati misti.

2. Test dell'Entanglement Efficiente:

   • Gli autori presentano un algoritmo efficiente per distinguere se uno stato misto possiede un basso entanglement ($O(\log n)$) o un alto entanglement ($\omega(\log n)$), a condizione che lo stato abbia un'entropia di 2-Rényi limitata ($S_2 = O(\log n)$). Questo generalizza risultati precedenti noti solo per gli stati puri.
   • Vengono forniti algoritmi efficienti per testare il rango di Schmidt (utilizzando misurazioni a 2 copie) e il rango di Schmidt dell'operatore (utilizzando misurazioni a 4 copie).

3. Certificazione della Profondità del Circuito:

   • I testimoni consentono la certificazione robusta della profondità minima del circuito necessaria per preparare uno stato, anche in presenza di rumore, assumendo che lo stato finale sia debolmente misto ($S_2 = O(\log n)$). Ciò estende i precedenti protocolli di certificazione privi di rumore.

4. Pseudoentanglement e Crittografia:

   • Il documento stabilisce limiti rigorosi sul pseudoentanglement (la capacità di stati con basso entanglement di simulare stati con alto entanglement).
   • Si dimostra che per stati misti con bassa entropia ($S_2 = O(\log n)$), il gap di pseudoentanglement è fondamentalmente limitato a $f(n) = \Theta(n)$ rispetto a $g(n) = \omega(\log n)$.
   • I risultati implicano che l'entropia è una risorsa necessaria per nascondere in modo sicuro l'informazione di entanglement; per ottenere il gap massimo ($g(n)=0$), lo stato deve essere altamente misto ($S_2 = \omega(\log n)$).

5. Diagrammi di Fase dell'Entanglement:

   • Gli autori dimostrano che il diagramma di fase dell'entanglement degli stati casuali di Haar (che comprende le fasi PPT, Maximally Entangled e Entanglement Saturation) può essere pienamente stabilito calcolando esclusivamente la negatività $p_4$, evitando la necessità di continuazione analitica di tutti i momenti della PT.
   • Questo risultato si estende a qualsiasi 4-design. Sorprendentemente, gli stati stabilizer (che non formano un 4-design) mostrano di condividere lo stesso identico diagramma di fase dell'entanglement degli stati casuali di Haar.
   • La negatività $p_4$ cattura efficacemente l'entanglement di tipo volume-law negli stati di Haar anche sotto un rumore depolarizzante globale esponenzialmente forte.

6. Applicazioni Many-Body:

   • I risultati numerici sul Modello di Ising in Campo Trasverso (TFIM) e sul modello XXZ mostrano che i testimoni, in particolare le versioni risolte per simmetria (SR), rilevano efficacemente l'entanglement nei ground states soggetti a rumore e temperatura finita.
   • Si dimostra che i testimoni SR sono più robusti rispetto ai testimoni non-SR, rilevando l'entanglement in regimi in cui i testimoni standard falliscono (ad esempio, partizioni disconnesse o vicino ai punti critici).

Significato
Il documento sostiene di aprire nuove strade per quantificare l'entanglement in grandi sistemi rumorosi. Introducendo le negatività $p_\alpha$ e $r_\alpha$, gli autori forniscono un'alternativa pratica e sperimentalmente accessibile alla negatività PT che mantiene il potere quantitativo. Il lavoro colma il divario tra la teoria dell'entanglement degli stati puri (tramite le entropie Rényi) e la fisica degli stati misti, offrendo strumenti per caratterizzare la dimensionalità dell'entanglement, certificare la profondità del circuito e comprendere la complessità dello pseudoentanglement. La capacità di calcolare questi testimoni efficientemente tramite algoritmi MPS/MPO e di misurarli tramite test SWAP li rende direttamente implementabili sull'attuale e futura hardware quantistico, affrontando la necessità critica di fare il benchmarking dei dispositivi NISQ.