Nel silenzioso e astratto mondo del calcolo quantistico, i ricercatori sono costantemente alla ricerca di un tipo specifico di illusione digitale: la capacità di far apparire qualcosa completamente casuale a un osservatore, anche se è stato creato da una regola semplice e nascosta. Questo concetto, noto come pseudocasualità, è l'ossatura della crittografia moderna. Nel mondo classico, dove i computer elaborano bit di informazione, disponiamo di strumenti ben compresi per creare queste illusioni. Possiamo generare stringhe di numeri dall'aspetto casuale o funzioni che si comportano in modo imprevedibile, pur essendo riproducibili se si conosce la chiave segreta. Questi strumenti ci permettono di costruire serrature sicure per le nostre vite digitali.

Tutt true, il mondo quantistico opera sotto leggi diverse. Invece di semplici bit, i computer quantistici manipolano delicati stati della materia che possono esistere in più configurazioni contemporaneamente. Ciò apre la porta a nuovi tipi di casualità, ma crea anche un panorama confuso. Gli scienziati hanno scoperto diversi modi per generare queste illusioni quantistiche. Alcuni metodi creano stati quantistici dall'aspetto casuale, che sono come istantanee di un sistema. Altri creano trasformazioni dall'aspetto casuale, che sono come le azioni che cambiano un sistema da uno stato all'altro. Per molto tempo, non è stato chiaro se questi due tipi di strumenti fossero fondamentalmente legati. Un metodo che crea un'istantanea dall'aspetto casuale potrebbe essere usato per costruire una macchina che esegue un'azione dall'aspetto casuale? O sono fenomeni del tutto separati, come mele e arance, che non possono essere convertiti l'uno nell'altro?

Un ricercatore della Korea Advanced Institute of Science and Technology, Minki Hhan, ha ora tracciato una linea netta tra questi due concetti. In un nuovo studio, Hhan dimostra che è possibile avere un mondo in cui si può facilmente creare istantanee quantistiche dall'aspetto casuale, ma dove è matematicamente impossibile costruire una macchina che esegua un'azione dall'aspetto casuale. Questa scoperta risolve una questione di lunga data sulla struttura della sicurezza quantistica. Rivela che la capacità di generare uno stato casuale non conferisce automaticamente il potere di eseguire una trasformazione casuale. I due sono capacità distinte, e l'una non implica l'altra, anche quando al ricercatore è permesso usare ogni trucco del libro quantistico, inclusi spazio di memoria extra e operazioni complesse e non standard.

Per capire come sia stata trovata questa separazione, immaginate una vasta biblioteca di libri. In questa biblioteca, un "generatore di stati simile a una funzione pseudocasuale" è una macchina che, ricevuta una specifica chiave di codice, produce un singolo libro che sembra scritto da un processo caotico e casuale. Un "unitario pseudocasuale", d'altra parte, è una macchina che, ricevuta una chiave di codice, esegue un complesso rimescolamento dei contenuti dell'intera biblioteca. La domanda era: se avete una macchina che può produrre questi libri dall'aspetto casuale, potete usarla per costruire la macchina che rimescola? Intuitivamente, si potrebbe pensare che se si possono creare le parti, si possa assemblare il tutto. Ma il lavoro di Hhan mostra che questa intuizione fallisce nel regno quantistico.

La prova si basa su una scaltra prospettiva matematica che tratta la costruzione di queste macchine quantistiche come una mappa fluida e continua. Invezione di guardare la macchina come un blocco rigido di codice, Hhan l'ha vista come un paesaggio dove piccoli cambiamenti nell'input portano a piccoli cambiamenti nell'output. Studiando la "pendenza" o il tasso di variazione di questo paesaggio, il ricercatore ha scoperto una debolezza nascosta in qualsiasi tentativo di costruire una macchina di rimescolamento casuale usando solo generatori di stati casuali. L'analisi matematica ha mostrato che la pendenza di questo paesaggio è intrinsecamente piatta e limitata. È come se la macchina stesse cercando di scalare una collina, ma il terreno è così piatto che non può guadagnare abbastanza altezza per raggiungere la vetta della vera casualità.

Questa piattezza è una conseguenza diretta di come la macchina interagisce con gli stati quantistici. La macchina che genera stati casuali deve solo operare su una piccola fetta di bassa dimensione del vasto spazio quantistico. Tuttavia, una vera macchina di rimescolamento casuale deve agire sull'intero, massiccio spazio. Quando il ricercatore ha cercato di forzare la macchina della piccola fetta ad agire sull'intero spazio, la "derivata" matematica — la misura di quanto l'output è sensibile ai cambiamenti dell'input — è rimasta troppo piccola. Questa mancanza di sensibilità significa che l'output della macchina è troppo prevedibile. Si concentra attorno a un singolo comportamento medio piuttosto che diffondersi nella distribuzione selvaggia e caotica che una macchina veramente casuale produrrebbe.

Per rendere la cosa concreta, il ricercatore ha costruito uno scenario specifico utilizzando un oracolo "simile a una funzione di stato comune-Haar". Questo è uno strumento teorico che fornisce una scorta di stati quantistici casuali. In questo scenario, il ricercatore ha dimostrato che, mentre una macchina potrebbe riuscire a generare stati dall'aspetto casuale usando questo strumento, qualsiasi tentativo di usare quegli stati per costruire una macchina di rimescolamento casuale fallirebbe. La macchina risultante si comporterebbe sempre in un modo che un osservatore accorto potrebbe distinguere da un comportamento veramente casuale. L'osservatore potrebbe rilevare che la macchina non è veramente casuale perché il suo comportamento è troppo concentrato, troppo fluido e privo della necessaria variazione caotica.

Lo studio ha anche affrontato un potenziale vuoto normativo. I critici potrebbero argomentare che il fallimento avviene solo perché la macchina è limitata nella quantità di memoria extra che può usare. Forse, se alla macchina fosse permesso di usare una enorme quantità di spazio extra, potrebbe superare la piattezza del paesaggio. La prova di Hhan esclude esplicitamente questo scenario. La separazione regge anche quando alla macchina è permesso usare un numero arbitrario di unità di memoria extra e anche quando alla macchina è permesso essere imperfetta o non unitaria. La distinzione fondamentale rimane: la capacità di generare uno stato casuale non implica la capacità di eseguire una trasformazione casuale.

Questo risultato ha implicazioni significative per il futuro della crittografia quantistica. Per anni, i ricercatori hanno cercato di costruire sistemi quantistici sicuri collegando questi diversi tipi di casualità, assumendo che se ne esiste uno, anche gli altri debbano seguire. Questa nuova scoperta suggerisce che il percorso verso sistemi quantistici sicuri è più frammentato di quanto precedentemente pensato. Significa che per costruire una vera serratura quantistica sicura, non possiamo semplicemente fare affidamento sugli strumenti che generano stati casuali. Dobb di trovare metodi interamente nuovi per creare le trasformazioni casuali che proteggono i nostri dati.

Il lavoro evidenzia anche una differenza più profonda tra la preparazione di uno stato quantistico e l'esecuzione di un'operazione quantistica. Nel mondo quantistico, creare una specifica configurazione dall'aspetto casuale è un compito fondamentalmente diverso dal creare una macchina che possa rimescolare casualmente qualsiasi configurazione. Il documento dimostra che questi non sono solo passi diversi dello stesso processo, ma capacità separate che richiedono risorse diverse. Questa distinzione non è una minorità tecnica; è una caratteristica fondamentale di come l'informazione quantistica si comporta.

Utilizzando una tecnica che analizza le derivate di queste mappe quantistiche, il ricercatore ha fornito un nuovo modo per guardare la struttura della casualità quantistica. Questo approccio, che tratta la costruzione di algoritmi quantistici come un problema geometrico, offre una nuova e potente lente per studiare i limiti di ciò che i computer quantistici possono fare. Suggerisce che esistono vincoli geometrici intrinseci su come l'informazione quantistica può essere manipolata, vincoli che impediscono a certi tipi di casualità di essere generati da altri.

Lo studio non afferma che la pseudocasualità quantistica sia impossibile. Al contrario, conferma che questi strumenti esistono. Tuttavia, chiarisce i confini del loro potere. Ci dice che non possiamo assumere che l'esistenza di un tipo di casualità quantistica garantisca l'esistenza di un altro. Questa chiarezza è essenziale per costruire la prossima generazione di tecnologie quantistiche. Ci costringe a essere più precisi su ciò che possiamo e non possiamo costruire, assicurando che le fondamenta della sicurezza quantistica non siano costruite su ipotesi fragili.

In definitiva, il documento rivela un panorama di possibilità quantistiche più complesso e sfumato rispetto a una semplice gerarchia. Mostra che il mondo quantistico non è una struttura singola e unificata dove uno strumento può essere facilmente convertito in un altro. Inve al, è una collezione di regioni distinte, ciascuna con le proprie regole e limitazioni. La capacità di generare uno stato casuale è una regione, e la capacità di eseguire una trasformazione casuale è un'altra. Sebbene possano sembrare simili da lontano, sono separati da un profondo abisso matematico che non può essere colmato semplicemente aggiungendo più memoria o usando circuiti più complessi. Questa scoperta fornisce una mappa più chiara per il futuro del calcolo quantistico, guidando i ricercatori verso gli strumenti giusti per i compiti giusti e lontano dalla falsa speranza che una sola soluzione possa risolvere tutti i problemi.