Experimental prime factorization via the feedback quantum control

Sintesi Tecnica: Fattorizzazione Primaria Sperimentale tramite Controllo Quantistico a Feedback

Enunciato del Problema
La fattorizzazione quantistica dei numeri primari affronta attualmente ostacoli significativi nell'era NISQ (Noisy Intermediate-Scale Quantum). Gli approcci basati su circuiti, come l'algoritmo di Shor, richiedono gate ad alta fedeltà e circuiti profondi ($O(l^3)$ gate con infedeltà estremamente basse), limitando le dimostrazioni a numeri molto piccoli. Al contrario, i metodi di ottimizzazione hamiltoniana (adiabatici, di annealing o variazionali) codificano i fattori come stati fondamentali degeneri di un hamiltoniano del problema ($H_p$). Tuttavia, questi metodi soffrono spesso di un'evoluzione lenta, requisiti rigorosi dello stato iniziale e della necessità di un costoso post-processing classico per determinare i parametri di controllo dipendenti dal tempo.

Metodologia: FALQON
Gli autori propongono e implementano FALQON (Feedback-based Algorithm for Quantum Optimization), un approccio iterativo, interamente quantistico e basato sulla misurazione.

• Meccanismo Core: FALQON utilizza uno schema iterativo di ispirazione lypunoviana. Invece di pre-calcolare i campi di controllo, l'algoritmo misura lo stato istantaneo del sistema quantistico ad ogni iterazione per determinare i parametri di guida per il passo successivo.
• Logica di Controllo: Il sistema evolve sotto un hamiltoniano totale $H_{total} = H_p + \beta(t)H_d$, dove $H_p$ è l'hamiltoniano del problema e $H_d$ è l'hamiltoniano di guida. Il parametro di controllo scalare $\beta_{j+1}$ per l'iterazione $j+1$ è determinato misurando il valore di aspettazione dell'osservabile commutatore $C = i[H_p, H_d]$ all'iterazione $j$. La regola di aggiornamento è $\beta_{j+1} = c \langle C \rangle_{\rho_j}$, dove $c$ è un fattore di scala. Ciò garantisce che l'energia $\langle H_p \rangle$ diminuisca monotonicamente (o converga asintoticamente) verso lo stato fondamentale.
• Implementazione Sperimentale: Gli autori implementano il metodo su un registro NMR a tre qubit utilizzando nuclei di $^{19}$F in 1,1,2-trifluoro-2-iodoetene.
  • Realizzazione dell'Hamiltoniano: L'hamiltoniano del problema per il biprimo 551 è realizzato tramite Calcolo Quantistico Digitale-Analogico (DAQC). Per mitigare la sensibilità alle imperfezioni dei impulsi, gli autori utilizzano la tecnica GRAPE (Gradient Ascent Pulse Engineering) per generare sequenze RF robuste.
  • Efficienza di Misura: Invece della tomografia completa dello stato, il metodo utilizza la "tomografia diagonale" per misurare efficientemente l'osservabile commutatore $\langle C \rangle$ e l'energia del sistema, richiedendo solo misurazioni lineari.
  • Stato Iniziale: A differenza dei metodi adiabatici che richiedono stati fondamentali specifici, FALQON parte dallo stato termico NMR, convertendolo in magnetizzazione trasversale senza una complessa preparazione di stati pseudopuri.

Contributi Chiave

1. Dimostrazione Sperimentale: Il lavoro riporta la prima fattorizzazione sperimentale di un numero biprimo (551) utilizzando un algoritmo quantistico basato sul feedback su un processore NMR.
2. Controllo All-Quantum: Il lavoro dimostra un metodo che elimina la necessità di calcolo classico per i parametri di guida una volta realizzato $H_p$, poiché il ciclo di feedback determina autonomamente il campo di controllo.
3. Analisi di Robustezza: Gli autori forniscono un'analisi dettagliata della resilienza dell'algoritmo contro errori del campo di controllo, inomogeneità RF e rumore casuale, confrontando favorevolmente FALQON rispetto ai metodi adiabatici e QAOA.
4. Proiezioni di Scalabilità: Attraverso simulazioni numeriche, gli autori dimostrano la scalabilità del metodo fattorizzando biprimi più grandi (9.167 e 2.106.287) utilizzando rispettivamente 5 e 9 qubit.

Risultati

• Fattorizzazione di 551: L'esperimento ha fattorizzato con successo 551 nelle sue componenti primarie, 19 e 29. Dopo 22 iterazioni, il sistema ha mostrato una chiara concentrazione di probabilità negli stati base corrispondenti a questi fattori (dopo inversione dei bit e padding). L'energia è diminuita e si è saturata, mentre la probabilità dello spazio delle soluzioni è salita da ~0,2 a ~0,4.
• Robustezza:
  • Rumore: FALQON ha dimostrato una convergenza più rapida del metodo adiabatico e meno oscillazioni rispetto a QAOA sotto errori di controllo casuali.
  • Imperfezioni degli impulsi: Lo studio ha confermato che, sebbene la realizzazione DAQC di $H_p$ sia sensibile alle imperfezioni dei impulsi $\pi$, l'implementazione ottimizzata tramite GRAPE è altamente robusta contro l'inomogeneità RF e l'ampiezza limitata.
  • Dimensione del Passo: L'analisi ha rivelato un compromesso: dimensioni del passo più piccole ($c=0,25$) offrono robustezza contro il rumore, mentre dimensioni del passo più grandi ($c=0,75$) aumentano la sensibilità al rumore, evidenziando l'importanza della selezione dei parametri.
• Troncamento: I risultati numerici per 9.167 e 2.106.287 hanno mostrato che gli hamiltoniani del problema "troncati" (contenenti meno termini rispetto all'espansione completa) mantengono gli stessi stati fondamentali degeneri, permettendo una fattorizzazione di successo con complessità ridotta.

Significato e Rivendicazioni
Il documento posiziona FALQON come un'alternativa valida alla fattorizzazione nel periodo NISQ, che evita i vincoli di profondità dei gate dell'algoritmo di Shor e l'overhead classico dei metodi variazionali. Gli autori affermano che il metodo è "interamente quantistico" nel suo controllo dinamico, poiché si affida esclusivamente alle misurazioni sperimentali per guidare il sistema. Enfatizzano che l'approccio è resiliente alle imperfezioni sperimentali e non richiede una specifica preparazione dello stato iniziale, rendendolo adatto alle attuali architetture NMR e potenzialmente ad altre. Il lavoro conclude che, sebbene la dimostrazione sperimentale sia limitata a numeri piccoli, la scalabilità numerica e la robustezza suggeriscono una via promettente per la fattorizzazione di interi più grandi, a patto che vengano sviluppati metodi di realizzazione dell'hamiltoniano efficienti e metodi di troncamento sistematici.