Compile-once block encodings for masked similarity-transformed effective Hamiltonians

Título: Codificações de Bloco "Compile-once" para Hamiltonianos Efetivos Transformados por Similaridade Mascarados

1. O Problema

A simulação quântica de sistemas de muitos corpos, especialmente em química quântica, enfrenta um desafio fundamental: a necessidade de recompilar circuitos quânticos complexos sempre que os parâmetros do problema mudam.

• Recompilação Excessiva: Em fluxos de trabalho tradicionais, mudanças na geometria molecular, no espaço ativo (active space), na base de funções ou nos limiares de truncamento exigem a reconstrução de grandes partes do circuito, incluindo árvores de multiplexação e camadas de roteamento de portas de dois qubits.
• Ineficiência em Métodos Adaptativos: Algoritmos que envolvem expansões de subespaço (como QSE, VQE não ortogonal) ou transformações de similaridade iterativas (como Schrieffer-Wolff) exigem a reavaliação repetida de elementos de matriz e a adição de novos estados de base. Em abordagens convencionais, cada iteração ou atualização de máscara pode desencadear uma recompilação estrutural, dominando o custo de tempo de execução (wall-clock time).
• Separação Topologia-Dados: A maioria das arquiteturas atuais trata a topologia do circuito (a conexão física entre qubits) e os dados numéricos (coeficientes, ângulos) como um bloco único, dificultando a reutilização da infraestrutura lógica entre instâncias relacionadas.

2. Metodologia: A Arquitetura COMPOSER

Os autores apresentam o COMPOSER (Compile-Once Modular Parametric Oracle for Similarity-Encoded Effective Reduction), uma arquitetura de execução projetada para separar explicitamente a topologia do circuito dos dados numéricos.

• Fatoração de Baixo Ranco (Rank-One):

  • O Hamiltoniano molecular e os geradores anti-hermitianos (usados em transformações de similaridade) são decompostos em coleções de operadores de rango único (rank-one).
  • Utiliza-se fatorações de Cholesky pivotadas e decomposições em valores singulares (SVD) para comprimir o Hamiltoniano em ladders (escadas) bilineares e projetados-quadráticos.
  • O número desses operadores escala de forma quase linear com o tamanho do sistema para limiares de fatoração quimicamente relevantes.

• Circuitos de Escada Determinísticos (Deterministic Ladders):

  • São construídos circuitos de preparação de estado determinísticos e conservadores de número (usando rotações de Givens e redes de troca fermiónica) que atuam como "adaptadores" para cada operador de rango único.
  • Esses adaptadores têm uma topologia fixa de dois qubits.

• Codificação de Bloco com Topologia Fixa:

  • Os adaptadores são montados dentro de um esqueleto fixo PREP-SELECT-PREP†.
  • A estrutura de multiplexação binária (SELECT) e o roteamento de dois qubits são compilados uma única vez para um conjunto de "pool" de operadores (que cobre uma família de problemas, como uma varredura de geometria).
  • Mecanismo "Dial-Many" (Ajustar-Muitas): Quando o problema muda (ex: nova geometria, nova máscara de espaço ativo), apenas os ângulos de rotação de qubit único e os coeficientes clássicos são atualizados. A topologia de dois qubits permanece inalterada.

• Transformação de Similaridade Mascarada:

  • O método codifica o Hamiltoniano efetivo na forma $H_{eff} = P e^{-\hat{\sigma}} \hat{H} e^{\hat{\sigma}} P$, onde $P$ é um projetor para um subespaço de modelo e $\hat{\sigma}$ é um gerador truncado.
  • Uma "máscara" clássica seleciona quais termos do gerador $\hat{\sigma}$ são ativos. A mudança de máscara apenas reconfigura as amplitudes de preparação do estado (PREP), sem alterar o circuito de seleção ou a lógica de QSP (Processamento de Sinal Quântico).

• Processamento de Sinal Quântico (QSP):

  • A exponenciação do gerador $\hat{\sigma}$ é realizada usando um único polinômio QSP. O grau do polinômio é determinado pelas normas espectrais, não pelo número de termos, permitindo controle preciso do erro de aproximação.

3. Principais Contribuições

1. Modelo de Execução "Compile-once": Propõe uma arquitetura onde a topologia lógica do circuito (conectividade de dois qubits, roteamento, estrutura de multiplexação) é sintetizada uma vez e reutilizada para toda uma família de problemas relacionados.
2. Linguagem Unificada de Operadores: Demonstra que tanto Hamiltonianos quanto geradores de cluster (como em Coupled-Cluster) podem ser representados e codificados usando a mesma linguagem de "escadas" (ladders) de rango único, permitindo adaptadores compartilhados.
3. Codificação de Bloco Mascarada: Introduz uma construção de Hamiltoniano efetivo que suporta atualizações dinâmicas de máscaras (seleção de subespaço) sem recompilação, essencial para métodos de downfolding e expansão de subespaço adaptativo.
4. Análise de Recursos e Estabilidade: Fornece uma análise detalhada do custo de portas e ancilas, mostrando que o custo de recompilação estrutural é eliminado, restando apenas o custo de atualização de parâmetros clássicos.

4. Resultados Numéricos

Os autores validaram a abordagem com um conjunto de benchmark de moléculas (de $H_2$ a $C_6H_6$) em várias bases (STO-3G, 6-31G, cc-pVDZ):

• Escalabilidade do Pool de Operadores: O número de operadores de rango único ($\ell_H$) necessários para representar o Hamiltoniano cresce de forma quase linear com o número de qubits (tamanho do sistema), permitindo que o tamanho do registrador de seleção cresça apenas logaritmicamente.
• Invariância sob Varredura de Geometria: Em testes de varredura de geometria (ex: variação da distância de ligação em $H_2O$), o número de termos no Hamiltoniano variou apenas marginalmente. Isso confirma que a largura do registrador de seleção pode ser fixada no valor máximo esperado, permitindo que todas as variações geométricas sejam tratadas apenas pela atualização de ângulos de rotação.
• Estabilidade de Subespaços de Excitação: A sobreposição entre os subespaços de excitação derivados de métodos baratos (MP2) e métodos precisos (CCSD) foi encontrada ser alta (>0.85). Isso valida o uso de aproximações de baixo custo para definir máscaras e truncar geradores, garantindo que a estrutura algébrica subjacente permaneça estável durante iterações adaptativas.
• Demonstração de Subespaço Não Ortogonal: Uma ilustração de um solucionador de subespaço não ortogonal mostrou que é possível recuperar a energia exata do estado fundamental ajustando continuamente coordenadas de gerador sem alterar a topologia do circuito.

5. Significado e Impacto

O trabalho do COMPOSER representa uma mudança de paradigma na implementação de algoritmos quânticos para química:

• Eficiência Operacional: Elimina o gargalo de recompilação em fluxos de trabalho iterativos e adaptativos, que são comuns em métodos modernos de química quântica (como QSE, NOQE e métodos de coordenadas de gerador).
• Previsibilidade de Recursos: Ao fixar a topologia, o custo de recursos (número de portas de dois qubits, ancilas) torna-se previsível e independente das variações paramétricas do problema, facilitando o planejamento para computadores quânticos tolerantes a falhas (FTQC).
• Ponte entre Teoria e Hardware: A arquitetura alinha-se bem com as limitações de hardware, permitindo que a complexidade algorítmica seja gerenciada através de parâmetros clássicos e rotações de qubit único, enquanto a estrutura física do circuito permanece estável.
• Aplicabilidade Geral: Embora focado em Hamiltonianos moleculares, o princípio de separar topologia de dados é aplicável a outros problemas de física de muitos corpos e simulações de dinâmica temporal.

Em resumo, o COMPOSER não propõe um novo algoritmo de simulação com complexidade assintótica superior, mas sim uma arquitetura de execução otimizada que torna a simulação quântica adaptativa viável e eficiente ao eliminar a sobrecarga de recompilação estrutural.