Boson sampling enhanced quantum chemistry

Resumo Técnico: Química Quântica Aprimorada por Amostragem de Bósons

Declaração do Problema
O Problema da Estrutura Eletrônica (ESP) envolve determinar a energia do estado fundamental de Hamiltonianos moleculares para prever taxas de reações químicas. Embora o Eigensolver Quântico Variacional (VQE) seja uma abordagem líder para resolver o ESP em dispositivos Quânticos de Escala Intermediária Ruidosa (NISQ), ele enfrenta desafios significativos em Sistemas Ópticos Lineares Quânticos (LQOS). Ansätze VQE convencionais, como o Cluster Acoplado Unitário (UCC), dependem de dinâmicas de férmions interagentes e circuitos quânticos profundos que são difíceis de implementar em LQOS passivos devido à falta de interações naturais fóton-fóton. Além disso, não há um mapeamento direto do espaço de Fock de bósons multicanal para o espaço de multiquibits que preserve a estrutura das linguagens padrão de circuitos quânticos. O desafio é desenvolver um algoritmo VQE especificamente adaptado para LQOS passivos que possa superar a tratabilidade clássica, mantendo-se eficiente em termos de hardware.

Metodologia
Os autores propõem um algoritmo híbrido quântico-clássico denominado VQE de Amostragem de Bósons-Clássico (BS-C). Esta abordagem utiliza apenas sistemas ópticos lineares passivos (interferômetros lineares) combinados com métodos clássicos de química computacional.

1. Construção do Ansatz:
   O ansatz BS-C é definido como $|\Phi_{BS-C}\rangle = V_C(\vec{\beta}) U_B(\vec{\alpha}) |\Phi_{ref}\rangle$.

   • Parte Quântica ($U_B(\vec{\alpha})$): Representa dinâmicas de bósons não interagentes realizadas por um Interferômetro Óptico Linear (LOI) parametrizado. O estado inicial $|\Phi_{ref}\rangle$ é preparado usando fontes de fótons únicos para orbitais ocupados e vácuo para orbitais virtuais (codificação de trilho único).
   • Parte Clássica ($V_C(\vec{\beta})$): Representa operações clássicas de química computacional (por exemplo, Hartree-Fock ou Interação de Configuração) atuando sobre o Hamiltoniano. Especificamente, o Hamiltoniano é transformado classicamente como $H_T(\vec{\beta}) = V_C^\dagger(\vec{\beta}) H_F V_C(\vec{\beta})$ antes de ser mapeado para um Hamiltoniano de quibits via transformação de Jordan-Wigner (JW).
   • Distinção de Recursos: Diferentemente de métodos clássicos (HF, CISD) ou UCC, que dependem de excitações de elétrons (determinantes), a parte de bósons introduz recursos baseados em permanentes de matrizes. Como calcular permanentes é #P-difícil, isso fornece um recurso intratável classicamente distinto das excitações fermiônicas padrão.

2. Função de Custo e Medição Híbrida:
   O valor esperado da energia não é uma medição direta devido à natureza não unitária de alguns operadores clássicos e à ausência do princípio de exclusão de Pauli em fótons (permitindo múltiplos fótons em um único modo). A energia verdadeira é definida como uma razão:
   $$E(\vec{\alpha}, \vec{\beta}) = \frac{\langle \Phi(\vec{\alpha}) | H_T^{JW}(\vec{\beta}) | \Phi(\vec{\alpha}) \rangle}{\langle \Phi(\vec{\alpha}) | V_C^\dagger(\vec{\beta}) V_C(\vec{\beta}) | \Phi(\vec{\alpha}) \rangle}$$
   Para medir isso eficientemente, os autores propõem uma estratégia de medição híbrida:

   • Detecção de Número de Fótons: Utilizada para termos envolvendo Identidade ($I$) e operadores Pauli-$Z$.
   • Detecção Homódina: Utilizada para termos envolvendo operadores Pauli-$\sigma^+$ e $\sigma^-$.
     Esta combinação permite a avaliação da função de custo sem exigir tomografia completa do estado quântico, aproveitando o fato de que as funções de núcleo para medições homódinas podem ser calculadas eficientemente.

3. Mitigação de Erros:
   O artigo aborda a perda de fótons, um canal de ruído dominante em LQOS. Como a perda de fótons faz com que o sistema saia do subespaço legal (onde o número de fótons é igual ao número de elétrons), os autores introduzem um procedimento de correção. Ao realizar medições adicionais puras de número de fótons para estimar a probabilidade de eventos específicos de perda de fótons, eles derivam um fator de normalização para corrigir os valores esperados brutos. Este método mostra-se escalável e não requer pós-seleção que aumentaria exponencialmente os custos de amostragem.

Principais Contribuições

• Ansatz BS-C: Um ansatz VQE inovador que hibridiza dinâmicas de bósons não interagentes com métodos clássicos de química (HF, CISD), utilizando a dificuldade computacional dos permanentes para aumentar a precisão.
• Protocolo de Medição Escalável: Um esquema híbrido de detecção homódina e de número de fótons que avalia eficientemente a função de custo para Hamiltonianos mapeados via JW, superando a incompatibilidade das medições homódinas padrão com termos Pauli não locais.
• Mitigação de Perda de Fótons: Uma técnica de mitigação de erros escalável que corrige a perda de fótons sem sobrecarga exponencial, dependendo de fatores de normalização estatísticos derivados de medições repetidas.
• Eficiência de Hardware: A proposta demonstra que LQOS passivos podem resolver o ESP com profundidades de circuito significativamente menores ($O(M)$) em comparação com UCCSD ($O(M^3)$) e oferecem taxas de amostragem muito mais altas ($10^6-10^8$ Hz) do que plataformas de íons presos ou supercondutoras.

Resultados
Os autores realizaram experimentos numéricos em várias moléculas: LiH, BeH$_2$ e H$_4$ (em geometrias linear e quadrada) usando o conjunto de base STO-3G.

• Precisão: O método BS-C (especificamente BS-HF para LiH e BS-CISD para os demais) alcançou precisão química ($1,6 \times 10^{-3}$ Hartree) em vários comprimentos de ligação, superando os contrapartes clássicos (HF e CISD) isoladamente.
• Razão de Projeção: O estudo analisou a "razão de projeção" (a sobreposição entre o estado de bósons e o subespaço de férmions codificado). Os resultados indicaram que, embora a razão varie, ela pode ser mantida em um nível suficiente para escalabilidade escolhendo conjuntos de base apropriados (aumentando o número de orbitais em relação aos elétrons) ou restringindo excitações para preservar simetrias.
• Desempenho: O método gerou com sucesso curvas de energia potencial que correspondiam estreitamente aos benchmarks de Interação de Configuração Completa (FCI), demonstrando a eficácia dos recursos baseados em permanentes na captura de correlação eletrônica.

Significado e Alegações
O artigo alega que o VQE BS-C oferece um caminho viável para resolver o Problema da Estrutura Eletrônica usando sistemas ópticos lineares passivos na era NISQ. O significado reside em:

1. Aproveitamento de LQOS Passivos: Demonstra que LQOS passivos, apesar da falta de interações naturais, podem resolver problemas práticos explorando a complexidade computacional única da amostragem de bósons (permanentes) para aprimorar métodos clássicos.
2. Vantagem de Hardware: A abordagem é altamente eficiente em termos de hardware, exigindo apenas interferômetros ópticos lineares e oferecendo taxas de amostragem ordens de magnitude maiores do que outras plataformas quânticas, o que é crítico para algoritmos variacionais.
3. Escalabilidade: As estratégias propostas de medição híbrida e mitigação de erros abordam os principais gargalos de ruído e sobrecarga de medição, sugerindo que o método é escalável para moléculas maiores, desde que a razão de projeção seja gerenciada.

Os autores concluem que, embora a proposta esteja ao alcance da tecnologia atual (utilizando componentes existentes como fontes de fótons únicos e interferômetros reconfiguráveis), são necessárias investigações adicionais sobre o desempenho em moléculas maiores e o desenvolvimento de estratégias de medição mais eficientes.