Algebraic Reduction to Improve an Optimally Bounded Quantum State Preparation Algorithm

Sintesi Tecnica: Riduzione Algebrica per il Miglioramento di un Algoritmo di Preparazione di Stati Quantistici Ottimalmente Limitato

Enunciato del Problema
La Preparazione dello Stato Quantistico (QSP) è un sottoprogramma fondamentale richiesto da numerosi algoritmi quantistici, inclusi i risolutori di sistemi lineari, la simulazione Hamiltoniana, la chimica quantistica e il machine learning. La sfida principale risiede nel minimizzare la complessità del circuito (profondità, numero di gate e numero di CNOT) dell'operatore unitario $U$ che mappa lo stato iniziale $|0\rangle^{\otimes n}$ verso un desiderato stato target $|\psi\rangle = \sum c_i |i\rangle$. L'algoritmo proposto da Sun et al. (SUN) è noto per essere ottimamente limitato rispetto al trade-off spazio-temporale asintotico (utilizzando qubit ausiliari per ridurre la profondità), ma la sua implementazione prevede una decomposizione che utilizza tre operatori di tipo $\Lambda$ per ogni Gate Controllato Uniformemente (UCG). Questo articolo affronta l'opportunità di ridurre la profondità del circuito e il numero di gate dell'algoritmo SUN attraverso una decomposizione algebrica più efficiente, in particolare nel range parametrico in cui il numero di qubit ausiliari $m$ soddisfa $2^n \leq m \leq 2^n/n$.

Metodologia
Gli autori propongono un nuovo algoritmo di QSP, denominato OSUN, che introduce una decomposizione algebrica più semplice dell'operatore unitario. Il nucleo del cambiamento metodologico consiste nel separare la preparazione dello stato desiderato in due distinti blocchi unitari:

1. Parte Reale ($U_{mod}$): un unitario responsabile della preparazione dei moduli reali (ampiezze) dei coefficienti dello stato target.
2. Parte Complessa ($D_{ph}$): un unitario diagonale responsabile dell'applicazione delle fasi complesse necessarie.

Nel framework SUN tradizionale, ogni UCG nella struttura a scala viene decomposto in tre operatori di tipo $\Lambda$ (che gestiscono gli spostamenti di fase diagonali per le componenti reali e complesse separatamente). L'algoritmo OSUN proposto sfrutta il fatto che $U_{mod}$ richiede solo la preparazione di ampiezze reali. Limitando i UCG in questo blocco a matrici blocco-diagonali $R_y$ e utilizzando un cambiamento specifico dell'insieme di gate ($R_y(\gamma) \equiv SH \cdot R_z(\gamma) \cdot HS^\dagger$), gli autori dimostrano che ogni UCG nella preparazione della parte reale può essere implementato utilizzando un singolo operatore di tipo $\Lambda$ invece di tre. L'informazione della fase complessa viene poi applicata alla fine del circuito tramite un singolo operatore $\Lambda$ di massima dimensionalità.

Questa decomposizione permette la parallelizzazione delle operazioni sul registro ausiliario utilizzando lo stesso metodo di sommatoria nello spazio di Fourier a 5 stadi stabilito nelle precedenti implementazioni SUN, ma con un numero ridotto di costruttori $\Lambda$ per livello.

Contributi Chiave
Il documento delinea sei contributi specifici:

1. Ottimizzazione di SUN: Un nuovo algoritmo di QSP che migliora l'algoritmo SUN in termini di profondità e numero di gate nell'intero primo range del trade-off spazio-temporale ottimale definito da Sun et al. [40, Teorema 1].
2. Decomposizione Algebrica: Una derivazione che mostra come la separazione delle parti reali e complesse permetta a ogni UCG di essere implementato con un singolo costruttore di tipo $\Lambda$, riducendo il conteggio da tre a uno per livello di gate.
3. Limiti Asintotici Più Stretti: Un'analisi formale che fornisce limiti asintotici ottimali più stretti per il trade-off spazio-temporale nello specifico range parametrico.
4. Implementazione: La piena implementazione dell'algoritmo OSUN utilizzando la libreria PennyLane, resa disponibile su GitHub.
5. Verifica Estensiva: Una batteria completa di test eseguiti sul sistema HPC dell'Università di Parma, che copre stati densi e sparsi, coefficienti casuali (reali positivi, reali negativi, complessi) e stati fisicamente rilevanti (Bell, GHZ, W, Dicke) per conteggi di qubit fino a 10.
6. Analisi Comparativa: Un confronto diretto delle prestazioni con l'algoritmo di Möttönen et al. (lo standard per la QSP senza ausiliari) e l'implementazione originale di SUN, valutando metriche quali profondità, numero totale di gate, conteggio CNOT e tipi di gate.

Risultati
I risultati delle simulazioni indicano che l'algoritmo OSUN raggiunge una riduzione sistematica della profondità del circuito rispetto all'implementazione originale di SUN.

• Analisi della Complessità: L'analisi teorica conferma che, sebbene la classe di complessità asintotica rimanga $O(n^2 + 2^n/m)$, i prefattori dei termini dominanti sono significativamente ridotti. Nello specifico, il termine logaritmico-lineare ($n \log m$) mostra un miglioramento di un fattore 3, e il termine esponenziale ($2^n/m$) mostra un miglioramento di un fattore 2.
• Metriche di Simulazione: Per stati casuali con coefficienti complessi, OSUN dimostra una profondità minore a partire da 6 qubit rispetto sia all'originale SUN che all'algoritmo di Möttönen. La curva di crescita della profondità è più fluida rispetto alla versione originale.
• Conteggio dei Gate: Sebbene OSUN riduca la profondità, il numero totale di gate e CNOT non mostra una riduzione rispetto all'algoritmo di Möttönen. Tuttavia, gli autori notano uno spostamento nella composizione dell'insieme di gate: l'approccio di Möttönen utilizza CNOT e rotazioni, mentre OSUN utilizza CTON e spostamenti di fase (operatori diagonali).
• Fedeltà: L'algoritmo mantiene un'alta fedeltà (vicina a 1) e una bassa distanza di traccia attraverso tutti i tipi di stati e conteggi di qubit testati (da 2 a 10).

Significatività e Rivendicazioni
Il documento afferma che la proposta riduzione algebrica offre un miglioramento pratico allo stato dell'arte dell'algoritmo SUN senza alterare la sua fondamentale classe di complessità asintotica. Riducendo i fattori costanti nella profondità e nel numero di gate, OSUN fornisce un circuito più efficiente per la preparazione degli stati nel regime in cui sono disponibili qubit ausiliari ($m \geq 2^n$). Gli autori pongono questo lavoro come un raffinamento del trade-off spazio-temporale ottimale, evidenziando che la riduzione del numero di operatori $\Lambda$ (da 3 a 1 per UCG) è il driver primario del guadagno di prestazioni.

Gli autori dichiarano esplicitamente che questa ottimizzazione si applica a tutto il primo range parametrico del trade-off ottimale. Suggeriscono che il lavoro futuro potrebbe estendere questi benefici ad altri punti del dominio in cui i registri ausiliari crescono esponenzialmente. Il documento conclude notando che, sebbene OSUN migliori la profondità, le investigazioni future dovrebbero affrontare la connettività dei qubit sull'hardware reale e la traduzione di questi circuiti nell'insieme di gate Clifford+T per valutare pienamente la loro complessità in contesti fault-tolerant. Il lavoro non pretende di risolvere il problema generale della QSP per tutti i vincoli hardware, ma offre un miglioramento specifico e verificato del framework SUN utilizzando le strategie ausiliarie esistenti.