Experimental prime factorization via the feedback quantum control

Resumo Técnico: Fatoração de Primos Experimental via Controle Quântico por Feedback

Enunciado do Problema
A fatoração de números primos quânticos atual enfrenta obstáculos significativos na era do NISQ (Quantum de Escala Intermediária com Ruído). Abordagens baseadas em circuitos, como o algoritmo de Shor, exigem portas de alta fidelidade e circuitos profundos ($O(l^3)$ portas com infidelidades extremamente baixas), limitando as demonstrações a números muito pequenos. Por outro lado, métodos de otimização hamiltoniana (adiabáticos, annealing ou variacionais) codificam os fatores como estados fundamentais degenerados de um Hamiltoniano de problema ($H_p$). No entanto, esses métodos frequentemente sofrem de evolução lenta, requisitos estritos de estado inicial e a necessidade de processamento clássico caro para determinar parâmetros de controle dependentes do tempo.

Metodologia: FALQON
Os autores propõem e implementam o FALQON (Algoritmo de Otimização Quântica baseado em Feedback), uma abordagem iterativa, baseada em medição e totalmente quântica.

• Mecanismo Central: O FALQON utiliza um esquema iterativo inspirado em Lyapunov. Em vez de pré-calcular campos de controle, o algoritmo mede o estado instantâneo do sistema quântico em cada iteração para determinar os parâmetros de drive para o passo subsequente.
• Lógica de Controle: O sistema evolui sob um Hamiltoniano total $H_{total} = H_p + \beta(t)H_d$, onde $H_p$ é o Hamiltoniano do problema e $H_d$ é um Hamiltoniano de drive. O parâmetro de controle escalar $\beta_{j+1}$ para a iteração $j+1$ é determinado pela medição do valor esperado do observável comutador $C = i[H_p, H_d]$ na iteração $j$. A regra de atualização é $\beta_{j+1} = c \langle C \rangle_{\rho_j}$, onde $c$ é um fator de escala. Isso garante que a energia $\langle H_p \rangle$ diminua monotonicamente (ou converja assintoticamente) em direção ao estado fundamental.
• Implementação Experimental: Os autores implementam o método em um registrador de Ressonância Magnética Nuclear (RMN) de três qubits usando núcleos de $^{19}$F em 1,1,2-trifluoro-2-iodoeteno.
  • Realização do Hamiltoniano: O Hamiltoniano do problema para o biprime 551 é realizado usando Computação Quântica Digital-Analógica (DAQC). Para mitigar a sensibilidade a imperfeições de pulso, os autores utilizam Engenharia de Pulso por Gradiente de Ascensão (GRAPE) para gerar sequências de RF robustas.
  • Eficiência de Medição: Em vez da tomografia de estado completo, o método utiliza a "tomografia diagonal" para medir eficientemente o observável comutador $\langle C \rangle$ e a energia do sistema, exigindo apenas medições lineares.
  • Estado Inicial: Diferente dos métodos adiabáticos que exigem estados fundamentais específicos, o FALQON parte do estado térmico de RMN, convertendo-o em magnetização transversal sem a preparação elaborada de um estado pseudopuro.

Principais Contribuições

1. Demonstração Experimental: O artigo relata a primeira fatoração experimental de um número biprime (551) usando um algoritmo quântico baseado em feedback em um processador de RMN.
2. Controle Totalmente Quântico: O trabalho demonstra um método que elimina a necessidade de computação clássica dos parâmetros de drive uma vez que $H_p$ é realizado, pois o loop de feedback determina o campo de controle por si só.
3. Análise de Robustez: Os autores fornecem uma análise detalhada da resiliência do algoritmo contra erros de campo de controle, inhomogeneidades de RF e ruído aleatório, comparando favoravelmente o FALQON contra os métodos adiabático e QAOA.
4. Projeções de Escalabilidade: Através de simulação numérica, os autores demonstram a escalabilidade do método ao fatorar biprimes maiores (9.167 e 2.106.287) usando 5 e 9 qubits, respectivamente.

Resultados

• Fatoração de 551: O experimento fatorou com sucesso o 551 em seus componentes primos, 19 e 29. Após 22 iterações, o sistema mostrou uma clara concentração de probabilidade nos estados da base correspondentes a esses fatores (após inversão de bits e preenchimento/padding). A energia diminuiu e saturou, enquanto a probabilidade do espaço de solução subiu de ~0,2 para ~0,4.
• Robustez:
  • Ruído: O FALQON demonstrou convergência mais rápida que o método adiabático e menos oscilação que o QAOA sob erros de controle aleatórios.
  • Imperfeições de Pulso: O estudo confirmou que, embora a realização de DAQC de $H_p$ seja sensível a imperfeições de pulso $\pi$, a implementação otimizada por GRAPE é altamente robusta contra inhomogeneidade de RF e amplitude limitada.
  • Tamanho do Passo: A análise revelou um compromisso (trade-off): tamanhos de passo menores ($c=0,25$) oferecem robustez contra ruído, enquanto tamanhos de passo maiores ($c=0,75$) aumentam a sensibilidade ao ruído, destacando a importância da seleção de parâmetros.
• Truncamento: Resultados numéricos para 9.167 e 2.106.287 mostraram que Hamiltonianos de problema "truncados" (contendo menos termos do que a expansão completa) mantiveram os mesmos estados fundamentais degenerados, permitindo a fatoração bem-sucedida com complexidade reduzida.

Significância e Alegações
O artigo posiciona o FALQON como uma alternativa viável para a fatoração na era NISQ que evita as restrições de profundidade de porta do algoritmo de Shor e o overhead clássico dos métodos variacionais. Os autores alegam que o método é "totalmente quântico" em seu controle dinâmico, pois depende exclusivamente de medições experimentais para guiar o sistema. Eles enfatizam que a abordagem é resiliente a imperfeições experimentais e não requer uma preparação de estado inicial específica, tornando-a adequada para a RMN atual e potencialmente para outras arquiteturas. O trabalho conclui que, embora a demonstração experimental seja limitada a números pequenos, a escalabilidade numérica e a robustez sugerem um caminho promissor para fatorar inteiros maiores, desde que a realização eficiente do Hamiltoniano e métodos sistemáticos de truncamento sejam desenvolvidos.