Constrained Counterdiabatic Quantum Approximate Optimization Algorithm for Portfolio Optimization

Riepilogo Tecnico: Algoritmo Quantistico Approssimato di Ottimizzazione Controadiabatico Vincolato per l'Ottimizzazione di Portafoglio

Enunciato del Problema
Il documento affronta la sfida di risolvere problemi di ottimizzazione combinatoria vincolati su hardware quantistico a breve termine, focalizzandosi specificamente sull'ottimizzazione di portafoglio. Nel framework di Markowitz media-varianza, l'obiettivo è bilanciare i rendimenti attesi contro il rischio (covarianza) soddisfacendo al contempo un vincolo di bilancio rigido (selezionare esattamente $B$ asset su $N$).

Le implementazioni standard dell'Algoritmo Quantistico Approssimato di Ottimizzazione (QAOA) incontrano ostacoli significativi in questo dominio:

1. Gestione dei Vincoli: I mixer a campo trasverso standard non preservano il peso di Hamming (il numero di asset selezionati), causando all'algoritmo l'esplorazione di regioni non ammissibili dello spazio di Hilbert. Sebbene i metodi basati su penalità formino i vincoli, distorcono lo spettro energetico e creano piccoli gap efficaci, ostacolando la convergenza.
2. Transizioni Diabatiche: Nei circuiti superficiali (bassa profondità $p$), l'interpolazione tra i mixer e gli Hamiltoniani di costo è non adiabatica. Ciò porta a transizioni diabatiche che riducono la sovrapposizione tra lo stato preparato e il vero stato fondamentale, in particolare in problemi con grafi di interazione densi (matrici di covarianza) e scale energetiche in competizione.
3. Paesaggi di Ottimizzazione: Il paesaggio variazionale per problemi vincolati è spesso difficile da navigare, soffrendo di plateau sterili e di una lenta convergenza dell'ottimizzatore classico.

Metodologia
Gli autori propongono il CCD-QAOA (Constrained Counterdiabatic QAOA), che integra la guida controadiabatica (CD) nel framework QAOA per sopprimere le transizioni diabatiche mantenendo al contempo la soddisfazione dei vincoli.

1. Mixer Conservativo del Vincolo: L'algoritmo utilizza un mixer XY ($H_{XY}^M = \sum_{i<j} (X_i X_j + Y_i Y_j)$) e inizializza il sistema in uno stato di Dicke (una sovrapposizione uguale di tutti gli stati con peso di Hamming $B$). Ciò garantisce che la dinamica rimanga strettamente all'interno del sottospazio ammissibile dei portafogli validi.
2. Guida Controadiabatica Variazionale: Per contrastare le transizioni non adiabatiche intrinseche nell'evoluzione a profondità finita, gli autori costruiscono un Potenziale di Gauge Adiabatico (AGP) approssimato.
   • Invece di utilizzare l'AGP esatto e non locale, impiegano un ansatz variazionale basato su commutatori annidati dell'Hamiltoniano di costo ($H_C$) e del mixer ($H_{XY}^M$).
   • Il commutatore $[H_C, H_{XY}^M]$ genera naturalmente stringhe di Pauli a tre corpi (ad esempio, $X_i Y_j Z_k - Y_i X_j Z_k$).
   • L'ansatz risultante del potenziale di gauge ($A_\lambda^*$) include sia termini a due corpi (dall'algebra XY) sia termini a tre corpi derivati dallo sviluppo del commutatore.
3. Costruzione del Circuito: L'ansatz CCD-QAOA potenzia i livelli QAOA standard. Per una profondità $p$, lo stato è preparato come:
   $$|\psi_{CD}\rangle = \prod_{k=1}^p e^{-i\eta_k H_{CD}} e^{-i\beta_k H_{XY}^M} e^{-i\gamma_k H_C} |D_B^N\rangle$$
   Qui, $H_{CD}$ è generato dagli operatori di potenziale di gauge troncati, e $\eta_k$ sono nuovi parametri variazionali ottimizzati classicamente.
4. Ottimizzazione: I coefficienti per il potenziale di gauge sono determinati minimizzando la norma di Frobenius dell'operatore $G(A_\lambda) = \partial_\lambda H + i[A_\lambda, H]$. I parametri variazionali ($\gamma, \beta, \eta$) sono ottimizzati per minimizzare il valore di aspettazione dell'Hamiltoniano di costo, utilizzando il Value-at-Risk Condizionale (CVaR) come funzione obiettivo per concentrarsi su soluzioni di alta qualità.

Contributi Chiave

• Costruzione Sistematica degli Operatori CD: Il documento fornisce un metodo principiato per generare operatori controadiabatici fisicamente rilevanti per problemi vincolati sfruttando l'algebra degli operatori strutturata tra l'Hamiltoniano di costo e il mixer conservativo del vincolo.
• Strategia di Troncamento: Gli autori dimostrano che troncare il potenziale di gauge ai termini a tre corpi offre un compromesso favorevole tra espressività e complessità del circuito. Mostrano che questi termini catturano le correzioni di ordine principale necessarie per gestire la rotazione della base correlata indotta dal mixer XY e le interazioni di Ising dense.
• Valutazione delle Prestazioni: Il lavoro valuta il CCD-QAOA rispetto al QAOA standard con mixer XY, al QAOA con mixer di Grover e alle formulazioni QAOA basate su penalità.

Risultati
Le simulazioni numeriche su istanze di portafoglio generate casualmente ($N=12$, $B=4$) con matrici di covarianza dense hanno prodotto quanto segue:

• Rapporti di Approssimazione Migliorati: Per una profondità di circuito $p$ fissa, l'approccio CCD-QAOA raggiunge costantemente rapporti di approssimazione più elevati rispetto al QAOA standard con mixer XY, al QAOA con mixer di Grover e ai metodi basati su penalità.
• Probabilità di Successo: Sebbene l'inclusione di termini CD a tre corpi introduca una leggera fuoriuscita nel sottospazio non ammissibile (riducendo la probabilità di successo rispetto a un QAOA con mixer XY puro che rimane a 1.0), il CCD-QAOA supera comunque gli approcci basati su penalità in termini di probabilità di successo.
• Compromessi: Le prestazioni migliorate comportano una maggiore complessità del circuito. L'approccio CD richiede parametri variazionali aggiuntivi e risulta in conteggi di porte CNOT più elevati e profondità di circuiti trasposti rispetto al QAOA standard. Tuttavia, rimane più scalabile rispetto agli approcci con mixer di Grover.
• Sensibilità del CVaR: I risultati indicano che valori di CVaR più piccoli (focalizzandosi sulla coda della distribuzione) generalmente producono rapporti di approssimazione migliori attraverso tutti i metodi.

Significato e Affermazioni
Gli autori affermano che il loro lavoro stabilisce un framework unificante per migliorare le prestazioni del QAOA in paesaggi di ottimizzazione strutturati. Il significato principale risiede nel dimostrare che:

1. I problemi vincolati possiedono algebre di operatori strutturate che possono essere sfruttate per costruire ansätze controadiabatici efficienti, andando oltre la progettazione euristica.
2. Le correzioni controadiabatiche possono migliorare sistematicamente i rapporti di approssimazione nel regime di circuiti superficiali sopprimendo le transizioni diabatiche, anche quando i vincoli sono rigorosamente imposti tramite mixer.
3. La connessione tra potenziali di gauge adiabatici e circuiti quantistici variazionali fornisce un percorso per identificare i generatori fisicamente più rilevanti (in questo caso, termini a tre corpi) necessari per navigare complessi paesaggi energetici senza richiedere circuiti proibitivamente profondi.

Il documento conclude che, sebbene il metodo introduca un sovraccarico classico e quantistico, il miglioramento sistematico nella qualità della soluzione per l'ottimizzazione di portafoglio vincolata suggerisce una via praticabile verso un'ottimizzazione quantistica migliorata su dispositivi a breve termine, in particolare quando combinata con strategie come l'avvio caldo (warm-starting) o la selezione adattiva degli operatori.