Optimality of Gaussian Entanglement of Formation

Sintesi Tecnica: Ottimalità dell'Entanglement di Formazione Gaussiano

Enunciato del Problema
Il documento affronta un problema aperto di lunga data nella teoria dell'informazione quantistica a variabili continue (CV), nello specifico l'Open Quantum Problem 29 posto nel 2005. La domanda centrale è se l'entanglement di formazione ($E_F$) di uno stato gaussiano a due modi coincida con la sua restrizione gaussiana ($E_F^G$).

Per uno stato bipartito $\rho$, l'entanglement di formazione è definito come l'infimo della media dell'entanglement su tutti i possibili decomposizioni di stati puri:
$$E_F(\rho) = \inf_{\{p_j, |\psi_j\rangle\}} \sum_j p_j E(|\psi_j\rangle)$$
dove $E(|\psi_j\rangle)$ è l'entropia dello stato ridotto. Per uno stato gaussiano $\rho_V$, l'entanglement di formazione gaussiano $E_F^G(V)$ restringe questa ottimizzazione solo a ensemble di stati puri gaussiani. Poiché l'insieme degli ensemble gaussiani è un sottoinsieme di tutti gli ensemble possibili, la disuguaglianza $E_F(\rho_V) \leq E_F^G(V)$ è sempre verificata. Il problema aperto chiede se questa disuguaglianza sia stretta per stati gaussiani a due modi generici, o se la decomposizione ottimale sia sempre gaussiana. Lavori precedenti avevano risolto la questione per stati simmetrici, ma avevano lasciato irrisolta la generalizzata caso asimmetrico, con vari approcci che non riuscivano a escludere rigorosamente gli ensemble non gaussiani.

Metodologia
L'autore sviluppa una dimostrazione basata su una relazione affine netta tra l'entanglement e un osservabile generalizzato di Einstein–Podolsky–Rosen (EPR), valida per arbitrarie pure de stati a due modi (gaussiani e non gaussiani).

1. Osservabile EPR Generalizzato: L'autore definisce un osservabile parametrizzato $\hat{D}_t$ che coinvolge un parametro di guadagno relativo $t$ ($0 < t \leq 1$):
   $$\hat{D}_t = (ta - b^\dagger)^\dagger (ta - b^\dagger) = \frac{1}{2} \left[ (tx_A - x_B)^2 + (tp_A + p_B)^2 + 1 - t^2 \right]$$
   dove $t=1$ corrisponde allo standard osservabile EPR bilanciato, mentre $t < 1$ si adatta a stati asimmetrici.

2. Teorema di Estremalità Affine (Teorema 1): Il cuore della dimostrazione è una disuguaglianza che mette in relazione l'entanglement $E(\psi)$ di qualsiasi stato puro a due modi $|\psi\rangle$ con energia media finita e il suo valore di aspettazione dell'osservabile $\hat{D}_t$. Per ogni $0 < q < t \leq 1$:
   $$E(\psi) + \lambda_{q,t} \left[ \langle \hat{D}_t \rangle_\psi - d_t(q) \right] \geq E(q)$$
   dove $E(q)$ è l'entanglement di un vuoto di due modi con squeezing (TMSV) con parametro di squeezing $q$, $d_t(q)$ è il valore di aspettazione di $\hat{D}_t$ per quel TMSV, e $\lambda_{q,t}$ è un coefficiente positivo. Questa disuguaglianza implica che, a un entanglement fissato, il TMSV minimizza l'aspettativa EPR generalizzata.

3. Strategia di Dimostrazione: La dimostrazione del Teorema 1 procede in tre fasi:

   • Disuguaglianza dei Valori Singolari: Una nuova disuguaglianza riduce il funzionale EPR a un'espressione che dipende solo dai coefficienti di Schmidt ordinati dello stato, utilizzando un'operazione di "parte positiva" per evitare penalità artificiali per i passi verso l'alto nella sequenza riscalata.
   • Media a Blocchi Geometrica: Viene introdotta una procedura per mediare blocchi adiacenti di coefficienti di Schmidt (pesati da fattori geometrici $t^{2n}$) per produrre una nuova sequenza che soddisfi una condizione di rapporto geometrico ($c_{n+1} \leq t c_n$) senza aumentare l'entropia o il funzionale EPR. Questo passaggio rimuove la restrittiva condizione di rapporto geometrico richiesta dai precedenti argomenti di riarrangiamento.
   • Disuguaglianza di Log-Sobolev: Viene applicata una meta disuguaglianza di Log-Sobolev per canali gaussiani fase-covarianti per mostrare che il trade-off entropia-EPR rimanente è minimizzato da una sequenza geometrica (corrispondente a un TMSV).

4. Estensione agli Stati Misti: Poiché la disuguaglianza nel Teorema 1 è affine rispetto al valore di aspettazione dell'osservabile, essa può essere mediata su qualsiasi ensemble. Ciò consente all'autore di costruire un limite inferiore per l'entanglement di formazione di qualsiasi stato misto (gaussiano o meno) basato sull'aspettativa misurata di $\hat{D}_t$.

Risultati Chiave

• Uguaglianza per Stati Gaussiani a Due Modi: Applicando il limite affine alla decomposizione canonica di uno stato gaussiano a due modi (che può essere portato, tramite trasformazioni simpletiche locali, a una forma che coinvolge un TMSV più rumore ortogonale), l'autore dimostra che il limite inferiore coincide con il noto limite superiore gaussiano. Di conseguenza, stabiliscono che:
  $$E_F(\rho_V) = E_F^G(V)$$
  per ogni stato gaussiano a due modi $\rho_V$. Ciò conferma che la decomposizione ottimale per qualsiasi stato gaussiano a due modi è effettivamente gaussiana.

• Estensione a Stati Multimodali Bisimmetrici: Il risultato si estende agli stati gaussiani a $(m+n)$ modi che sono bisimmetrici attraverso la partizione $A:B$. Tali stati sono localmente unitariamente equivalenti a un nucleo a due modi correlato tensore con modi termici locali non correlati. Poiché i modi termici locali non influenzano $E_F$ o $E_F^G$, l'uguaglianza vale per l'intero stato bisimmetrico.

• Limite Inferiore per Stati Non Gaussiani: La disuguaglianza derivata fornisce un limite inferiore misurabile e quantitativo sull'entanglement di formazione per arbitrarie de stati a due modi non gaussiani. Questo limite dipende solo dalle varianze di due quadrature EPR generalizzate e non richiede la tomografia completa dello stato o la rilevazione del numero di fotoni.

Significato e Rivendicazioni
Il documento rivendica di aver risolto l'intera istanza a due modi dell'Open Quantum Problem 29, stabilendo che la restrizione gaussiana non è meramente un'approssimazione, ma il valore esatto dell'entanglement di formazione per tutti gli stati gaussiani a due modi.

• Impatto Teorico: Il risultato promuove formule analitiche consolidate ed algoritmi numerici efficienti per $E_F^G$ (precedentemente limitati agli ensemble gaussiani) a affermazioni esatte per il tetto convesso non ristretto $E_F$.
• Utilità Sperimentale: L'autore dimostra che gli stessi dati sperimentali utilizzati per i test EPR standard (omodina a risoluzione di fase o misure a microonde) possono essere rielaborati per fornire un limite inferiore rigoroso su $E_F$ per stati non gaussiani. In un esempio specifico che coinvolge uno stato "coppia-vuoto" non gaussiano con perdita, il limite ottimizzato ha catturato il 98,0% dell'esatto entanglement di formazione.
• Contributo Metodologico: La dimostrazione riduce un'ottimizzazione a dimensione infinita su arbitrarie basi di Schmidt a un'ottimizzazione monodimensionale su un parametro di squeezing. Le tecniche introdotte, specificamente la disuguaglianza del difetto dei valori singolari e il metodo di media a blocchi geometrici, sono notate come potenzialmente utili per altri problemi di tetto convesso bosonici.

Il documento conclude che, sebbene il problema generico non simmetrico a più modi rimanga aperto, i casi a due modi e bisimmetrici sono ora completamente risolti, fornendo un legame definitivo tra l'ottimizzazione gaussiana e la misura fondamentale della risorsa dell'entanglement di formazione.