A fidelity metric for quantum annealing benchmarked by extreme scaling quantum Monte-Carlo simulations

Resumo Técnico: Uma Métrica de Fidelidade para Recozimento Quântico Avaliada por Simulações de Monte Carlo Quântico de Escala Extrema

Definição do Problema
Os benchmarks atuais para Recozimento Quântico (QA) são predominantemente pragmáticos, medindo o desempenho unicamente pela velocidade ou taxa de sucesso na resolução de problemas de otimização específicos (tipicamente formulados como Otimização Binária Quadrática Não Restrita, ou QUBO). Os autores argumentam que essa abordagem é "inerentemente frágil" porque os resultados dependem fortemente da instância específica do problema e do algoritmo clássico utilizado como referência. Além disso, essa metodologia falha em distinguir entre limitações intrínsecas do processo de recozimento (ex: lacunas de energia que desaparecem exponencialmente, levando a transições de Landau-Zener) e limitações extrínsecas de hardware (ex: ruído, decoerência, temperatura finita). Consequentemente, há uma falta de uma métrica robusta para quantificar a fidelidade do processo de recozimento quântico em si, independentemente da qualidade da solução final.

Metodologia
O artigo propõe uma nova métrica de fidelidade: a precisão ($\epsilon$) da equação de estado $E(h_x) \equiv \langle \hat{H} \rangle$ durante o processo de recozimento. Este métrica é análoga à "fidelidade por porta" na computação quântica baseada em portas. Para obter a equação de estado experimentalmente, seria necessário medir tanto a energia longitudinal ($\langle \hat{H}_z \rangle$) quanto a energia do campo transversal ($\langle \hat{H}_x \rangle$) em vários pontos do cronograma de recozimento.

Para estabelecer valores de benchmark para $\epsilon$ e testar os limites da simulação clássica, os autores empregam duas variantes de Recozimento Quântico Simulado (SQA) usando técnicas de Monte Carlo Quântico (QMC) em sistemas de átomos de Rydberg:

1. Monte Carlo Quântico Variacional (VMC):

   • Ansatz: Os autores utilizam um "ansatz térmico" inspirado no recozimento térmico simulado. A função de onda é modelada como $\psi(n) \propto e^{-E_{\text{eff}}(n)/2}$, onde $E_{\text{eff}}(n)$ é um funcional de energia clássica modificado.
   • Variantes: Eles testam um "ansatz térmico simples" ($E_{\text{eff}} = \beta_{\text{eff}} F(n)$) e um "ansatz térmico estagiado" ($E_{\text{eff}} = \beta_{\text{eff}} F(n) + \sum \beta_k N_k(n)$) para capturar a quebra de simetria.
   • Escala: Esta abordagem é computacionalmente leve, permitindo simulações em um único CPU até 100.000.000 de átomos ($N=10^8$).
   • Precisão: Alcança uma precisão estimada de $\epsilon \sim 10^{-2} - 10^{-3}$.

2. Monte Carlo de Função de Green (GFMC):

   • Método: Um método pós-VMC que evolui o ansatz variacional no tempo imaginário para projetar sobre o verdadeiro estado fundamental. É imparcial e livre do problema de sinal para modelos de Ising de campo transversal.
   • Escala: Simulações realizadas até 100.000 átomos ($N=10^5$).
   • Precisão: Alcança maior precisão com $\epsilon \sim 10^{-4}$.

Os autores utilizam esses métodos para calcular a equação de estado para átomos de Rydberg em redes quadradas e triangulares, bem como para uma instância de QUBO do mundo real ("problema do anjo caído" relacionado à gestão de risco financeiro).

Principais Resultados

• Escalabilidade e Precisão: A abordagem VMC com o ansatz térmico simulou com sucesso sistemas de até $10^8$ átomos com um erro relativo $\delta E/E_0 < 10^{-2}$. A abordagem GFMC atingiu $\epsilon \sim 10^{-4}$ para $N=10^5$.
• Localização de Erro: O erro relativo na equação de estado atinge o pico precisamente na localização do fechamento da lacuna de energia (transições de fase), o que corresponde ao regime onde ocorrem as transições de Landau-Zener. Longe desses pontos críticos, o erro é significativamente menor.
• Comparação com Experimentos: Os autores estimam que as plataformas experimentais atuais de átomos de Rydberg operam com uma precisão significativamente inferior a esses benchmarks clássicos. As simulações clássicas superam as plataformas experimentais atuais tanto em tamanho de sistema quanto em precisão por ordens de magnitude.
• Benchmarking de QUBO: Para a instância de QUBO "fallen angel", o ansatz térmico simples resultou em um erro relativo de $\approx 10^{-3}$. Os autores observam que, embora o erro da solução final ($\delta F/F$) possa ser arbitrariamente reduzido aumentando o número de disparos (shots), o erro da equação de estado ($\delta E/E_0$) fornece uma medida mais intrínseca da capacidade do hardware ou do algoritmo.
• Térmico vs. Quântico: O estudo sugere que, dentro de uma precisão de $\epsilon \sim 10^{-2} - 10^{-3}$, um recozedor quântico é efetivamente indistinguível de seu contraparte clássico térmico, implicando que os níveis de ruído experimental atuais podem mascarar vantagens quânticas genuínas.

Significância e Alegações
O artigo afirma que medir a precisão da equação de estado é um passo crucial para o benchmarking de QA porque:

1. Fornece um diagnóstico direto dos mecanismos dominantes que causam desvios da evolução adiabática ideal (distinguindo problemas de lacuna intrínsecos de ruído extrínseco).
2. Oferece uma métrica agnóstica de hardware que não depende da dificuldade específica de uma instância de QUBO escolhida.
3. Estabelece uma restrição severa para o hardware futuro: para demonstrar uma vantagem quântica, as plataformas experimentais devem alcançar uma precisão da equação de estado que supere esses benchmarks clássicos (especificamente $\epsilon < 10^{-4}$ para grandes sistemas).

Os autores concluem que o "deceptivamente simples" ansatz variacional térmico é uma ferramenta poderosa para simular QA, sugerindo que o caminho para compreender as vantagens quânticas pode residir na identificação de regimes onde as flutuações quânticas fornecem uma vantagem distinta sobre mesmo as simulações térmicas clássicas mais sofisticadas. Eles não alegam que o QA é atualmente superior às heurísticas clássicas; em vez disso, fornecem as ferramentas para testar rigorosamente essa hipótese no futuro.