Nonequilibrium steady states induced by stochastic mid-circuit measurements and resets on a quantum computer

Questo articolo presenta una teoria discreta nel tempo rumorosa e la sua validazione sperimentale su un processore quantistico superconduttore con fino a sette qubit, dimostrando che misurazioni e reset stocastici a metà circuito possono guidare con successo sistemi quantistici interagenti verso stati stazionari fuori equilibrio che corrispondono quantitativamente alle previsioni teoriche ed esibiscono firme di transizioni di fase quantistiche di equilibrio.

L'essenziale

Immagina di cercare di insegnare a un gruppo di amici (i qubit) una complessa coreografia (la dinamica quantistica). Di solito, se commettono un errore, continuano semplicemente a ballare e la coreografia diventa sempre più disordinata finché non è più riconoscibile.

Questo articolo parla di un nuovo modo per mantenere la danza organizzata, anche quando le cose si fanno rumorose e caotiche. I ricercatori hanno utilizzato un vero computer quantistico (un processore superconduttore) per testare una strategia chiamata Stochastic Resetting (Reset Stocastico).

Ecco la scomposizione di ciò che hanno fatto e scoperto, usando analogie semplici:

1. Il Problema: La Danza "Dimenticona"

Nel mondo quantistico, i sistemi sono fragili. Se li lasci evolvere da soli, vengono corrotti dal "rumore" (come l'interferenza su una radio o un amico che dimentica i passi). I ricercatori volevano vedere se potevano forzare il sistema in uno stato stabile e organizzato (uno Stato Stazionario Fuori Equilibrio) interrompendo la danza in momenti casuali.

2. La Soluzione: Il "Reset Casuale"

Pensa allo Stochastic Resetting come a un gioco di "Simon Says" dove l'arbitro grida casualmente "Reset!".

• La Regola: In momenti casuali, il sistema interrompe ciò che sta facendo ed è costretto a tornare a una specifica posizione iniziale (lo "stato di reset").
• Il Colpo di Scena: In questo esperimento, non hanno resettato ciecamente. Hanno usato due metodi:
  1. Reset Incondizionato: Il sistema viene riportato all'inizio, senza fare domande.
  2. Reset Condizionato: Il sistema si ferma, i ricercatori scattano un rapido "fermo immagine" (una misurazione) dei ballerini e poi decidono dove resettarli in base a ciò che vedono. Per esempio, se la maggior parte dei ballerini è rivolta verso l' "Alto", il sistema resetta tutti verso l' "Alto". Se la maggior parte è rivolta verso il "Basso", il sistema resetta tutti verso il "Basso".

3. L'Esperimento: La Realtà "Rumorosa"

I ricercatori hanno provato questo su un vero computer quantistico (ibm_marrakesh di IBM) con fino a 7 qubit.

• La Sfida: I veri computer quantistici sono "rumorosi". I "fermi immagine" (le misurazioni) non sono perfetti e i pulsanti di "reset" a volte hanno dei glitch. È come cercare di fotografare un oggetto in movimento con una macchina fotografica traballante; la foto potrebbe essere mossa e potresti sbagliare valutazione sulla posizione del ballerino.
• Il Modello: Poiché l'hardware non è perfetto, i ricercatori hanno costruito un "modello di rumore" matematico. Si sono resi conto che quando il computer prova a resettare il sistema, a volte ribalta accidentalmente alcuni bit (come un ballerino che accidentalmente si gira dalla parte sbagliata). Hanno chiamato questo uno "stato di reset rumoroso".

4. I Risultati: Trovare il "Punto Ottimale"

Hanno testato questo utilizzando una specifica coreografia chiamata Modello di Ising a Campo Trasversale di Floquet. Questo è un modo elaborato per descrivere un sistema che può trovarsi in due stati principali:

• Ordinato: Tutti sono rivolti nella stessa direzione (come un ferromagneto).
• Disordinato: Tutti sono rivolti in direzioni casuali a causa delle "fluttuazioni quantistiche" (il campo trasversale).

Cosa hanno scoperto:

• Accordo: Il loro modello matematico "rumoroso" ha predetto esattamente ciò che ha fatto il vero computer quantistico. Anche con i glitch e gli errori, la teoria corrispondeva perfettamente all'esperimento.
• La Transizione di Fase: Man mano che aumentavano il "rumore quantistico" (il campo trasversale), il sistema passava fluidamente da uno stato altamente ordinato (tutti rivolti nella stessa direzione) a uno disordinato. Questo è simile a come il ghiaccio si scioglie in acqua. Il computer quantistico ha mostrato con successo questo comportamento di "fusione", nonostante gli errori.
• La Differenza: Il "Reset Condizionato" (dove guardavano i ballerini prima di resettarli) è stato molto più difficile da eseguire correttamente rispetto al "Reset Incondizionato". Poiché il computer doveva misurare, pensare e poi agire istantaneamente, l'effetto della "macchina fotografica traballante" (errori di misurazione) ha causato più errori. Tuttavia, il loro modello di rumore è riuscito comunque a prevedere questi errori con precisione.

5. La Conclusione

L'articolo dimostra che si possono utilizzare le misurazioni a metà circuito (guardare il sistema mentre è in funzione) e i reset condizionati (correggere il sistema in base a ciò che si vede) per creare stati collettivi stabili su attuali, imperfetti computer quantistici.

In termini semplici: Hanno dimostrato che anche se il vostro computer quantistico è un po' difettoso, potete comunque forzarlo a mantenere un modello organizzato, premendo occasionalmente il tasto "reset" e controllando il tabellone per vedere in che direzione resettare. Questo apre la porta all'uso di questi trucchi di "reset" per costruire algoritmi quantistici migliori in futuro, senza aver bisogno di una macchina perfetta e priva di errori.

Sommario tecnico

Sintesi Tecnica: Stati Stazionari di Non-Equilibrio Indotti da Misurazioni Mid-Circuit Stocastiche e Reset su un Computer Quantistico

Problematica
Il reset stocastico è un protocollo versatile in cui un processo viene interrotto in momenti casuali e riavviato da una configurazione iniziale, noto per guidare sistemi classici e quantistici verso stati stazionari di non-equilibrio (NESS) con specifiche correlazioni. Sebbene i quadri teorici suggeriscano che il reset condizionato — dove lo stato di reset è determinato da misurazioni mid-circuit — possa generare NESS collettivi in sistemi quantistici molti-corpo interagenti, una validazione hardware di tali stati è stata assente. La realizzazione di tali stati su hardware quantistico è complicata dagli errori di readout mid-circuit, dal rumore dell'hardware e dalla decoerenza, che possono corrompere l'operazione di reset e alterare lo stato stazionario risultante. Questo articolo affronta il divario tra le previsioni teoriche degli NESS indotti dal resetting stocastico e la loro realizzazione sperimentale su dispositivi quantistici rumorosi a scala intermedia (NISQ).

Metodologia
Gli autori formulano una teoria discreta nel tempo rumorosa e la implementano su un processore quantistico superconduttore (IBM ibm_marrakesh) per sistemi fino a $N=7$ qubit.

1. Quadro Teorico:

   • Reset Incondizionato: Il sistema evolve tramite gate unitari $U$ o viene proiettato a uno stato di reset $|0\rangle$ con probabilità $r$. La matrice di densità $\rho_{ness}$ del NESS risultante è derivata come una miscela statistica di probabilità di sopravvivenza.
   • Reset Condizionato: Lo stato di reset è scelto da un insieme di stati (specificamente $|+\rangle = |\uparrow\dots\uparrow\rangle$ o $|-\rangle = |\downarrow\dots\downarrow\rangle$) in base a una misurazione globale proiettiva. Un protocollo di "voto di maggioranza" determina il successivo stato di reset; se la maggioranza degli spin misurati è su (up), il sistema si resetta a $|+\rangle$; altrimenti, si resetta a $|-\rangle$. Questo definisce un processo semi-Markoviano.
   • Modellazione del Rumore: Per tenere conto delle imperfezioni dell'hardware, gli autori introducono un modello di rumore in cui le operazioni di reset sono imperfette. Invece di stati di reset puri, il sistema è inizializzato in uno stato misto $\rho_r$ che contiene errori di bit-flip rispetto agli stati ordinati ideali. Questo modello raggruppa gli stati in base al numero di bit-flip ($n_{bf}$) e utilizza la simmetria $Z_2$ per ridurre il numero di parametri di fitting.

2. Sistema Modello:

   • La dinamica unitaria è governata dal modello di Ising a campo trasverso di Floquet (FTFIM) interagente. Il gate unitario $U_\theta$ consiste in un termine di campo trasverso ($U_x$) e un termine di interazione Ising ($U_{zz}$), parametrizzato da un angolo $\theta$.
   • Il parametro d'ordine per la transizione di fase è la magnetizzazione longitudinale $m$. Per il resetting incondizionato, si studia $\langle m \rangle_{ness}$; per il resetting condizionato, a causa della simmetria $Z_2$, la magnetizzazione media svanisce, quindi viene utilizzato come osservabile la densità di magnetizzazione al quadrato $\langle m^2 \rangle_{ness}$.

3. Implementazione Sperimentale:

   • Hardware: Gli esperimenti sono stati condotti sul processore ibm_marrakesh (reticolo heavy-hex a 127 qubit).
   • Protocollo Incondizionato: Per evitare reset mid-circuit attivi, gli autori hanno sfruttato la struttura di rinnovo della dinamica. Hanno simulato le traiettorie eseguendo un'evoluzione unitaria pura per il tempo trascorso da un evento di reset assegnato stocasticamente. Ciò ha permesso l'applicazione estensiva di tecniche di mitigazione dell'errore (decoupling dinamico, mitigazione dell'errore di readout, estrapolazione dello zero-rumore e Pauli twirling).
   • Protocollo Condizionato: Questo ha richiesto interventi mid-circuit attivi. Il circuito includeva evoluzione unitaria, misurazioni mid-circuit nella base $Z$, elaborazione classica in tempo reale (voto di maggioranza) e rotazioni single-qubit condizionate (gate $X$) per allineare gli spin di minoranza con quelli di maggioranza. A causa della latenza e dei vincoli del tempo di coerenza, l'avanzata mitigazione dell'errore non è stata integrata nei loop di feedback condizionati.
   • Raccolta Dati: I risultati sono stati mediati su $M=10^4$ readout per realizzazione di reset e $10^3$ traiettorie quantistiche.

Risultati Chiave

• Accordo Quantitativo: La teoria del resetting condizionato rumoroso mostra un eccellente accordo quantitativo con i dati sperimentali per $N=3, 5$ e $7$ qubit. Il modello teorico, incorporando il modello specifico di errore di bit-flip, riproduce con successo i trend sperimentali.
• Crossover della Transizione di Fase: Gli esperimenti dimostrano un comportamento di crossover nello stato stazionario della magnetizzazione, reminiscente della transizione di fase quantistica di equilibrio del FTFIM.
  • Per il resetting incondizionato (con $\theta=2.0$ grande), il sistema esibisce caratteristiche della dinamica quantistica digitale, inclusi massimi locali nella magnetizzazione dovuti alle degenerazioni di quasi-energia di Floquet per piccoli $N$.
  • Per il resetting condizionato (con $\theta=0.1$ piccolo, avvicinandosi al limite continuo), l'ordine ferromagnetico ($\langle m^2 \rangle_{ness}$) diminuisce monotonicamente all'aumentare del campo trasverso $h$, mostrando un crossover fluido intorno al punto critico $h=1$.
• Analisi del Rumore:
  • I dati sperimentali per il resetting incondizionato si allineano bene con la teoria priva di rumore, grazie all'uso efficace della mitigazione dell'errore e all'evitamento di circuiti dinamici.
  • I dati del resetting condizionato mostrano uno spostamento verso il basso significativo rispetto alla teoria priva di rumore. Il proposto modello di "errore dello stato di reset" (che tiene conto dei bit-flip nella preparazione del reset e degli errori di readout che portano a gate condizionati errati) fornisce un ottimo fitting.
  • I confronti con modelli di rumore alternativi (depolarizzazione, dephasing, ampiezza-damping e rumore $ZZ$ correlato) nel materiale supplementare indicano che il modello di errore dello stato di reset è il più efficace per $N=3$ e $N=5$, e rimane competitivo per $N=7$ nonostante abbia meno parametri di fitting.

Significatività e Rivendicazioni
L'articolo sostiene di fornire la prima dimostrazione di stati stazionari di non-equilibrio indotti da resetting stocastico su hardware quantistico per sistemi molti-corpo interagenti. I risultati validano il fatto che stati stazionari collettivi derivanti da dinamiche interagenti e reset possono essere implementati fedelmente su processori quantistici rumorosi allo stato dell'arte.

Gli autori sottolineano come il loro lavoro colleghi il resetting stocastico alla più ampia utilità del feed-forward classico (tramite circuiti dinamici e logica in tempo reale) come risorsa per la preparazione di stati su macchine quantistiche NISQ. Concludono che, sebbene le simulazioni quantistiche per grandi dimensioni di sistema rimangano difficili a causa dei limiti di coerenza e della latenza nei loop di feedback, la loro analisi apre la strada alla preparazione di stati stazionari collettivi su dispositivi rumorosi e offre spunti pratici per lo sviluppo di algoritmi quantistici che utilizzano misurazioni mid-circuit. L'articolo nota con modestia che i lavori futuri si concentreranno sull'integrazione di protocolli di mitigazione dell'errore più sofisticati nei loop di feedback condizionati per consentire una scalabilità sistematica verso dimensioni di sistema maggiori.