Recurrence in discrete-time quantum stochastic walks

Sintesi Tecnica: Ricorrenza nelle Camminate Stocastiche Quantistiche a Tempo Discreto

Enunciato del Problema
Il documento investiga il fenomeno della ricorrenza — la probabilità che un cercatore ritorni alla sua posizione iniziale — nelle camminate stocastiche quantistiche a tempo discreto (DTQSW) su una retta. Mentre le camminate casuali (RW) classiche su una retta 1D sono ricorrenti (ritornano con certezza), le camminate quantistiche (QW) unitarie possono essere transitorie (ritornano con probabilità $<1$) a causa dell'interferenza distruttiva. Gli autori esplorano il comportamento di un modello DTQSW che interpola tra una QW unitaria e una RW bilanciata classica. Una questione centrale è se l'introduzione di casualità classica (stocasticità) nell'evoluzione quantistica aumenti sempre la ricorrenza o se possa, controintuitivamente, sopprimerla. Lo studio affronta specificamente la sfida di determinare accuratamente le probabilità di ricorrenza asintotica, che sono difficili da stimare tramite simulazione numerica diretta a causa della lenta convergenza e dei vincoli di memoria associati all'evoluzione della matrice di densità.

Metodologia
Gli autori modellano la DTQSW come un sistema quantistico aperto governato da una mappa completamente positiva e preservante la traccia (CPTP). L'evoluzione è definita da tre operatori di Kraus:

1. $\hat{E}_0 = \sqrt{1-p}\,\hat{U}$: Rappresenta il passo della camminata quantistica unitaria con probabilità $1-p$.
2. $\hat{E}_{1,2} = \sqrt{p/2}\,\hat{I}_c \otimes \hat{T}^{(\dagger)}$: Rappresentano passi classici incoerenti (spostamenti a sinistra/destra) con probabilità totale $p$.

Per analizzare la ricorrenza, gli autori impiegano l'approccio della "ricorrenza monitorata", dove il sistema è sottoposto a una misurazione proiettiva parziale all'origine ad ogni passo. Se il cercatore viene trovato all'origine, il processo si interrompe; altrimenti, l'ampiezza all'origine viene cancellata e l'evoluzione continua.

Per superare i limiti della simulazione diretta (che richiede l'iterazione della mappa CPTP su una matrice di densità, portando a una scalabilità quadratica della memoria e a una lenta convergenza), gli autori utilizzano la teoria delle funzioni generatrici del primo ritorno (funzioni FR). Derivano la funzione di Stieltjes per il sistema utilizzando la trasformata di Fourier nello spazio dei momenti. Valutando la funzione FR ridotta $F(z)$ per valori di $z$ vicini a 1 (specificamente $z=0.99999$), approssimano la probabilità di ricorrenza asintotica $R$ con un'accuratezza significativamente maggiore e un numero di passi effettivi ($t_{eff} \approx 10^5$) superiori rispetto all'iterazione diretta.

Lo studio confronta inoltre questo modello con una DTQSW alternativa in cui la componente classica è una camminata casuale correlata (CRW), che prevede la misurazione dello stato della moneta prima e dopo il passo, inducendo così decoerenza.

Contributi Chiave e Risultati

1. Soppressione della Probabilità di Ricorrenza:
   La scoperta principale è che l'introduzione di casualità classica ($p > 0$) in una QW unitaria può diminuire la probabilità di ricorrenza rispetto al caso unitario puro ($p=0$), nonostante il limite classico puro ($p=1$) sia ricorrente.

• Per angoli della moneta $\theta$ nell'intervallo $(\theta^*, \pi/2)$, dove $\theta^* \approx 0.2892\pi$, la probabilità di ricorrenza $R(p)$ è non monotona. Inizialmente diminuisce all'aumentare di $p$ da 0, formando un "avvallamento" (dip), prima di salire infine a 1 quando $p \to 1$.
• Questo comportamento è identificato come una caratteristica robusta del limite asintotico, non un effetto transitorio di un tempo di simulazione finito.

2. Ruolo dell'Interferenza e della Decoerenza:
   La soppressione della ricorrenza è attribuita all'interazione tra interferenza quantistica e casualità classica. Nell'area dell'avvallamento, l'aggiunta di passi classici interrompe i specifici pattern di interferenza della camminata unitaria in un modo che riduce la probabilità di ritorno, anche se la camminata classica stessa è ricorrente.

• Al contrario, per il modello alternativo che interpola tra una QW e una RW correlata (dove lo stato della moneta viene misurato, causando decoerenza), la probabilità di ricorrenza è una funzione a gradino: $R(p) = 1$ per qualsiasi $p > 0$. Gli autori concludono che qualsiasi quantità di decoerenza dello stato della moneta impone un comportamento di ricorrenza classica.

3. Framework Numerico:
   Il documento fornisce un robusto framework numerico utilizzando le funzioni generatrici per valutare la ricorrenza nei sistemi quantistici aperti. Questo metodo permette di investigare le proprietà asintotiche che sono inaccessibili tramite le normali simulazioni di evoluzione temporale, dimostrando che la soppressione osservata è una caratteristica asintotica reale.

Significatività
Il documento sostiene che questi risultati sfidano l'intuizione secondo cui l'aggiunta di rumore classico a un sistema quantistico colleghi semplicemente i comportamenti quantistici e classici in modo monotono. Invevese, dimostra che specifici regimi di interazione quantistico-classica possono produrre caratteristiche di prestazione (in questo caso, ridotta ricorrenza) che sono distinte sia dal limite puramente quantistico che da quello puramente classico.

Gli autori suggeriscono che questo comportamento implichi che la casualità classica possa essere benefica per certi compiti che coinvolgono le camminate quantistiche a tempo discreto e misurazioni parziali, come sottoprogrammi in algoritmi quantistici, potenzialmente sopprimendo ritorni indesiderati o alterando le proprietà di trasporto. Il lavoro evidenzia che il meccanismo specifico con cui viene introdotta la stocasticità (ad esempio, spostamenti incoerenti rispetto alla decoerenza della moneta) è cruciale nel determinare le proprietà di ricorrenza della camminata.

Lo studio rimane modesto riguardo alla realizzazione sperimentale, notando che, sebbene le implementazioni fotoniche e i qubit superconduttori con readout mid-circuit offrano percorsi potenziali, i livelli di rumore attuali nei dispositivi NISQ presentano sfide significative per dimostrare questi effetti sull'intero numero di passi necessario.