Sampling hard circuits with verifiably high fidelity

Problematica

La dimostrazione del vantaggio quantistico tramite proposte basate sul campionamento (ad esempio, il Random Circuit Sampling) affronta due colli di bottiglia critici nell'era NISQ (Noisy Intermediate-Scale Quantum):

1. Soppressione dell'errore: L'aumento delle dimensioni del circuito per raggiungere la durezza classica tipicamente amplifica il rumore dell'hardware, rendendo la distribuzione di output banale e classicamente simulabile. Le attuali proposte "hardware-friendly" mancano di una protezione dagli errori a basso overhead, mentre le proposte strutturate sono difficili da mappare sull'hardware near-term in regimi di durezza classica.
2. Verifica: Verificare che un calcolo quantistico complesso sia stato eseguito con alta fedeltà è difficile. Risolvere la fedeltà in output ampiamente distribuiti richiede un numero proibitivo di campioni. I benchmark esistenti (come il Cross-Entropy Benchmarking, XEB) si basano su forti assunzioni sul rumore (ad esempio, omogeneità spaziale, indipendenza temporale) o richiedono una costosa simulazione classica per fungere da proxy.

Gli autori mirano a sviluppare un protocollo che raggiunga simultaneamente la durezza classica dimostrabile, l'esecuzione ad alta fedeltà tramite rilevamento dell'errore e la verifica dipendente dal dispositivo con assunzioni sul rumore più deboli rispetto ai benchmark attuali.

Metodologia: Doped Clifford Sampling (DCS)

Gli autori propongono un protocollo chiamato Doped Clifford Sampling (DCS) che combina circuiti Clifford strutturati con risorse "magic" non-Clifford, tutte codificate all'interno di un codice spazio-temporale.

1. Costruzione del circuito:

• Backbone Clifford: L'esperimento inizia con un circuito Clifford casuale ad alto entanglement (specificamente un pattern a mattoni di profondità $n$ su $n$ qubit). Questa struttura è scelta perché può essere codificata efficientemente e la sua fedeltà di output può essere misurata direttamente.
• Codifica Spazio-Temporale: Il circuito Clifford è codificato utilizzando codici spazio-temporali. Ciò comporta l'aggiunta di qubit ancilla per eseguire controlli Pauli (misurazioni di sindrome) distribuiti sia nello spazio che nel tempo. Questi controlli rilevano gli errori misurando le sindromi; i campionamenti con sindromi non nulle vengono post-selezionati (scartati). Questo proietta efficacemente lo stato in un sottospazio a basso errore.
• Doping con T-Gate: Per introdurre la durezza classica, il circuito viene "drogato" (doped) con gate non-Clifford $T$. Fondamentalmente, questi gate $T$ sono posizionati solo su fili spazio-temporali che commutano con i stabilizzatori del codice (specificamente, commutano con i back-cumulants dei controlli Pauli).
  • Poiché i gate $T$ commutano con i controlli, essi non alterano la distribuzione delle sindromi.
  • Su hardware superconduttore, le rotazioni $Z$ (inclusi i gate $T$) sono implementate virtualmente tramite frame tracking, il che significa che introducono un rumore aggiuntivo trascurabile.

2. Logica di Certificazione della Fedeltà:
L'innovazione principale è un metodo per fornire un limite inferiore alla fedeltà dello stato drogato e difficile ($F_2$) utilizzando la fedeltà misurabile dello stato Clifford non drogato ($F_1$).

• Invarianza: Poiché i gate $T$ commutano con i controlli, l'insieme dei guasti accettati (sindromi) rimane identico per i circuiti drogati e non drogati.
• Innocuo vs Dannoso: Nel circuito Clifford non drogato, alcuni guasti sono "innocui" (stabilizzano lo stato) e altri sono "dannosi". Il doping può potenzialmente convertire un guasto precedentemente innocuo in uno dannoso, riducendo la fedeltà.
• Il Limite: Gli autori dimostrano che la probabilità che un guasto innocuo si converta in un guasto dannoso è asintoticamente piccola (inversa del polinomio in $n$) per circuiti Clifford casuali.
• Risultato: La fedeltà dello stato drogato è limitata inferiormente da:
  $$F_2 \ge F_1 - \text{Pr}(\text{innocuo} \mid \text{accettato})$$
  Ciò consente agli autori di stimare $F_2$ senza dover simulare il circuito drogato difficile, basandosi solo sulla misurabile $F_1$ e su un limite teorico sulla conversione dei guasti.

Risultati Sperimentali

Il protocollo è stato dimostrato su un circuito Clifford a 70 qubit e profondità 70 drogato con 468 gate $T$, eseguito su un processore superconduttore IBM (IBM Boston) utilizzando 97 qubit fisici (70 dati + 27 ancilla).

• Soppressione dell'Errore: La post-selezione della sindrome ha soppresso i tassi di errore dei gate di un fattore di 10$\times$ rispetto al tasso di errore fisico. Lo stato di riferimento Clifford codificato ha raggiunto una fedeltà di 0.32(1) (0.57(2) con mitigazione della lettura).
• Limite Inferiore di Fedeltà: Basandosi sulla misurata fedeltà Clifford e sulla stima della probabilità di conversione del guasto innocuo (0.013), gli autori hanno stabilito un limite inferiore di confidenza al 95% di 0.284 per la fedeltà dello stato drogato, classicamente difficile.
• Durezza Classica: L'esperimento ha generato circa 2.000 campioni in 16 minuti. Gli autori stimano che questa istanza sia impraticabile per gli attuali algoritmi basati su reti tensoriali e stabilizzatori.
  • Reti Tensoriali: Il circuito presenta un alto entanglement (rango bipartito minimo di 30), richiedendo dimensioni di legame ($2^{30}$) che superano la memoria degli attuali supercomputer di frontiera.
  • Decomposizione Stabilizzatore: Con 468 gate $T$, il rango dello stabilizzatore è troppo alto per una simulazione efficiente ($\Omega(2^{0.228 \times 468})$).
• Validazione: Il limite di fedeltà è stato validato in regimi intermedi (basso e medio numero di $T$) utilizzando la Direct Fidelity Estimation (DFE) e il Cross-Entropy Benchmarking (XEB), confermando che il limite teorico è valido.

Contributi Chiave

1. Durezza Strutturata con Rilevamento dell'Errore: Il lavoro introduce un metodo sistematico per promuovere uno stato stabilizzatore a uno stato magic (tramite $T$-doping) preservando al contempo le capacità di rilevamento dell'errore di un codice spazio-temporale. Ciò consente l'esecuzione ad alta fedeltà di circuiti classicamente difficili.
2. Certificato di Fedeltà Dipendente dal Dispositivo: Gli autori forniscono un certificato per la fedeltà di uno stato quantistico difficile che richiede assunzioni sul rumore sostanzialmente più deboli rispetto ai proxy esistenti (come XEB). Non assume un rumore spazialmente omogeneo o temporalmente indipendente, ma solo un modello di rumore Pauli generale (ottenibile tramite twirling).
3. Dimostrazione Sperimentale: Il lavoro dimostra il primo esperimento di campionamento che combina garanzie di durezza agnostiche rispetto all'algoritmo con l'esecuzione affidabile di circuiti profondi con rilevamento dell'errore su hardware attuale.

Significato e Rivendicazioni

Il documento sostiene di affrontare il "problema di scalabilità" nelle dimostrazioni del vantaggio quantistico: la difficoltà di scalare simultaneamente la dimensione del circuito, sopprimere il rumore e verificare il risultato.

• Coesistenza di Durezza e Fiducia: Il significato primario è dimostrare che la durezza classica dimostrabile e l'esecuzione affidabile (tramite rilevamento dell'errore e certificazione della fedeltà) possono coesistere.
• Percorso di Scalabilità: Sebbene l'approccio attuale si basi sulla post-selezione (che comporta un overhead), gli autori sostengono che gli stessi codici spazio-temporali possano essere adattati per il vantaggio quantistico fault-tolerant man mano che l'hardware migliora.
• Robustezza della Verifica: Il metodo rende la verifica più robusta contro il rumore dell'hardware reale e correlato, rilassando le stringenti assunzioni sul rumore richieste da XEB.

Gli autori rimangono modesti riguardo alla scala assoluta del vantaggio, notando che i tempi di simulazione potrebbero cambiare con migliori algoritmi o hardware, ma sottolineano che la garanzia strutturale di durezza combinata con la fedeltà verificata è la chiave del successo. Lasciano aperta la possibilità di simulazioni più veloci con algoritmi migliorati, ma affermano che la loro specifica istanza è attualmente intrattabile per i metodi allo stato dell'arte.