Low-cost quantum error mitigation via auxiliary qubit return validation

Resumo Técnico: Mitigação de Erros Quânticos de Baixo Custo via Validação de Retorno de Qubits Auxiliares

Declaração do Problema
Os cálculos quânticos no regime de Computação Quântica de Escala Intermediária Ruidosa (NISQ) são altamente suscetíveis ao ruído, limitando a profundidade e a complexidade dos circuitos dos quais resultados significativos podem ser extraídos. Embora a correção completa de erros quânticos permaneça fora do alcance, técnicas de mitigação de erros são essenciais para estender a utilidade do hardware atual. Existe uma oportunidade estrutural específica em muitos algoritmos quânticos, particularmente naqueles que envolvem cálculos aritméticos ou circuitos gerados por compiladores: qubits auxiliares são frequentemente alocados para armazenar resultados intermediários e são explicitamente "descomputados" para retornar ao estado $|0\rangle$ antes de serem reutilizados ou descartados. Em um ambiente livre de falhas, esse retorno a $|0\rangle$ é garantido por projeto. No entanto, ruído e erros de porta podem corromper esses estados, levando a resultados computacionais errôneos. O desafio é detectar esses erros sem incorrer na alta sobrecarga de hardware da correção completa de erros ou nos custos excessivos de amostragem dos métodos tradicionais de mitigação.

Metodologia
Os autores propõem uma estratégia de mitigação de erros de baixa sobrecarga baseada em pós-seleção usando medições de qubits auxiliares. A metodologia central envolve:

1. Medição Estratégica: Inserção de medições em pontos específicos do circuito onde se espera que os qubits auxiliares retornem ao estado $|0\rangle$ (por exemplo, no final de blocos funcionais em circuitos aritméticos).
2. Modelagem Probabilística: Para levar em conta imperfeições do hardware, incluindo erros de medição, os autores desenvolvem um modelo de verossimilhança simples. Este modelo calcula a probabilidade de que um resultado de medição específico (observar um $|1\rangle$) indique um disparo corrompido versus um erro de medição.
   • O modelo considera o tamanho do "cone de luz reverso" (o número de portas $G_i$ que poderiam afetar uma medição específica).
   • Assume-se probabilidades independentes de falha de porta ($p$), probabilidades de propagação de erro ($r$) e probabilidades de erro de medição ($q$).
   • A probabilidade de que um disparo não esteja corrompido, dado um $|1\rangle$ observado, é aproximada como $\frac{q}{G_i r p + q}$.
3. Pós-seleção Baseada em Limiar: Disparos são rejeitados se a probabilidade estimada de corrupção exceder um limiar ajustável. Isso permite uma compensação controlada entre viés e variância.
4. Integração com Compilador: O método aproveita compiladores de alto nível (especificamente Classiq) para identificar automaticamente os tempos de vida dos qubits e os pontos de redefinição. Isso transforma a seleção de pontos de validação de um desafio de design manual em um procedimento sistemático e escalável.
5. Aborto Antecipado: O framework suporta validação no meio do circuito, permitindo a terminação antecipada de execuções corrompidas para economizar tempo de execução da Unidade de Processamento Quântico (QPU), particularmente em circuitos profundos com reutilização extensiva de auxiliares.

Principais Contribuições

• Mitigação de Baixa Sobrecarga: A técnica requer ajustes mínimos para executar circuitos quânticos, dependendo de propriedades estruturais inerentes a muitos designs algorítmicos (descomputação de auxiliares).
• Compensação Viés-Variância Ajustável: O método introduz um limiar ajustável que permite aos praticantes adaptar a estratégia de mitigação a requisitos específicos de aplicação, equilibrando a redução do viés sistemático contra o aumento da variância estatística causada pelo descarte de disparos.
• Implementação Automatizada: Ao utilizar visibilidade no nível do compilador, o método automatiza a identificação de locais de medição ótimos, tornando-o escalável e aplicável a circuitos complexos e sintetizados.
• Capacidade de Terminação Antecipada: A abordagem permite estratégias de "aborto antecipado", potencialmente reduzindo o tempo de execução da QPU ao interromper execuções corrompidas antes de sua conclusão.

Resultados
Simulações numéricas foram conduzidas utilizando circuitos sintetizados pela plataforma Classiq sob um modelo de ruído realista ao nível de portas (erros estocásticos de porta e medição). O estudo comparou três estratégias: nenhuma validação, validação apenas na medição final e validação em cada ponto de redefinição de auxiliar esperado.

• Redução de Erros: Validar qubits auxiliares em todos os pontos de redefinição esperados reduziu a taxa de falso-negativo (disparos corrompidos incorretamente mantidos) em aproximadamente 10% em comparação com uma base sem validação.
• Sobrecarga: Essa melhoria veio com um custo mínimo: a taxa de falso-positivo (disparos válidos incorretamente descartados) aumentou apenas cerca de 1%.
• Poder Diagnóstico: A validação no meio do circuito provou-se superior à validação apenas no estado final. Medições intermediárias associadas a cones de luz reversos menores e localizados forneceram melhor cobertura, detectando erros que, de outra forma, se propagariam sem detecção até o final do cálculo.

Significância e Alegações
O artigo alega que a validação baseada em auxiliares é uma estratégia de mitigação de erros prática e eficaz para dispositivos quânticos de curto prazo. Sua principal significância reside na capacidade de alcançar reduções significativas no viés do estimador com um aumento modesto na variância, correspondendo a uma sobrecarga de descartar apenas ~1% das amostras válidas.

Os autores enfatizam que, embora o método não ofereça um limite livre de viés, é altamente vantajoso porque:

1. Requer modificação mínima do circuito.
2. Integra-se naturalmente à análise de reutilização de qubits no nível do compilador.
3. Pode ser combinado com outras técnicas de correção ou mitigação de erros.
4. É particularmente adequado para aplicações que priorizam a fidelidade do estimador sobre a vazão bruta de amostragem, como algoritmos variacionais e estimativa de valor esperado.

O trabalho posiciona essa técnica como um procedimento escalável e sistemático que aproveita a infraestrutura existente de compiladores para aumentar a confiabilidade dos cálculos NISQ sem exigir recursos de hardware significativos.