Improving initial-state-dependent quantum circuit optimization by introducing state labels

Titolo: Miglioramento dell'ottimizzazione dei circuiti quantistici dipendenti dallo stato iniziale mediante l'introduzione di etichette di stato

1. Il Problema

Nonostante i significativi progressi nell'hardware quantistico, l'esecuzione di algoritmi quantistici con il minimo costo (numero di porte) rimane una sfida critica a causa del rumore e delle limitazioni tecniche dei dispositivi attuali (NISQ).

• Rumore e Errori: Le operazioni quantistiche, in particolare le porte a due qubit (come le porte CNOT o CX), sono le principali fonti di errore. Minimizzare il numero di queste porte è essenziale per migliorare la fedeltà del calcolo.
• Limiti dell'Ottimizzazione Tradizionale: Le tecniche di ottimizzazione convenzionali mirano a mantenere l'equivalenza del circuito per qualsiasi input. Tuttavia, se un circuito è progettato per funzionare con stati iniziali specifici, alcune operazioni di controllo possono diventare ridondanti o banali per quegli stati particolari.
• Inefficienza dell'Aqcel Originale (v1): Il precedente ottimizzatore "Aqcel" (Advancing Quantum Circuit by icEpp and Lbnl) è un ottimizzatore dipendente dallo stato iniziale che rimuove porte ridondanti misurando gli stati dei qubit di controllo. Tuttavia, la versione v1 presentava due limiti principali:
  1. Eseguiva misurazioni ripetute per ogni operatore controllato, consumando risorse computazionali e tempo di esecuzione non necessari.
  2. Lasciava intatte coppie di porte CX ridondanti che si formavano dopo la decomposizione degli operatori multi-controllati, non riuscendo a rimuoverle completamente.

2. Metodologia

Gli autori hanno sviluppato una nuova versione dell'ottimizzatore, denominata Aqcel-v2, che introduce due miglioramenti fondamentali basati sulla gestione dello stato dei qubit:

A. State Label Manager (Gestore di Etichette di Stato)

Per evitare misurazioni ridondanti, Aqcel-v2 introduce un sistema di "etichette" che traccia lo stato dei qubit senza dover misurare fisicamente ogni volta.

• Funzionamento: Invece di memorizzare l'intero stato quantistico (impraticabile classicamente per molti qubit), il sistema assegna etichette semplificate a ciascun qubit:
  • 0 o 1: Stati computazionali definiti.
  • Bell: Qubit entangled in stati di tipo $\alpha|00\rangle + \beta|11\rangle$ o $\alpha|01\rangle + \beta|10\rangle$.
  • 0/1: Sovrapposizione di $|0\rangle$ e $|1\rangle$ non entangled.
  • unknown: Stato sconosciuto che richiede una misurazione.
• Logica: Se l'etichetta di un qubit di controllo è nota (es. 0, 1, o Bell con parità nota) e non cambia tra le operazioni, il sistema può determinare se un'operazione di controllo è ridondante senza eseguire una nuova misurazione fisica. Questo riduce drasticamente il tempo di ottimizzazione e previene errori dovuti al rumore delle misurazioni.

B. Rimozione di Coppie CX Ridondanti (CX-pair Removal)

Questa funzionalità sfrutta la struttura dei circuiti decomposti per eliminare porte a due qubit superflue.

• Contesto: Quando Aqcel decompona un operatore controllato multi-qubit, introduce porte RCCX (Toffoli a fase relativa) che appaiono in coppie (prima e dopo l'operatore controllato U).
• Meccanismo: Se una delle operazioni di controllo in una coppia RCCX viene rimossa come ridondante, le porte CX rimanenti possono diventare inutili, specialmente se il qubit target era inizializzato a $|0\rangle$ (tipicamente un qubit ancilla) e il suo stato non è cambiato tra le due porte CX.
• Azione: Il sistema identifica queste coppie, sposta il controllo dell'operatore U sul qubit di controllo originale e rimuove l'intera coppia CX, riducendo la profondità del circuito e l'accumulo di errori.

3. Contributi Chiave

1. Introduzione dello State Label Manager: Un algoritmo che traccia lo stato dei qubit tramite etichette simboliche, eliminando la necessità di misurazioni ripetute e riducendo il tempo di ottimizzazione di un fattore di circa 7 rispetto alla versione v1.
2. Algoritmo di Rimozione CX-pair: Una nuova procedura che identifica e cancella coppie di porte CX ridondanti generate durante la decomposizione, riducendo ulteriormente il numero di porte a due qubit.
3. Validazione Sperimentale: Applicazione e test dell'ottimizzatore su un algoritmo reale (Quantum Parton Shower - QPS) utilizzando sia simulatori che hardware quantistico reale (IBM ibm_fez).

4. Risultati

Gli esperimenti sono stati condotti su circuiti per l'algoritmo di "Quantum Parton Shower" (QPS) con 1 e 2 passi evolutivi ($N_{evol}$), eseguiti su un processore IBM Heron r2 da 156 qubit.

• Riduzione delle Porte:
  • Per il circuito a 2 passi, Aqcel-v2 ha ridotto il numero di porte a due qubit fino al 54% rispetto al circuito ottimizzato da Aqcel-v1 (in topologia ideale).
  • Il numero di misurazioni necessarie per l'ottimizzazione è sceso da 61 (v1) a 15-22 (v2) per il circuito a 2 passi.
• Miglioramento della Fedeltà:
  • L'uso dello State Label Manager ha reso la fedeltà (misurata tramite la fedeltà di Hellinger) molto più stabile, specialmente a bassi livelli di soglia di rumore, eliminando le fluttuazioni causate da misurazioni errate.
  • Per il circuito a 2 passi, Aqcel-v2 ha raggiunto una fedeltà di 0.83 su hardware reale, superando significativamente sia l'ottimizzazione standard di Qiskit che Aqcel-v1.
• Accuratezza Fisica:
  • La distribuzione del numero di emissioni di particelle ottenuta con Aqcel-v2 si è avvicinata molto di più alla distribuzione ideale rispetto alle altre tecniche.
  • L'errore relativo rispetto all'ideale per il caso di 1 emissione è sceso dal +84% (Aqcel-v1) al +33% (Aqcel-v2).
  • È stato dimostrato che il processore quantistico riesce a catturare effetti di interferenza quantistica (confrontando casi con e senza interferenza, $g_{12}=0$ e $g_{12}=1$).

5. Significato e Implicazioni

• Efficienza per Dispositivi NISQ: Il lavoro dimostra che l'ottimizzazione dipendente dallo stato iniziale è cruciale per massimizzare le prestazioni sui dispositivi quantistici attuali, dove il rumore è un limite fondamentale.
• Scalabilità: Poiché Aqcel opera in tempo polinomiale (grazie alla decomposizione e alle misurazioni mirate), è applicabile a circuiti con un gran numero di qubit, a differenza di metodi che richiederebbero risorse esponenziali.
• Futuro: Sebbene Aqcel-v2 non gestisca ancora stati nella base X ($|\pm\rangle$), il successo di questo approccio apre la strada a ottimizzatori più sofisticati che possono sfruttare le conoscenze specifiche dello stato iniziale per ridurre drasticamente la profondità dei circuiti, rendendo possibili simulazioni di fisica delle alte energie più accurate su hardware reale.

In sintesi, il paper presenta un avanzamento significativo nella riduzione del rumore e del costo computazionale dei circuiti quantistici, combinando gestione intelligente dello stato e tecniche di cancellazione di porte ridondanti, con risultati validati sperimentalmente su hardware IBM.