Continuous-time quantum walk-based ansätze on neutral atom hardware

Sintesi Tecnica: Ansätze basati su cammini quantistici a tempo continuo su hardware a atomi neutri

Definizione del Problema
I cammini quantistici a tempo continuo (CTQW) offrono accelerazioni dimostrabili per specifici problemi computazionali, come la ricerca non strutturata e l'ottimizzazione, raggiungendo spesso una convergenza super-quadratica. Tuttavia, tradurre questi vantaggi teorici in hardware quantistico near-term rimane una sfida. Le implementazioni esistenti affrontano limitazioni: le dimostrazioni basate sulla base di posizione (ad esempio, in sistemi fotonici o ionici) spesso mancano del pieno spazio di Hilbert computazionale o della flessibilità necessaria per adattarsi alle strutture dei problemi, mentre gli approcci basati su gate (ad esempio, QAOA su processori superconduttori) richiedono tipicamente termini di penalità o post-selezione per imporre vincoli, comportando un overhead significativo. Inoltre, sebbene gli algoritmi basati su CTQW operino in un regime non adiabatico che può saturare i limiti fondamentali di velocità quantistica, dimostrare ciò su dispositivi NISQ (Noisy Intermediate-Scale Quantum) è difficile a causa dei vincoli di coerenza e della complessità dell'ottimizzazione dei parametri variazionali.

Metodologia
Gli autori implementano ansätze variazionali basati su CTQW su QuEra's Aquila, un processore analogico ad atomi neutri. L'approccio sfrutta il blocco di Rydberg per imporre naturalmente i vincoli, mappando il problema in un sottospazio di insiemi indipendenti di un grafo.

1. Design dell'Ansatz: Lo studio utilizza un ansatz "phase-walk", una sequenza alternata di un'unitarietà di mixing (il generatore del CTQW $\hat{G}$) e di un'unitarietà di separazione di fase ($\hat{C}$). Il grafo di mixing è definito dagli insiemi indipendenti di un anello a $N$ vertici (un cubo di Lucas), dove gli archi collegano stati con una distanza di Hamming pari a 1.
2. Stati Target: Vengono preparati due classi di stati target:
   • Stati di Prodotto: Stati specifici della base computazionale (ad esempio, $z_{half}$ e massimi insiemi indipendenti $z_{MIS}$), che fungono da benchmark per la preparazione di soluzioni a bassa entanglement.
   • Stati Bracelet: Superposizioni simmetriche su tutti gli stati della base correlati dalle simmetrie diedriche del grafo ad anello. Questi rappresentano stati entangled all'interno del sottospazio vincolato.
3. Strategie di Ottimizzazione:
   • Per gli stati di prodotto, gli autori derivano espressioni in forma chiusa per i parametri di controllo quasi-ottimali ($\tau_0, \tau_1$) basandosi su un argomento di "fast-forward". Questi punti iniziali analitici vengono trasferiti direttamente all'hardware con una calibrazione minima.
   • Per gli stati bracelet, un protocollo di ottimizzazione sfrutta le proprietà spettrali della dinamica del cammino. Il tempo di evoluzione richiesto è determinato dall'inverso del gap spettrale ($\Delta_{min}$) piuttosto che dall'inverso del quadrato, distinguendosi dai protocolli adiabatici.
4. Implementazione Hardware: La dinamica astratta del CTQW viene mappata sul Hamiltoniano di Rydberg tempo-dipendente. L'unitarietà di mixing è implementata tramite drive di Rabi, mentre il separatore di fase è realizzato attraverso detuning locale (per gli stati di prodotto) o salti di fase globali nel drive di Rabi (per gli stati bracelet). Il blocco di Rydberg restringe naturalmente l'evoluzione al sottospazio degli insiemi indipendenti.
5. Verifica: Per confermare la coerenza degli stati bracelet preparati (distinguendoli da miscele incoerenti), gli autori impiegano la dinamica di quench, osservando l'evoluzione temporale degli stati preparati sotto l'Hamiltoniano del cammino.

Risultati Chiave

• Preparazione degli Stati di Prodotto: Su Aquila, l'hardware riproduce con successo la convergenza super-quadratica caratteristica degli algoritmi CTQW efficienti a basse profondità di circuito. Per i target $z_{half}$, il fattore di amplificazione scala con la dimensione del problema $|V|$ con un esponente $\alpha$ corrispondente a ordini di accelerazione polinomiale efficace di $n \approx 4$ a profondità $p=1$ e $n \approx 8$ a $p=2$. Per i target $z_{MIS}$, la dinamica ideale prevede un'amplificazione prossima all'unità; i risultati hardware mostrano una forte scalabilità a $p=1$ ($n \approx 5.6$), sebbene le prestazioni degradino a $p=2$ a causa dell'accumulo di errori di fase derivanti dal detuning locale.
• Preparazione degli Stati Bracelet: Lo studio verifica che il tempo di evoluzione richiesto per la preparazione ad alta fedeltà scala inversamente con il gap spettrale ($\tau_{eff} \propto 1/\Delta_{min}$), confermando il vantaggio non adiabatico rispetto ai protocolli adiabatici ($\tau \propto 1/\Delta_{min}^2$). Sebbene le interazioni di van der Waals nel sistema di Rydberg comprimano i gap spettrali effettivi (richiedendo tempi di cammino più lunghi), la relazione di scalabilità è preservata.
• Verifica della Coerenza: La dinamica di quench sugli stati bracelet preparati mostra che le popolazioni osservate derivano da superposizioni coerenti. La dinamica dell'hardware segue qualitativamente l'emulazione noiseless, sebbene le deviazioni a tempi più lunghi siano attribuite al dephasing e a violazioni perturbative del blocco.
• Limiti di Scalabilità: Gli autori identificano un punto di crossover in cui il rumore sopprime la convergenza. Per gli stati bracelet, i target con gap spettrali più piccoli richiedono tempi di evoluzione più lunghi che eccedono il tempo di dephasing effettivo ($T_2^* \approx 1.07 \mu s$) dell'hardware, portando a una perdita del vantaggio di scalabilità per determinati target (ad esempio, bracelet $z_{half}$) rispetto a quelli con gap più grandi (ad esempio, bracelet $z_{MIS}$).

Significatività
Il lavoro stabilisce un percorso pratico dai algoritmi di cammino quantistico astratti verso i processori quantistici analogici. Dimostra che le dinamiche alla base dei potenziali accelerazioni quantistiche super-quadratiche sono accessibili su attuali dispositivi ad atomi neutri senza la necessità di complessa decomposizione in gate o pesante correzione degli errori. Utilizzando il blocco di Rydberg per imporre nativamente i vincoli, il lavoro mostra che l'hardware analogico può implementare efficientemente il pieno ansatz phase-walk, dove sia l'imposizione dei vincoli che il mixing sono "gratuiti" in termini di overhead dei gate. I risultati confermano che gli ansätze basati su CTQW possono esibire la caratteristica convergenza super-quadratica su hardware NISQ, fornendo una base per future applicazioni nella ottimizzazione combinatoria vincolata e nella preparazione di stati entangled.