Quantum random walks on d-regular graphs with Haar-random coin operators

Sintesi Tecnica: Cammini Casuali Quantistici su Grafi d-regolari con Operatori di Moneta Haar-Random

Enunciato del Problema
Il saggio investiga i cammini casuali quantistici a tempo discreto (QRW) su grafi connessi semplici d-regolari. I QRW standard utilizzano un operatore di moneta unitario fisso (ad esempio, Hadamard o Grover) per indurre interferenza, portando a una diffusione balistica ($\sigma^2 \propto t^2$) distinta dai cammini casuali classici ($\sigma^2 \propto t$). Gli open quantum walks, che introducono decoerenza, tipicamente ritornano a un comportamento diffusivo classico. Questo lavoro affronta una variante specifica: un QRW in cui l'operatore di moneta non è fisso ma viene scelto indipendentemente da una distribuzione uniforme sul gruppo unitario $U(d)$ rispetto alla misura di Haar ad ogni iterazione. La questione centrale è come questa moneta "Haar-random" influenzi la dinamica, specificamente se il canale mediato risultante porti a una depolarizzazione completa (cancellando tutta l'informazione dello stato iniziale) o se strutture specifiche permettano la persistenza dell'informazione dello stato iniziale nonostante la decoerenza.

Metodologia
Gli autori costruiscono il cammino su uno spazio di Hilbert bipartito $\mathbb{C}^d \otimes \mathbb{C}^N$, dove $d$ rappresenta lo spazio della moneta (grado del grafo) e $N$ rappresenta lo spazio dei vertici.

1. Definizione del Modello: Il cammino è definito dall'iterazione di un operatore unitario $\hat{U} = \Lambda_S (\hat{C} \otimes \hat{I}_N)$, dove $\Lambda_S$ è un operatore di shift controllato determinato dalle funzioni di etichettatura degli archi del grafo $w(j, v)$, e $\hat{C}$ è l'operatore di moneta.
2. Moneta Haar-Random: Invece di una $\hat{C}$ fissa, l'operatore di moneta $\hat{V}$ è scelto indipendentemente ad ogni passo $t$ dalla misura di Haar $\mu_H$ su $U(d)$.
3. Canale Mediato: Per analizzare il sistema, gli autori calcolano il valore di aspettazione del canale quantistico rispetto alla distribuzione degli operatori di moneta. Utilizzando la proprietà che per ogni operatore $O$, $E_{U \in \mu_H}[U O U^\dagger] = \frac{\text{tr}(O)}{d} \hat{I}_d$, derivano il "canale quantistico mediato" $\bar{E}_{SV}$. Questo canale agisce sullo operatore di densità $\rho$ depolarizzando lo spazio della moneta pur applicando uno shift probabilistico allo spazio dei vertici.
4. Analisi Spettrale: Gli autori analizzano lo spettro del superoperatore del canale mediato, guardando specificamente ai punti fissi (autovalore 1) e alle orbite di periodo 2 (autovalore -1). Esaminano questo per casi specifici: il grafo ciclo, l'ipercubo e i grafi di Cayley generali di gruppi Abeliani finiti.
5. Stima della Varianza: Il saggio stima la varianza delle misure della posizione del vertice per un insieme di tali cammini per determinare il comportamento di diffusione.

Contributi Chiave e Risultati

• Depolarizzazione vs. Ritenzione dell'Informazione: Il canale mediato $\bar{E}_{SV}$ agisce come un canale di depolarizzazione sullo spazio della moneta, distruggendo efficacemente la coerenza all'interno dello spazio della moneta. Di conseguenza, la distribuzione della posizione del vertice per un insieme di cammini somiglia a un cammino casuale classico con una moneta equa (o dadi bilanciati a $d$ facce), mostrando una diffusione dove la varianza cresce linearmente con il tempo ($\sigma^2 \propto t$).
• Non Ergodicità: Un risultato primario è che il canale mediato non è ergodico. A differenza dei tipici canali decoerenti che convergono verso un unico punto fisso (lo stato massimamente miscelato), questo canale possiede molteplici punti fissi nello spazio degli operatori di densità. Il numero di punti fissi linearmente indipendenti è uguale al numero di vertici $N$ (o l'ordine del gruppo per i grafi di Cayley).
• Persistenza dell'Informazione dello Stato Iniziale: Nonostante lo spazio della moneta sia depolarizzato, il saggio dimostra che le misure nello spazio dei vertici possono rivelare informazioni sullo stato quantistico iniziale anche dopo molte iterazioni.
  • Grafi Ciclo e Ipercubo: Per questi grafi specifici (grafi di Cayley di gruppi Abeliani), gli autori mostrano che se lo stato iniziale è una sovrapposizione di specifici stati della base di Fourier (ad esempio, $|k\rangle_F$ e $|k + N/2\rangle_F$ per il ciclo, o $|\tilde{0}\rangle_F$ e $|\tilde{1}\rangle_F$ per l'ipercubo), i termini fuori diagonale nella matrice di densità possono persistere.
  • Autovalore -1: L'informazione persiste se il canale possiede autostati con autovalore $-1$. Ciò avviene per i grafi di Cayley di gruppi Abeliani solo se tutti gli elementi di gruppo non identità hanno ordine pari. In tali casi, i termini fuori diagonale oscillano (orbite di periodo 2) invece di decadere, permettendo di recuperare l'angolo della sovrapposizione iniziale tramite le misure nei vertici.
  • Misure di Correlazione: Anche nei casi in cui gli autovalori sono strettamente inferiori a 1 in modulo (assenza di orbite di periodo 2), il saggio sostiene che, mentre la distribuzione della posizione del vertice si avvicina all'uniformità, le misure delle correlazioni tra coppie di vertici possono ancora rivelare l'angolo di sovrapposizione iniziale $\theta$. Questo perché il canale è dephasing nella base di Fourier, non nella base dei vertici.
• Comportamento della Varianza: Il saggio calcola che per uno stato inizialmente localizzato, la varianza delle misure della posizione del vertice aumenta linearmente con il numero di iterazioni ($\sigma^2 \sim t$), confermando il recupero del comportamento diffusivo classico per l'insieme, distinto dalla diffusione balistica dei QRW coerenti.

Significato e Rivendicazioni
Il saggio sostiene che questo modello serve come un esempio specifico di un sistema bipartito a forte interazione dove un sottosistema (la moneta) è fortemente perturbato (depolarizzato) da un ambiente simile a un serbatoio ad alta temperatura, eppure l'informazione sullo stato iniziale nel sottosistema dell'altro (il camminatore/vertice) rimane potenzialmente misurabile per sempre.

Gli autori dichiarano esplicitamente che, a causa della decoerenza introdotta dalla moneta Haar-random, questi cammini non sono utili per algoritmi di ricerca quantistica, che si basano sulla diffusione balistica di stati coerenti. Invece, la significatività di questo lavoro risiede nel:

1. Fornire un quadro teorico per comprendere sistemi quantistici con sottosistemi fortemente perturbati.
2. Illustrare come il comportamento di un cammino casuale classico (diffusione) possa emergere da un processo unitario quantistico attraverso la mediazione su una specifica distribuzione.
3. Dimostrare che la "decoerenza" in un sottospazio specifico non implica necessariamente la perdita totale dell'informazione dello stato iniziale se il canale globale è non ergodico e possiede specifiche proprietà spettrali (autovalori di -1 o specifiche strutture di dephasing).

Il lavoro è presentato come un'esplorazione teorica che utilizza strumenti analitici (canali mediati, analisi di Fourier su gruppi Abeliani) e illustrazioni numeriche, senza proporre nuovo hardware sperimentale o applicazioni pratiche immediate oltre alla modellazione di sistemi quantistici rumorosi.