Non-Abelian Mixer for QAOA on Hybrid Oscillator-Qubit Quantum Processors

Resumo Técnico: Misturador Não-Abeliano para QAOA em Processadores Quânticos Híbridos de Oscilador-Qubit

Enunciado do Problema
Embora o controle universal tenha sido estabelecido para processadores quânticos híbridos de variáveis contínuas (CV) e variáveis discretas (DV) — especificamente aqueles que acoplam qubits supercondutores a ressonadores de micro-ondas —, o desenvolvimento de algoritmos quânticos adaptados a essas plataformas permanece em seus estágios iniciais. Embora o Algoritmo de Otimização Aproximada Quântica (QAOA) seja bem estudado em contextos puramente de variáveis discretas (DV) e puramente de variáveis contínuas (CV), sua formulação para sistemas híbridos CV-DV é inexistente. Existe uma lacuna crítica na identificação do Hamiltoniano "misturador" apropriado para QAOA em processadores híbridos. O QAOA padrão depende de um misturador de campo transversal (uma soma de operadores Pauli-X), que é nativo a sistemas DV, mas pode não explorar plenamente o espaço de estados de dimensão infinita e os primitivos de controle não comutativos disponíveis em arquiteturas híbridas de oscilador-qubit.

Metodologia
Os autores propõem um framework de QAOA nativo ao hardware, projetado especificamente para processadores híbridos CV-DV, utilizando a Arquitetura de Conjunto de Instruções (ISA) no espaço de fase. O núcleo de sua metodologia envolve três componentes principais:

1. Codificação e Leitura: O algoritmo codifica qubits lógicos em estados de Gottesman-Kitaev-Preskill (GKP) de energia finita dentro dos modos do oscilador. Qubits auxiliares são usados para mediar o controle e a leitura. A informação lógica é mapeada entre o espaço de fase do oscilador e o registro de qubits usando uma sequência específica de Processamento de Sinal Quântico Não-Abeliano (NA-QSP), denotada como $E_x(\sqrt{\pi}/2, \Delta)$, que corrige a incerteza de posição inerente aos estados GKP de energia finita.
2. Unitária de Custo: Para o problema Max-Cut em grafos de Erdős–Rényi não ponderados, o Hamiltoniano de custo é implementado como uma série de rotações ZZ lógicas ($R_{ZZ}$) no registro de qubits auxiliares. Esta unitária codifica a estrutura do grafo nas fases relativas das amplitudes dos qubits.
3. Misturador Não-Abeliano: A inovação principal é a substituição do misturador de campo transversal padrão por um misturador não-abeliano construído a partir de primitivas nativas do espaço de fase. Este misturador atua em cada par oscilador-qubit e consiste em:
   • Uma rotação inicial treinável de um único qubit.
   • Uma sequência de portas de deslocamento condicional (CD) ao longo das quadraturas de posição ($\hat{x}$) e momento ($\hat{p}$).
   • Rotações de único qubit intercaladas que alteram a base entre os deslocamentos.
   • A profundidade deste misturador, $d$, é um parâmetro ajustável. Quando $d=0$, o misturador reduz-se ao misturador de campo transversal padrão. Para $d \geq 1$, ele explora a não comutatividade de $\hat{x}$ e $\hat{p}$ para explorar o espaço de soluções de forma mais eficaz.

Principais Contribuições
O artigo faz três contribuições específicas:

• Proposta de um Misturador Não-Abeliano: Os autores introduzem um misturador construído a partir de conjuntos de instruções híbridos CV-DV nativos (deslocamentos condicionais e rotações de qubit) que aproveita a natureza não abeliana das quadraturas do oscilador.
• Desenvolvimento de Ansatz Híbrido: Eles desenvolvem um ansatz QAOA completo para o problema Max-Cut que integra codificação GKP, leitura/correção NA-QSP e o misturador não-abeliano proposto.
• Avaliação Comparativa: Eles fornecem uma avaliação sistemática do ansatz proposto contra o misturador de campo transversal padrão, utilizando razões de aproximação e probabilidades de solução ótima.

Resultados de Simulação
Os autores avaliaram o ansatz proposto em grafos de Erdős–Rényi não ponderados com tamanhos $N=4$ e $N=5$, utilizando vários cortes de Fock ($N_{max} \in \{6, 8, 10, 12\}$) e parâmetros de envelope GKP ($\Delta$). Os resultados indicam:

• Melhoria Consistente: Em todos os tamanhos de grafo e cortes de Fock testados, o misturador não-abeliano superou consistentemente o misturador de campo transversal padrão.
• Ganhos de Métrica: A melhoria média na razão de aproximação foi de aproximadamente 0,13 para ambos os tamanhos de grafo. A melhoria média na probabilidade de amostrar uma solução ótima foi de aproximadamente 0,15.
• Dependência da Profundidade: O aumento da profundidade do misturador de $d=0$ (linha de base de campo transversal) para $d=1$ produziu o salto de desempenho mais significativo. Aumentos adicionais na profundidade forneceram ganhos marginais, mas positivos.
• Robustez: O desempenho permaneceu estável à medida que o corte de Fock aumentava, sugerindo que o algoritmo é robusto à truncagem do espaço de Hilbert de dimensão infinita. O parâmetro de envelope GKP $\Delta$ também influenciou o desempenho, com valores maiores (representando estados mais amplos e de menor energia) mostrando ligeiras melhorias no espaço truncado.

Significado e Alegações
O artigo afirma que o misturador não-abeliano proposto é um bloco de construção promissor para QAOA em plataformas híbridas de oscilador-qubit. Os resultados sugerem que o design de algoritmos para sistemas híbridos deve seguir a estrutura nativa do hardware e os primitivos de controle (especificamente as operações não comutativas no espaço de fase), em vez de depender de transferências ingênuas de algoritmos de variáveis discretas. Os autores postulam que seu misturador permite uma exploração mais eficiente do espaço de soluções do Max-Cut, melhorando tanto a qualidade esperada da solução quanto a probabilidade de encontrar a solução ótima. Eles concluem que este trabalho representa um passo em direção ao design sistemático de algoritmos para processadores quânticos híbridos, destacando um princípio de design mais amplo: aproveitar as propriedades algébricas únicas dos sistemas híbridos (controle não abeliano) para melhorar o desempenho algorítmico.