All non-locally Realized Continuous Variable Bipartite Gaussian States are Entangled

Sintesi Tecnica: Tutti gli stati gaussiani bipartiti a variabili continue non localmente realizzabili sono entanglement

Enunciato del Problema
Sebbene l'entanglement e la non-località quantistica siano fenomeni distinti, la loro relazione all'interno degli stati gaussiani bipartiti a variabili continue (CV) rimane un ambito che richiede una rigorosa chiarificazione. Sebbene l'entanglement sia ampiamente riconosciuto come una risorsa per le tecnologie quantistiche, e la non-località sia spesso vista come prova dell'entanglement, le precise condizioni sotto le quali l'uno implica l'altro non sono ancora pienamente stabilite analiticamente, in particolare nell'immagine di Heisenberg. Studi precedenti hanno dimostrato che l'entanglement non garantisce sempre la violazione delle disuguaglianze di Bell (non-località) e, conversely, certi stati non prodotto possono violare le disuguaglianze di Bell senza essere entanglement in contesti specifici. Un'espressione analitica diretta che quantifichi la non-località per gli stati gaussiani, specificamente collegandola ai criteri di entanglement, è stata identificata come una "zona grigia" nella letteratura. Questo articolo affronta la necessità di formulare un'espressione analitica per la violazione della disuguaglianza di Bell negli stati gaussiani e di stabilire definitivamente la dipendenza logica tra non-località ed entanglement per questa specifica classe di stati.

Metodologia
L'indagine utilizza la rappresentazione nello spazio delle fasi di Wigner per formulare la funzione di Bell per gli stati gaussiani bipartiti CV. La metodologia procede attraverso i seguenti passaggi:

1. Standardizzazione delle Matrici di Correlazione: Gli autori iniziano rappresentando lo stato gaussiano bipartito tramite una matrice di correlazione reale simmetrica $4 \times 4$ ($V'$). Applicano un operatore di Bogoliubov lineare unitario locale (LLUBO), consistente in squeezing e rotazione locale, per trasformare questa matrice in una forma standard ($V$). Questa forma standard è caratterizzata dai parametri $n, m$ (che rappresentano le varienze locali) e $c_1, c_2$ (che rappresentano le correlazioni incrociate), soggetti ai vincoli del principio di incertezza.
2. Formulazione della Funzione di Bell: La non-località è quantificata dal valore massimo della funzione di Bell ($|B_{max}|$), espresso in termini di funzioni di quasi-probabilità di Wigner. La funzione di Bell è definita come una combinazione lineare di funzioni di Wigner valutate in specifici vettori dello spazio delle fasi.
3. Massimizzazione Analitica: Gli autori derivano un'espressione analitica per la funzione di Bell massimizzata ($B_{max}$) ottimizzando l'esponente della funzione di Wigner. Ciò comporta la variazione degli angoli di fase ($\theta_I, \theta_S$) e delle ampiezze ($\alpha_I, \alpha_S$) per trovare il massimo globale. La derivazione produce un'espressione in forma chiusa per $B_{max}$ dipendente dal determinante della matrice di correlazione e dai parametri di correlazione incrociata.
4. Analisi Comparativa: La condizione derivata per la non-località ($B_{max} \geq 2$) viene confrontata con i criteri sufficienti di Simon per l'entanglement. Gli autori analizzano le disuguaglianze matematiche che governano entrambe le condizioni per determinare se la soddisfazione di una implichi l'altra.

Contributi Chiave e Risultati

• Espressione Analitica per la Non-Località: Il documento fornisce un'espressione analitica in forma chiusa per la funzione di Bell massimizzata ($B_{max}$) per stati gaussiani bipartiti CV generali (Eq. 9). Questa espressione è derivata direttamente dagli elementi della matrice di correlazione in forma standard, offrendo un metodo diretto per testare la non-località senza ricorrere esclusivamente alla massimizzazione numerica.
• Verifica dei Limiti TMSV: La formula derivata recupera con successo i risultati noti per lo stato Two-Mode Squeezed Vacuum (TMSV). Nello specifico, conferma che quando il fattore di squeezing $r \to \infty$, lo stato si avvicina a un limite di massima non-località ($B_{max} \approx 2.19$).
• Relazione Logica tra Entanglement e Non-Località:
  • Non-Località $\implies$ Entanglement: Gli autori dimostrano che per gli stati gaussiani bipartiti, la condizione di non-località (violazione della disuguaglianza di Bell) è una condizione sufficiente per l'entanglement. Se uno stato è localmente realizzabile come non-locale, è necessariamente entangled.
  • Entanglement $\nRightarrow$ Non-Località: Al contrario, il documento dimostra che l'entanglement non è sufficiente a garantire la non-località. Esistono stati gaussiani entangled che non violano le disuguaglianze di Bell (ovvero, sono localmente realizzabili).
  • Necessità: L'analisi conferma che l'entanglement è una condizione necessaria per la non-località in questo contesto; uno stato non-entangled (separabile) non può esibire non-località.

Significato e Rivendicazioni
Il documento sostiene di risolvere l'ambiguità riguardante la relazione tra entanglement e non-località specificamente per gli stati gaussiani. Fornendo una formulazione analitica, il lavoro stabilisce una condizione di confine chiara: sebbene tutti gli stati gaussiani bipartiti non-localmente realizzati siano entangled, il contrario non è vero. Gli autori sottolineano che la loro analisi costruisce una connessione definitiva tra questi due fenomeni, provando che la non-località funge da robusto testimone (witness) per l'entanglement nei sistemi gaussiani, mentre l'entanglement da solo non garantisce la presenza di un comportamento non-locale. Il lavoro non propone nuovi setup sperimentali o applicazioni future, ma si concentra sulla chiarificazione teorica di queste fondamentali correlazioni quantistiche utilizzando il formalismo dello spazio delle fasi di Wigner.