Check-weight-constrained quantum codes: Bounds and examples

Titolo: Codici quantistici con vincoli sul peso dei controlli: Limiti ed esempi

Enunciato del problema
I codici quantistici a parità di bassa densità (qLDPC) sono centrali per lo sviluppo di computer quantistici resilienti al rumore, poiché possono essere implementati misurando solo controlli a basso peso, il che è compatibile con l'attuale hardware quantistico rumoroso. Una questione fondamentale aperta è come i vincoli sul peso di questi controlli limitino i parametri raggiungibili (numero di qubit fisici $n$, qubit logici $k$ e distanza $d$) dei codici quantistici. Sebbene esistano codici qLDPC asintoticamente buoni, la loro costruzione spesso si basa su tecniche di riduzione del peso che possono sacrificare i parametri. Inoltre, i limiti esistenti spesso assumono una località geometrica o una specifica connettività del grafo. Questo lavoro investiga i limiti teorici dei codici stabilizzatori e dei codici subsystem sotto stretti vincoli di peso dei controlli senza assumere la località geometrica, colmando il divario tra la teoria asintotica e i regimi pratici a dimensione finita (decine o centinaia di qubit).

Metodologia
Gli autori impiegano un approccio duale combinando dimostrazioni analitiche per i regimi asintotici e ottimizzazione numerica per i codici a dimensione finita:

1. Limiti Analitici: Il documento deriva limiti superiori asintotici sui parametri dei codici per codici stabilizzatori e subsystem con pesi di controllo ristretti ($w$).

   • Per i codici stabilizzatori, gli autori utilizzano un argomento di "codice minimo". Assumono l'esistenza di un codice che superi i limiti proposti e analizzano la struttura dei suoi generatori di stabilizzatore (controlli). Esaminando come i controlli si sovrappongono (coincidendo o differendo) e applicando rotazioni di Clifford locali, riducono i codici stabilizzatori generali a codici CSS o identificano subsystem disaggregati, portando a contraddizioni riguardo alla distanza o alla dimensione del codice.
   • Per i codici CSS con peso 4, dimostrano che i codici in cui ogni qubit è in esattamente due controlli X e due controlli Z corrispondono a codici di superficie generalizzati (codici omologici su una varietà). Sfruttano i limiti esistenti su questi codi di superficie per derivare i vincoli dei parametri.
   • Per i codici subsystem con peso 2, stabiliscono una corrispondenza tra i parametri del codice e le proprietà di una matrice binaria $A$ associata. La distanza e la dimensione del codice sono caratterizzate dalle distanze riga e colonna e dal rango di questa matrice.

2. Limiti Numerici (Programmazione Lineare): Per i codici a dimensione finita, gli autori formulano problemi di programmazione lineare (LP) per trovare la massima dimensione logica possibile $k$ per dati $n$, $d$ e peso del controllo $w$.

   • Utilizzano distribuzioni di peso (il numero di stabilizzatori e operatori logici di pesi specifici) come variabili.
   • I vincoli includono le identità di MacWilliams (che mettono in relazione un codice con il suo duale), la definizione di distanza (nessun operatore logico non banale al di sotto del peso $d$) e nuovi vincoli derivati specificamente dal limite del peso del controllo (limitando il numero di stabilizzatori a basso peso generati da prodotti di controlli).
   • Implementano questi LP utilizzando Gurobi per calcolare i limiti superiori per $n$ fino a 300.

Contributi Chiave e Risultati

• Codici Stabilizzatori con Peso 3: Gli autori dimostrano che qualsiasi codice stabilizzatore con peso di controllo al massimo 3 non può avere una distanza non banale superiore a 2. Specificamente, se la distanza $d > 2$, il codice deve avere dimensione $k=0$ (non codifica alcun qubit logico). Ciò è valido indipendentemente dal grado dei qubit.
• Codici CSS Stabilizzatori con Peso 4: Per i codici CSS in cui ogni qubit partecipa esattamente a due controlli X e due controlli Z, gli autori dimostrano il tradeoff $kd^2 = O(n)$. Ciò implica che tali codici sono essenzialmente codici di superficie generalizzati.
• Codici Subsystem con Peso 2: Per i codici subsystem CSS con peso di controllo 2, gli autori dimostrano limiti stretti: $d \le \sqrt{n}$ e $kd \le n$. Questi limiti sono saturati (fino a fattori costanti) da costruzioni esistenti (ad es., Rif. [Bra11]), indicando che i controlli di peso 2 non possono supportare codici subsystem asintoticamente buoni.
• Panorama a Dimensione Finita: Utilizzando tecniche LP, gli autori forniscono limiti superiori numerici su $k$ per codici con $n \le 300$ e pesi di controllo fino a 20. Identificano che pesi di controllo più elevati permettono parametri migliori.
• Costruzioni Esplicite: Il documento identifica costruzioni di codici esplicite (inclusi i codici di Tanner quantistici) che si avvicinano a questi limiti numerici. Le matrici di controllo per queste istanze finite sono rese disponibili.

Significato
Il lavoro stabilisce che i vincoli sul peso dei controlli da soli, indipendentemente dalla località geometrica o dalla specifica connettività del grafo, impongono limitazioni severe ai parametri dei codici quantistici.

• Esclude la possibilità di una distanza non banale per i codici stabilizzatori con controlli di peso 3.
• Chiarisce i tradeoff per i codici CSS stabilizzatori con peso 4 e i codici subsystem con peso 2, mostrando che i migliori parametri raggiungibili in questi regimi sono limitati da una scalabilità di tipo superficie-codice ($kd^2 \sim n$ o $kd \sim n$).
• Fornisce un quadro rigoroso per valutare i codici qLDPC pratici nel regime a dimensione finita (rilevante per esperimenti a breve termine con decine o centinaia di qubit), delineando il tetto teorico delle prestazioni dato i vincoli hardware specifici sul peso del controllo.
• I risultati si distinguono dal lavoro precedente perché non si affidano ad assunzioni di località geometrica, rendendo i limiti applicabili a codici qLDPC generali, inclusi quelli abilitati da piattaforme di interazione non locale come ioni intrappolati o atomi neutri.