Worldline-Susceptibility Scheduling for Quantum Annealing Beyond Local-Adiabatic Evolution

Resumo Técnico: Escalonamento por Suscetibilidade de Worldline para Recozimento Quântico

Definição do Problema
O desempenho do recozimento quântico (QA) depende criticamente do cronograma de recozimento (annealing schedule), que dita como o tempo total é distribuído ao longo do caminho de evolução. Embora o cronograma local-adiabático de Roland–Cerf seja teoricamente ótimo — alocando o tempo inversamente proporcional ao quadrado do gap espectral instantâneo ($\Delta(s)^{-2}$) — ele é praticamente inviável para problemas de otimização de grande escala. A construção desse cronograma exige o conhecimento completo do espectro de baixa energia instantâneo, o que requer a diagonalização repetida de um Hamiltoniano exponencialmente grande. Consequentemente, há uma necessidade de um substituto (surrogate) computacionalmente barato que possa identificar as regiões críticas do recozimento sem informações espectrais explícitas.

Metodologia
Os autores propõem um framework de escalonamento substituto baseado na suscetibilidade da magnetização de worldline ($\chi_m$) medida durante o Recozimento Quântico Simulado (SQA). A metodologia procede da seguinte forma:

1. Simulação SQA: O processo de recozimento quântico é mapeado para um sistema equivalente de mecânica estatística clássica usando a decomposição de Suzuki–Trotter. Isso transforma o modelo de Ising de campo transversal em um sistema clássico de $(d+1)$ dimensões com $M$ réplicas acopladas (fatias de Trotter).
2. Medição de Observáveis: Configurações de equilíbrio são amostradas usando técnicas de Monte Carlo clássicas. A partir delas, a magnetização de worldline $m$ é calculada, e sua suscetibilidade é derivada via teorema de flutuação-dissipação: $\chi_m = NM(\langle m^2 \rangle - \langle |m| \rangle^2)$.
3. Construção do Substituto: A suscetibilidade medida $\chi_m(s)$ serve como um proxy para o inverso do quadrado do gap espectral. Um peso de alocação de tempo $w(s) = \chi_m(s) + \chi_0$ (onde $\chi_0$ é uma constante de regularização) é definido. A função de alocação de tempo cumulativa $\tau(s)$ é construída integrando este peso, e o cronograma final $s(t)$ é obtido invertendo $\tau(s)$.
4. Validação: O framework, implementado no software de código aberto Qanneal, valida os cronogramas substitutos contra resultados de diagonalização exata (ED) para instâncias de vidro de spin de Sherrington–Kirkappert (SK). O desempenho é quantificado pela probabilidade final do estado fundamental ($P_{GS}$) obtida resolvendo a equação de Schrödinger dependente do tempo para cronogramas lineares, Roland–Cerf exatos e os cronogramas substitutos propostos.

Resultos Principais
O estudo demonstra que o cronograma de suscetibilidade de worldline supera consistentemente tanto o recozimento linear convencional quanto, de forma contraintuitiva, o cronograma exato de Roland–Cerf para uma fração substancial das instâncias SK.

• Identificação de Regiões Críticas: O pico da suscetibilidade de worldline identifica confiavelmente a região ampla onde o gap espectral é mínimo, embora não reproduza quantitativamente o perfil detalhado do gap.
• Desempenho Superior em Tempo Finito: Para instâncias representativas ($n=10$ e $n=12$), o cronograma substituto produz probabilidades de estado fundamental mais altas do que o cronograma exato de Roland–Cerf através de vários tempos totais de recozimento.
• Descoberta de Modos de Falha: Os autores identificam dois modos distintos de falha em tempo finito do cronograma local-adiabático exato que explicam seu desempenho inferior:
  1. Armadilha de Gap de Fronteira (Boundary-Gap Trap): Quando o gap mínimo ocorre no final do recozimento ($s \approx 1$), o cronograma de Roland–Cerf aloca a maior parte do tempo para uma região onde o driver de campo transversal efetivamente desapareceu. Isso torna o tempo adicional dinamicamente ineficaz, pois as flutuações quânticas são suprimidas. O cronograma baseado em suscetibilidade evita isso ao concentrar o tempo na região de crossover mais ampla, onde as flutuações quânticas permanecem ativas.
  2. Instabilidade Oscilatória: Quando o gap mínimo é interno, o cronograma exato concentra o tempo de forma tão aguda ao redor do gap que induz interferência de múltiplos níveis coerentes. Isso resulta em uma dependência não monotônica e oscilatória da probabilidade de sucesso em relação ao tempo total de recozimento, o que o cronograma baseado em suscetibilidade, mais suave, evita.
• Robustez Estatística: Experimentos numéricos de larga escala através de realizações de desordem e tamanhos de sistema ($n=10$ a $n=20$) confirmam que a superioridade do cronograma substituto é uma característica genérica, não um artefato de instâncias específicas. À medida que o tamanho do sistema aumenta, a prevalência de instâncias de gap de fronteira cresce, degradando ainda mais o desempenho do cronograma exato de Roland–Cerf em relação ao substituto.

Significância e Alegações
O artigo argumenta que, sob condições realistas de tempo finito, a robustez no escalonamento é mais crítica do que a reprodução precisa do perfil do gap espectral instantâneo. Os autores afirmam que:

• Observáveis de equilíbrio de baixo custo (especificamente a suscetibilidade de worldline do SQA) podem servir como substitutos eficazes para estratégias baseadas em gap espectral.
• A condição local-adiabática exata, embora teoricamente ótima no limite assintótico, pode ser contraproducente em regimes de tempo finito devido à "armadilha de gap de fronteira" e à "instabilidade oscilatória".
• A metodologia proposta oferece um caminho escalável para a otimização de cronogramas que contorna a intratabilidade computacional dos cálculos espectrais exatos, tornando-a aplicável a tamanhos de problemas além do alcance da diagonalização exata.

O trabalho é implementado no framework de código aberto Qanneal, fornecendo uma plataforma unificada para SQA, medição de suscetibilidade e construção de cronogramas, facilitando assim a pesquisa reprodutível em dinâmica de recozimento quântico.