Squeezing-enhanced Pairwise Fusion of Photonic Qudits

Sintesi Tecnica: Fusione a Coppie Potenziata da Squeezing di Qudit Fotonici

Problematica
L'elaborazione dell'informazione quantistica fotonica si basa fortemente su operazioni guidate dalla misura, in particolare sulle misure dello stato di Bell (BM) e sulle porte di fusione, per generare entanglement ed eseguire il calcolo. Nelle architetture ottiche lineari, le non-linearità deterministiche fotone-fotone non sono disponibili, rendendo queste operazioni probabilistiche. Sebbene la codifica ad alta dimensionalità (qudit d-rail) offra uno spazio logico più ampio senza aumentare il numero di fotoni, essa non rimuove intrinsecamente i vincoli della ottica lineare passiva.

Nello specifico, la porta di fusione a coppie (PFG) priva di ancilla introdotta da Yamazaki e Azuma proietta due qudit d-rail su stati di Bell supportati su sottospazi a due rail. Senza elaborazione attiva, questa misura passiva ha successo con una probabilità di $1 - d^{-1}$. Crucialmente, il settore di fallimento non è generico; è interamente confinato nel sottospazio logico "diagonale" (dove entrambi i fotoni occupano lo stesso rail), mentre il settore "off-diagonal" (rail differenti) viene proiettato con successo. La sfida centrale affrontata da questo lavoro è se uno strato ottico attivo possa recuperare selettivamente una parte di questo settore di fallimento diagonale strutturato senza introdurre fotoni ancillari in ingresso, aumentando così la probabilità complessiva di successo della porta di fusione.

Metodologia
Gli autori propongono uno schema in cui identici squeezer a singolo modo vengono applicati a tutti i $2d$ modi di uscita della PFG interferometrica priva di ancilla, immediatamente prima della rilevazione con risoluzione del numero di fotoni (PNR).

1. Struttura Logica: L'input consiste in due qudit a singolo fotone. L'interferometro passivo (un prodotto di beam splitter bilanciati) mappa gli input off-diagonali in pattern di parità dispari e gli input diagonali in pattern di accoppiamento (bunching) a parità pari.
2. Strato di Squeezing: Uno strato Gaussiano locale di $2d$ squeezer a singolo modo viene aggiunto. Questo strato preserva localmente la parità del numero di fotoni. Di conseguenza, le firme di parità dispari che identificano il successo della fusione off-diagonale rimangono disgiunte dal settore diagonale a parità interamente pari.
3. Ingegneria del Fallimento: Lo squeezing ridistribuisce le ampiezze del numero di fotoni all'interno del settore diagonale a parità interamente pari. Gli autori analizzano gli operatori di Kraus risultanti per determinare quali pattern di rilevazione corrispondano a validi progetti di coppia di Bell (specificamente gli stati di Bell diagonali $|\Phi^{\pm}_{ij}\rangle$).
4. Criterio di Accettazione: Un pattern di rilevazione è accettato come esito di fusione riuscito se:
   • È un pattern a parità dispari off-diagonale (successo passivo).
   • È un pattern interamente pari in cui il "vettore di squilibrio del numero di fotoni" (la differenza tra i conteggi dei fotoni nei due porti di uscita di ogni rail) ha esattamente due componenti non nulle di uguale magnitudo. Questa condizione assicura che il bra di Kraus ristretto sia proporzionale a un definito stato di Bell diagonale a coppia.
5. Risoluzione Finita: Gli autori estendono la teoria alla risoluzione finita dei detector, dove una soglia di saturazione $n_{sat}$ definisce una finestra di fiducia. Gli eventi con detector saturati sono dichiarati cancellazioni (erasures) per garantire una probabilità di successo certificata e conservativa.

Contributi Chiave

• Derivazione Esatta della POVM: Il documento deriva l'esatta misura di operatore positivo-definito (POVM) dello spazio logico per la PFG potenziata da squeezing. Dimostra che il recupero diagonale è governato da un criterio globale di squilibrio, indipendente dalla forza di squeezing $r$, sebbene il peso della probabilità dipenda da $r$.
• Success Probability in Forma Chiusa: Gli autori derivano un'esatta espressione in forma chiusa per la probabilità di successo con PNR ideale che coinvolge integrali ellittici completi del primo e del secondo tipo. Questa espressione quantifica il recupero del settore di fallimento diagonale.
• Analisi di Ottimizzazione: Lo studio identifica il parametro di squeezing ottimale $r^*$ che massimizza la probabilità di successo per una data dimensione $d$. Dimostra che la forza di squeezing ottimale scala come $r^* \approx 1/\sqrt{d}$ per grandi $d$.
• Teoria della Risoluzione Finita: Viene sviluppato un framework rigoroso per i detector a risoluzione finita, mostrando che, sebbene la saturazione riduca il vantaggio, non lo elimina.

Risultati
L'applicazione dello squeezing locale produce un aumento sistematico e moderato della probabilità di successo ideale:

• Performance PNR Ideale:
  • Per $d=4$, la probabilità di successo aumenta dal benchmark passivo del 75% al 79,62%.
  • Per $d=6$, aumenta dall'83,33% all'87,15%.
  • Asintoticamente, per grandi $d$, la misura ottimizzata recupera una frazione $e^{-1}$ del settore di fallimento diagonale, risultando in un guadagno assoluto di circa $1/(ed)$.
• Performance a Risoluzione Finita:
  • Con una soglia di saturazione rappresentativa di $n_{sat} = 7$ (risolvendo numeri di fotoni 0–6), le probabilità di successo certificate rimangono elevate: 78,84% per $d=4$ e 86,71% per $d=6$.
  • Il vantaggio persiste anche con un intervallo dinamico limitato, a patto che il detector sia in grado di risolvere i pattern rilevanti a basso numero di fotoni.

Significatività e Rivendicazioni
Il documento stabilisce che l'elaborazione Gaussiana attiva (nello specifico lo squeezing locale) è un metodo valido per "riciclare" i fallimenti di misura strutturati nel calcolo quantistico fotonico. La significatività risiede nei seguenti punti:

1. Potenziamento Senza Ancilla: A differenza di altri schemi ad alta efficienza che richiedono stati ancillari popolati o interferometri ampliati, questo metodo potenzia la PFG senza aggiungere fotoni ancillari in ingresso.
2. Ingegneria dello Spazio di Fallimento: Il lavoro illustra una strategia per preservare il settore già di successo di una misura, mantenendo al contempo la capacità di rimodellare il supporto della sua POVM di fallimento. La natura strutturata del fallimento passivo (confinato nel settore diagonale) lo rende idoneo a questo recupero mirato.
3. Fattibilità Sperimentale: Le risorse richieste sono $2d$ operazioni di squeezing e un maggiore intervallo dinamico del numero di fotoni alla rilevazione. Gli autori osservano che, sebbene i guadagni siano moderati, essi sono sistematici e non si basano su assunzioni idealizzate oltre alla rilevazione senza perdite e allo squeezing perfetto.
4. Scalabilità: Il metodo è applicabile ad arbitrarie dimensioni $d$, con la forza di squeezing ottimale che diminuisce all'aumentare della dimensione, suggerendo compatibilità con la scalabilità verso spazi logici più ampi.

Gli autori concludono che, sebbene le imperfezioni realistiche (perdite, inefficienza dei detector, deriva di fase) debbano essere quantificate per un'implementazione pratica, il framework teorico fornisce una via chiara per migliorare la computazione quantistica basata su fusione e i tassi di distribuzione dell'entanglement in sistemi fotonici ad alta dimensionalità.