Detrimental Agnostic Entanglement: The Case Against Hardware-Efficient Ansätze for Combinatorial Optimization

Resumo Técnico: Emaranhamento Agnóstico Prejudicial em Ansätze Eficientes em Hardware para Otimização Combinatória

Declaração do Problema
Algoritmos Quânticos Variacionais (VQAs) são um paradigma líder para computação quântica de curto prazo, particularmente para problemas de otimização combinatória como MaxCut. Uma escolha central de design nesses algoritmos é o ansatz do circuito. Ansätze Eficientes em Hardware (HEAs) são amplamente adotados devido à sua compatibilidade com as topologias atuais de dispositivos, tipicamente compostos por rotações nativas de qubits únicos e portas de emaranhamento fixas entre vizinhos mais próximos (por exemplo, escadas de CNOT).

No entanto, existe uma lacuna fundamental na compreensão do papel do emaranhamento nesses algoritmos. Para uma classe significativa de problemas combinatórios governados por Hamiltonianos diagonais (incluindo MaxCut, Max-SAT e formulações QUBO), os estados fundamentais são estados produto clássicos na base computacional. Princípios teóricos sugerem que qualquer emaranhamento no estado variacional final representa um desvio do alvo. Isso levanta uma questão crítica: a inclusão padrão de portas de emaranhamento agnósticas ao problema em HEAs auxilia a busca variacional ou a prejudica? Além disso, a utilidade do emaranhamento depende de sua estrutura e não meramente de sua quantidade?

Metodologia
Os autores investigam essa questão através de um estudo sistemático em instâncias de MaxCut geradas aleatoriamente ($n=12$ qubits) usando simulações de vetores de estado sem ruído. O estudo emprega dois mecanismos complementares para exercer controle suave e monótono sobre o emaranhamento dentro de HEAs, quantificado pela medida de Meyer–Wallach $Q$:

1. Controle Estrutural (Deleção de CNOT): Em um HEA de "anel CNOT", um fator de deleção $\delta \in [0, 1]$ é usado para remover aleatoriamente uma fração de portas CNOT antes da otimização. $\delta=1$ resulta em um ansatz totalmente separável (estado produto).
2. Controle Paramétrico (Restrição de CRot): Em um HEA de "anel CRZ", onde as portas de emaranhamento são rotações controladas parametrizadas (CRZ), um fator de restrição $\rho \in [0, 1]$ restringe os ângulos de rotação $\theta$ ao intervalo $[-(1-\rho)\pi, +(1-\rho)\pi]$. $\rho=1$ força todos os ângulos a zero, removendo efetivamente o emaranhamento.

O estudo rastreia a trajetória de emaranhamento $Q(t)$ ao longo do treinamento do Eigensolver Quântico Variacional (VQE) usando o otimizador COBYLA. Essas configurações de HEA são comparadas com o Algoritmo Quântico de Aproximação de Otimização (QAOA), que serve como referência estruturada ao problema, onde o emaranhamento é derivado diretamente do Hamiltoniano do problema.

Principais Contribuições

• Modulação Controlada de Emaranhamento: O artigo introduz e valida dois mecanismos que fornecem controle contínuo e monótono sobre o emaranhamento do circuito sem alterar a estrutura de qubits únicos, permitindo o isolamento do emaranhamento como uma variável causal.
• Rastreamento Dinâmico de Emaranhamento: O estudo fornece evidências empíricas de como o emaranhamento evolui durante o treinamento, revelando que os otimizadores suprimem ativamente o emaranhamento quando recebem controle paramétrico sobre as portas de emaranhamento.
• Distinção entre Quantidade e Estrutura: O trabalho distingue entre emaranhamento "agnóstico ao problema" (imposto pela topologia do hardware) e emaranhamento "estruturado ao problema" (derivado do Hamiltoniano de custo), demonstrando que este último pode ser benéfico mesmo em quantidades elevadas.

Resultados

1. Supressão de Emaranhamento em HEAs: Quando o ansatz concede ao otimizador controle indireto ou direto sobre o emaranhamento (via parâmetros CRZ), o otimizador consistentemente reduz a medida de emaranhamento $Q$ em direção a zero durante o treinamento. Isso ocorre independentemente da inicialização (aleatória ou próxima de zero).
2. Correlação de Desempenho: Estabelece-se uma relação monótona: menos emaranhamento agnóstico ao problema resulta em melhor desempenho.
   • O ansatz totalmente separável (estado produto) alcança a maior razão média de aproximação ($\alpha \approx 0,97$), superando significativamente todas as configurações de HEA emaranhadas.
   • HEAs com emaranhamento rígido (anéis CNOT) apresentam o pior desempenho ($\alpha \approx 0,84$), pois o otimizador não pode remover o emaranhamento estruturalmente imposto.
   • Níveis intermediários de emaranhamento não fornecem um "ponto ideal"; o desempenho melhora monotonicamente à medida que o emaranhamento é reduzido.
3. Contraste com QAOA: O QAOA mantém altos níveis de emaranhamento ($Q \approx 0,7\text{--}0,9$) e ainda assim alcança qualidade de solução competitiva. Isso é atribuído à estrutura do emaranhamento, que está alinhada com o grafo do problema (arestas da instância MaxCut), ao contrário da topologia de hardware fixa dos HEAs.
4. Robustez: A correlação negativa entre emaranhamento agnóstico ao problema e qualidade da solução mantém-se através de diferentes densidades de grafos (probabilidades de arestas) e degenerescências de estados fundamentais.

Significado e Alegações
O artigo alega que, para problemas de otimização combinatória governados por Hamiltonianos diagonais, a prática padrão de recorrer a camadas de emaranhamento eficientes em hardware e agnósticas ao problema é fundamentalmente inadequada.

• Emaranhamento Agnóstico Prejudicial: O estudo conclui que o emaranhamento agnóstico ao problema não é meramente inútil, mas ativamente prejudicial à busca variacional. O regime operacional ótimo para HEAs nesses problemas é o limite de estado produto, que é simulável classicamente de forma eficiente.
• Necessidade Estrutural: A utilidade do emaranhamento é determinada por sua estrutura, e não por sua quantidade. O emaranhamento é benéfico apenas quando é estruturalmente derivado do Hamiltoniano do problema (como no QAOA), permitindo interferência construtiva sobre soluções ótimas.
• Implicações para a Vantagem Quântica: As descobertas sugerem um dilema: o regime onde os HEAs performam melhor (baixo/zero emaranhamento) é simulável classicamente, enquanto a adição de emaranhamento agnóstico ao problema degrada o desempenho sem oferecer vantagem quântica. Isso desafia a dependência da comunidade da conveniência do hardware como princípio orientador para o design de circuitos, defendendo, em vez disso, designs de ansatz estruturados ao problema para Hamiltonianos diagonais.

Os autores notam limitações, especificamente que seus resultados estão restritos a $n=12$ qubits e Hamiltonianos diagonais, e que problemas com estados fundamentalmente emaranhados (por exemplo, em química quântica) podem exigir considerações diferentes. No entanto, dentro do escopo da otimização combinatória, as evidências apoiam uma mudança de camadas de emaranhamento genéricas para arquiteturas de circuito específicas do problema.