Spin-1 quantum annealing with anisotropy-controlled intermediate-state pathways

Resumo Técnico: Recozimento Quântico com Spin-1 e Caminhos de Estados Intermediários Controlados por Anisotropia

Enunciado do Problema
Problemas de otimização combinatória frequentemente mapeiam-se para a busca do estado fundamental de um Hamiltoniano do tipo Ising. Embora o recozimento quântico (QA) padrão utilize qubits de spin-1/2 para codificar variáveis binárias, muitos problemas práticos são intrinsecamente multivalorados (por exemplo, decisões ternárias). Codificar essas variáveis em arquiteturas baseadas em qubits tipicamente requer o embebedamento de múltiplos qubits por variável com termos de penalidade, o que aumenta a sobrecarga de hardware, reduz a conectividade e complica o panorama energético. Sistemas de spin mais elevado, especificamente spin-1, oferecem uma alternativa natural ao codificar diretamente variáveis ternárias ($s \in \{-1, 0, +1\}$) em um único grau de liberdade local. No entanto, o impacto do estado intermediário adicional ($m_s=0$) e da anisotropia de íon único ajustável na eficiência do recozimento quântico, particularmente em regimes de tempo finito, permanece subexplorado em comparação com algoritmos de otimização variacional ou aproximados.

Metodologia
Os autores investigam o Recozimento Quântico Anisotrópico (AQA) em uma cadeia de Ising unidimensional de spin-1 com anisotropia de íon único. O sistema é governado por um Hamiltoniano dependente do tempo $H(t) = H_P + H_D(t)$, onde o Hamiltoniano do problema $H_P$ inclui acoplamento entre vizinhos mais próximos ($J$), um campo longitudinal ($h$) e um termo de anisotropia de íon único ($D(S_z)^2$). O Hamiltoniano condutor $H_D(t)$ consiste em um campo transversal ($S_x$) controlado por uma programação $g(t)$.

O estudo emprega a seguinte estrutura comparativa:

1. Protocolo Quântico (AQA): O sistema evolui do estado fundamental do condutor transversal para o Hamiltoniano do problema ao longo de um tempo de execução fixo $T$. A evolução é simulada usando diagonalização exata para uma cadeia de comprimento $N=5$, utilizando uma fatorização de Suzuki-Trotter de quarta ordem para garantir precisão numérica.
2. Linha de Base Clássica (Recozimento de Tritos - TA): Um algoritmo de recozimento simulado clássico operando na mesma função de custo (a diagonal de $H_P$) usando atualizações locais de Metropolis para tritos. A programação de resfriamento espelha a forma funcional da programação do condutor quântico.
3. Métricas: O desempenho é avaliado com base na probabilidade de sucesso do estado fundamental ($P_{gs}$) e no Tempo para Solução (TTS), definido para contabilizar o compromisso entre tempo de execução e probabilidade de sucesso. A comparação é conduzida sob orçamentos de tempo finito correspondentes em uma faixa de forças de acoplamento ($J$), valores de anisotropia ($D$), forças do condutor ($c$) e programações de decaimento ($g(t)$).

Principais Contribuições e Mecanismos
A contribuição central do trabalho é a identificação de um mecanismo onde o nível intermediário $m_s=0$, quando energeticamente acessível via o parâmetro de anisotropia $D$, permite caminhos de reconfiguração passo a passo entre configurações clássicas.

• Reestruturação Espectral: O termo de anisotropia modifica a estrutura dos cruzamentos evitados encontrados durante o recozimento. Em vez de exigir inversões coletivas de spin (grandes barreiras energéticas), o sistema pode atravessar o espaço de configurações via sequências de transições menores envolvendo o estado intermediário.
• Redistribuição Diabática: Este mecanismo redistribui efetivamente as transições diabáticas sobre múltiplos cruzamentos evitados, em vez de concentrá-las em uma única grande lacuna, potencialmente aprimorando o desempenho em tempo finito.
• Distinção de Modelos de Bifurcação: Os autores distinguem explicitamente este mecanismo de esquemas de recozimento baseados em bifurcação (por exemplo, osciladores não lineares). A melhoria aqui surge do transporte discreto de estado intermediário em um espaço de Hilbert de dimensão finita, e não de bifurcações de amplitude contínua ou dinâmica clássica não linear.

Resultados
Simulações numéricas na cadeia $N=5$ revelam regimes de parâmetros específicos onde o AQA supera a linha de base clássica de tritos:

• Regime de Plano Fácil ($D > 0$): No setor onde a anisotropia favorece o estado $m_s=0$, o AQA alcança probabilidades de sucesso do estado fundamental significativamente maiores e TTS menores em comparação com o TA. Esta vantagem é mais pronunciada com condução transversal forte ($c \ge 5$) e programações de decaimento lento (por exemplo, $g(t) \propto 1/\log(t)$).
• Regime de Eixo Fácil ($D < 0$): Quando o estado $m_s=0$ é energeticamente suprimido, a vantagem do AQA é menos consistente. No entanto, para $D$ fortemente negativo, o AQA ainda supera o TA, provavelmente porque o panorama clássico se torna simples (em forma de funil) enquanto o AQA mantém acesso coerente ao subespaço restrito $\pm 1$.
• Regime Intermediário: Na região onde $-2 \lesssim D \lesssim +1$, o panorama clássico permanece acidentado sem a dominância do nível intermediário, e a vantagem quântica ainda não é ativada; aqui, o TA permanece competitivo.
• Dependência da Programação: O desempenho do AQA é sensível à programação de recozimento. Decaimentos mais lentos no final do tempo permitem que o sistema resolva e atravesse melhor estruturas de baixa energia concorrentes, enquanto decaimentos agressivos (por exemplo, $1/t^2$) podem renunciar aos caminhos habilitados por condução forte.

Significado e Afirmações
O artigo afirma que recozidores quânticos de spin mais elevado com anisotropia ajustável fornecem uma estrutura flexível para otimização multivalorada. A melhoria observada é um efeito de tempo finito decorrente da engenharia espectral de um modelo de spin quântico discreto. Os autores afirmam que, ao controlar a estrutura de níveis local (especificamente a anisotropia $D$), pode-se abrir canais de transporte coerentes que remodelam os caminhos de recozimento.

O trabalho não afirma uma separação geral de todas as heurísticas clássicas, mas demonstra uma vantagem operacional específica sobre uma linha de base local de Metropolis de spin único sob orçamentos computacionais correspondentes. As descobertas sugerem um princípio de design pragmático: a engenharia da estrutura local do Hamiltoniano do problema para facilitar o transporte de estado intermediário, combinada com programações de recozimento que alocam resolução suficiente para a etapa final de evolução, pode produzir vantagens significativas de tempo finito em otimização ternária. Os autores observam que investigações adicionais sobre tamanhos de sistema maiores e diagnósticos espectrais mais detalhados são necessários para caracterizar completamente o limite de desempenho quântico-clássico.