Detection of nonabsolute separability in quantum states and channels through moments

Titolo: Rilevamento della non-separabilità assoluta negli stati e nei canali quantistici attraverso i momenti

1. Il Problema

Nell'ambito dell'informazione e del calcolo quantistico, l'entanglement è una risorsa fondamentale. Tuttavia, esiste una classe di stati quantistici noti come stati assolutamente separabili (AS). Questi stati rimangono separabili (non entangled) indipendentemente dall'azione di qualsiasi operatore unitario globale. Di conseguenza, non possono essere trasformati in stati entangled tramite operazioni unitarie locali o globali, rendendoli inutili come risorsa per compiti che richiedono correlazioni quantistiche.

Il problema centrale affrontato dal lavoro è la rilevazione efficiente degli stati "non-assolutamente separabili" (ovvero stati separabili che possono diventare entangled sotto opportune trasformazioni unitarie globali).
Le sfide principali sono:

• I criteri esistenti per identificare la non-separabilità assoluta si basano spesso sullo spettro completo degli autovalori dello stato, richiedendo la tomografia quantistica completa. Questo processo è costoso in termini di risorse, poiché richiede un numero esponenziale di misurazioni e copie dello stato all'aumentare della dimensione del sistema.
• La determinazione se uno stato è assolutamente separabile o meno è un problema computazionalmente difficile (NP-hard in generale).
• Esiste un problema correlato: la rilevazione degli stati assolutamente PPT (Positive Partial Transpose), il cui trasposto parziale rimane positivo sotto qualsiasi azione unitaria non locale.

2. Metodologia

Gli autori propongono un approccio innovativo basato sui momenti (moments) per rilevare la non-separabilità assoluta senza necessità di tomografia completa o assunzioni strutturali a priori sullo stato.

• Approccio basato sui Momenti: Invece di ricostruire l'intero stato, il metodo valuta funzionali semplici derivati dalle potenze di operatori trasformati.
• Definizione dei Momenti: Per uno stato bipartito $\rho_{AB}$ e una mappa lineare positiva ma non completamente positiva $\Lambda$ (come la trasposizione $T$ o la mappa di riduzione $R$), si definiscono i momenti $s_n$ come:
  $$s_n = \text{Tr}[S_\Lambda^n]$$
  dove $S_\Lambda$ è l'operatore normalizzato ottenuto applicando la mappa $\Lambda$ dopo una trasformazione unitaria globale $U$.
• Criteri di Rilevamento:
  • Teorema 1: Per uno stato assolutamente separabile, deve valere la disuguaglianza $s_2^2 \leq s_3$. La violazione di questa condizione indica che lo stato è non-assolutamente separabile.
  • Teorema 2 (Estensione): Utilizzando matrici di Hankel costruite dai momenti ($H_m(s)$), si stabilisce che per stati assolutamente separabili, il determinante di queste matrici deve essere non negativo ($\det[H_m(s)] \geq 0$). La violazione di questa condizione (determinante negativo) rileva stati non-assolutamente separabili anche quando il criterio del Teorema 1 fallisce.
• Estensione ai Canali: La metodologia viene adattata per rilevare i canali quantistici non-assolutamente separanti (canali che non distruggono necessariamente l'entanglement per tutti gli input, permettendo il recupero dell'entanglement tramite unitarie globali).
• Estensione agli Stati PPT: Viene sviluppato un framework analogo per rilevare stati che non sono assolutamente PPT, utilizzando momenti derivati da mappe decomponibili.

3. Contributi Chiave

1. Framework di Rilevamento Efficiente: Introduzione di criteri basati sui momenti che bypassano la necessità della tomografia quantistica completa. Questo riduce il numero di copie dello stato necessarie da esponenziale a polinomiale.
2. Generalità: Il metodo è applicabile a stati e canali di dimensioni arbitrarie e non richiede conoscenze preliminari sulla classe di entanglement o sulla forma parametrica dello stato (a differenza dei "witness" tradizionali).
3. Rilevamento di Stati e Canali PPT: Estensione della tecnica per identificare stati che non sono assolutamente PPT, risolvendo un problema complesso legato alle disuguaglianze lineari matriciali che diventano ingestibili ad alte dimensioni.
4. Dimostrazione Operativa: Prova che ogni stato non-assolutamente separabile offre un vantaggio operativo rispetto a qualsiasi stato assolutamente separabile nel compito di discriminazione dei canali quantistici.

4. Risultati

• Esempi Numerici: Gli autori dimostrano l'efficacia del metodo su vari esempi, inclusi stati isotropi e stati in spazi $C^2 \otimes C^4$ e $C^3 \otimes C^3$. In alcuni casi, il criterio basato sul terzo momento ($s_2^2 \leq s_3$) non riesce a rilevare la non-separabilità, mentre l'uso di momenti di ordine superiore (matrici di Hankel) riesce a rilevare lo stato con successo.
• Rilevamento di Canali: Il metodo è stato applicato con successo ai canali di depolarizzazione per qubit e qutrit, identificando con precisione le regioni parametriche in cui questi canali non sono "assolutamente separanti" (cioè, possono preservare o generare entanglement dopo una trasformazione unitaria).
• Vantaggio nella Discriminazione: È stato dimostrato teoricamente che per ogni stato non-assolutamente separabile, esiste una coppia di canali quantistici che può essere discriminata con una probabilità di successo strettamente superiore rispetto a qualsiasi stato assolutamente separabile. Questo conferma che la non-separabilità assoluta è una risorsa fisica misurabile.

5. Significato e Implicazioni

• Scalabilità: L'approccio basato sui momenti è altamente scalabile. Utilizzando tecniche come la shadow tomography (tomografia d'ombra), i momenti possono essere stimati efficientemente su dispositivi quantistici NISQ (Noisy Intermediate-Scale Quantum), rendendo il metodo praticamente realizzabile in laboratorio.
• Teoria delle Risorse: Il lavoro rafforza la prospettiva della teoria delle risorse, identificando gli stati non-assolutamente separabili come risorse utilizzabili per generare entanglement, a differenza degli stati assolutamente separabili che sono "liberi" (free states) in questo contesto.
• Fondamentale vs. Pratico: Sebbene la complessità computazionale intrinseca di verificare la separabilità assoluta su tutto l'orbita unitaria rimanga, il metodo offre condizioni sufficienti pratiche e accessibili sperimentalmente per certificare la presenza di stati utili.
• Future Directions: Il lavoro apre la strada all'estensione di questi criteri ad altre forme di "non-assolutezza" negli stati quantistici e suggerisce la realizzazione sperimentale immediata del protocollo di rilevamento.

In sintesi, il paper fornisce uno strumento potente e pratico per identificare stati quantistici che, pur apparendo separabili in una base, nascondono il potenziale per diventare risorse entangled, superando i limiti computazionali e sperimentali dei metodi tradizionali.