Composable logical gate error in approximate quantum error correction: reexamining gate implementations in Gottesman-Kitaev-Preskill codes

Nella ricerca di un computer in grado di risolvere problemi oltre la portata delle macchine odierne, gli scienziati si stanno rivolgendo alle strane regole della meccanica quantistica. Queste macchine si affidano a delicate unità di informazione chiamate qubit, che possono esistere in più stati contemporaneamente. Tuttavia, questa potenza comporta una fragilità; la minima perturbazione dall'ambiente può corrompere i dati, causando il fallimento del calcolo. Per proteggersi da ciò, i ricercatori utilizzano una strategia chiamata correzione degli errori quantistici. Immaginate di cercare di mantenere un segreto al sicuro non nascondendolo in una singola scatola, ma diffondendolo attraverso una struttura vasta e complessa dove la perdita di alcuni pezzi non rivela l'intera immagine. Questa struttura è il "codice", e l'informazione nascosta al suo interno è il dato "logico".

Affinché un computer quantistico sia utile, deve fare di più che limitarsi a memorizzare questa informazione protetta; deve anche eseguire operazioni su di essa, come invertire i bit o cambiarne i valori. Queste operazioni sono chiamate "gate". In un mondo ideale, questi gate funzionerebbero perfettamente, trasformando i dati esattamente come previsto senza mai lasciare che l'informazione fuoriesca dalla sua struttura protettiva. Tuttavia, nel mondo reale, gli strumenti fisici utilizzati per costruire questi computer sono imperfetti. Non possono creare gli stati perfetti, infinitamente netti, richiesti dai migliori codici teorici. Inve sostituti, devono utilizzare versioni "approssimate" di questi codici, che siano sufficientemente buone per essere costruite ma che siano intrinsecamente sfumate. La sfida centrale per i fisici è capire esattamente quanta errore introducono queste imperfezioni quando viene applicato un gate, e se tale errore possa essere mantenuto abbastanza piccolo da consentire un calcolo affidabile e su larga scala.

Un team di ricercatori della Tecnica Universitaria di Monaco ha rivolto un nuovo sguardo a questo problema, concentrandosi su un tipo specifico di codice quantistico noto come codice Gottesman-Kitaev-Preskill, o codice GKP. Questo codice è particolarmente promettente perché codifica l'informazione nelle onde continue di luce o suono, piuttosto che in particelle discrete, e possiede una caratteristica unica: in teoria, permette di eseguire operazioni logiche complesse utilizzando semplici strumenti ottici lineari, molto simili alle lenti e agli specchi che si trovano in una fotocamera standard. I ricercatori volevano sapere se questo vantaggio teorico regga quando il codice viene realizzato con materiali reali e imperfetti. Per farlo, hanno sviluppato un nuovo modo per misurare l'"errore del gate logico". A differenza dei metodi precedenti che potrebbero solo guardare se la risposta finale è errata, la loro nuova misura traccia due problemi specifici simultaneamente: quanto l'operazione fallisce nel fare ciò che dovrebbe fare, e quanto l'informazione fuoriesce interamente dalla zona sicura. Fondamentalmente, hanno dimostrato che questa misura dell'errore si comporta in modo prevedibile quando i gate vengono concatenati, permettendo loro di calcolare l'errore totale di una lunga sequenza di operazioni semplicemente sommando gli errori dei singoli passaggi.

Quando hanno applicato questa nuova misurazione al codice GKP, hanno trovato una storia di due risultati molto diversi. Per prima cosa, hanno esaminato le operazioni più basilari, gli equivalenti logici dei semplici flip di bit. Hanno scoperto che, per queste operazioni, l'errore diminuisce in modo costante e prevedibile man mano che il sistema fisico viene reso più preciso. Nello specifico, l'errore è direttamente proporzionale a un parametro noto come parametro di squeezing, che descrive quanto strettamente siano confinati gli stati ondulatori. Ciò significa che, se gli ingegneri riusciranno a costruire stati più compressi e meglio "squeezed", l'accuratezza di questi gate fondamentali migliorerà in una linea retta e affidabile. Questo è un risultato rassicurante, che suggerisce che per i mattoni fondamentali del computer, la strada verso la perfezione è chiara e realizzabile.

Tuttavia, la storia cambia drasticamente quando i ricercatori hanno esaminato operazioni più complesse, nello specifico una classe di gate noti come Clifford, essenziali per eseguire calcoli avanzati. Hanno testato un metodo standard per eseguire uno di questi gate, il gate di fase, utilizzando gli stessi semplici strumenti ottici lineari che funzionano perfettamente nella versione ideale e teorica del codice. La loro analisi ha rivelato un limite invalicabile: anche se il sistema fisico venisse reso infinitamente preciso, spingendo il parametro di squeezing al suo massimo assoluto, l'errore per questo specifico gate non svanisce. Invece, si assesta su un valore costante e non nullo. Ciò significa che, indipendentemente da quanto bene venga costruito l'hardware, questo particolare modo di implementare il gate fallirà sempre nel compiere il compito correttamente. I ricercatori hanno dimostrato che questo fallimento non è un piccolo glitch o un ostacolo temporaneo, ma un limite fondamentale dell'uso della semplice ottica lineare per questo specifico gate in un codice approssimato.

Questo risultato ribalta un'ipotesi comune nel campo. Per anni, si è creduto ampiamente che se l'implementazione di un gate funzionava perfettamente per la versione matematica ideale di un codice, allora avrebbe funzionato abbastanza bene anche per le versioni approssimate reali utilizzate negli esperimenti. Il team di Monaco ha dimostrato che questo non è sempre vero. Esistono casi in cui un metodo che è perfetto in teoria diventa fondamentalmente rotto quando applicato alla realtà disordinata dei sistemi fisici. Il loro lavoro implica che semplicemente cercare di costruire versioni migliori degli stessi strumenti ottici non risolverà il problema per questi gate complessi. Invece, sono necessarie nuove strategie. Il documento suggerisce che, per superare questa barriera, i ricercatori potrebbero dover andare oltre la semplice ottica lineare e incorporare approcci ibridi che combinino diversi tipi di operazioni fisiche. Identificando esattamente dove e perché i metodi standard falliscono, questa ricerca fornisce una mappa chiara verso dove devono essere diretti gli sforzi futuri, separando i problemi che possono essere risolti con una migliore ingegneria da quelli che richiedono idee completamente nuove.