Spacetime Markov length: a diagnostic for fault tolerance via mixed-state phases

Costruire un computer quantistico affidabile è una delle sfide più ambiziose della fisica moderna, principalmente perché l'informazione delicata che esso contiene è costantemente sotto attacco dall'ambiente. Per proteggere questa informazione, gli scienziati utilizzano una strategia chiamata correzione degli errori quantistici, che consiste nel distribuire un singolo pezzo di dato su molti particelle fisiche. Se una particella viene corrotta, il sistema può rilevare l'errore e correggerlo senza mai guardare direttamente i dati stessi, il che li distruggerebbe. Questo processo si basa sul controllo ripetuto di segni di problemi, noti come sindromi, e sull'uso di tali segni per guidare una riparazione. Tuttavia, gli strumenti utilizzati per controllare gli errori possono anch'essi fallire, creando una battaglia complessa in cui il sistema deve correggere sia i dati che gli errori commessi dai controllori. Per decenni, una regola fondamentale ha sostenuto che se il tasso di errore rimane al di sotto di un certo limite, un computer può essere reso arbitrariamente affidabile. Eppure, capire esattamente dove risiede quel limite e cosa accade quando viene superato è rimasto un puzzle difficile, che spesso richiede simulazioni complesse dipendenti da specifiche strategie di riparazione.

Un nuovo studio condotto da ricercatori del Perimeter Institute for Theoretical Physics e dell'Università di Waterloo offre un nuovo modo di guardare a questo problema, spostando l'attenzione dalla meccanica della riparazione alla natura fondamentale dell'informazione stessa. Il team ha scoperto che il punto in cui un computer quantistico smette di essere in grado di proteggere i suoi dati corrisponde a un cambiamento specifico nello stato della materia, simile a come il ghiaccio si scioglie diventando acqua. Trattando l'intera storia dei controlli degli errori come un singolo oggetto ad alta dimensionalità, hanno trovato un modo per misurare la salute del sistema senza dover sapere quale metodo di riparazione venga utilizzato. Hanno identificato una specifica scala di distanza, che chiamano lunghezza di Markov spazio-temporale, che funge da indicatore universale. Finché questa distanza è finita, il sistema è stabile; quando diventa infinitamente grande, il sistema ha perso la sua capacità di proteggere l'informazione. Questa scoperta fornisce un modo diretto, indipendente dal decoder, per individuare l'esatto momento in cui la tolleranza ai guasti viene meno, offrendo una nuova lente attraverso cui osservare la stabilità delle memorie quantistiche.

I ricercatori hanno iniziato reimmaginando come funziona un circuito di correzione degli errori quantistici nel tempo. Invece di vedere il processo come una sequenza di passi che accadono uno dopo l'altro, hanno mappato l'intera linea temporale delle misurazioni su una dimensione spaziale extra. In questa visione, i controlli ripetuti eseguiti su un computer quantistico diventano una struttura tridimensionale statica composta da particelle entangled. Questa struttura è nota come stato di risorsa, un concetto preso in prestito da un approccio diverso al calcolo quantistico in cui l'informazione viene elaborata misurando una rete pre-esistente di particelle entangled. Il team si è reso conto che il rumore e gli errori che si verificano nel circuito del computer originale si traducono direttamente in tipi specifici di disturbi che agiscono su questa struttura tridimensionale. Quando il computer funziona correttamente, l'informazione fluisce agevolmente attraverso questa struttura; quando gli errori sovrastano il sistema, la struttura subisce una transizione di fase, proprio come un materiale che cambia da solido a liquido.

Per rilevare questa transizione, il team si è rivolto a un concetto della teoria dell'informazione chiamato informazione mutua condizionata. In termini semplici, questa misura ci dice quanto la conoscenza dell'esito di un insieme di misurazioni aiuti a prevedere l'esito di un altro insieme di misurazioni, una volta che conosciamo già i risultati di un insieme intermedio. In un sistema sano e tollerante ai guasti, questa connessione tra misurazioni distanti svanisce rapidamente all'aumentare della distanza tra di esse. Il tasso con cui questa connessione svanisce definisce una specifica scala di lunghezza, che gli autori hanno chiamato lunghezza di Markov spazio-temporale. Questa lunghezza rappresenta la distanza massima su cui il sistema può correlare efficacemente i suoi controlli degli errori per mantenere l'ordine. I ricercatori hanno dimostrato che all'aumentare del tasso di errore nel computer, questa scala di lunghezza cresce. Al preciso limite in cui il computer non è più in grado di correggere i propri errori, questa lunghezza diventa infinita, segnalando che il sistema ha perso il suo ordine interno ed è entrato in una fase disordinata in cui l'informazione è irrecuperabile.

Ciò che rende questa scoperta particolarmente potente è che non dipende da alcun algoritmo specifico per la riparazione degli errori. I metodi precedenti per trovare la soglia di errore richiedevano spesso di assumere un particolare modo di decodificare i dati della sindrome, il che poteva influenzare i risultati o mancare il vero limite. La lunghezza di Markov spazio-temporale, tuttavia, è una proprietà dei dati grezzi stessi. Dipende solo dai modelli statistici degli esiti delle misurazioni, indipendentemente da come un computer possa tentare di interpretarli. Il team ha dimostrato che questa scala di lunghezza diverge esattamente nello stesso punto in cui la capacità di recuperare l'informazione quantistica originale scompare. Ciò conferma che il collasso della tolleranza ai guasti è una caratteristica intrinseca del sistema fisico, non solo il fallimento di una specifica strategia di riparazione. Lo studio suggerisce che questo diagnostico potrebbe essere utilizzato in esperimenti reali per determinare quanto un processore quantistico sia vicino al suo limite operativo semplicemente analizzando i modelli dei suoi controlli degli errori.

I ricercatori hanno anche esplorato come questo framework si applichi a diversi tipi di errori, inclusi quelli che sono coerenti piuttosto che casuali. Hanno scoperto che anche quando gli errori sono più complessi e correlati, la mappatura verso lo stato di risorsa tridimensionale rimane valida, a patto di guardare il sistema attraverso la giusta lente. In questi casi, la transizione verso uno stato disordinato corrisponde alla perdita di un tipo specifico di protezione topologica, dove il sistema non è più in grado di distinguere tra diversi stati logici. Lo studio evidenzia come la ridondanza costruita nella correzione degli errori crei una forma di simmetria di ordine superiore nello stato di risorsa, e la soglia di tolleranza ai guasti sia il punto in cui questa simmetria viene infranta. Questo collegamento tra la correzione degli errori e le fasi della materia suggerisce che gli strumenti sviluppati per studiare materiali esotici potrebbero essere usati per migliorare l'informatica quantistica, e viceversa.

Nel contesto del campo più ampio, questo lavoro colma il divario tra la teoria astratta delle fasi quantistiche e l'ingegneria pratica dei computer tolleranti ai guasti. Mostrando che la soglia di errore è una transizione di fase, gli autori forniscono una base matematica rigorosa per ciò che è stato spesso trattato come un limite euristico. La lunghezza di Markov spazio-temporale funge da nuovo strumento per gli sperimentali, offrendo un modo per monitorare la salute di un sistema quantistico in tempo reale. Mentre l'hardware quantistico continua a migliorare, con recenti dimostrazioni di correzione degli errori su dispositivi fisici, la capacità di misurare questa scala di lunghezza potrebbe aiutare gli ingegneri a ottimizzare i loro sistemi e a spingere i confini di ciò che è possibile. Lo studio non sostiene di aver risolto tutti i problemi dell'informatica quantistica, ma offre un segnale chiaro e universale di quando il sistema sta fallendo, indipendentemente dai metodi specifici usati per cercare di salvarlo. Questa chiarezza potrebbe essere essenziale per la prossima generazione di tecnologie quantistiche, dove comprendere i limiti precisi dell'affidabilità è importante quanto costruire le macchine stesse.