StableShots: Online Shot Stopping for Quantum Circuit Execution

Resumo Técnico: StableShots: Interrupção de Disparos Online para Execução de Circuitos Quânticos

Definição do Problema
A execução de circuitos quânticos depende de medições repetidas (shots/disparos) para estimar distribuições de saída. Os fluxos de trabalho atuais geralmente exigem que os desenvolvedores pré-definam um orçamento de disparos fixo (ex: 1.000 ou 10.000 disparos). Essa abordagem estática é descrita como "frágil": um orçamento baixo pode subamostrar a distribuição, levando a uma fidelidade pobre, enquanto um orçamento alto desperdiça recursos computacionais e tempo de fila. O orçamento ideal não é universal; ele depende da família do circuito, do tamanho, do ruído do backend e da esparsidade da saída. Este problema é enquadrado não meramente como um problema de complexidade de amostragem estatística, mas como um desafio de engenharia de software quântico (QSE) referente a como executar software de forma sistemática, mensurável e auditável. O artigo foca especificamente em circuitos quânticos estáticos, onde a estrutura e os parâmetros permanecem fixos durante a execução, distinguindo-se disso dos loops variacionais onde a distribuição alvo muda por design.

Metodologia: STABLESHOTS
Os autores propõem o STABLESHOTS, uma regra de interrupção online leve e de caixa-preta para a execução de circuitos estáticos. O método opera como um invólucro (wrapper) em torno de interfaces de execução padrão que retornam contagens por lote, não exigindo inspeção do circuito, dados de calibração do backend ou modelos de ruído.

O mecanismo central envolve:

1. Execução em Lotes: O circuito é executado em pequenos lotes de $b$ disparos.
2. Monitoramento: Após cada lote, o sistema calcula a Distância de Variação Total (TVD) entre a distribuição empírica cumulativa atual ($\hat{P}_N$) e uma distribuição cumulativa anterior ($\hat{P}_{N-\ell b}$), onde $\ell$ é uma janela de retrocesso em lotes.
3. Critério de Interrupção: A execução para apenas após observar $k$ verificações consecutivas onde a TVD marginal está abaixo de um limiar $\epsilon$. Se a estabilidade não for alcançada, a execução continua até que um orçamento máximo $B$ seja atingido.

Os parâmetros ($b, \ell, \epsilon, k$) controlam a granularidade da decisão, as janelas de comparação e o conservadorismo do critério de estabilidade. A regra é intencionalmente heurística; ela não certifica que a distribuição empírica está dentro de uma distância específica da verdadeira distribuição do backend desconhecida. Em vez disso, ela operacionaliza um sinal de "retornos decrescentes": se novos lotes não alterarem materialmente a distribuição observada, novas amostragens dificilmente alterarão o resultado visível pelo desenvolvedor.

Design Experimental
A avaliação utilizou 180 traços do conjunto de dados QSimBench, cobrindo seis famílias de circuitos (dj, qaoa, qft, qnn, random, vqe), seis tamanhos (4 a 14 qubits) e cinco backends simulados ruidosos da IBM.

• Referência: Uma distribuição empírica de 20.000 disparos serviu como referência offline para o cálculo da TVD, embora o STABLESHOTS nunca tenha observado isso durante a tomada de decisão.
• Protocolo: O estudo empregou uma divisão rigorosa de validação/teste com 100 repetições. Em cada repetição, um backend era mantido fora como o conjunto de teste, enquanto os quatro restantes eram usados para validação. Isso garantiu que a configuração selecionada não fosse sobreajustada (overfitted) a perfis de ruído de backends específicos.
• Linhas de Base (Baselines): O desempenho foi comparado contra orçamentos de disparos fixos de 5.000, 10.000 e 18.000 disparos.

Resultados Principais
A configuração selecionada do STABLESHOTS (lotes de 50, retrocesso de 3 lotes, 5 verificações estáveis consecutivas, $\epsilon=0,005$) demonstrou trocas custo-fidelidade superiores em relação às linhas de base fixas:

• Taxa de Sucesso: O STABLESHOTS alcançou uma TVD $\le 0,05$ contra a referência em 100% das avaliações de teste mantidas fora. Em contraste, as linhas de base fixas atingiram esse limiar em apenas 54,1% (5k disparos), 66,7% (10k disparos) e 83,3% (18k disparos) das avaliações.
• Eficiência: A mediana da contagem de disparos para o STABLESHOTS foi de 7.650, significativamente menor que os 18.000 disparos necessários para a linha de base fixa de melhor desempenho para atingir confiabilidade semelhante.
• Adaptabilidade: O método exibiu comportamento dependente do traço. Circuitos pequenos (4–8 qubits) e famílias específicas (dj, vqe) pararam precocemente com contagens de disparos baixas. Circuitos maiores (10–14 qubits) e distribuições difusas (qft, qnn, random) frequentemente se aproximaram do limite de 20.000 disparos, identificando corretamente que a estabilidade local ainda não havia sido alcançada.
• Modo de Falha: Quando a política atingia o limite, ela sinalizava que a fidelidade alvo não poderia ser atendida dentro do orçamento, fornecendo um estado de falha informativo em vez de retornar silenciosamente uma estimativa instável.

Significância e Alegações
O artigo apresenta o STABLESHOTS como uma contribuição para a Engenharia de Software Quântico, em vez de uma garantia estatística de proximidade de distribuição. Sua significância reside em:

1. Execução Auditável: Ele transforma o orçamento de disparos de uma constante pré-execução em uma política de execução rastreável. A decisão de interrupção é derivada diretamente das contagens observadas, permitindo reprodutibilidade e rastreamento de proveniência.
2. Aplicabilidade de Caixa-Preta: Ao depender exclusivamente de contagens de bitstrings, o método é compatível com vários SDKs, simuladores e provedores de hardware sem exigir conhecimento interno do compilador ou do hardware.
3. Governança Prática: Oferece um meio-termo entre a execução de disparos baixos arbitrários e os orçamentos fixos de disparos altos e dispendiosos. Os autores argumentam que a contagem de disparos deve ser tratada como um parâmetro de software controlável que pode ser calibrado, registrado e revisado.

Os autores mantêm a modéstia quanto ao escopo, observando que o método assume que a distribuição induzida pelo backend é estável durante a execução e que a referência de 20.000 disparos é finita. Eles declaram explicitamente que o STABLESHOTS não fornece uma garantia livre de distribuição e que a configuração específica de parâmetros é restrita ao conjunto de dados, não sendo universalmente ótima. O trabalho é apresentado como uma política ajustável que apoia a governança prática de execução, com trabalhos futuros sugeridos para avaliação em QPU ao vivo, dimensionamento de lote adaptativo e aplicações para cargas de trabalho iterativas.