Reshaping quantum annealing landscapes with diagonal catalysts

Resumo Técnico: Remodelando Paisagens de Recozimento Quântico com Catalisadores Diagonais

Definição do Problema
O recozimento quântico (QA) é um algoritmo de otimização projetado para encontrar o estado fundamental de um Hamiltoniano de custo ($H_P$) que representa um problema de Otimização Binária Quadrática Não Restrita (QUBO). No entanto, o desempenho do QA é frequentemente limitado pelo fato de a população ficar presa em mínimos locais que estão longe da solução global em termos de distância de Hamming. Este problema é exacerbado em instâncias difíceis onde o gap de energia entre o estado fundamental e os estados excitados dinamicamente acessíveis torna-se exponencialmente pequeno. Consequentemente, recozimentos de tempo finito operam frequentemente de forma diabática, levando à redistribuição da população através de cruzamentos evitados entre estados localizados em distintas bacias do cenário de energia. Um desafio crítico é que configurações de baixa energia não correspondem necessariamente a configurações próximas da solução em termos de distância de Hamming; configurações distantes podem "subestimar" as próximas, fornecendo candidatas de baixa energia para bacias concorrentes.

Metodologia e Estrutura Teórica
Os autores introduzem uma estrutura matemática que vincula energia e distância de Hamming para projetar catalisadores diagonais de dois corpos. Estes catalisadores são construídos exclusivamente a partir da estrutura de acoplamento do problema (sinais, magnitudes e topologia do grafo) sem exigir conhecimento prévio da solução.

1. Análise de Cascas de Hamming: Os autores definem "cascas de Hamming" ($S_{d, z^\star}$) como conjuntos de configurações a uma distância de Hamming $d$ de um estado de referência $z^\star$. Eles derivam fórmulas exatas para a média e a variância da energia sobre estas cascas para qualquer operador de Ising de dois corpos livre de campo.

   • Teorema 1 estabelece que a média de energia de uma casca segue uma curva parabólica determinada por fatores combinatórios, enquanto a variância (largura da casca) depende da matriz de acoplamento específica.
   • No problema puro, as médias das cascas estão corretamente ordenadas, mas a variância ampla causa a sobreposição das cascas, permitindo que configurações distantes tenham energias menores do que as próximas.

2. Design do Catalisador ($C$): O objetivo é construir um catalisador diagonal $C$ que aumente a separação entre as médias das cascas em relação às suas flutuações dentro da casca, efetivamente "funilando" o cenário.

   • O catalisador ideal seria proporcional a $-z^\star_i z^\star_j$, mas isso requer o conhecimento do desconhecido estado fundamental.
   • Construção de Caminho Aberto (Open-Path): Os autores propõem estimar o padrão do estado fundamental usando caminhos autoevitantes no grafo de interação. Ao propagar padrões de spin ao longo destes caminhos baseando-se nos sinais de acoplamento ($g(p)_{v_{a+1}} = -\text{sgn}(J_{v_a v_{a+1}}) g(p)_{v_a}$), eles geram padrões localmente satisfatórios.
   • O catalisador $C^{(m)}$ é formado pela soma das contribuições de todos os caminhos autoevitantes de $m$ arestas. Cada caminho contribui com uma estimativa de posto único ponderada da estrutura de acoplamento ideal. O operador final é projetado ortogonal aos acoplamentos originais e normalizado.
   • Esta construção cria um grafo de interação mais denso do que o problema original, penalizando configurações que frustram ligações fortes e reforçando aquelas que se alinham com os padrões propagados.

Resultos Principais
Os autores testaram seu método em 200 instâncias aleatórias 3-regulares com $n=20$ spins e acoplamentos extraídos de $[-1, 1]$. As simulações foram realizadas em tempos de varredura $T = 2, 6, 10$.

• Remodelagem do Cenário de Energia: O catalisador remodelou com sucesso o cenário estático, reduzindo a sobreposição entre as cascas de Hamming e aprofundando o funil de energia em direção ao estado fundamental.
• Redistribuição de Probabilidade:
  • Espaço de Energia: O catalisador desloca a massa de probabilidade de bandas de energia intermediária para a banda do estado fundamental ($E/E_{GS} \ge 0,95$). Em $T=6$, a massa mediana da banda superior aumentou de 0,067 (não catalisado) para 0,324, representando um ganho mediano pareado de +351%.
  • Espaço de Hamming: A distribuição desloca-se para o manufoldo do estado fundamental. Em $T=6$, a massa de probabilidade na distância de Hamming $\delta \le 2$ aumentou de 0,10 para 0,35 (+239%).
• Robustez e Comparação:
  • Os ganhos persistem através de diferentes conectividades de grafos (grafos 3-, 4- e 5-regulares) e no modelo Sherrington–Kirkler completo, embora a magnitude da melhoria diminua conforme a conectividade aumenta.
  • O catalisador de caminho aberto supera significativamente um baseline de "problema reforçado" ($C = H_P$), demonstrando que o benefício provém da redistribuição estrutural específica dos acoplamentos e não meramente do aumento da escala de energia geral.
  • Existe um compromisso (trade-off) entre a ordem do caminho ($m$) e a densidade do grafo; ordens moderadas (ex: $m=4$ para grafos 3-regulares) oferecem o melhor equilíbrio entre resolver a estrutura local e manter a fidelidade à verdadeira ordenação do estado fundamental.

Significância e Alegações
O artigo afirma fornecer um método prático para melhorar o recozcimento quântico em hardware de curto prazo, utilizando controles longitudinais nativos (operadores diagonais) que são de dois corpos e não requerem os gadgets complexos necessários para catalisadores não estocásticos.

• Design Agnóstico à Solução: Os catalisadores são construídos sem conhecimento da solução, baseando-se apenas na matriz de acoplamento do problema.
• Critérios Estáticos para Design: O teorema de momentos de casca derivado oferece critérios estáticos (profundidade do funil e sobreposição de cascas) para filtrar candidatos a catalisadores antes de executar simulações dinâmicas de recozcimento.
• Compatibilidade de Hardware: Sendo diagonais e de dois corpos, os catalisadores preservam a estrutura do campo transversal e são compatíveis com as restrições de conectividade e alcance de acoplamento dos recededores atuais.
• Direções Futuras: Os autores sugerem que a estrutura pode ser estendida para configurações digitais (ex: como um separador de fase em QAOA), combinada com protocolos diabáticos otimizados, ou aplicada ao recozcimento reverso. Eles também observam que caracterizar a escala com o tamanho do sistema e generalizar para funções de custo inclusivas com campo permanece uma tarefa aberta.