Affine Equivalence in the Clifford Hierarchy

Nella ricerca di un computer quantistico pratico, gli scienziati stanno cercando di risolvere un problema di estrema fragilità. I bit quantistici, o qubit, sono le unità fondamentali di informazione in queste macchine, ma sono notoriamente instabili, facilmente disturbati dal minimo rumore nel loro ambiente. Per proteggere questa delicata informazione, i ricercatori utilizzano un metodo chiamato correzione degli errori, che distribuisce i dati su molti qubit in modo che, se uno fallisce, gli altri possano mantenere la verità. Tuttavia, per poter effettivamente utilizzare questi dati, il computer deve eseguire dei calcoli su di essi. La sfida è che la maggior parte dei modi standard per eseguire questi calcoli tende a distruggere la stessa protezione dagli errori su cui il sistema si basa.

Per navigare in questa trappola, i fisici hanno sviluppato un insieme specifico di regole per quali operazioni siano sicure da eseguire. Chiamano questa collezione di operazioni sicure la gerarchia di Clifford. Immaginatela come una scala con diversi pioli. Il piolo inferiore contiene le operazioni più basilari e sicure che sono facili da eseguire. Salendo, le operazioni diventano più potenti e complesse, permettendo calcoli più sofisticati, ma diventano anche più difficili da implementare senza rompere la correzione degli errori. La domanda centrale per i ricercatori è: quali tipi di operazioni possono effettivamente esistere su questi pioli più alti? Se riuscissimo a mappare ogni possibile operazione consentita sul terzo piolo di questa scala, sapremmo esattamente cosa un computer quantistico può e non può fare.

Un team di ricercatori ha compiuto un passo significativo verso la risposta a questa domanda concentrandosi su un tipo specifico di operazione: le permutazioni. Nel mondo quantistico, una permutazione è semplicemente un gate che rimescola gli stati possibili dei qubit, come riorganizzare un mazzo di carte, senza cambiarne i valori stessi. I ricercatori volevano sapere quali di questi gate di rimescolamento sono consentiti sul terzo piolo della gerarchia di Clifford. Si sono concentrati sulla loro indagine su sistemi con quattro e cinque qubit, una dimensione abbastanza piccola da essere analizzata in dettaglio ma abbastanza grande da rivelare schemi complessi che non appaiono in sistemi più piccoli.

Per dare un senso all'enorme numero di possibili rimescolamenti, il team ha preso in prestito uno strumento dal campo della crittografia. Si sono resi conto che molti diversi gate di rimescolamento sono essenzialmente gli stessi se è possibile trasformare uno nell'altro applicando operazioni standard e sicure prima e dopo il rimescolamento. Hanno raggruppato questi gate in famiglie, chiamate classi di equivalenza, dove ogni membro di una famiglia si comporta nello stesso modo nel contesto della gerarchia. Studiando solo un rappresentante da ciascuna famiglia, potevano comprendere il comportamento di migliaia di gate contemporaneamente. Per quattro qubit, hanno scoperto che ci sono oltre 300 di queste famiglie, ma solo una manciata minuscola di esse contiene gate che appartengono al terzo piolo della gerarchia.

Utilizzando questa classificazione, i ricercatori hanno eseguito un controllo rigoroso su ogni possibile combinazione di questi gate di rimescolamento e altri componenti necessari. Hanno dimostrato che per quattro qubit, ogni gate che si trova sul terzo piolo della gerarchia è ciò che chiamano "semi-Clifford". Questo è un tipo di operazione specifico, ben compreso, che è relativamente facile da gestire e implementare. Questa scoperta è importante perché esclude l'esistenza di qualsiasi gate di rimescolamento strano o esotico su questo piolo per quattro qubit. Il team ha poi esteso questo lavoro a cinque qubit. Mentre il numero di possibilità era cresciuto così tanto che un controllo diretto tramite computer di ogni singolo caso è diventato impossibile, hanno utilizzato una scorciatoia matematica intelligente che coinvolge una specifica forma strutturale dei gate. Ciò ha permesso loro di dimostrare che la stessa regola vale per cinque qubit: ogni gate sul terzo piolo è anche semi-Clifford.

I ricercatori hanno anche sviluppato un nuovo modo di guardare a questi gate analizzando le loro "strutture cicliche". Questo è un metodo per descrivere come un gate muove gli stati in loop. Ad esempio, un gate potrebbe prendere uno stato, spostarlo in un secondo stato, spostare quest'ultimo in un terzo e poi tornare al primo, formando un loop di tre. Studiando questi loop, il team ha scoperto una regola generale che si applica indipendentemente da quanti qubit siano coinvolti. Hanno scoperto che per qualsiasi gate che muove gli stati in loop di una certa lunghezza, il gate deve essere un'operazione "controllata". Ciò significa che il gate esegue la sua azione solo se altri qubit si trovano in uno stato specifico, agendo come un interruttore. Hanno dimostrato che per questi tipi specifici di loop, il numero di famiglie distinte di gate è costante, indipendentemente da quanti qubit si aggiungono al sistema.

Infine, il team ha identificato una categoria specifica di gate chiamati permutazioni "one-wire-mismatch". Questi sono gate che agiscono quasi come un semplice scambio, ma con una leggera variazione su una connessione. Hanno dimostrato che tutti i gate in questa categoria sono sicuri da usare all'interno della gerarchia di Clifford, indipendentemente dal numero di qubit. Ciò aggiunge uno strumento nuovo e affidabile alla cassetta degli attrezzi degli ingegneri quantistici. Sebbene il lavoro non fornisca ancora una mappa completa di ogni possibile gate per tutte le dimensioni dei computer quantistici, ha chiuso fermamente la porta a diverse possibilità per i sistemi con quattro e cinque qubit. I risultati suggeriscono che la struttura del mondo quantistico è più ordinata di quanto temuto in precedenza, con le potenti operazioni sul terzo piolo della gerarchia che sono limitate a un insieme di comportamenti specifico e gestibile. Questa chiarezza aiuta i ricercatori a concentrare i loro sforzi sui gate che sono effettivamente possibili, portando il sogno di un computer quantistico stabile e potente un passo più vicino alla realtà.