Strong Kochen-Specker contextuality to rule out discrete nondeterministic alternatives to quantum theory

Nel mondo quantistico, l'atto di misurare un sistema non è un'osservazione passiva ma un intervento attivo che può cambiare la realtà osservata. Ciò contrasta nettamente con la nostra esperienza quotidiana, dove un tavolo rimane un tavolo indipendentemente dal fatto che lo guardiamo o meno. Per decenni, i fisici si sono confrontati con l'idea che le particelle quantistiche possano possedere proprietà nascoste, preesistenti, che si rivelano semplicemente al momento della misurazione, proprio come una moneta che ha un lato testa o croce definito prima di essere lanciata. Tuttavia, un famoso risultato degli anni '6ano, noto come teorema di Kochen-Specker, ha dimostrato che una realtà così semplice e predeterminata non può esistere per i sistemi quantistici in tre dimensioni o superiori. Il teorema ha dimostrato che se si tenta di assegnare un valore definito a ogni possibile misurazione che una particella potrebbe subire, si incorre inevitabilmente in una contraddizione logica. I valori che si assegnano a un insieme di misurazioni entrerebbero in conflitto con i valori assegnati a un altro insieme, anche se la particella stessa non è cambiata. Ciò implica che l'esito di una misurazione dipende dal contesto specifico — ovvero dalle altre misurazioni che vengono eseguite contemporaneamente ad essa.

Sebbene questo teorema abbia efficacemente escluso un mondo di "variabili nascoste" in cui gli esiti sono strettamente determinati come sì o no, rimaneva una domanda sospesa. E se le variabili nascoste non fossero così rigide? Potrebbe esistere una teoria in cui gli esiti non siano strettamente sì o no, ma assumano invece un insieme limitato di valori intermedi, come un interruttore a regolazione di intensità con solo alcune impostazioni? Per molto tempo, non è stato chiaro se una teoria così "non deterministica" ma comunque limitata potesse spiegare le strane correlazioni della meccanica quantistica. Questa incertezza ha lasciato un vuoto nella nostra comprensione di quanto profondamente la realtà quantistica si discosti dall'intuizione classica.

Un nuovo studio di Ravishankar Ramanathan, dell'Università di Hong Kong, colma questo divario dimostrando che nemmeno queste teorie a valori limitati e rilassati possono spiegare il comportamento quantistico. Il ricercatore ha costruito una specifica famiglia di esperimenti, ispirata a un enigma logico noto come test di Hardy, progettata per intrappolare qualsiasi teoria che si basi su valori predeterminati e indipendenti dal contesto. In questa configurazione, immaginate un sistema di scatole interconnesse, ognuna delle quali può essere vuota o piena. L'esperimento prevede di controllare coppie o triplette di queste scatole seguendo regole rigide: certe combinazioni di stati vuoti e pieni sono proibite, mentre altre sono garantite. Se le scatole contenessero stati nascosti, predeterminati e indipendenti da quali altre scatole venissero controllate nello stesso momento, le regole della logica imporrebbero un esito specifico per una scatola finale nella catena.

Ramanathan ha dimostrato che per qualsiasi teoria in cui i valori nascosti siano tratti da un elenco finito di possibilità — ad esempio, un elenco contenente zero, uno e alcuni numeri intermedi — la logica dell'esperimento impone che la scatola finale sia vuota con un alto grado di certezza. Tuttavia, quando lo stesso esperimento viene eseguito con un sistema quantistico reale, specificamente uno stato quantistico tridimensionale noto come qutrit, il risultato sfida questa logica. Il sistema quantistico produce l'esito proibito con una probabilità che è strettamente superiore a quella che qualsiasi teoria con quei valori nascosti limitati potrebbe mai permettere. Regolando la complessità dell'esperimento, che consiste nel nidificare questi schemi di controllo delle scatole sempre più in profondità, i ricercatori hanno dimostrato che il divario tra ciò che una teoria a valori limitati prevede e ciò che la meccanica quantistica effettua può essere reso arbitrariamente grande.

Lo studio fornisce un insieme concreto e finito di misurazioni che possono essere eseguite in laboratorio per escludere queste teorie alternative. A differenza di precedenti prove che si basavano su strutture matematiche infinite o funzioni continue, questo lavoro utilizza un numero finito di proiettori e stati quantistici specifici per ottenere lo stesso risultato. I ricercatori hanno calcolato il numero esatto di misurazioni necessarie per smentire una teoria basata su un particolare insieme di valori ammessi. Ad esempio, se una teoria avesse ammesso un valore nascosto di 0,25, l'esperimento richiederebbe venti misurazioni specifiche per esporre la contraddizione; se il valore ammesso fosse stato 0,90, l'esperimento ne avrebbe necessitato di 224. Man mano che il numero di valori ammessi si avvicina all'intero intervallo di possibilità, il numero di misurazioni richieste cresce, ma il principio rimane: la meccanica quantistica supera costantemente qualsiasi teoria che cerchi di spiegarla con un insieme finito e discreto di esiti predeterminati.

Questa scoperta ha implicazioni significative per la nostra comprensione della natura fondamentale della realtà e per lo sviluppo di tecnologie future. Nel campo dell'informazione quantistica, la contestualità è ora riconosciuta come una risorsa preziosa, simile al carburante, che alimenta compiti avanzati come la comunicazione sicura e il calcolo potente. Dimostrando che la contestualità quantistica è ancora più forte di quanto precedentemente pensato — abbastanza forte da escludere non solo le variabili nascoste binarie, ma qualsiasi insieme finito di valori discreti — questo lavoro rafforza le fondamenta di queste tecnologie. Suggerisce che la "magia" dietro l'accelerazione quantistica e la sicurezza della crittografia quantistica si basa su una caratteristica della natura che è robusta contro una classe molto più ampia di alternative classiche di quanto credessimo. Inoltre, lo studio collega questi risultati fisici al regno della logica, mostrando che le logiche a molti valori finiti, che tentano di descrivere la realtà con un insieme limitato di valori di verità, sono insufficienti per modellare il mondo quantistico.

Il documento introduce anche un nuovo modo di intendere la forza di questi effetti quantistici. Proprio come i matematici categorizzano da tempo diversi tipi di contraddizioni logiche, questo lavoro stabilisce una gerarchia di quanto un sistema possa essere "contestuale". Dimostra che la teoria quantistica elude non solo le più semplici descrizioni classiche, ma anche descrizioni più complesse a valori finiti. Ciò significa che non importa quanti valori intermedi una teoria a variabili nascoste tenti di utilizzare, finché il numero di impostazioni è finito, essa fallirà nel corrispondere alle previsioni della meccanica quantistica. I ricercatori hanno fornito una prova costruttiva, il che significa che non si sono limitati a dire che una tale teoria è impossibile; hanno costruito il quadro matematico ed sperimentale specifico che dimostra tale impossibilità.

Guardando al futuro, questi risultati aprono nuove strade per la verifica sperimentale. Sebbene le attuali prove siano dipendenti dallo stato, ovvero dipendono dalla preparazione di uno stato quantistico specifico, i metodi sviluppati qui potrebbero essere adattati per applicazioni più ampie. Lo studio affronta anche l'aspetto pratico della generazione di casualità. Poiché le correlazioni quantistiche in questi test sono così forti e così distinte da qualsiasi alternativa classica, esse offrono una via promettente per generare numeri veramente casuali che siano sicuri anche contro un avversario che potrebbe conoscere tutto sui dispositivi utilizzati, a condizione che i dispositivi rispettino le leggi della meccanica quantistica. La capacità di escludere una classe così ampia di teorie alternative con esperimenti finiti e fattibili segna un passo significativo nella nostra capacità di testare i confini stessi della realtà fisica.