A Variational Surrogate Approach to Finite-Horizon Quantum Control via Hardware-Efficient Ansatz

Resumo Técnico: Uma Abordagem de Surrogado Variacional para Controle Quântico de Horizonte Finito via Ansatz Eficiente em Hardware

Definição do Problema
O artigo aborda o problema de controle ótimo quântico de horizonte finito, especificamente a tarefa de conduzir um sistema quântico fechado de um estado inicial dado $|\psi_{in}\rangle$ para um estado alvo desejado $|\psi_{tar}\rangle$ dentro de um tempo fixo $T$. As abordagens tradicionais para este problema geralmente dependem da parametrização explícita de campos de controle dependentes do tempo $u(t)$ e da resolução da trajetória ótima usando métodos baseados em gradiente ou o Princípio do Mínimo de Pontryagin. No entanto, esses métodos clássicos podem se tornar computacionalmente proibitivos para sistemas de alta dimensão e frequentemente exigem conhecimento detalhado dos Hamiltonianos de deriva (drift) e de controle do sistema, limitando sua compatibilidade direta com o hardware quântico de curto prazo (near-term).

Metodologia
Os autores propõem uma estrutura quântica variacional que reformula o objetivo de controle como um problema de otimização variacional. Em vez de sintetizar campos de controle dependentes do tempo ou impor restrições de alcançabilidade do Hamiltoniano, o método trata o operador de evolução terminal como um circuito quântico parametrizado (PQC) treinável.

• Parametrização de Surrogado (Surrogate Parameterization): A inovação central é o uso de um ansatz eficiente em hardware como um surrogado para a evolução terminal. O circuito $U(\theta)$ mapeia o estado inicial para o estado terminal $|\psi(\theta)\rangle = U(\theta)|\psi_{in}\rangle$.
• Estrutura do Circuito: O ansatz consiste em camadas alternadas de rotações de um único qubit ($R_z$ e $R_x$) e portas de emaranhamento de vizinhos próximos (CNOT). Esta estrutura é projetada para ser compatível com dispositivos NISQ (Noisy Intermediate-Scale Quantum) atuais, evitando a necessidade de construções inspiradas na física, como evoluções de Hamiltoniano trotterizadas.
• Loop de Otimização: A tarefa de controle é reduzida à minimização de uma função de custo terminal definida pela infidelidade: $J(\theta) = 1 - |\langle \psi_{tar} | U(\theta) | \psi_{in} \rangle|^2$. Isso é resolvido via um loop híbrido quântico-clássico onde um otimizador clássico (SLSQP) atualiza os parâmetros do circuito $\theta$ com base nas avaliações de fidelidade realizadas em um simulador quântico.
• Base Teórica: O artigo estabelece que a formulação variacional admite um minimizador global em domínios de parâmetros compactos e que qualquer unitário gerado pelo ansatz corresponde a uma evolução de Hamiltoniano de horizonte finito válida, garantindo que o surrogado seja fisicamente realizável, em princípio.

Principais Contribuições

1. Formulação de Controle Teórico: Os autores apresentam uma formulação variacional de controle quântico de horizonte finito que utiliza ansatzes eficientes em hardware, deslocando o espaço de busca de funções de controle para parâmetros de circuito.
2. Estratégia de Controle de Surrogado: O trabalho introduz uma formulação de controle de surrogado eficiente em hardware onde parâmetros de circuito treináveis substituem campos de controle explícitos dependentes do tempo. Isso distingue a abordagem de métodos variacionais inspirados em Hamiltonianos, oferecendo uma alternativa flexível e de fácil implementação que não requer ansatzes específicos do problema.
3. Investigação Numérica: O artigo fornece uma análise numérica da convergência, expressividade e robustez do framework, examinando especificamente os compromissos entre profundidade do circuito, tamanho do sistema e complexidade de otimização.

Resultos
Experimentos numéricos foram conduzidos em benchmarks de transferência de estado multi-qubit (transferindo uma excitação única de uma extremidade de um registrador para a outra) usando simuladores de vetor de estado sem ruído e vários backends do Azure Quantum.

• Tamanho do Sistema e Convergência: Para sistemas pequenos ($N=3$), o método alcançou altas fidelidades ($>0.999$) com convergência estável. À medida que o tamanho do sistema aumentou ($N=5, 7$), a otimização tornou-se mais desafiadora, com fidelidades finais diminuindo para aproximadamente $0.996$e$0.955$, respectivamente, refletindo o crescimento do espaço de Hilbert e o surgimento do fenômeno de platôs áridos (barren plateaus).
• Profundidade do Circuito vs. Expressividade: Aumentar a profundidade do circuito $L$ geralmente melhorou a fidelidade alcançável, particularmente para sistemas maiores ($N=7$), onde circuitos mais profundos ($L \ge 8$) foram necessários para recuperar soluções de alta fidelidade. No entanto, circuitos mais profundos também aumentaram o número de parâmetros treináveis e a sensibilidade à inicialização aleatória.
• Robustez e Inicialização: A otimização mostrou estabilidade para tamanhos de sistema pequenos e moderados. Para sistemas maiores ($N=7$), a distribuição das soluções ampliou-se, indicando múltiplos mínimos locais e aumento da sensibilidade à inicialização, consistente com as expectativas teóricas para circuitos variacionais de grande escala.
• Compatibilidade de Hardware: Os circuitos otimizados foram executados com sucesso em backends de simulador do Azure Quantum (IonQ, Rigetti e o emulador Quantinuum H2). Os resultados demonstraram que os parâmetros otimizados transferem-se efetivamente entre plataformas, alcançando probabilidades de estado-alvo acima de $0.99$ em simuladores ideais e $0.94$ em um emulador inclusivo de ruído.

Significância e Alegações
O artigo alega fornecer uma abordagem flexível e de fácil implementação para o controle quântico, que é naturalmente compatível com dispositivos quânticos de curto prazo. Ao evitar a dependência de ansatzes específicos do problema ou inspirados na física, o método oferece um framework genérico para transferência de estado de horizonte finito. Os autores enfatizam que, embora a abordagem demonstre com sucesso a transferência de estado de alta fidelidade para sistemas multi-qubit de pequeno a moderado porte, ela destaca o compromisso inerente entre a expressividade do ansatz e a complexidade de otimização. O trabalho é apresentado como um framework de controle de malha aberta; os autores notam modestamente que estender isso para o controle de malha fechada com medições intermediárias permanece uma direção para pesquisas futuras. A significância reside em demonstrar que circuitos eficientes em hardware podem servir como eficazes surrogados variacionais para a evolução terminal, contornando a necessidade de síntese explícita de campos de controle na fase de otimização.