Fast magic state preparation by gauging higher-form transversal gates in parallel

Sintesi Tecnica: Preparazione Rapida di Stati Magici tramite Gauging di Gate Transversali di Forma Superiore in Parallelo

Problematica
La computazione quantistica fault-tolerant (FTQC) universale richiede la preparazione di "stati magici" per integrare le operazioni di Clifford, abilitando i gate non-Clifford tramite la teleportazione di gate o la computazione basata su Pauli (PBC). Sebbene i recenti progressi nei codici quantum low-density parity-check (qLDPC) abbiano ridotto l'overhead per le operazioni logiche, la preparazione degli stati magici rimane un collo di bottiglia. I metodi esistenti si affidano tipicamente a gate non-Clifford trasversali (ad esempio CCZ o T) o alla distillazione di stati magici, che possono essere dispendiosi in termini di risorse o limitati nella parallelizzazione. Inoltre, le misurazioni di gauging standard per la preparazione di stati logici richiedono spesso tempi di overhead proporzionali alla distanza del codice ($O(d)$), limitando la velocità della preparazione dello stato. Il presente lavoro affronta la necessità di un protocollo di preparazione di stati magici logici veloce, parallelo e fault-tolerant con un overhead temporale costante e un overhead di qubit lineare, mirando specificamente ai codici qLDPC.

Metodologia
Gli autori introducono una procedura basata su misurazioni di gauging di forma superiore applicate a codici qLDPC che supportano gate trasversali di forma superiore.

1. Gate Trasversali di Forma Superiore: Il documento generalizza il concetto di gate trasversali e di simmetrie di forma superiore (tipicamente associate ai codici topologici) ai codici qLDPC. Un gate trasversale di $h$-forma è definito come una rappresentazione del gruppo dei $h$-cocicli ($\ker \delta_{h+1}$) in un complesso di catene, dove il gate agisce come un prodotto di unitari on-site. L'attenzione è rivolta ai gate Clifford di 1-forma (ad esempio, 1-form CZ o XS), che possono essere misurati per produrre stati magici.
2. Protocollo di Misurazione di Gauging: Il nucleo della procedura (Algoritmo 1) prevede tre fasi:
   • Inizializzazione dell'Ancilla: Un qubit ancilla viene inizializzato nello stato $|0\rangle$ per ogni iperarco del complesso di catene ($C_{h+1}$).
   • Misurazione della Legge di Gauss Generalizzata: Per ogni vertice nel complesso di catene ($C_h$), viene misurato un operatore della legge di Gauss generalizzata $A_v$. Questo operatore accoppia l'azione di simmetria on-site $U_v$ con operatori Pauli-X sugli iperarchi ancilla adiacenti.
   • Lettura e Byproduct: I qubit degli iperarchi ancilla vengono misurati nella base $Z$. In base a questi esiti, un operatore di byproduct unitario (corrispondente a una simmetria parziale) viene applicato ai qubit dei dati.
3. Parallelismo: A differenza del gauging standard, che misura i singoli operatori logici sequenzialmente o richiede $O(d)$ round, questa procedura misura tutti i rappresentanti del gruppo di coomologia $H_h(C_\bullet)$ simultaneamente in un numero costante di step temporali.

Contributi Chiave

• Definizione di Gate Trasversali di Forma Superiore: Il documento definisce formalmente i gate trasversali di $h$-forma per i codici qLDPC, estendendo il concetto di simmetria di forma superiore dall'ambiente topologico. Stabilisce le condizioni sotto le quali questi gate sono "pulibili" (cleanable) e privi di anomalie.
• Gauging di Misurazione Veloce: Gli autori presentano un protocollo di misurazione che ottiene la misurazione fault-tolerant di gate Clifford logici di forma superiore in tempo costante ($O(1)$) con un overhead di qubit lineare. Ciò contrasta con le misurazioni di gauging standard che tipicamente richiedono $O(d)$ round per garantire la fault-tolerance contro gli errori di misurazione.
• Preparazione di Stati Magici: Misurando i gate Clifford di 1-forma (come 1-form CZ o XS) su opportuni codici qLDPC, la procedura prepara stati magici logici in parallelo. Per i codici CSS, si dimostra che l'esistenza di un gate non-Clifford trasversale di 0-forma (come CCZ o T) è una condizione sufficiente (sebbene non necessaria) per l'esistenza di un gate Clifford trasversale di 1-forma.
• Analisi della Fault-Tolerance: Il documento prova che la procedura è fault-tolerant. La distanza del codice del protocollo è limitata da $\phi_h(C_\bullet)d/2$ (dove $\phi_h$ è la costante di Cheeger $h$-esima e $d$ è la distanza originale del codice), e la distanza di fault-distance della misurazione è limitata dalla distanza dell' $h$-esimo gruppo di omologia. La fault-tolerance si basa su "rilevatori" formati da simmetrie locali ($\text{Im } \delta_h$) piuttosto che su round ripetuti di estrazione del sindrome.

Risultati ed Esempi
Il documento valida l'approccio attraverso due esempi primari:

1. Codice Color 3D: Gli autori dimostrano che il Codice Color 3D, che supporta un gate T trasversale di 0-forma, supporta naturalmente un gate Clifford trasversale di 1-forma. Applicare la misurazione di gauging a questo codice produce stati magici. In questo caso specifico, il codice deformato è equivalente a uno stato prodotto (fino a un'unitarietà locale) e la fault-distance della misurazione corrisponde alla distanza Z del codice originale.
2. Teoria di Gauge a Gruppo Superiore Distorta (HGGT): Gli autori costruiscono un codice qLDPC basato su una teoria di gauge a gruppo superiore distorta $Z_2 \times Z_2 \times Z_2^{(1)}$. Questo codice supporta un gate CZ trasversale di 1-forma senza richiedere un gate CCZ trasversale di 0-forma. La procedura misura con successo gli operatori Clifford logici su questo codice, producendo stati magici hypergraph. L'azione logica del gate dipende dall'omologia della varietà (ad esempio, un toro 3D), creando stati entangled tra i qubit logici.

Significato e Rivendicazioni
Il documento afferma che questo lavoro fornisce una via per la preparazione rapida e parallela di stati magici logici con overhead di tempo costante e overhead di spazio lineare, il che è cruciale per una FTQC scalabile.

• Efficienza: La procedura preserva la proprietà di tasso costante dei codici qLDPC sottostanti, risultando in un overhead spazio-temporale moltiplicativo costante rispetto alla preparazione di stati non codificati.
• Nuovo Paradigma di Design: Il lavoro sposta l'attenzione del design dei codici dai requisiti restrittivi dei gate non-Clifford trasversali. Invece, motiva la ricerca di codici qLDPC che supportano gate Clifford di forma superiore (specificamente di 1-forma), che sono sufficienti per la preparazione di stati magici tramite questo metodo di gauging.
• Potenziale Single-Shot: Combinato con la preparazione di stati Pauli logici fault-tolerant single-shot, la procedura offre un protocollo di preparazione di stati magici logici "single-shot".
• Vantaggio nella Decodifica: Gli autori notano che il problema della decodifica per questa procedura ha una "struttura single-shot", potenzialmente semplificando il decoder rispetto alle misurazioni di gauging standard che richiedono il mantenimento di uno spazio di codice non-abeliano per $O(d)$ tempi.

Il documento conclude identificando la scoperta di codici qLDPC efficienti con preparazione di stati Pauli single-shot e gate Clifford di 1-forma come una sfida primaria per la ricerca futura per realizzare appieno il potenziale di questo metodo.