The Signal
Uno studio su PRX Quantum automatizza la costruzione dei bordi per i codici quantistici planari
Uno studio pubblicato su PRX Quantum il 23 ottobre presenta algoritmi per costruire bordi con gap e difetti nei codici stabilizzatori topologici bidimensionali. Tra gli esempi basati sui codici bivariate bicycle figura una famiglia planare
Quantum.world Team · Scritto con l’IA · verificato ·
Il 23 ottobre PRX Quantum ha pubblicato un nuovo quadro algoritmico per progettare i bordi dei codici planari di correzione degli errori quantistici. Il lavoro di Zijian Liang, Bowen Yang, Joseph T. Iosue e Yu-An Chen affronta un ostacolo pratico per i codici quantistici a controllo di parità a bassa densità (qLDPC): molte costruzioni promettenti usano reticoli periodici, mentre le configurazioni hardware hanno bordi.
Limitarsi a ritagliare una porzione finita di un codice periodico può lasciare incontrollati i gradi di libertà al bordo, creare operatori logici locali o modificare la distanza del codice e il numero di qubit codificati. Gli autori propongono un metodo sistematico per ricavare gli operatori e le hamiltoniane di bordo necessari a evitare questi problemi, anziché affidarsi a soluzioni progettate caso per caso.
Perché ritagliare un reticolo può cambiare il codice
In un codice periodico, i controlli stabilizzatori impongono vincoli al sistema in tutto il reticolo. In corrispondenza di un bordo aperto, alcuni controlli vengono troncati o rimossi e possono comparire nuovi operatori che commutano con tutti i controlli rimasti nel bulk senza essere prodotti di tali controlli. Questi operatori formano un’algebra di gauge del bordo; se non vengono gestiti, possono consentire la presenza di informazioni logiche locali indesiderate.
«Una teoria microscopica sistematica dei bordi con gap è quindi un tassello fondamentale ancora mancante per convertire i codici qLDPC topologici periodici in codici planari utili e con basso overhead», scrivono gli autori. Il loro metodo parte da un codice bulk troncato, individua gli operatori di gauge del bordo e le eccitazioni e le stringhe che essi supportano, quindi costruisce hamiltoniane di bordo che eliminano gli operatori logici locali in corrispondenza del bordo.
Il progetto dei bordi diventa un calcolo matriciale
Per i codici che si ripetono lungo un reticolo, i ricercatori rappresentano gli stabilizzatori con polinomi di Laurent. I calcoli delle forme normali di Hermite e di Smith riducono poi la ricerca degli operatori di bordo, degli anioni e degli operatori di stringa a operazioni su matrici finite. Il metodo comprende qudit di dimensioni prime e composte, inclusi i sistemi descritti da Zd.
Una volta identificati gli anioni di bordo, la costruzione seleziona quali gruppi possono condensare in corrispondenza di un bordo e aggiunge termini locali compatibili per completare l’hamiltoniana di bordo. Il bordo con gap così ottenuto permette alle eccitazioni selezionate di terminare senza penalità energetica. La stessa algebra consente inoltre di ricavare dagli operatori di bordo le regole di fusione, gli spin topologici e le statistiche di braiding; lo studio estende la costruzione anche alle pareti di dominio e ai difetti.
I codici bivariate bicycle rivelano stringhe lunghe
Il gruppo mette alla prova il metodo su codici torici e codici di colore, codici a doppio semione e a sei semioni e un codice anomalo a tre fermioni. Gli esempi con codici bivariate bicycle (BB) mostrano perché una procedura automatizzata potrebbe essere importante: gli stabilizzatori nel bulk possono essere locali anche quando le stringhe di anioni hanno periodi di traslazione insolitamente lunghi. Nell’esempio (3,3)-BB, il periodo è 12; nell’esempio (2,−3)-BB, raggiunge 1.023 passi del reticolo.
Per la famiglia (3,3)-BB, lo studio propone una costruzione planare su un reticolo quadrato di lato 12L, con parametri ⟦288L²; 8; d = 12L − O(1)⟧. Questa notazione indica 288L² qubit fisici, otto qubit logici codificati e una distanza che si prevede cresca approssimativamente come 12L. L’affermazione sulla distanza dipende da un’ipotesi sul peso delle stringhe nel bulk e lo studio non presenta una dimostrazione su hardware.
Un metodo di costruzione, non un risultato hardware
Il contributo del lavoro è un metodo per ricavare regole microscopiche per i bordi dai dati topologici del bulk di un codice. Affronta un passaggio matematico e architetturale tra le costruzioni qLDPC periodiche e le configurazioni planari; non dimostra che il codice proposto sia stato implementato su un processore quantistico né che sia stato sottoposto a benchmark in presenza del rumore di un dispositivo.
Gli autori individuano anche un limite dei calcoli attuali: intendono ottimizzarli per stabilizzatori di peso maggiore, un obiettivo che ritengono importante per studiare i codici BB. Per ora, il loro esempio planare concreto è una famiglia proposta con otto qubit logici e una distanza che si prevede cresca secondo la legge indicata, non un risultato sperimentale.
Zijian Liang, Bowen Yang, Joseph T. Iosue e Yu-An Chen, PRX Quantum