A Classification of Translation-Invariant Quantum Codes in Any Dimension

Per costruire un computer in grado di risolvere problemi che vanno oltre la portata delle macchine odierne, gli scienziati devono prima risolvere un problema fondamentale: mantenere al sicuro l'incolta informazione quantistica. I bit quantistici, o qubit, sono incredibilmente fragili; il minimo rumore proveniente dall'ambiente può rimescolare i dati che contengono. Per proteggersi da ciò, i ricercatori utilizzano codici di correzione degli errori quantistici. Questi non sono scudi fisici, ma schemi matematici che distribuiscono l'informazione su molti qubit, permettendo al sistema di rilevare e correggere gli errori senza distruggere i dati. Uno degli schemi più riusciti scoperti finora è il codice di superficie, che dispone i qubit su una griglia piatta bidimensionale. Questo codice è stato la spina dorsale dei progetti di calcolo quantistico tolleranti ai guasti per decenni perché è robusto e relativamente facile da implementare. Tuttavia, mentre gli scienziati guardano verso macchine più potenti, stanno esplorando codici che operano in dimensioni superiori, sperando di trovare schemi che offrano una protezione ancora migliore o nuove capacità.

La sfida in queste dimensioni superiori è che le regole cambiano. Mentre i codici bidimensionali hanno una struttura semplice e prevedibile, gli spazi tridimensionali e di dimensioni superiori permettono una varietà sconcertante di schemi complessi, alcuni dei quali si comportano in modi che sembrano sfidare una semplice classificazione. In un nuovo studio, i fisici Andrew Li e Dominic J. Williamson hanno mappato un angolo specifico di questo complesso panorama. Si sono concentrati su un tipo particolare di codice che si ripete perfettamente attraverso una griglia in qualsiasi numero di dimensioni, una proprietà nota come invarianza per traslazione. Limitando la loro attenzione a codici costruiti da una specifica struttura matematica chiamata complesso di catene, dove il numero di strati nella struttura corrisponde al numero di dimensioni dello spazio, hanno scoperto un ordine sorprendente. Hanno dimostrato che tutti tali codici sono matematicamente equivalenti a copie di un unico, ben noto schema: il codice torico. Questo risultato significa che, nonostante l'apparente complessità degli spazi ad alta dimensione, questa specifica famiglia di codici non è un mix caotico di nuovi tipi, ma piuttosto una collezione di blocchi costruttivi familiari e affidabili.

I ricercatori hanno iniziato definendo le regole del gioco. Hanno considerato una griglia di qubit che si estende infinitamente in ogni direzione, con lo stesso insieme di regole applicato in ogni singolo punto. Questa simmetria, chiamata invarianza per traslazione, è cruciale perché semplifica il modo in cui questi codici vengono costruiti e come potrebbero essere implementati in una macchina reale. In due dimensioni, era già noto che qualsiasi codice con questa simmetria e una crescente capacità di correggere gli errori è essenzialmente solo un impilamento del classico codice torico. Ma quando gli scienziati si sono spostati in tre, quattro o più dimensioni, la situazione sembrava molto più disordinata. In queste dimensioni superiori, esistono molti tipi diversi di codici torici, e ci sono anche famiglie di codici completamente diverse, come i codici fracton, che hanno proprietà uniche che impediscono alle loro cariche di muoversi liberamente. L'esistenza di questi diversi tipi significava che una semplice classificazione era ritenuta impossibile.

Li e Williamson hanno ristretto il loro campo d'indagine a una specifica classe di codici derivati da quella che chiamano un complesso di catene di lunghezza D. In termini semplici, questo significa che la struttura matematica utilizzata per definire il codice ha esattamente tanti strati quanti sono le dimensioni dello spazio in cui il codice vive. Ad esempio, un codice in uno spazio tridimensionale sarebbe costruito da una struttura con tre strati. Questa condizione esclude naturalmente i codici fracton, che si basano su strutture con meno strati rispetto alle dimensioni dello spazio. Imponendo questo vincolo, i ricercatori sono stati in grado di porre una domanda precisa: se guardiamo solo a questi codici specifici, con dimensioni corrispondenti, in qualsiasi numero di dimensioni, appartengono tutti alla stessa categoria?

La risposta che hanno trovato è un sì definitivo. Gli autori hanno dimostato che qualsiasi codice che rientri in questa descrizione è matematicamente equivalente a una collezione di copie di un codice torico D-dimensionale. Questa equivalenza non è un'identità perfetta, ma una pratica. Significa che se si prende un tale codice, si aggiungono alcuni qubit extra in uno stato semplice e si applica un insieme locale di operazioni, lo si può trasformare in una pila di codici torici. Viceversa, si può trasformare una pila di codoli torici in uno qualsiasi di questi altri codici usando gli stessi passaggi. Questo risultato generalizza la classificazione nota dei codici bidimensionali a qualsiasi numero di dimensioni, a patto che il codice soddisfi i requisiti strutturali specifici. Dimostra che la complessità delle dimensioni superiori non crea nuovi tipi di codici fondamentalmente diversi in questo contesto specifico; crea invece versioni diverse dello stesso schema familiare.

Lo studio chiarisce anche cosa non rientra in questa classificazione. I ricercatori hanno esplicitamente notato che il loro risultato non si applica ai codici in cui il numero di variabili supera il numero di cicli, una condizione che spesso porta alle cariche immobili viste nei codici fracton. In quei casi, le cariche topologiche, che sono le entità che trasportano l'informazione quantistica, sono tipicamente bloccate sul posto e non possono muoversi liberamente. Poiché le cariche non possono muoversi, gli strumenti matematici utilizzati in questo articolo non si applicano, e i codici non si semplificano in copie del codice torico. Questa distinzione è importante perché evidenzia il confine tra le fasi "liquide" della materia, dove le cariche fluiscono liberamente, e le fasi "fracton", dove sono congelate.

Le implicazioni di questo lavoro sono significative per il futuro del calcolo quantistico. Provando che questa vasta famiglia di codici è equivalente al codice torico, i ricercatori hanno fornito una tabella di marcia chiara per comprenderli e implementarli. Invece di dover inventare nuove strategie di decodifica o tecniche di correzione degli errori per ogni nuovo codice ad alta dimensione scoperto, gli ingegneri possono fare affidamento sulla vasta conoscenza già costruita attorno al codice torico. Lo studio suggerisce che finché un codice è invariante per traslazione e costruito da una struttura che corrisponde alla dimensione dello spazio, condividerà le stesse proprietà fondamentali del codice torico. Ciò include la capacità di correggere gli errori e la natura delle fasi quantistiche che rappresentano.

Sebbene l'articolo fornisca una classificazione completa per questa specifica classe di codici, gli autori riconoscono che rimangono molte domande. Essi sottolineano che non è ancora noto se questo risultato possa essere esteso a tutti i codici invarianti per traslazione o a codici che non sono strettamente invarianti per traslazione ma che hanno comunque connessioni a corto raggio. Si chiedono anche se si possano trovare teoremi di classificazione simili per i più esotici codici fracton. Tuttavia, il lavoro stabilisce una solida base, mostrando che nel vasto panorama della correzione degli errori quantistici esistono isole di ordine che possono essere pienamente comprese. I ricercatori hanno dimostrato che, per una vasta e importante classe di codici, la complessità delle dimensioni superiori è un'illusione; sotto la superficie, le regole sono semplici ed eleganti come in due dimensioni.