The Signal
Il matcher a ipergrafi dei ricercatori riduce di 606 volte il tempo di esecuzione di Qiskit
Un matcher per circuiti quantistici basato su ipergrafi ha impiegato 21 secondi per ottimizzare un benchmark aritmetico a 48 qubit, contro gli oltre 12.700 secondi del matcher basato su DAG di Qiskit. Il risultato proviene da un benchmark e
Quantum.world Team · Scritto con l’IA · verificato ·
Il matcher basato su DAG di Qiskit gestisce i gate quantistici commutativi, ma la sua rappresentazione può cancellare l’informazione su quali gate condividano qubit. Un nuovo metodo basato su ipergrafi punta a conservare sia le informazioni sulla commutatività sia quei collegamenti e, in un benchmark aritmetico, ha terminato il lavoro in 21 secondi, contro gli oltre 12.700 impiegati da Qiskit. Il risultato proviene da uno studio pubblicato su arXiv il 21 ottobre da Xin Hong, Jintao Yu, Runhong He, Shenggang Ying, Sanjiang Li e Mingsheng Ying.
Che cosa sacrifica il DAG per gestire i gate commutativi
Il template matching semplifica un circuito individuando un frammento equivalente a una parte di un circuito identità noto, per poi sostituirlo con un equivalente più breve. La ricerca deve tenere conto dei gate che commutano: il loro ordine può cambiare senza modificare il funzionamento del circuito. L’approccio attualmente usato da Qiskit rappresenta i gate come nodi di un grafo aciclico diretto, collegando i gate che dipendono l’uno dall’altro.
Questa rappresentazione aiuta a trattare in modo coerente i gate commutativi riordinati, scrivono gli autori, ma può eliminare i collegamenti tra gate che commutano pur agendo su qubit condivisi. Il matcher può così perdere un’indicazione utile su dove cercare la corrispondenza successiva ed estendere la ricerca a una parte più ampia del circuito. I ricercatori propongono di conservare quei collegamenti, anziché scegliere tra rappresentare la commutatività e mantenere la struttura del circuito.
Il matching a ipergrafi resta vicino all’ultima corrispondenza
La nuova rappresentazione raggruppa i gate commutativi in supernodi, conservando i collegamenti che codificano le dipendenze tra gate. Dopo aver trovato una parte di una corrispondenza, l’algoritmo può estendere la ricerca alle immediate vicinanze, anziché ricominciare dall’intero circuito. Gli autori descrivono il metodo come un matcher a ipergrafi abbinato a una ricerca per isomorfismo di sottografi.
«I risultati sperimentali dimostrano che il nostro matcher HG raggiunge un’accelerazione di 11–606× rispetto all’implementazione basata su DAG di Qiskit (Iten et al., 2022) sia nei benchmark casuali sia in quelli aritmetici, mantenendo la stessa qualità dell’ottimizzazione.»
Xin Hong, Jintao Yu, Runhong He, Shenggang Ying, Sanjiang Li e Mingsheng Ying
I test sono stati eseguiti su un processore Intel i7-12700H con 32 GB di memoria; i ricercatori hanno implementato il loro matcher in Python, come Qiskit. I test sui circuiti casuali hanno utilizzato 10 qubit, i gate X, CX e CCX e circuiti da 100 a 700 gate. Nel caso del circuito da 700 gate, il matcher a ipergrafi ha impiegato 20,26 secondi; Qiskit ne ha impiegati 1.321,91, mentre una versione di Qiskit che utilizzava un’euristica ne ha impiegati 587,15.
Il risultato di 606× arriva da un moltiplicatore a 48 qubit
La maggiore accelerazione riportata è stata ottenuta nel benchmark aritmetico gf2^E16_mult, che partiva da 2.707 gate e utilizzava 48 qubit. In esecuzioni ripetute dell’ottimizzazione, Qiskit ha impiegato 12.737,50 secondi e prodotto un circuito da 2.617 gate; il metodo a ipergrafi ha impiegato 20,99 secondi e prodotto un circuito da 2.599 gate. La differenza nei tempi di esecuzione è di circa 606 volte, ma in questo caso il numero finale di gate non era identico.
Nei test sui circuiti casuali, i risultati erano più vicini quanto al numero di gate: per il circuito da 700 gate, il metodo a ipergrafi ha prodotto 550 gate e Qiskit 549. L’articolo riporta anche un test separato di scalabilità su circuiti casuali a sei qubit con un numero di gate compreso tra 10 e 250, nel quale il metodo a ipergrafi è rimasto sotto i 200 millisecondi. Queste misurazioni sostengono la tesi degli autori secondo cui il matching è più rapido, circoscrivendo però la conclusione al software, ai circuiti e alla macchina utilizzati nei test.
Il risultato riguarda un benchmark di compilazione, non un test su hardware
Il risultato formale sulla canonicità presentato nell’articolo si applica ai circuiti composti da gate con controlli multipli e un singolo qubit bersaglio; gli esperimenti riguardano circuiti casuali e benchmark aritmetici, non un’ampia gamma di programmi applicativi. Il miglioramento misurato riguarda il template matching durante la compilazione; lo studio non riporta l’esecuzione dei circuiti ottimizzati su un processore quantistico. L’articolo è stato presentato alla 63ª edizione della ACM/IEEE Design Automation Conference a Long Beach, in California, dal 26 al 29 luglio 2026, prima che gli autori pubblicassero la versione su arXiv il 21 ottobre.