Robust Bell Nonlocality from Gottesman-Kitaev-Preskill States

Sintesi Tecnica: Nonlocalità di Bell Robusta da Stati Gottesman–Kitaev–Preskill

Definizione del Problema
Le violazioni delle disuguaglianze di Bell sono essenziali per certificare la non-classicità e per escludere il realismo locale. Tuttavia, nei sistemi a variabili continue (CV), la dimostrazione della non-località di Bell è limitata dallo schema di misurazione. Sebbene la detezione omodina offra un'elevata efficienza — cruciale per chiudere il loophole della detezione — essa è fondamentalmente limitata: la non-località di Bell non può essere generata da misurazioni gaussiane su stati gaussiani. Di conseguenza, sono richiesti stati non-gaussiani. Le proposte esistenti che utilizzano stati sottraendo fotoni o stati a "gatto ottico" soffrono della fragilità sotto perdita, e le loro caratteristiche non-gaussiane sono spesso degradate in implementazioni realistiche. Inoltre, testare le disuguaglianze di Bell nei sistemi CV richiede la discretizzazione dei risultati continui tramite "binning" (suddivisione in intervalli). Gli approcci precedenti hanno spesso ottimizzato il binning per specifici stati o impostazioni, influenzando la robustezza e l'entità delle violazioni osservate. La domanda centrale affrontata è se l'encoding Gottesman–Kitaev–Preskill (GKP), che codifica naturalmente i qubit in modi bosonic, possa abilitare violazioni di Bell robuste utilizzando solo la detezione omodina e un binning fisso, anche in presenza di squeezing finito e rumore.

Metodologia
Gli autori propongono un framework in cui ogni parte esegue una detezione omodina su un modo bosone condiviso e discretizza il risultato continuo tramite una regola di binning periodica e fissa. Questo binning corrisponde a misurazioni di Pauli logiche ($X, Y, Z$) sul qubit codificato.

1. Stato di Risorsa: Lo studio utilizza stati GKP a reticolo quadrato. Gli stati codeword GKP ideali sono pettini di Dirac non normalizzabili. Gli autori modellano stati realistici utilizzando un'approssimazione a energia finita generata da un filtro di energia $e^{-\epsilon \hat{n}}$. Questo sostituisce il pettine di Dirac con un reticolo di picchi gaussiani stretti sotto un inviluppo gaussiano più ampio, caratterizzato da un parametro di squeezing $r_{dB}$.
2. Schema di Misurazione: Le parti misurano le quadrature ruotate $\hat{q}_{\theta}$ ad angoli specifici ($\theta_Z=0, \theta_X=\pi/2, \theta_Y=\pi/4$) corrispondenti a $Z, X$ e $Y$ logici. Il risultato continuo $q_\theta$ viene mappato in un bit binario $o \in \{0, 1\}$ in base al fatto che cada all'interno di intervalli periodici $R_o$.
3. Framework Teorico: Gli autori derivano un'espressione analitica esplicita per la distribuzione di probabilità congiunta a $N$ parti $p(o|x)$ per qualsiasi stato codificato GKP a energia finita. Espandendo lo stato codificato in termini di operatori di Pauli logici e utilizzando la struttura di miscela gaussiana delle funzioni Wigner GKP, riducono la probabilità a $N$ modi in un prodotto di sovrapposizioni a singolo modo. Queste sovrapposizioni sono espresse come serie assolutamente convergenti che coinvolgono funzioni errore (Eq. 7).
4. Test di Bell: Il framework è applicato a scenari multipartiti ($N \ge 3$) utilizzando due diverse strutture di entanglement:
   • Stati GHZ: Testati utilizzando la disuguaglianza di Mermin–Ardehali–Belinskii–Klyshko (MABK).
   • Stati W: Testati utilizzando una disuguaglianza di probabilità di tipo Cabello.
     Lo studio analizza anche gli effetti della perdita di fotoni (modellata come un canale a beam-splitter con trasmittività $\eta$) e del rumore termico.

Contributi Chiave e Risultati

• Teorema di No-Go Bipartito: Gli autori stabiliscono un'ostruzione fondamentale per i sistemi bipartiti: per gli stati Bell-pair, le misurazioni di Pauli (implementate tramite omodina + binning fisso) generano solo correlazioni locali nello scenario CHSH. Nessuna violazione è possibile nel caso bipartito sotto questi vincoli.
• Violazioni Multipartite: Andando oltre le due parti, lo studio dimosta che gli stati GHZ e W codificati GKP con squeezing finito esibiscono una forte non-località multipartita. Essi violano le disuguaglianze di Bell multipartite utilizzando la sola lettura tramite omodina.
• Strumento Analitico: La derivazione della formula di sovrapposizione a singolo modo (Eq. 7) fornisce un collegamento efficientemente computabile tra i parametri fisici GKP (squeezing, struttura del reticolo) e le risultanti statistiche di binning-omodina. Ciò consente la valutazione numerica delle violazioni di Bell sotto perdita e squeezing finito.
• Soglie e Robustezza:
  • Squeezing: Uno squeezing più elevato ($r_{dB}$) migliora l'approssimazione delle misurazioni di Pauli logiche, aumentando i valori di violazione di Bell.
  • Perdita: La perdita di fotoni sfoca la griglia nello spazio delle fasi, riducendo la distinguibilità. Gli autori definiscono un parametro di squeezing critico ($r_{crit}$) come lo squeezing minimo richiesto per violare una specifica disuguaglianza per un dato livello di perdita.
  • Confronto: Si scopre che gli stati di tipo W (testati con la disuguaglianza di Cabello) sono più robusti allo squeezing finito rispetto agli stati GHZ (testati con MABK). Nello specifico, i witness di tipo W raggiungono violazioni a soglie di squeezing inferiori rispetto ai witness di tipo GHZ per lo stesso numero di parti ($N=3$).
  • Trade-off del Rumore: L'analisi quantifica un "budget di rumore", mostrando che una trasmissione più alta può compensare un moderato rumore termico, ma è richiesto un rumore vicino al vuoto per tollerare un'attenuazione significativa.
• Distanza Geometrica: L'analisi della distanza geometrica dal politopo locale conferma che le correlazioni di tipo W sono più robuste allo squeezing finito. Inoltre, aumentare le impostazioni di misurazione da 2 a 3 amplifica drasticamente questa distanza, suggerendo che la non-località basata su omodina è più ricca di quanto catturato dai classici witness a due impostazioni.

Significato e Rivendicazioni
Il paper sostiene di fornire una via verso test di Bell pratici e privi di loophole. Sfruttando l'encoding GKP, gli autori mostrano che violazioni di Bell robuste sono ottenibili utilizzando solo la detezione omodina ad alta efficienza e il binning fisso, senza richiedere operazioni non-gaussiane complesse (come i T-gate) o stati non-gaussiani fragili.

• Rilevanza Sperimentale: I risultati sono direttamente applicabili a piattaforme in cui gli stati GKP sono stati realizzati, come ioni intrappolati, cavità a microonde e sorgenti fotoniche integrate.
• Scalabilità: Sebbene gli stati GHZ possano essere generati usando accoppiamenti gaussiani e operazioni Clifford (compatibili con le architetture GKP), la preparazione degli stati W rimane una sfida poiché richiede risorse non-Clifford. Gli autori identificano questo come un ostacolo sperimentale chiave.
• Impatto Più Ampio: Il framework analitico (Eq. 7) si estende oltre i test di Bell, offrendo strumenti per protocolli prepare-and-measure e per la certificazione della privacy nel sensing quantistico distribuito.

Il lavoro conclude che gli stati GKP fungono da ponte naturale tra i requisiti del calcolo quantistico fault-tolerant e la necessità di una certificazione robusta ed efficiente della non-località quantistica nelle tecnologie fotoniche e CV.