The Signal
Ma e Shi restringono i limiti per i codici quantistici a recupero locale
In un esempio con 20 qudit, un articolo di Shuowei Ma e Fei Shi ricava limiti superiori via via più stringenti per il parametro k del codice, da 6 a 2. Poiché la dimensione dello spazio del codice è K = q^k, questi limiti corrispondono a K
Quantum.world Team · Scritto con l’IA · verificato ·
L’esempio con 20 qudit scende da sei a due
Un esempio con 20 qudit in un nuovo articolo mostra quanto la struttura di un codice possa cambiare il limite alla quantità di informazioni codificate: limiti successivi fissano k a non più di 6, 4, 3 e infine 2. Qui k = logq K, dove K è la dimensione dello spazio del codice, per cui i limiti corrispondenti alla dimensione sono K ≤ q6, q4, q3 e q2. Il limite più stringente si applica a una particolare classe di codici con parametri di località r = δ = 3 e distanza d = 6; non è un limite universale per tutti i codici quantistici con 20 qudit.
L’articolo di Shuowei Ma e Fei Shi, pubblicato su arXiv il 29 ottobre, sviluppa limiti di tipo Singleton per i codici quantistici a recupero locale, o qLRC. Questi codici possono recuperare qudit cancellati a partire da un sottoinsieme limitato di altri qudit. La nuova analisi prende in considerazione blocchi di recupero che possono sovrapporsi e non richiede che il codice sia puro o costruito come codice stabilizzatore.
Il confronto numerico distingue i miglioramenti ottenuti. Per l’esempio, il precedente limite generale per una singola cancellazione fissa a 6 il limite superiore di k. Il limite degli autori per cancellazioni multiple lo riduce a 4; l’ottimizzazione intera lo porta a 3; un ulteriore risultato strutturale per i codici stabilizzatori lineari con r = δ lo abbassa a 2. L’articolo afferma che la costruzione proposta raggiunge k = 2 per ogni alfabeto q ≥ 5 pari a una potenza di un numero primo.
Recupero da più cancellazioni, senza blocchi disgiunti
In un (r, δ)-qLRC, ogni qudit appartiene a un blocco di recupero designato di dimensione non superiore a r + δ − 1. Il blocco deve consentire il recupero dopo un numero di cancellazioni al suo interno fino a δ − 1. Quando δ è maggiore di due, questa capacità contiene più informazioni rispetto alla sola garanzia di recupero da una cancellazione.
Ma e Shi usano un lemma di selezione per trasformare questa capacità locale in due insiemi disgiunti di cancellazioni correggibili globalmente. La loro dimostrazione seleziona cancellazioni nei vari blocchi di recupero tenendo conto delle sovrapposizioni, quindi combina il recupero locale con la distanza globale del codice. Il limite che ne risulta si applica a sottospazi quantistici generali, inclusi i codici impuri, anziché soltanto a costruzioni con una particolare forma algebrica.
Ma e Shi, autori dell’articolo, scrivono:
Un’ottimizzazione intera produce una correzione esplicita del resto che rende il limite più stringente fino a δ−2.
La correzione deriva dall’ottimizzazione del numero di coordinate che la dimostrazione assegna a ogni fase di recupero; è un affinamento del limite superiore, non un miglioramento misurato in un dispositivo di memoria quantistica.
La purezza aggiunge un vincolo più forte
L’articolo ricava poi un’espressione più stringente per i codici puri, usando argomenti di disaccoppiamento locale e di entropia. La purezza è una condizione sul modo in cui gli errori di peso inferiore alla distanza del codice agiscono sullo spazio del codice; non è un’ipotesi che gli autori impongono al loro risultato generale. Il loro limite per i codici puri estende un precedente limite sui parametri, valido per particolari costruzioni di codici stabilizzatori, a sottospazi quantistici puri arbitrari.
Per i blocchi di recupero disgiunti, gli autori eliminano inoltre un’ipotesi di partizione da diversi limiti esistenti e ottengono un’altra correzione del resto attraverso l’ottimizzazione del budget. Queste estensioni sono importanti per confrontare le famiglie di codici su basi paritarie: un limite legato a blocchi disgiunti di uguale dimensione non copre automaticamente i codici i cui insiemi di recupero hanno dimensioni diverse o si sovrappongono.
L’uguaglianza rivela più di una dimensione
L’analisi esamina anche quando i codici raggiungono i limiti. Gli autori individuano tre famiglie che li raggiungono: codici puri con blocchi sovrapposti e d = δ; codici impuri con blocchi disgiunti che raggiungono il limite generale; e una famiglia pura già esistente con blocchi sovrapposti e d > δ che raggiunge sia il limite generale sia quello per i codici puri.
A località minima, r = δ, l’articolo dimostra l’esistenza di un’ulteriore struttura per i codici stabilizzatori lineari, tra cui una decomposizione in codici MDS interni disgiunti e un codice stabilizzatore esterno, dopo la rimozione dei fattori delle coordinate a stato puro fissato. L’esempio con 20 qudit illustra la distinzione tra un limite generale e uno che sfrutta questa struttura aggiuntiva. Gli autori indicano come questioni ancora aperte quando i limiti siano raggiungibili e quali conclusioni strutturali si estendano oltre i codici stabilizzatori lineari.