Building codes with transversal CCZ using projective geometry and SAT solvers

Nella ricerca di un computer quantistico affidabile, gli scienziati si trovano di fronte a un paradosso fondamentale. Per eseguire calcoli complessi, queste macchine devono applicare operazioni specifiche e potenti che non fanno parte del loro normale kit di strumenti privo di errori. La soluzione abituale è quella di creare un "carburante" speciale e di alta qualità chiamato stato magico, da distillare attraverso un processo lungo e costoso, per poi iniettarlo nel calcolo. Questo metodo funziona, ma consuma una quantità enorme di spazio e tempo, rallentando l'intero computer. Una via più elegante sarebbe quella di progettare la memoria stessa del computer in modo che possa eseguire direttamente queste operazioni difficili, semplicemente applicando un impulso standard a ogni dato contemporaneamente. Questo è noto come porta trasversale (transversal gate), un metodo che evita l'ingente sovraccarico della distillazione, ma che è notoriamente difficile da ingegnerizzare.

Un team di ricercatori dell'Università Duke ha compiuto un passo significativo verso la realizzazione di questo approccio diretto. Sono riusciti a costruire un nuovo tipo di codice di correzione degli errori che può eseguire un'operazione logica complessa a tre vie utilizzando solo semplici impulsi fisici diretti. Il loro lavoro dimostra che un codice di questo tipo esiste con una lunghezza di blocco di 48 unità fisiche, e hanno mostrato che nessun codice di questo tipo può esistere con meno di 39 unità. Combinando antichi principi geometrici con tecniche di ricerca informatica moderna, hanno mappato il preciso paesaggio in cui questi codici possono vivere, rivelando sia una soluzione concreta che un ostinato vuoto nella nostra conoscenza che rimane da colmare.

I ricercatori si sono concentrati su una sfida specifica: costruire un codice che protegga tre pezzi di informazione quantistica consentendo al contempo che un'interazione specifica a tre vie avvenga naturalmente. Nel mondo della correzione degli errori quantistici, l'informazione è conservata attraverso molti'unità fisiche, o qubit, piuttosto che in uno solo. Per proteggere questi dati, il sistema controlla costantemente gli errori utilizzando un insieme di regole chiamate stabilizzatori. L'obiettivo era trovare un insieme di queste regole che non solo proteggesse i dati, ma permettesse anche di applicare una porta specifica, non standard, semplicemente toccando ogni qubit fisico con un impulso standard. Se avessero avuto successo, ciò avrebbe eliminato la necessità del costoso processo di distillazione dello stato magico per questa specifica operazione.

Per risolvere questo problema, il team si è rivolto a una branca della matematica nota come geometria proiettiva. Hanno trattato i qubit fisici come punti in uno spazio geometrico e hanno utilizzato la struttura di questo spazio per definire le regole di controllo degli errori. Questo approccio geometrico ha garantito che il codice fosse robusto contro certi tipi di errori, assicurando specificamente che qualsiasi errore singolo potesse essere rilevato. Tuttavia, la geometria da sola non era sufficiente a risolvere l'intero puzzle. I ricercatori dovevano trovare una disposizione specifica dei tre pezzi logici di informazione all'interno di questa struttura geometrica che soddisfacesse un complesso insieme di condizioni affinché la porta diretta potesse funzionare.

È qui che hanno introdotto uno strumento di ricerca informatica potente noto come risolutore SAT (SAT solver). Pensate a questo strumento come a un motore logico altamente efficiente che può testare miliardi di possibilità per vedere se un determinato insieme di vincoli può essere soddisfatto. I ricercatori hanno codificato le regole geometriche e i requisoli per le porte logiche in un formato che il risolutore potesse comprendere. Il risolutore ha poi cercato la corretta disposizione dell'informazione logica. Dopo aver setacciato le possibilità, ha trovato una soluzione per un codice con 48 unità fisiche. Questo nuovo codice, che gli autori chiamano Q48, utilizza un modello specifico di 26 impulsi standard e 22 impulsi leggermente diversi per eseguire direttamente l'operazione desiderata a tre vie sui dati.

Il lavoro non si è fermato alla ricerca di una soluzione; il team ha anche testato rigorosamente i limiti di ciò che è possibile. Hanno dimostrato matematicamente che nessun codice di questo tipo può esistere con meno di 39 unità fisiche. Hanno escluso sistematicamente ogni possibilità per codici con lunghezze compresi tra 15 e 38, mostrando che i vincoli geometrici e logici non possono essere soddisfatti in uno spazio più piccolo. Ciò stabilisce un limite inferiore rigido per la dimensione di un tale codice. Tuttavia, la loro indagine ha anche rivelato un mistero. Mentre hanno trovato un codice funzionante a 48 unità e hanno dimostrato che nessuno esiste sotto le 39, l'intervallo tra 39 e 46 rimane inesplorato. Sanno che un codice potrebbe esistere lì, ma non ne hanno ancora trovato uno, né hanno dimostrato che sia impossibile.

La portata di questa scoperta risiede nel suo equilibrio tra scoperta e limitazione. I ricercatori hanno fornito un esempio concreto e funzionante di un codice che raggiunge un obiettivo difficile con un numero relativamente piccolo di unità fisiche, offrendo un potenziale progetto per computer quantistici più efficienti. Allo stesso tempo, la loro prova che codici più piccoli sono impossibili stabilisce un confine chiaro per la ricerca futura. Hanno dimostrato che il percorso verso un calcolo quantistico più efficiente non è una linea retta di miglioramento infinito, ma un paesaggio con vette specifiche e difficili da raggiungere. L'esistenza del vuoto tra 39 e 46 suggerisce che il prossimo progresso in questo campo richiederà o una nuova intuizione geometrica o un metodo di ricerca più potente per colmare il divario.

L'approccio del team evidenzia una potente sinergia tra matematica classica e computazione moderna. Utilizzando la struttura rigida della geometria proiettiva per gestire la protezione dagli errori, hanno ridotto il problema alla ricerca della giusta disposizione logica. Ciò ha permesso loro di evitare la necessità di tentativi ed errori basati sulla forza bruta e di concentrare invece la loro potenza di calcolo sui candidati più promettenti. Il codice risultante, Q48, non è solo una curiosità teorica; è una costruzione verificata che dimostra la fattibilità di eseguire operazioni logiche complesse direttamente sui dati codificati.

Guardando al futuro, il lavoro apre diverse nuove domande. I ricercatori hanno identificato che il loro metodo può essere esteso per creare codici con lunghezze di blocco ancora maggiori, come 112 o 240 unità, suggerendo che la famiglia di questi codici è più ampia del singolo esempio da loro trovato. Tuttavia, l'esistenza di codici nell'intervallo tra 39 e 46 rimane un problema aperto. Risolvere questo vuoto è cruciale, poiché un codice in questo intervallo sarebbe significativamente più efficiente della versione a 48 unità. Fino ad allora, il codice a 48 unità rimane la soluzione più piccola conosciuta, una testimonianza del potere di combinare l'intuizione geometrica con la ricerca algoritmica per spingere i confini della scienza dell'informazione quantistica.