Non-Abelian Thouless pumping based on the global adiabatic criterion in Rydberg synthetic lattices

Sintesi Tecnica: Pumping di Thouless Non-Abeliano in Reticoli Sintetici di Rydberg

Problematica
Il pumping di Thouless tipicamente converte la modulazione ciclica dei parametri in trasporto geometrico. Mentre il pumping abeliano si basa su fasi geometriche scalari (curvatura di Berry), il pumping non-abeliano avviene all'interno di sottospazi degeneri, dove le operazioni adiabatiche sono rappresentate da olonomie a valori matriciali (Wilczek-Zee). Una sfida critica nell'implementazione del pumping non-abeliano in sistemi quantistici è il vincolo del tempo finito: l'evoluzione adiabatica richiede una modulazione lenta per evitare la fuga verso stati "luminosi" (bright) non degeneri, ma un'evoluzione lenta esacerba la perdita di popolazione dovuta al decadimento radiativo e alla preparazione imperfetta degli stati in atomi di Rydberg. Gli schemi esistenti mancano spesso di un metodo robusto per ottimizzare la temporizzazione relativa degli impulsi di controllo per bilanciare l'adiabaticità rispetto alla decoerenza senza introdurre complessi accoppiamenti ausiliari.

Metodologia
Gli autori propongono un'implementazione quantistica del pumping di Thouless non-abeliano utilizzando un reticolo di Lieb sintetico codificato in dodici livelli di Rydberg di $^{39}\text{K}$ accoppiati tramite microonde.

• Costruzione del Sistema: Il reticolo consiste in tre celle unitarie, ciascuna contenente quattro stati ($|A_i\rangle, |B_i\rangle, |C_i\rangle, |D_i\rangle$), formando una struttura finita a tre celle. Gli accoppiamenti a microonde creano un hamiltoniana tight-binding con una struttura bipartita che supporta sei stati a energia zero degeneri. Questi stati costituiscono il sottospazio di lavoro, mentre gli altri stati "luminosi" agiscono come canali di fuga.
• Design del Protocollo: Due cicli di pumping elementari ($P_1$ e $P_2$) sono definiti da inviluppi di accoppiamento a microonde gaussiani. $P_2$ è derivato da $P_1$ invertendo l'ordine temporale degli impulsi $\Omega_C$ e $\Omega_D$. La composizione di questi cicli in ordini opposti ($\hat{U}_2\hat{U}_1$ rispetto a $\hat{U}_1\hat{U}_2$) è progettata per sondare la non-commutatività.
• Criterio Adiabatico Globale (GAC): Per affrontare i vincoli del tempo finito, gli autori introducono un GAC. Invece di aggiungere termini contro-diabatici, questo metodo ottimizza la temporizzazione relativa (parametro di ritardo $\alpha$) dei impulsi gaussiani all'interno di una famiglia fissa di impulsi. Il GAC valuta il fattore non-adiabatico locale $Q(t)$ su un passaggio di trasferimento di tipo $\Lambda$ rappresentativo. Seleziona la temporizzazione che minimizza sia il valore medio ($\bar{Q}$) che la fluttuazione temporale ($\sigma_Q^2$) di tale fattore, sopprimendo teoricamente la fuga verso gli stati luminosi.
• Simulazione: La dinamica è simulata utilizzando l'equazione master di Lindblad, incorporando il decadimento di Rydberg dipendente dallo stato (a 10 K), errori sistematici (ampiezza di Rabi, gradienti di detuning) e disordine statico.

Contributi Chiave

1. Schema di Implementazione: Il lavoro stabilisce un protocollo concreto per il pumping di Thouless non-abeliano in un reticolo di Rydberg sintetico finito, utilizzando i sei stati a energia zero di una geometria di Lieb a tre celle come sottospazio computazionale.
2. Ottimizzazione della Temporizzazione via GAC: Gli autori sviluppano e applicano il Criterio Adiabatico Globale per selezionare la temporizzazione ottimale dei impulsi gaussiani. Questo approccio evita la complessità dei protocolli di scorciatoia verso l'adiabaticità (che richiedono accoppiamenti ausiliari) ottimizzando strettamente la temporizzazione dei campi di controllo esistenti.
3. Dimostrazione della Non-Commutatività: Lo studio dimostra che invertire l'ordine temporale dei cicli di pumping produce mappe di popolazione proiettate distinte nel sottospazio a energia zero, confermando la natura non-commutativa delle operazioni adiabatiche a valori matriciali.
4. Analisi della Robustezza: Lo schema selezionato dal GAC si dimostra superiore a due schemi di impulsi gaussiani adattati dalla letteratura in termini di popolazione dello stato target e stabilità contro decadimento e perturbazioni.

Risultati

• Dinamica Dipendente dall'Ordine: Le simulazioni confermano che i cicli composti $\hat{U}_2\hat{U}_1$ e $\hat{U}_1\hat{U}_2$ producono stati finali differenti per le stesse condizioni iniziali (ad esempio, partendo da $|C_3\rangle$). Le mappe di trasferimento di popolazione nei sei dimensioni del basis computazionale differiscono significativamente, validando il carattere non-abeliano del trasporto.
• Performance del GAC: All'interno della stessa famiglia di impulsi gaussiani, la temporizzazione selezionata dal GAC ($\alpha \approx 0.18$) produce una popolazione dello stato target ($P_{tar}$) più elevata rispetto agli schemi di riferimento attraverso vari tempi di evoluzione totale. Lo schema GAC presenta curve di popolazione più fluide con ridotte oscillazioni a tempo finito.
• Robustezza: Sotto il decadimento di Rydberg dipendente dallo stato, errori globali di ampiezza di Rabi, gradienti di detuning deterministici e disordine statico su sito/accoppiamento, lo schema selezionato dal GAC mantiene una fedeltà più alta e mostra una degradazione più lenta rispetto agli schemi di riferimento. La dispersione dei risultati sotto disordine è più stretta per lo schema GAC.

Significatività
Il lavoro afferma che questa ricerca rappresenta una pietra miliare fondamentale nel controllo geometrico a tempo finito. Abilitando il pumping di Thouless non-abeliano con temporizzazione ottimizzata tramite il GAC, lo studio apre la strada ad applicazioni trasformative nel calcolo quantistico olistico utilizzando reticoli sintetici di Rydberg. I risultati supportano la fattibilità dei regimi di dimensioni sintetiche di Rydberg come un ambiente controllabile per operazioni coerenti in sottospazi di lavoro degeneri, affrontando specificamente il compromesso tra adiabaticità e decoerenza senza alterare la geometria fondamentale del pumping o la famiglia di impulsi.