Continuous-time quantum walk-based ansätze on neutral atom hardware

Resumo Técnico: Ansätze baseados em caminhadas quânticas de tempo contínuo em hardware de átomos neutros

Definição do Problema
As caminhadas quânticas de tempo contínuo (CTQWs) oferecem acelerações comprováveis para problemas computacionais específicos, como busca não estruturada e otimização, frequentemente alcançando convergência superquadrática. No entanto, traduzir essas vantagens teóricas para o hardware quântico de curto prazo continua sendo um desafio. As implementações existentes enfrentam limitações: demonstrações em bases de posição (ex: sistemas fotônicos ou de íons) muitas vezes carecem do espaço de Hilbert computacional completo ou da flexibilidade para corresponder às estruturas dos problemas, enquanto abordagens baseadas em portas (ex: QAOA em processadores supercondutores) tipicamente requerem termos de penalidade ou pós-seleção para impor restrições, incorrendo em um overhead significativo. Além disso, embora os algoritmos baseados em CTQW operem em um regime não adiabático que pode saturar limites fundamentais de velocidade quântica, demonstrar isso em dispositivos de escala intermediária com ruído (NISQ) é difícil devido às restrições de coerência e à complexidade de otimizar parâmetros variacionais.

Metodologia
Os autores implementam ansätze variacionais baseados em CTQWs no QuEra's Aquila, um processador de átomos neutros em modo analógico. A abordagem aproveita o bloqueio de Rydberg para impor restrições naturalmente, mapeando o problema para um subespaço de conjunto independente de um grafo.

1. Design do Ansatz: O estudo utiliza um ansatz de "caminhada de fase" (phase-walk), uma sequência alternada de uma unitária de mistura (o gerador da CTQW $\hat{G}$) e uma unitária de separador de fase ($\hat{C}$). O grafo de mistura é definido pelos conjuntos independentes de um anel de $N$ vértices (um cubo de Lucas), onde as arestas conectam estados com uma distância de Hamming de 1.
2. Estados Alvo: Dois tipos de estados alvo são preparados:
   • Estados de Produto: Estados específicos da base computacional (ex: $z_{half}$ e conjuntos independentes máximos $z_{MIS}$), servindo como benchmarks para a preparação de soluções de baixa emaranhamento.
   • Estados de Pulseira (Bracelet States): Superposições simétricas sobre todos os estados da base relacionados pelas simetrias diedrais do grafo de anel. Estes representam estados emaranhados dentro do subespaço restrito.
3. Estratégias de Otimização:
   • Para estados de produto, os autores derivam expressões de forma fechada para parâmetros de controle quase ótimos ($\tau_0, \tau_1$) baseadas em um argumento de limite de "avanço rápido" (fast-forward). Esses pontos iniciais analíticos são transferidos diretamente para o hardware com calibração mínima.
   • Para estados de pulseira, um protocolo de otimização explora as propriedades espectrais da dinâmica da caminhada. O tempo de evolução necessário é determinado pelo inverso do gap espectral ($\Delta_{min}$), em vez do inverso do quadrado, distinguindo-se de protocolos adiabáticos.
4. Implementação em Hardware: A dinâmica abstrata da CTQW é mapeada para o Hamiltoniano de Rydberg dependente do tempo. A unitária de mistura é implementada via drives de Rabi, enquanto o separador de fase é realizado através de desvio (detuning) local (para estados de produto) ou saltos de fase globais no drive de Rabi (para estados de pulseira). O bloqueio de Rydberg restringe naturalmente a evolução ao subespaço do conjunto independente.
5. Verificação: Para confirmar a coerência dos estados de pulseira preparados (distinguindo-os de misturas incoerentes), os autores empregam dinâmicas de quench, observando a evolução temporal dos estados preparados sob o Hamiltoniano da caminhada.

Resultados Principais

• Preparação de Estados de Produto: No Aquila, o hardware reproduz com sucesso a convergência superquadrática característica de algoritmos eficientes de CTQW em profundidades de circuito baixas. Para alvos $z_{half}$, o fator de amplificação escala com o tamanho do problema $|V|$ com um expoente $\alpha$ correspondente a ordens de aceleração polinomial efetiva de $n \approx 4$ em profundidade $p=1$ e $n \approx 8$ em $p=2$. Para alvos $z_{MIS}$, a dinâmica ideal prevê amplificação próxima da unidade; os resultados de hardware mostram forte escalonamento em $p=1$ ($n \approx 5.6$), embora o desempenho degrade em $p=2$ devido ao erro de fase acumulado do desvio local.
• Preparação de Estados de Pulseira: O estudo verifica que o tempo de evolução necessário para a preparação de alta fidelidade escala inversamente com o gap espectral ($\tau_{eff} \propto 1/\Delta_{min}$), confirmando a vantagem não adiabática sobre protocolos adiabáticos ($\tau \propto 1/\Delta_{min}^2$). Embora as interações de van der Waals no sistema de Rydberg comprimam os gaps espectrais efetivos (exigindo tempos de caminhada mais longos), a relação de escalonamento é preservada.
• Verificação de Coerência: Dinâmicas de quench em estados de pulseira preparados mostram que as populações observadas derivam de superposições coerentes. A dinâmica do hardware rastreia qualitativamente a emulação sem ruído, embora desvios em tempos mais longos sejam atribuídos a desfasagem e violações perturbativas do bloqueio.
• Limites de Escalonamento: Os autores identificam um ponto de transição onde o ruído suprime a convergência. Para estados de pulseira, alvos com gaps espectrais menores exigem tempos de evolução mais longos que excedem o tempo de desfasagem efetivo ($T_2^* \approx 1.07 \mu s$) do hardware, levando a uma perda da vantagem de escalonamento para certos alvos (ex: pulseiras $z_{half}$) em comparação com aqueles com maiores gaps (ex: pulseiras $z_{MIS}$).

Significância
O artigo estabelece um caminho prático da algoritmos abstratos de caminhada quântica para processadores quânticos analógicos. Demonstra que as dinâmicas subjacentes a potenciais acelerações quânticas superquadráticas são acessíveis em dispositivos de átomos neutros atuais sem a necessidade de decomposição complexa de portas ou correção de erros pesada. Ao utilizar o bloqueio de Rydberg para impor restrições nativamente, o trabalho mostra que o hardware analógico pode implementar eficientemente o ansatz completo de fase-walk, onde tanto a imposição de restrições quanto a mistura são "gratuitas" em termos de overhead de portas. Os resultados confirmam que os ansätze baseados em CTQW podem exibir a característica convergência superquadrática em hardware NISQ, fornecendo uma base para futuras aplicações em otimização combinatória restrita e preparação de estados emaranhados.