A Fourier-Label Information-Loss Barrier for Dihedral Coset Algorithms

Nel silenzioso e ad alta posta in gioco mondo della crittografia, esiste una costante corsa tra chi costruisce serrature e chi cerca di scassinarle. Per decenni, gli scienziati hanno progettato sistemi di cifratura basati su complessi oggetti geometrici chiamati reticoli (lattice). Questi sistemi sono considerati la migliore speranza per proteggere i dati in un futuro in cui potrebbero esistere potenti computer quantistici, perché i problemi matematici che li sottendono sono ritenuti incredibilmente difficili da risolvere. Uno dei modi più promettenti per rompere queste serrature sarebbe risolvere un puzzle specifico noto come problema del coset diedrale. Questo puzzle agisce come una prova chiave: se un computer potesse risolverlo efficientemente, probabilmente frantumerebbe la sicurezza dei codici basati sui reticoli su cui facciamo affidamento per il futuro. La sfida è che, sebbene sappiamo come impostare il puzzle, trovare un modo per risolverlo rapidamente è rimasto uno degli ostacoli più ostinati dell'informatica quantistica.

Recentemente, un nuovo approccio è apparso offrire una svolta, proponendo un metodo che sembrava bypassare la necessità di un passaggio notoriamente difficile nel processo, promettendo una soluzione rapida al problema del coset diedrale. Se fosse stato vero, sarebbe stato un cambiamento monumentale, suggerendo che la sicurezza della cifratura futura potrebbe essere compromessa prima del previsto. Tuttavia, un team di ricercatori del MIT, Google Quantum AI e dell'Università di Stanford ha ora esaminato rigorosamente questa affermazione e ha trovato un difetto fondamentale. Hanno dimostrato che il metodo proposto, e una vasta classe di strategie simili, non possono funzionare. Il loro lavoro stabilisce una barriera rigida: per risolvere questo specifico puzzle, un algoritmo quantistico deve mantenere quasi ogni singolo pezzo di informazione che raccoglie. Se scarta anche solo una piccola frazione di quei dati, la soluzione diventa impossibile da trovare.

La storia di questa scoperta inizia con il modo in cui questi algoritmi sono progettati per operare. Immaginate un computer quantistico che cerca di trovare un numero nascosto, che è la chiave segreta del puzzle. Il computer inizia generando una grande collezione di campioni, ciascuno contenente un mix di dati classici e uno stato quantistico delicato. Il metodo standard per affrontare questo problema, stabilito anni fa da Oded Regev, prevede una danza in due fasi. Primo, il computer esegue una misurazione che estrae alcune informazioni dai campioni. Secondo, utilizza uno strumento speciale, chiamato oracolo, per pulire i dati rimanenti e rivelare il segreto. Il problema è che questo strumento speciale è incredibilmente lento ed inefficiente, richiedendo essenzialmente al computer di risolvere un altro puzzle, altrettanto difficile, proprio per fare progressi.

La recente proposta di Simon mirava a saltare completamente questo strumento lento. Egli ha suggerito un modo per elaborare i dati direttamente, sperando di estrarre il segreto senza l'costosa fase di pulizia. Il suo metodo prevedeva di raggruppare i dati ed eseguire calcoli che si basavano solo sulle parti più significative dell'informazione, ignorando efficacemente le parti meno importanti. In superficie, questo sembrava un aggiro astuto. Scartando il "rumore" o i dettagli meno critici, l'algoritmo sperava di girare molto più velocemente. Era un'idea tentante: se puoi risolvere il puzzle guardando solo il terzo superiore dell'informazione, risparmi una quantità tremenda di tempo e sforzo.

Il nuovo articolo di Gupte, Ragavan e Zhandry mostra che questo aggiro è un'illusione. Hanno dimostrato che per questo specifico tipo di algoritmo quantistico, scartare informazioni è fatale. Il loro argomento si basa su una profonda intuizione su come si comporta l'informazione quantistica. Quando il computer raccoglie i suoi campioni, i diversi pezzi di dati sono intrecciati in un modo che preserva un modello globale sottile. Questo modello è ciò che alla fine rivela il numero segreto. I ricercatori hanno dimostrato che se si rimuove anche una piccola quantità di informazione dai campioni — specificamente, se si scarta più di un numero logaritmico di bit da ogni pezzo di dato — le delicate connessioni quantistiche che tengono insieme il modello collassano.

Per capire perché questo accade, considerate che il numero segreto non è memorizzato in un singolo pezzo di dato, ma è intrecciato nella relazione tra tutti essi. Quando l'algoritmo scarta i bit meno significativi dei dati, non sta solo rimuovendo il rumore; sta recidendo i fili stessi che collegano i pezzi. I ricercatori hanno dimostrato che una volta che questi bit sono andati, l'informazione rimanente è così confusa che il numero segreto è effettivamente nascosto. È statisticamente impossibile distinguere tra diversi possibili segreti. Lo stato quantistico perde la sua coerenza e l'algoritmo si ritrova con un ammasso disordinato che non offre alcuna traccia della risposta.

Questa scoperta si applica direttamente all'algoritmo di Simon. Gli autori hanno analizzato i passaggi del suo metodo e hanno scoperto che, nonostante la complessità delle fasi successive, l'algoritmo si basa effettivamente solo sul terzo superiore dei bit di ogni campione di dati. Scarta i restanti due terzi, assumendo che non siano necessari. Secondo la nuova prova, è esattamente in questo punto che l'algoritmo fallisce. Buttando via quei bit, l'algoritmo distrugge l'informazione necessaria per risolvere il puzzle. I ricercatori hanno calcolato che la probabilità che l'algoritmo abbia successo è così infinitamente piccola da essere praticamente nulla. Anche se l'algoritmo viene eseguito molte volte, la probabilità che trovi mai la risposta corretta rimane trascurabile.

Le implicazioni di questo risultato sono significative per il campo dell'informatica quantistica e della crittografia. Funge da teorema di "no-go" definitivo per una vasta gamma di approcci che cercano di risolvere il problema del coset diedrale semplificando i dati. Dice ai ricercatori che non possono prendere la strada facile di scartare l'informazione; devono trovare un modo per utilizzare tutta la ricchezza dei dati che raccolgono. Ciò esclude lo specifico aggiro proposto da Simon e suggerisce che qualsiasi tentativo futuro di rompere questi codici basati sui reticoli utilizzando questo modello affronterà lo stesso barriera fondamentale. La sicurezza di questi sistemi di cifratura, che si basano sulla difficoltà di questo problema, rimane intatta contro questa particolare linea di attacco.

Gli autori non si sono fermati al semplice smentire l'algoritmo; hanno fornito una guida chiara su ciò che è effettivamente richiesto per avere successo. Il loro lavoro mostra che qualsiasi algoritmo di successo deve conservare quasi tutta l'informazione relativa alle etichette di Fourier, i punti dati specifici generati durante il processo. Questa non è solo un suggerimento, ma una necessità matematica. Se un algoritmo scarta troppo, il segreto è perso per sempre. Questa intuizione funge da bussola per la ricerca futura, guidando gli scienziati lontano dai vicoli ciechi e verso metodi che preservino la necessaria coerenza quantistica.

Alla fine, l'articolo conferma che la strada per rompere queste serrature crittografiche è molto più difficile di quanto suggerito da una recente proposta. Il sogno di una soluzione veloce e semplice al problema del coset diedrale è stato dimostrato essere irraggiungibile nelle condizioni descritte. I ricercatori hanno dimostrato che l'universo delle possibilità quantistiche è vincolato da regole rigide: non si possono scartare i dettagli e aspettarsi di mantenere il quadro generale. Per ora, i codici basati sui reticoli rimangono al sicuro, e la ricerca per risolvere il problema del coset diedrale continua, guidata dalla nuova comprensione che la perdita di informazione è una barriera che non può essere superata.