Practical Noise Mitigation for Quantum Annealing via Dynamical Decoupling: Toward Industry-Relevant Optimization using Trapped Ions

Sintesi Tecnica: Mitigazione Pratica del Rumore per l'Annealing Quantistico tramite Decoupling Dinamico

Definizione del Problema
L'annealing quantistico offre un approccio analogico promettente per la risoluzione di problemi di ottimizzazione combinatoria, tuttavia la sua utilità pratica sulle piattaforme hardware near-term è severamente limitata dal rumore ambientale. Nelle piattaforme a ioni intrappolati che utilizzano il coupling indotto da gradiente magnetico (MAGIC), la fonte dominante di errore è identificata nel rumore di campo locale, derivante da fluttuazioni temporali e spaziali di campi magnetici esterni. Queste fluttuazioni distorcono l'Hamiltoniana del costo, potendo alterare lo stato fondamentale che codifica la soluzione ottimale e degradando la fedeltà dell'annealing. Sebbene esistano fluttuazioni nel coupling a due corpi, gli autori dimostrano che esse sono trascurabili in condizioni sperimentali realistiche rispetto all'impatto del rumore di campo locale, che può raggiungere ampiezze ordini di grandezza superiori alla scala energetica dell'Hamiltoniana di annealing.

Metodologia
Gli autori investigano la soppressione del rumore di campo locale attraverso l'applicazione periodica di impulsi di decoupling dinamico (DD), specificamente flip di spin globali ($\pi$-pulse attorno all'asse $x$), intercalati all'interno dello schema di annealing.

• Modifica del Protocollo: Per garantire che il protocollo di annealing rimanga invariante sotto questi flip di spin, gli autori impiegano uno schema di codifica specifico. I termini di campo locale ($h_i^z \sigma_i^z$) nell'Hamiltoniana del costo vengono eliminati introducendo un qubit ancilla, convertendo tutti i bias locali in interazioni a due corpi ($J_{ai} \sigma_a^z \sigma_i^z$). Ciò consente al flip di spin globale di invertire il segno dei termini di rumore senza alterare la struttura dell'Hamiltoniana del problema.
• Problemi di Test: Lo studio utilizza istanze QUBO (Quadratic Unconstrained Binary Optimization) minime e industrialmente rilevanti:
  • Problemi di Multiple Object Tracking (MOT) con 5 e 9 qubit.
  • Problemi di Cutting Stock con 5 e 6 qubit.
  • Istanze del modello Sherrington–Kirkler (SK) fino a 12 qubit.
• Piattaforma di Riferimento: L'analisi si basa su un'architettura a ioni intrappolati utilizzando MAGIC. Gli autori definiscono parametri realistici basati sulle attuali capacità sperimentali (ad esempio, ioni $^{171}\text{Yb}^+$ con $J \approx 26$ Hz di coupling) e modellano spettri di rumore tipici degli ambienti di laboratorio (ad esempio, picchi lorentziani a 50 Hz e 150 Hz derivanti da fluttuazioni della rete elettrica).
• Analisi: Lo studio combina derivazioni analitiche dell'operatore di evoluzione temporale (utilizzando l'espansione di Magnus e le formule di Baker–Campbell–Hausdorff) con simulazioni numeriche che risolvono l'equazione di Schrödinger dipendente dal tempo.

Risultati Chiave

• Robustezza al Rumore: Le simulazioni numeriche confermano che, mentre le fluttuazioni del campo locale con ampiezze fino a 1 kHz (che superano significativamente la forza di coupling $J$) distruggono la fedeltà dell'annealing in assenza di mitigazione, tassi moderati di impulsi di decoupling dinamico ripristinano le prestazioni a livelli quasi ideali.
• Tassi di Impulso: Un tasso di impulsi di circa 2,5 impulsi per millisecondo è sufficiente per raggiungere fedeltà superiori al 70% per ampiezze di rumore fino a 1000 Hz. Questo tasso è ampiamente entro le capacità degli attuali esperimenti a ioni intrappolati, dove le larghezze degli impulsi sono limitate dalle frequenze di Rabi e dai vincoli di riscaldamento dei sideband.
• Indipendenza Spettrale: L'efficacia della strategia di mitigazione è ampiamente indipendente dallo specifico spettro di rumore. Che il rumore sia statico, dipendente dal tempo o caratterizzato da singoli o molteplici picchi lorentziani, i tassi di impulso richiesti per il recupero rimangono simili.
• Scaling Universale: Gli autori identificano un comportamento di scaling universale che governa la fedeltà finale. Per il disordine statico, la fedeltà è determinata dal prodotto dell'ampiezza del rumore ($\sigma(\delta h_z)$) e dall'intervallo di tempo tra gli impulsi ($\Delta t$). Per il rumore dipendente dal tempo, un parametro di scaling generalizzato $\sigma(\delta h_z)^c \times \Delta t$ (con un esponente di fit $c \approx 0,65$) collassa i dati su un'unica curva, fornendo una figura di merito compatta per l'ottimizzazione dell'errore.
• Fluttuazioni di Coupling: Lo studio conferma che le fluttuazioni correlate nei coupling a due corpi (derivanti da derive della frequenza di trappola) non alterano lo stato fondamentale del problema, e le fluttuazioni non correlate sono trascurabili ai livelli di fedeltà sperimentale attuali.

Significatività e Rivendicazioni
Il documento sostiene di aver stabilito una via pratica e scalabile per la mitigazione dell'errore nei dispositivi di annealing quantistico near-term. Dimostrando che il rumore di campo locale — la principale limitazione nei sistemi a ioni intrappolati basati su MAGIC — può essere efficacementmente neutralizzato utilizzando tecniche standard di decoupling dinamico, gli autori sostengono che l'hardware attuale è sufficiente per risolvere problemi di ottimizzazione industrialmente rilevanti (come MOT) con alta fedeltà.

Il lavoro fornisce una base teorica e numerica per integrare la mitigazione dell'errore direttamente nel protocollo di annealing senza richiedere modifiche hardware complesse. L'identificazione di una legge di scaling universale offre un principio di progettazione per futuri esperimenti, suggerendo che il compromesso tra ampiezza del rumore e frequenza degli impulsi è il fattore critico per il successo. Sebbene l'analisi sia specifica per gli ioni intrappolati, gli autori affermano che la strategia proposta e i conseguenti miglioramenti delle prestazioni sono applicabili a una vasta gamma di implementazioni di annealing quantistico, stabilendo un quadro per un'ottimizzazione quantistica robusta in presenza di rumore ambientale realistico.