Quantum optimal control of the Dicke manifold in Rydberg atom arrays

Sintesi Tecnica: Controllo Ottimale Quantistico del Manifold di Dicke in Array di Atomi Rydberg

Problematica
La sfida centrale affrontata riguarda l'ingegneria e il controllo degli stati quantistici all'interno del sottospazio completamente simmetrico (il manifold di Dicke) di $N$ qubit. Sebbene questo sottospazio sia cruciale per il sensing quantistico, la metrologia e l'elaborazione dell'informazione basata su qudit, la preparazione generica degli stati è impraticabile a causa della crescita esponenziale del pieno spazio di Hilbert ($2^N$). Una piattaforma fisica promettente per realizzare il controllo collettivo è un array di atomi Rydberg che interagiscono tramite dipoli elettrici. Tuttavia, a differenza dei modelli idealizzati a accoppiamento all-to-all (ad esempio, nella QED a cavità), i reali array Rydberg in reticoli 2D presentano interazioni a corto raggio (che scalano come $1/r^3$). Questo raggio finito rompe la perfetta simmetria di permutazione, causando il "leakage" (dispersione) del sistema dal sottospazio computazionale simmetrico verso lo spazio di Hilbert non simmetrico, che è esponenzialmente grande. Gli algoritmi standard di controllo ottimale quantistico (QOC) diventano computazionalmente intrattabili quando applicati al pieno spazio di Hilbert per $N$ medio-grandi, e le strategie di controllo naive che ignorano il leakage falliscono nel produrre stati ad alta fedeltà quando implementate sul sistema fisico reale.

Metodologia
Gli autori propongono un framework che combina il Controllo Ottimale Quantistico (QOC) con una nuova tecnica di troncamento chiamata Irreducible Representation Distillation (IRD).

1. Irreducible Representation Distillation (IRD):

   • Il totale spazio di Hilbert viene decomposto in rappresentazioni irriducibili (irrep) di $SU(2)$, dove il sottospazio simmetrico corrisponde allo spin massimo $J=N/2$.
   • L'Hamiltoniana di interazione a corto raggio ($\hat{H}_{int}$) è trattata come una perturbazione di un'Hamiltoniana "gapped" One-Axis Twisting (OAT) ($\hat{H}_{gOAT}$), che possiede simmetria $U(1)$ e numeri quantici $J$ esatti.
   • L'IRD identifica le specifiche irrep "distillate" che si accoppiano al sottospazio simmetrico tramite questa perturbazione. Risolvendo per i vettori di accoppiamento (utilizzando operatori tensoriali sferici generalizzati), il metodo costruisce uno spazio di Hilbert troncato ($H_D^{(x)}$) che include il sottospazio simmetrico target e i sottospazi di leakage specifici (irrep ausiliarie) rilevanti a un dato ordine perturbativo.
   • Fondamentalmente, la dimensione di questo spazio troncato scala linearmente con $N$ (ad esempio, $3(N-1)$ per l'IRD del primo ordine), rendendo il problema computazionalmente trattabile per $N \approx 19$.

2. Protocolli di Controllo (GrAPE):

   • Gli autori utilizzano il Gradient Ascent Pulse Engineering (GrAPE) per ottimizzare le forme d'onda di controllo dipendenti dal tempo (frequenza di Rabi globale $\Omega(t)$ e fase $\phi(t)$).
   • Vengono confrontate tre strategie di controllo:
     • Controllo Naive: Minimizza l'infedeltà senza penalizzare la popolazione nei sottospazi di leakage.
     • Controllo Globale con Penalità di Leakage: Minimizza una funzione di costo $C = 1 - F + P_x$, dove $P_x$ penalizza la popolazione nel sottospazio di "escape" (fuga) del modello troncato.
     • Controllo Locale con Penalità di Leakage: Introduce un debole campo locale disomogeneo $\omega(t)$ accoppiato alla forza di interazione dei singoli atomi per pompare attivamente la popolazione dispersa nuovamente nel sottospazio simmetrico.

Contributi Chiave

• Sviluppo di IRD: Il lavoro introduce l'IRD come un metodo per definire uno spazio di Hilbert troncato a scalamento lineare che cattura la dinamica del leakage dal manifold di Dicke dovuto alle interazioni a corto raggio. Ciò consente la simulazione del QOC su sistemi in cui la diagonalizzazione esatta è impossibile.
• Controllo Consapevole del Leakage (Leakage-Aware): Gli autori dimostrano che l'inserimento di una penalità di leakage nella funzione di costo è essenziale. Il controllo naive produce fedeltà artificialmente alte nei modelli troncati, ma fallisce catastroficamente quando testato contro la dinamica esatta o modelli IRD di ordine superiore.
• Benchmarking di Stati di Risorsa: Lo studio valuta sistematicamente la preparazione di stati GHZ (Greenberger-Horne-Zeilinger), stati di Dicke ($|D_k\rangle$) ed Extremal Quantum States (EQS) in array di Rydberg per $N$ fino a 19.

Risultati

• Stati GHZ e W ($|D_1\rangle$): Utilizzando il controllo globale con penalità di leakage su un modello IRD del primo ordine, gli autori ottengono alte fedeltà ($F \geq 0.975$) per gli stati GHZ e W con $N=14$ e $N=19$. Questi risultati sono competitivi con i protocolli basati su circuiti gate e superano significativamente l'evoluzione passiva sotto l'Hamiltoniana di interazione.
• Stati di Dicke di ordine superiore ($|D_k\rangle, k>1$): All'aumentare della complessità dello stato target (maggiore $k$), l'infedeltà cresce con la dimensione del sistema. Mentre il controllo globale fatica, l'aggiunta dell'indirizzamento locale (controllo locale) fornisce miglioramenti marginali ma significativi per stati difficili come $|D_3\rangle$, riducendo l'infedeltà da $\approx 6 \times 10^{-2}$ a $\approx 3 \times 10^{-2}$ per $N=14$.
• Stati Quantistici Estremi (EQS): Il controllo degli EQS risulta intrattabile. La funzione di costo non converge a zero e si verifica una significativa perdita di popolazione nello spazio di Hilbert esteso. Ciò suggerisce che il controllo globale con interazioni dipolari a corto raggio non può raggiungere la controllabilità universale sul sottospazio simmetrico per stati altamente entanglementati e non polarizzati.
• Limiti di Velocità Quantistica (QSL): La presenza di leakage e interazioni a corto raggio aumenta il QSL (tempo e complessità richiesti) rispetto ai modelli ideali all-to-all. Tuttavia, lo scaling rimane lineare con la dimensione del sistema ($VT \propto N$), indicando che il limite fondamentale di velocità è preservato nonostante la complessità aggiunta per contrastare il leakage.
• Fattibilità Fisica: Gli autori calcolano una figura di merito di velocità ($\eta$) per varie piattaforme Rydberg (Rb, Cs). Concludono che, per i tipici parametri sperimentali, il tempo di vita finito degli stati Rydberg (leakage fuori dal manifold dei qubit) è la fonte dominante di errore, ma l'attenuazione di ampiezza (bit-flip) è trascurabile. I tempi di controllo richiesti sono realizzabili entro la vita collettiva dell'ensemble.

Significatività e Rivendicazioni
Il lavoro sostiene che l'IRD fornisca un quadro perturbativo rigoroso per simulare e controllare sistemi quantistici molti-corpo con interazioni a corto raggio, bypassando lo scaling esponenziale del pieno spazio di Hilbert. La principale significatività risiede nel dimostrare che il controllo globale consapevole del leakage può generare stati di risorsa ad alta fedeltà (stati GHZ, W) in array Rydberg realistici senza richiedere l'implementazione sperimentalmente impegnativa del pieno indirizzamento dei singoli atomi.

Gli autori notano con modestia che, sebbene il loro metodo permetta la preparazione di molti stati desiderabili, non raggiunge il controllo universale su l'intero sottospazio simmetrico, in particolare per stati altamente complessi come gli EQS. Attribuiscono questa limitazione ai vincoli topologici del gruppo unitario generato dall'Hamiltoniana a corto raggio, che differisce dal caso ideale all-to-all. Il lavoro suggerisce che per stati di risorsa altamente dettagliati, una forma di indirizzamento locale potrebbe essere necessaria, ma per molte applicazioni pratiche, il controllo globale aumentato da penalità di leakage è sufficiente. Il lavoro conclude che man mano che le piattaforme sperimentali scaleranno verso reticoli 3D o dimensioni superiori (avvicinandosi al regime a lungo raggio forte), l'efficacia di questi protocolli di controllo basati su IRD probabilmente migliorerà ulteriormente.