Linear-optical test of quantum contextuality with sequential measurements

Sintesi Tecnica: Test ottico-lineare della contestualità quantistica con misurazioni sequenziali

Enunciazione del Problema
La contestualità quantistica, ovvero la dipendenza degli esiti di misura dall'insieme degli osservabili compatibili misurati congiuntamente, funge da firma fondamentale del comportamento non classico che non può essere spiegato da modelli a variabili nascoste non contestuali. Sebbene il teorema di Kochen–Specker (KS) e le disuguaglianze associate, come la disuguaglianza di Klyachko–Can–Binicioğlu–Shumovsky (KCBS), forniscano quadri teorici per testare questo fenomeno, la verifica sperimentale nei sistemi fotonici incontra sfide significative.

L'ostacolo principale è la natura distruttiva della rivelazione fotonica, che complica l'implementazione di misurazioni sequenziali necessarie per valutare accuratamente gli osservabili congiunti. I precedenti approcci sperimentali hanno tentato di aggirare questo problema codificando gli esiti di misura in diversi gradi di libertà (ad esempio, polarizzazione o percorso) per eseguire misurazioni congiunte anziché sequenze vere e proprie. Tuttavia, come notato in letteratura, tali strategie non catturano appieno la natura quantistica della contestualità e producono dati che possono essere simulati classicamente. Inoltre, altre implementazioni che utilizzano rivelatori sequenziali spesso non garantiscono che lo stesso osservabile sia realizzato da operazioni fisiche identiche in contesti diversi (ad esempio, misurare $A^{(5)}A^{(1)}$ rispetto a $A^{(5)}A'^{(1)}$ dove $A^{(1)}$ e $A'^{(1)}$ sono fisicamente distinti). Questo articolo affronta la necessità di uno schema ottico-lineare che realizzi misurazioni sequenziali genuine, garantisca l'identità fisica degli osservabili attraverso i contesti e superi la natura distruttiva della rivelazione.

Metodologia
Gli autori propongono e implementano sperimentalmente un setup ottico-lineare che utilizza fotoni singoli distribuiti su $M \ge 3$ modi bosonici. Il cuore della metodologia coinvolge:

1. Misurazione Sequenziale tramite Eventi "No-Click": Invece di utilizzare rivelatori non demolitivi (che sono dispendiosi in termini di risorse) o misurazioni congiunte, lo schema impiega rivelatori on–off. Un "click" (rivelazione di un fotone) corrisponde all'esito $-1$ e distrugge il fotone. Crucialmente, un evento "no-click" (rivelazione del vuoto) corrisponde all'esito $+1$. Questo evento "no-click" proietta il sistema sul sottospazio dei modi rimanenti senza distruggere il singolo fotone, permettendo così di eseguire una misurazione successiva sullo stesso fotone. Ciò soddisfa i requisiti di ripetibilità e non-disturbo essenziali per i test di contestualità.
2. Identità Fisica degli Osservabili: Il setup utilizza reti ottico-lineari (trasformazioni unitarie $U_j$) disposte attorno a un rivelatore on–off fisso. Definendo l'osservabile $A^{(j)} = U_j D U_j^\dagger$, dove $D$ è l'osservabile del rivelatore fisso, lo schema garantisce che ogni volta che un osservabile appare in una correlazione (ad esempio, $A^{(1)}$ nella coppia $A^{(1)}A^{(2)}$ e $A^{(5)}A^{(1)}$), esso sia implementato dalla medesima operazione fisica esatta. Ciò risolve il problema delle misurazioni compatibili non identiche riscontrato negli esperimenti precedenti.
3. Formulazione della Disuguaglianza KCBS: L'esperimento testa una forma semplificata della disuguaglianza KCBS espressa in termini di probabilità congiunte:
   $$S(\rho) = \sum_{j=1}^5 p(v_j = +1) - \sum_{j=1}^5 p(v_j = +1, v_{j+1} = +1) \le 2$$
   dove il limite classico è 2. Nello schema proposto, il termine $p(v_j = +1, v_{j+1} = +1)$ corrisponde alla probabilità di due eventi "no-click" consecutivi.
4. Implementazione Sperimentale: L'esperimento utilizza una codifica ibrida di percorsi spaziali e polarizzazione per realizzare tre modi ottici ($M=3$). Una sorgente di fotoni singoli con segnalazione genera fotoni, che vengono instradati attraverso una sequenza di spostatori di fascio (BD) e lamine d'onda mezza (HWPs) per implementare le trasformazioni unitarie richieste. Il setup include un meccanismo per simulare la perdita di fotoni accoppiando una frazione della luce a uno stato di vuoto, permettendo lo studio della robustezza rispetto alle perdite.

Contributi Chiave

• Schema Sequenziale Innovativo: Il documento introduce un'architettura ottico-lineare che realizza misurazioni sequenziali vere utilizzando rivelatori on–off standard sfruttando gli eventi di vuoto (no-click). Ciò evita la necessità di complesse interazioni di non-demolizione quantistica.
• Risoluzione dei Problemi di Implementazione della Contestualità: La costruzione garantisce che ogni osservabile co-misurato sia implementato dalla stessa operazione fisica attraverso contesti diversi, affrontando una limitazione di lunga data nei test di contestualità fotonica.
• Applicazione alla Caratterizzazione degli Stati: Gli autori dimostrano che il setup può essere utilizzato oltre i test fondamentali per verificare la non classicità e sondare le statistiche del numero di fotoni di stati arbitrari a singolo modo. Derivano limiti che mostrano come l'osservazione di $S(\rho) > 1.25$ certifichi la non classicità, e soglie specifiche (ad esempio, $S > 1.472$) possono certificare la presenza di un componente a singolo fotone, anche in presenza di vuoto o componenti di ordine superiore del numero di fotoni dove i test standard $g^{(2)}$ potrebbero fallire.

Risultati Sperimentali
I risultati sperimentali dimostrano una chiara violazione della disuguaglianza KCBS.

• Entità della Violazione: Per uno stato iniziale a singolo fotone, il valore misurato è $S(|1\rangle_1) = 2.2363 \pm 0.0041$, che supera il limite classico di 2 ed è vicino al massimo violazione quantistica teorica di $\sqrt{5} \approx 2.236$.
• Robustezza alle Perdite: L'esperimento ha investigato l'effetto della perdita di fotoni variando il rapporto tra componenti a singolo fotone e vuoto. La violazione della disuguaglianza ($S > 2$) è stata mantenuta fino a un tasso di perdita di fotoni di circa il 10,55%. I dati confermano che il valore osservato di $S$ diminuisce linearmente con la frazione di fotoni singoli, in accordo con le previsioni teoriche.
• Significatività Statistica: I risultati sono stati mediati su 100 ripetizioni con tempi di accumulo di 1 secondo per ciclo, producendo incertezze statistiche che confermano che la violazione è significativa.

Significato e Affermazioni
Il documento afferma che questo lavoro fornisce uno strumento pratico e robusto per sondare la non classicità e verificare sorgenti di fotoni singoli. Risolvendo il problema della realizzazione identica degli osservabili e utilizzando un semplice setup ottico-lineare, lo schema offre una via fattibile per verifiche operative o "black-box" della contestualità. Gli autori affermano che il loro approccio semplifica l'implementazione sperimentale pur soddisfacendo i requisiti fondamentali di Kochen–Specker. Inoltre, la capacità di inferire le statistiche del numero di fotoni e certificare proprietà degli stati di ingresso suggerisce applicazioni nel self-testing e nella certificazione di componenti fotonici, incluse sorgenti e rivelatori di fotoni singoli. I risultati forniscono prove schiaccianti contro le descrizioni a variabili nascoste non contestuali delle correlazioni osservate e mettono in luce l'interazione tra gli aspetti ondulatori (sovrapposizione) e particellari (mutua esclusività dei click) dei fotoni singoli.