A graph-based approach to entanglement entropy of quantum error correcting codes

Enunciato del Problema
L'entanglement è una risorsa fondamentale nei codici di correzione degli errori quantistici (QECC), che consente la codifica non locale delle informazioni logiche per proteggere contro errori locali. Tuttavia, il calcolo dell'entropia di entanglement per codici quantistici complessi, in particolare oltre i semplici modelli topologici come il codice torico, rimane una sfida. I metodi esistenti, come gli approcci basati sulla teoria dei gruppi, sono stati applicati ai codici stabilizzatori, ma vi è la necessità di un quadro più intuitivo che chiarisca le origini sia dell'entanglement locale (legge dell'area) sia di quello a lungo raggio. Inoltre, sono necessari schemi computazionali efficienti per valutare l'entropia di entanglement per codici moderni non localmente geometrici, come i codici quantistici a controllo di parità a bassa densità (qLDPC).

Metodologia
Gli autori sviluppano un metodo basato sui grafi per calcolare esplicitamente la matrice densità ridotta e l'entropia di von Neumann per i codici quantistici di Calderbank-Shor-Steane (CSS). L'approccio traduce la struttura algebrica dei codici stabilizzatori in concetti della teoria dei grafi:

1. Rappresentazione a Grafo: Il metodo utilizza la matrice di controllo di parità ($H_Z$) di un codice CSS. I generatori stabilizzatori sono trattati come cicli in un grafo, dove i qubit corrispondono agli spigoli.
2. Alberi Ricoprenti e Cicli Congiunti: Per una bipartizione del sistema in sottosistemi $A$ e $B$, gli autori costruiscono alberi ricoprenti ($T_A$ e $T_B$) per ciascun sottosistema rimuovendo gli spigoli per eliminare i cicli interni. L'unione di questi alberi ricoprenti ($T_A \cup T_B$) forma un grafo contenente "cicli congiunti".
3. Calcolo dell'Entropia: Si dimostra che l'entropia di von Neumann $S_A$ è uguale al numero di cicli congiunti indipendenti formati dall'unione degli alberi ricoprenti. Questo è matematicamente equivalente al numero ciclotomico dello spazio dei cicli congiunti.
4. Formulazione tramite Rango di Matrice: Gli autori derivano un'espressione analitica per l'entropia di entanglement basata sui ranghi delle sottomatrici della matrice di controllo di parità. Nello specifico, $S_A = \text{rank}(W_A) = \text{rank}(W_B)$, dove $W_A$ e $W_B$ sono sottomatrici che descrivono gli stabilizzatori condivisi tra i sottosistemi. Ciò porta alla formula efficiente $S_A = r_A + r_B - r_H$, dove $r_A$, $r_B$ e $r_H$ sono i ranghi delle sottomatrici di controllo di parità per il sottosistema $A$, il sottosistema $B$ e il sistema totale, rispettivamente.
5. Generalizzazione: Per i codici in cui il peso della colonna della matrice di controllo di parità supera due (impedendo una rappresentazione grafica semplice e diretta), gli autori introducono una tecnica di "duplicazione dei qubit". Questa modifica la matrice di parità per rappresentare un grafo planare semplice senza alterare l'entropia di entanglement, permettendo l'applicazione della formula basata sulla teoria dei grafi a codici CSS generali.

Risultati Chiave
Il metodo è stato applicato a tre distinte famiglie di codici: il codice torico bidimensionale, i codici a bicicletta bivariata (BB) e i codici quasi-ciclici (QC).

• Codici Torici: Il metodo riproduce con successo i risultati noti, dimostrando che l'entropia di entanglement segue una legge dell'area ($S_A \propto \sqrt{n_A}$) per sottosistemi connessi. Si dimostra che l'entropia dipende dalla connettività globale tra i sottosistemi e dal numero di cicli al confine.
• Codici qLDPC (BB e QC): Lo studio rivela che i codici BB e QC esibiscono comportamenti di scala significativamente diversi rispetto ai codici torici. La loro entropia di entanglement scala come $n_A^\gamma$ con $\gamma \approx 0,81$ (BB) e $\gamma \approx 0,95$ (QC), indicando un tasso di crescita più rapido e la presenza di un entanglement più delocalizzato e a lungo raggio.
• Discrepanza dell'Entropia: Analizzando la "discrepanza dell'entropia" ($I_A = n_A - \bar{S}_A$) per sottosistemi selezionati casualmente, gli autori osservano una transizione netta nel tasso di variazione ($dI_A/dn_A$) per i codici qLDPC all'aumentare della dimensione del sottosistema. Questa transizione diventa più netta con dimensioni del codice più grandi. Al contrario, i codici torici mostrano una transizione graduale indipendente dalla dimensione del codice. Questa differenza è attribuita agli alti pesi degli stabilizzatori e alle interazioni non locali nei codici qLDPC, che potenziano la connettività tra i sottosistemi in un modo che differisce fondamentalmente dalle interazioni strettamente locali dei codici torici.

Significato e Affermazioni
Il documento afferma di fornire una nuova prospettiva per comprendere la struttura dell'entanglement nei sistemi quantistici a molti corpi, offrendo un'interpretazione diretta basata sulla teoria dei grafi dell'entropia di entanglement. I contributi principali sono:

• Interpretabilità: Il metodo chiarisce le origini dell'entanglement locale e a lungo raggio collegando direttamente l'entropia alla topologia dei cicli congiunti formati dagli alberi ricoprenti dei sottosistemi.
• Efficienza: La derivazione dell'entropia come funzione del rango di matrice ($S_A = r_A + r_B - r_H$) fornisce uno schema computazionale efficiente applicabile a tutti i codici CSS, inclusi i complessi codici qLDPC dove i metodi precedenti potrebbero essere meno trattabili.
• Universalità: L'approccio è indipendente dalla geometria e topologia specifiche del sistema quantistico, rendendolo generalizzabile a sistemi con spin superiori, strutture irregolari e classi più ampie di codici stabilizzatori.

Gli autori concludono che queste proprietà distinte di entanglement nei codici qLDPC potrebbero essere collegate alla loro capacità di protezione delle informazioni e alle prestazioni di decodifica, meritando ulteriori indagini, ma non propongono implementazioni o applicazioni sperimentali specifiche oltre a questa caratterizzazione teorica.