Feynman's clock and hierarchy-informed sampling for quantum error mitigation

Sintesi Tecnica: L'Orologio di Feynman e il Campionamento Informato dalla Gerarchia per la Mitigazione dell'Errore Quantistico

Definizione del Problema
Gli algoritmi quantistici nel periodo NISQ (Noisy Intermediate-Scale Quantum) affrontano limitazioni significative a causa della natura rumorosa dell'hardware attuale, che compromette l'esecuzione fisica dei circuiti quantistici. Sebbene la correzione degli errori richieda dispositivi su larga scala non ancora disponibili, sono necessarie tecniche efficienti di mitigazione dell'errore quantistico (QEM) per le applicazioni near-term. I metodi esistenti sono fondamentalmente limitati, ma rimangono il principale mezzo per ridurre il rumore quantistico. Questo articolo affronta la necessità di una tecnica QEM generale capace di mitigare il rumore derivante dall'esecuzione di arbitrarie circuitazioni quantistiche, estendendosi oltre le precedenti applicazioni limitate a specifiche simulazioni di catene di spin.

Metodologia
La tecnica proposta, un'estensione dello schema di Mitigazione tramite Campionamento Informato da BBGKY (BBGKY-ISM), opera attraverso un processo in tre fasi:

1. Mappatura Circuito-Hamiltoniana tramite l'Orologio di Feynman:
   Gli autori mappano un circuito arbitrario di $N_Q$ qubit $U$, composto da $N_G$ gate, sulla l'evoluzione temporale di un sistema quantistico governato da un Hamiltoniana tempo-indipendente. Ciò utilizza la costruzione del computer quantistico di Feynman, introducendo un registro di clock $H_C$ con $N_C = \lceil \log_2(N_G + 1) \rceil$ qubit ancillari. Il sistema evolve sotto l'Hamiltoniana dell'orologio di Feynman $H$, dove gli stati del clock tracciano il progresso del calcolo del circuito. La dinamica completa è descritta da $|\psi(t)\rangle = e^{-itH}|\psi(0)\rangle$.

2. Ricostruzione tramite Test di Hadamard:
   Inveve di simulare l'evoluzione temporale tramite Trotterizzazione (il che amplificherebbe il rumore), il metodo ricostruisce i valori di aspettativa tempo-dipendenti di interesse utilizzando test di Hadamard su esecuzioni parziali del circuito originale.

• Le misurazioni Z sul registro dei dati vengono reinterpretate come valori di aspettativa tempo-dipendenti di singoli operatori Pauli-Z, proiettati sullo stato finale del clock $|N_G\rangle_C$.
• Queste quantità vengono decomposte in un insieme di "quantità di interesse" che coinvolgono stringhe di Pauli.
• Le parti reali e immaginarie degli elementi di matrice necessari vengono misurate utilizzando test di Hadamard, evitando la profondità di circuito elevata associata ai segmenti di Trotter.
• I valori finali delle misurazioni Z vengono estratti sommando queste quantità di evoluzione temporale ricostruite, pesate dalla probabilità di ampiezza dello stato del clock, rimuovendo efficacemente la dipendenza temporale.

3. Campionamento di Mitigazione Informato da BBGKY:
   Le stime rumorose ottenute dai test di Hadamard vengono mitigate utilizzando lo schema BBGKY-ISM.

• Distribuzione Informata dalla Fisica: Il metodo campiona i candidati di mitigazione da una distribuzione di probabilità codificata con la dinamica priva di rumore (noiseless). Questa distribuzione è definita da un'azione $S(\vec{x})$ che viene minimizzata quando la configurazione $\vec{x}$ approssima l'evoluzione ideale e priva di rumore.
• Vincoli Gerarchici: I vincoli sono derivati da una gerarchia di equazioni del moto di tipo BBGKY per i correlatori delle stringhe di Pauli. La gerarchia connette le quantità di interesse ai correlatori di ordine superiore.
• Simulated Annealing: Un procedimento di Monte Carlo a catena di Markov (Simulated Annealing) viene utilizzato per campionare le configurazioni che minimizzano l'azione. Un parametro $r$ (raggio) determina quanti strati della gerarchia sono inclusi nei vincoli. Un valore di $r$ più grande codifica una porzione maggiore della dinamica ideale, rendendo i vincoli più stringenti.

Contributi Chiave

• Generalizzazione di BBGKY-ISM: L'articolo estende lo schema BBGKY-ISM dalle specifiche simulazioni di catene di spin ad arbitrarie circuitazioni quantistiche utilizzando la costruzione dell'orologio di Feynman.
• Scalabilità Efficiente dell'Overhead: Gli autori dimostrano che sia l'overhead classico che quello quantistico del metodo proposto scalano polinomialmente con la dimensione del circuito ($N_G$), il numero di qubit ($N_Q$) e il numero di passi temporali ($N_T$). Nello specifico, il numero di test di Hadamard richiesti scala come $N_Q \cdot \text{poly}(N_G)$.
• Natura di Post-Processing: La tecnica è interamente un metodo di post-processing, il che consente di accoppiarla con schemi di mitigazione esistenti o di applicarla dopo l'acquisizione dei dati senza modificare l'esecuzione dell'hardware quantistico.
• Riduzione dell'Errore Controllabile: Il metodo introduce un parametro regolabile $r$ (il raggio della gerarchia) che permette agli utenti di controllare l'intensità della mitigazione.

Risultati
Il metodo è stato testato numericamente su circuiti di preparazione di stati Bell regolabili ($N_Q=2, N_G=2$) sotto un modello di rumore che imita il processore IBM Fez.

• Riduzione Sistematica: I risultati mostrano una riduzione sistematica dell'errore quantistico ($\Delta' < \Delta$) attraverso tutti i parametri del circuito e i raggi della gerarchia testati.
• Tunabilità: La capacità di riduzione dell'errore aumenta all'aumentare del raggio della gerarchia $r$. Ciò conferma che l'inclusione di una porzione maggiore della gerarchia BBGKY vincola il campionamento in modo più efficace verso la dinamica priva di rumore.
• Autoconsistenza: A un raggio specifico ($r=4$ nel caso testato), il sistema di equazioni diventa completamente autoconsistente ($z=1$). In questo punto, il metodo si riduce a un calcolo numerico puramente classico che recupera l'esatta dinamica priva di rumore, ignorando efficacemente il contributo del rumore quantistico.

Significatività e Rivendicazioni
L'articolo sostiene di fornire una nuova tecnica di mitigazione dell'errore quantistico general-purpose che è sia efficiente (scalabilità polinomiale) che controllabile. Mappando i circuiti in dinamiche hamiltoniane e sfruttando il campionamento informato dalla fisica, il metodo offre un modo sistematico per ridurre il rumore senza richiedere risorse quantistiche aggiuntive oltre l'esecuzione iniziale del circuito e il post-processing standard. Gli autori sottolineano che l'efficacia della tecnica è regolabile tramite il raggio della gerarchia, rendendola adattabile a diversi livelli di rumore e vincoli computazionali. Il lavoro suggerisce potenziali applicazioni future ad algoritmi più complessi (ad esempio, Grover, Shor) e ansätze variazionali più profondi, notando la sua compatibilità come livello di post-processing con altre strategie di mitigazione.