StableShots: Online Shot Stopping for Quantum Circuit Execution

Sintesi Tecnica: StableShots: Arresto Online dei Campionamenti per l'Esecuzione di Circuiti Quantistici

Definizione del Problema
L'esecuzione di circuiti quantistici si basa su misurazioni ripetute (shot) per stimare le distribuzioni di output. Gli attuali flussi di lavoro richiedono tipicamente agli sviluppatori di predefinire un budget di shot fisso (ad esempio, 1.000 o 10.000 shot). Questo approccio statico è descritto come "fragile": un budget basso può sottocampionare la distribuzione, portando a una scarsa fedeltà, mentre un budget elevato spreca risorse computazionali e tempi di attesa nelle code. Il budget ottimale non è universale; dipende dalla famiglia di circuiti, dalle dimensioni, dal rumore del backend e dalla sparsità dell'output. Questo problema è inquadrato non solo come un problema di complessità di campionamento statistico, ma come una sfida di ingegneria del software quantistico (QSE) riguardante il modo in cui eseguire il software in modo sistematico, misurabile e verificabile. Il documento si concentra specificamente sui circuiti quantistici statici, dove la struttura e i parametri rimangono fissi durante l'esecuzione, distinguendosi dai loop variazionali dove la distribuzione target cambia per design.

Metodologia: STABLESHOTS
Gli autori propongono STABLESHOTS, una regola di arresto online leggera e "black-box" per l'esecuzione di circuiti statici. Il metodo opera come un wrapper attorno alle interfacce di esecuzione standard che restituiscono conteggi a livello di batch, senza richiedere l'ispezione del circuito, dei dati di calibrazione del backend o dei modelli di rumore.

Il meccanismo centrale prevede:

1. Esecuzione a Batch: Il circuito viene eseguito in piccoli batch di $b$ shot.
2. Monitoraggio: Dopo ogni batch, il sistema calcola la Distanza di Variazione Totale (TVD) tra la distribuzione empirica cumulativa corrente ($\hat{P}_N$) e una distribuzione cumulativa precedente ($\hat{P}_{N-\ell b}$), dove $\ell$ è una finestra di osservazione (look-back window) espressa in batch.
3. Criterio di Arresto: L'esecuzione si interrompe solo dopo aver osservato $k$ controlli consecutivi in cui la TVD marginale è al di sotto di una soglia $\epsilon$. Se la stabilità non viene raggiunta, l'esecuzione continua fino al raggiungimento di un budget massimo $B$.

I parametri ($b, \ell, \epsilon, k$) controllano la granularità decisionale, le finestre di confronto e la conservatività del criterio di stabilità. La regola è intenzionalmente euristica; non certifica che la distribuzione empirica sia entro una distanza specifica dalla distribuzione reale sconosciuta del backend. Invece, operazionalizza un segnale di "rendimenti decrescenti": se i nuovi batch non modificano materialmente la distribuzione osservata, ulteriori campionamenti difficilmente altereranno il risultato visibile allo sviluppatore.

Design Sperimentale
La valutazione ha utilizzato 180 tracce dal dataset QSimBench, coprendo sei famiglie di circuiti (dj, qaoa, qft, qnn, random, vqe), sei dimensioni (da 4 a 14 qubit) e cinque backend simulati di IBM rumorosi.

• Riferimento: Una distribuzione empirica di 20.000 shot è stata utilizzata come riferimento offline per il calcolo della TVD, sebbene STABLESHOTS non l'abbia mai osservata durante il processo decisionale.
• Protocollo: Lo studio ha impiegato una rigorosa divisione validazione/test con 100 ripetizioni. In ogni ripetizione, un backend veniva tenuto fuori come set di test, mentre gli altri quattro venivano utilizzati per la validazione. Ciò ha garantito che la configurazione selezionata non fosse sovra-ottimizzata (overfitted) su profili di rumore specifici del backend.
• Baseline: Le prestazioni sono state confrontate con budget di shot fissi di 5.000, 10.000 e 18.000 shot.

Risultati Chiave
La configurazione selezionata per STABLESHOTS (batch di 50, look-back di 3 batch, 5 controlli consecutivi stabili, $\epsilon=0.005$) ha dimostrato un trade-off costo-fedeltà superiore rispetto alle baseline fisse:

• Tasso di Successo: STABLESHOTS ha raggiunto una TVD $\le 0.05$ rispetto al riferimento nel 100% delle valutazioni del test set tenuto fuori. Al contrario, le baseline fisse hanno raggiunto questa soglia solo nel 54,1% (5k shot), 66,7% (10k shot) e 83,3% (18k shot) delle valutazioni.
• Efficienza: Il numero mediano di shot per STABLESHOTS è stato di 7.650, significativamente inferiore ai 18.000 shot richiesti dalla migliore baseline fissa per ottenere una affidabilità simile.
• Adattività: Il metodo ha mostrato un comportamento dipendente dalla traccia. Circuiti piccoli (4–8 qubit) e specifiche famiglie (dj, vqe) si sono fermati precocemente con bassi conteggi di shot. Circuiti più grandi (10–14 qubit) e distribuzioni diffuse (qft, qnn, random) si sono spesso avvicinati al limite di 20.000 shot, identificando correttamente che la stabilità locale non era ancora stata raggiunta.
• Modalità di Errore: Quando la policy raggiungeva il limite massimo, segnalava che la fedeltà target non poteva essere soddisfatta entro il budget, fornendo uno stato di errore informativo invece di restituire silenziosamente una stima instabile.

Significatività e Rivendicazioni
Il documento presenta STABLESHOTS come un contributo all'Ingegneria del Software Quantistico piuttosto che una garanzia statistica di vicinanza distributiva. La sua importanza risiede in:

1. Esecuzione Auditabile: Trasforma il budget di shot da una costante pre-esecuzione in una politica di esecuzione tracciabile. La decisione di arresto deriva direttamente dai conteggi osservati, permettendo la riproducibilità e il tracciamento della provenienza.
2. Applicabilità Black-Box: Basandosi esclusivamente sui conteggi delle stringhe di bit, il metodo è compatibile con vari SDK, simulatori e fornitori di hardware senza richiedere conoscenze interne sul compilatore o sull'hardware.
3. Governance Pratica: Offre una via di mezzo tra l'esecuzione arbitraria a bassi shot e i budget fissi inefficienti ad alti shot. Gli autori sostengono che il numero di shot debba essere trattato come un parametro software controllabile che può essere calibrato, registrato e revisionato.

Gli autori mantengono un approccio modesto riguardo all'ambito, notando che il metodo assume che la distribuzione indotta dal backend sia stabile durante l'esecuzione e che il riferimento di 20.000 shot sia finito. Dichiarano esplicitamente che STABLESHOTS non fornisce una garanzia indipendente dalla distribuzione e che la specifica configurazione dei parametri è limitata al dataset e non è universalmente ottimale. Il lavoro è presentato come una politica modulabile che supporta una gestione pratica dell'esecuzione, con suggerimenti per lavori futuri riguardanti l'valutazione live su QPU, la dimensione adattiva dei batch e l'applicazione a carichi di lavoro iterativi.