Fault-tolerant quantum computation with static atomic buses

Sintesi Tecnica: Computazione Quantistica Tollerante ai Guasti con Bus Atomici Statici

Definizione del Problema
La computazione quantistica scalabile e tollerante ai guasti (FTQC) richiede una connettività a lungo raggio ad alta fedeltà per eseguire operazioni logiche tra i blocchi di codice ed eseguire misurazioni di sindrome per la correzione degli errori quantistici (QEC) ad alto tasso. Nelle piattaforme di atomi neutri, la connettività a lungo raggio è tradizionalmente ottenuta tramite lo spostamento degli atomi (atom shuttling o trasporto). Tuttavia, questo approccio introduce una latenza di scala come $O(d^{1/3})$ e induce riscaldamento motile, portando a errori di dephasing che scalano come $O(d^{2/3})$. Questi effetti degradano i tassi di errore logico e limitano l'efficienza dei cicli QEC, in particolare per i codici quantistici low-density parity-check (qLDPC) ad alto tasso e per le porte logiche trasversali tra patch di codice di superficie. Sebbene le interazioni Rydberg dirette possano estendere il raggio d'azione, esse sono tipicamente limitate a qualche decina di micrometri e sono altamente sensibili alle fluttuazioni di campo e alle posizioni atomiche.

Metodologia
Gli autori propongono un'architettura di atomi neutri che utilizza bus atomici statici, dove atomi ausiliari mediatori consentono operazioni di entanglement a lungo raggio senza trasportare i qubit di dati. La metodologia prevede un approccio di co-design che integra la fisica atomica microscopica con i vincoli architettonici:

1. Hamiltoniana del Bus Atomico: Il sistema impiega un'architettura a doppia specie (Rubidio e Cesio) per sopprimere il crosstalk. Gli atomi di dati e i mediatori ancilla sono disposti in una catena. La dinamica è governata da un'Hamiltoniana che include guidi laser globali che accoppiano gli stati dei qubit agli stati di Rydberg e interazioni di van der Waals (vdW) tra gli atomi.
2. Design del Controllo Ottimale: Gli autori utilizzano il Gradient Ascent Pulse Engineering (GRAPE) per progettare impulsi laser ottimali nel tempo per porte Controlled-Z (CZ). L'ottimizzazione mira a:
   • Ottimalità temporale: Minimizzare la durata della porta per ridurre gli errori di emissione spontanea.
   • Robustezza: Incorporare vincoli per mitigare la sensibilità alle variazioni della forza di interazione causate dal moto termico. Ciò viene ottenuto selezionando specifici numeri quantici principali di Rydberg ($n$) e spaziature reticolari ($r_0$) per creare potenziali di interazione localmente piatti (dove $dB/dR \approx 0$) alla separazione target.
   • Disentanglement: Garantire che gli atomi mediatori tornino ai loro stati fondamentali, completamente disentangled dai qubit terminali.
3. Integrazione Architetturale: Il framework è applicato a due casi d'uso primari:
   • Porte Trasversali: Implementazione di porte CZ logiche tra patch di codice di superficie adiacenti (distanza $d$).
   • Lettura di Stabilizzatore a Lungo Raggio: Esecuzione di misurazioni di stabilizzatore non locali per codici qLDPC ad alto tasso (codici La-cross e bivariate bicycle).
4. Simulazione e Benchmarking: Simulazioni numeriche su larga scala utilizzando il simulatore Stim e il Belief-Propagation with Ordered-Statistics Decoder (BPOSD) sono eseguite. L'architettura del bus statico è confrontata con un'architettura equivalente basata sullo spostamento dinamico degli atomi, modellando le sorgenti di rumore inclusi l'emissione spontanea, il moto termico e il riscaldamento indotto dallo spostamento.

Contributi Chiave

• Architettura a Bus Statico: Introduzione di un framework modulare in cui l'entanglement a lungo raggio è mediato da catene statiche di atomi ancilla, eliminando la necessità di trasportare i qubit durante le operazioni algoritmiche.
• Protocolli di Impulso Co-Progettati: Sviluppo di impulsi di controllo fluidi e ottimali nel tempo che raggiungono fedeltà elevate ($F \approx 0.999$) e durate di poche centinaia di nanosecondi. Questi protocolli tengono esplicitamente conto della dinamica microscopica e della robustezza contro gli errori motili.
• Supporto per Codici ad Alto Tasso: Dimostrazione che l'architettura supporta nativamente la connettività non locale richiesta dai codici qLDPC ad alto tasso (La-cross e bivariate bicycle), consentendo l'estrazione efficiente delle sindromi senza l'overhead $O(d)$ della chirurgia di reticolo (lattice surgery) o dello spostamento.
• Percorso di Computazione Universale: Descrizione di un approccio ibrido in cui i bus statici gestiscono le operazioni Clifford logiche e la lettura degli stabilizzatori, mentre lo spostamento degli atomi è limitato a compiti di background (ricaricamento dei qubit e routing delle fabbriche di stati magici), separando così l'orologio algoritmico dalla latenza di trasporto.

Risultati

• Prestazioni delle Porte: Gli autori dimostrano porte CZ mediate dal bus con fedeltà che si avvicinano al 99.9% e durate di poche centinaia di nanosecondi. Per i codici di superficie fino a distanza $d=11$, le porte sono ottenute con i parametri sperimentali attuali ($n \approx 75$, $r_0 \approx 2.6$ $\mu$m). Estensioni a $d=25$ sono mostrate come fattibili con stati di Rydberg più elevati ($n \approx 95$) e spaziature più strette ($r_0 \approx 1.7$ $\mu$m).
• Tassi di Errore Logico: Le simulazioni prevedono che l'architettura del bus statico fornisca un miglioramento di oltre un ordine di grandezza nei tassi di errore logico rispetto alle architetture basate sullo spostamento degli atomi sotto parametri di rumore realistici ($p \sim 10^{-3}$). Il miglioramento è guidato dalla soppressione degli errori di riscaldamento motile, che rappresentano un collo di bottiglia per gli approcci basati sullo spostamento.
• Metriche Temporali:
  • Codici di Superficie: I tempi delle porte trasversali logiche sono previsti a $\sim 100$ $\mu$s, con tempi di ciclo QEC di $\sim 1$ ms per $d \lesssim 12$.
  • Codici La-cross: Per i codici $d=7$, l'implementazione statica raggiunge tempi di ciclo QEC di $\sim 255$–$260$ $\mu$s, rispetto a $\sim 1.6$–$2.0$ ms per le implementazioni basate sullo spostamento (un miglioramento di un ordine di grandezza in termini di velocità).
  • Codici Bivariate Bicycle: L'architettura statica riduce i tempi di ciclo di un fattore due rispetto alle implementazioni basate sul moto.
• Resilienza al Rumore: L'uso di codifica a doppia specie e stati di Rydberg ottimizzati rende le porte intrinsecamente insensibili ai piccoli spostamenti atomici, sopprimendo l'infedeltà motile al limite dell'emissione spontanea.

Significatività e Rivendicazioni
Il documento stabilisce i bus atomici statici come un'alternativa pratica, veloce e ad alta fedeltà allo spostamento degli atomi per la FTQC scalabile. Limitando il trasporto attivo degli atomi alle operazioni di background (ripristino e routing delle risorse), l'architettura elimina efficacemente le latenze indotte dal trasporto e il riscaldamento dal ciclo dell'orologio algoritmico primario. Gli autori affermano che questo lavoro fornisce la prima valutazione quantitativa completa delle prestazioni logiche per un'architettura di atomi statici, dimostrando che può soddisfare i rigorosi requisiti di connettività per la computazione quantistica universale tollerante ai guasti, superando significativamente gli approcci basati sullo spostamento in termini di velocità e tassi di errore. I risultati suggeriscono che i bus statici consentono memorie logiche efficienti, computazione Clifford e distillazione di stati magici, formando un percorso pratico verso la computazione quantistica su larga scala.