All causally separable quantum processes are quantum circuits with classical control of causal order

Nel mondo quantistico, le regole di causa ed effetto possono diventare stranamente fluide. Di solito, pensiamo che gli eventi accadano in una sequenza rigorosa: una cosa accade, poi un'altra, poi un'altra ancora. Questo è il flusso familiare del tempo che sperimentiamo ogni giorno. Ma nel regno della fisica quantistica, gli scienziati hanno scoperto che è possibile costruire scenari in cui questo ordine non è fisso. Immaginate due persone, Alice e Bob, che eseguono esperimenti quantistici. In una configurazione standard, Alice potrebbe sempre agire prima di Bob, o Bob potrebbe sempre agire prima di Alice. Tuttavia, la meccanica quantistica permette una terza possibilità: una situazione in cui è genuinamente indefinito chi abbia agito per primo. In questi casi, l'ordine causale stesso esiste in una sovrapposizione, uno stato in cui entrambe le possibilità sono vere contemporaneamente finché non viene effettuata una misurazione. Questo concetto, noto come ordine causale indefinito, sfida le nostre intuizioni più profonde su come funziona l'universo ed è diventato un importante oggetto di ricerca nella fondazione della meccanica quantistica.

La domanda centrale per i ricercatori in questo campo è stata quella di distinguere tra processi che hanno un ordine definito, seppur flessibile, e processi che sono veramente indefiniti. Un processo è considerato "causalmente separabile" se, anche se l'ordine cambia dinamicamente durante l'esecuzione dell'esperimento, esiste sempre una sequenza di eventi chiara e ben definita per ogni singola esecuzione dell'esperimento. Ad esempio, l'ordine potrebbe essere deciso da un lancio di moneta all'inizio, o potrebbe essere determinato dall'esito di un passaggio precedente, ma in ogni dato momento, una parte sta sicuramente agendo prima delle altre. Per anni, gli scienziati hanno avuto un test matematico per identificare questi processi separabili, ma sapevano solo che si trattava di una condizione sufficiente. Ciò significava che se un processo superava il test, era sicuramente causalmente separabile, ma non potevano essere certi se il fallimento del test significasse che il processo fosse realmente indefinito. Rimaneva una lacuna nella conoscenza: potevano esistere processi causalmente separabili che questo test semplicemente non riusciva a rilevare?

Un team di ricercatori ha ora colmato questa lacuna, dimostrando che il test che già possedevano non è solo sufficiente, ma anche necessario. Hanno dimostrato che qualsiasi processo quantistico che rispetti un ordine causale ben definito può essere costruito utilizzando un tipo specifico di macchina: un circuito quantistico in cui l'ordine delle operazioni è controllato da informazioni classiche. In questa configurazione, la sequenza di eventi non è scolpita nella pietra sin dall'inizio, ma è decisa "al volo" da segnali classici mentre l'esperimento progredisce. I ricercatori hanno mostrato che se un processo è causalmente separabile, è garantito che sia realizzabile in questo modo. Questo risultato conferma che il quadro matematico astratto utilizzato per descrivere questi scenari quantistici corrisponde perfettamente a una costruzione fisica concreta. Risolve un problema aperto da lungo tempo stabilendo che non esistono processi causalmente separabili nascosti che cadano al di fuori della portata di questi circuiti a controllo classico.

Per raggiungere questa conclusione, il team ha dovuto superare un significativo ostacolo tecnico. I tentativi precedenti di dimostrare che il test fosse necessario si basavano su un metodo chiamato "teletrasporto", in cui la prima parte in una sequenza inviava la propria informazione quantistica a una sola altra parte specifica. Questo approccio funzionava per casi semplici che coinvolgevano due o tre parti, ma falliva nel tentativo di generalizzarlo a gruppi più ampi. I ricercatori si resero conto che, per risolvere il problema per un numero qualsiasi di parti, avevano bisogno di una tecnica più sottile. Svilupparono quella che chiamano una tecnica di "teletrasporto coerente". Invece di inviare informazioni a una singola destinazione, questa tecnica permette alla prima parte di teletrasportare i propri sistemi a tutte le altre parti simultaneamente, ma in un modo che mantiene le diverse possibilità collegate tra loro in modo coerente.

Questa nuova tecnica prevede una disposizione ingegnosa di sistemi ausiliari e stati quantistici. I ricercatori hanno progettato una configurazione in cui la prima parte esegue un'operazione specifica che effettivamente divide la propria influenza su tutto il gruppo, attaccando una "bandierina" a ogni ramo che indica quale parte sia la successiva. Utilizzando questa sovrapposizione coerente di possibilità, sono stati in grado di dimostrare matematicamente che qualsiasi processo causalmente separabile deve adattarsi alla struttura dei circuiti a controllo classico. La prova si basa su una logica ricorsiva: se la regola vale per un gruppo di parti, deve valere anche per un gruppo più piccolo formato dopo che la prima parte ha agito. Usando questo teletrasporto coerente per colmare il divario tra il primo passaggio e il resto del processo, sono riusciti con successo a estendere la prova a un numero qualsiasi di parti.

Le implicazioni di questa scoperta sono significative per l'interpretazione fisica della teoria quantistica. Confermano che la classe di processi compatibili con un ordine causale ben definito è esattamente la stessa classe di processi che possono essere fisicamente realizzati da circuiti quantistici con controllo classico dell'ordine causale. Ciò significa che ogni volta che incontriamo un processo quantistico che non viola le leggi della causalità, possiamo essere certi che esso potrebbe, in linea di principio, essere costruito in un laboratorio utilizzando componenti quantistici standard e logica classica per decidere l'ordine degli eventi. I ricercatori hanno anche notato che la loro caratterizzazione matematica può essere verificata tramite algoritmi informatici efficienti, il che consente agli scienziati di controllare rapidamente se un dato processo è causalmente separabile o di trovare prove di una vera indefinitezza causale.

Interessanti sono anche le rivelazioni degli autori secondo cui hanno utilizzato l'intelligenza artificiale per aiutare a generare la prova iniziale del loro teorema principale. Un modello di IA ha suggerito l'idea centrale della tecnica di teletrasporto coerente, che i ricercatori hanno poi raffinato, semplificato e verificato rigorosamente. Questa collaborazione evidenzia come gli strumenti computazionali moderni possano assistere il processo creativo della fisica teorica, anche se l'argomento finale, rifinito e completo, rimane un traguardo umano. Il lavoro rappresenta una caratterizzazione completa della separabilità causale, rimuovendo ogni ambiguità su quali processi quantistici possano essere descritti da un ordine causale definito e quali no. Esso porta un senso di chiusura a un capitolo specifico nello studio della causalità quantistica, assicurando che la nostra comprensione di questi scenari complessi sia sia matematicamente solida che fisicamente fondata.