Thermodynamic-limit dispersion relations on trapped-ion quantum hardware

Resumo Técnico: Relações de dispersão no limite termodinâmico em hardware quântico de íons aprisionados

Declaração do Problema
O cálculo de propriedades de sistemas quânticos de muitos corpos no limite termodinâmico é um desafio central na física da matéria condensada, particularmente para sistemas fortemente correlacionados, onde métodos clássicos enfrentam limitações fundamentais. Embora os computadores quânticos ofereçam um caminho potencial, os dispositivos atuais de Escala Intermediária Ruidosa (NISQ) são restringidos pelo número de qubits e pelas fidelidades das portas, limitando os cálculos diretos a tamanhos de sistema pequenos, muito distantes do limite termodinâmico. Além disso, a extração de propriedades no limite termodinâmico frequentemente requer pós-processamento clássico não linear (como inversão de matriz e raízes quadradas) de valores esperados quânticos. Uma questão aberta crítica é se o hardware atual pode fornecer valores esperados com precisão suficiente para resistir a essas operações não lineares sem que os erros sejam amplificados a ponto de tornar os resultados inúteis.

Metodologia
Os autores propõem e implementam um framework que combina Expansões de Clusters Vinculados Numéricos (NLCE) com Algoritmos Quânticos (QA), denominado NLCE+QA. Esta abordagem calcula energias do estado fundamental e dispersões de um quasi-partícula (1QP) no limite termodinâmico utilizando dados de pequenos clusters.

• Framework: O método decompõe quantidades extensivas em contribuições de clusters conectados. Para garantir a convergência da NLCE, o Hamiltoniano efetivo deve ser "aditivo de cluster". Os autores empregam a Transformação Aditiva de Cluster Projetiva (PCAT) para impor essa propriedade. A PCAT envolve a construção de uma unitária modificada que desacopla o setor 1QP de outros setores, preservando a estrutura de produto dos estados em clusters desconectados.
• Algoritmos Quânticos: Dois algoritmos são explorados para preparar os estados necessários no hardware quântico:
  1. Preparação Adiabática de Estado (ASP): Uma transformada unitária que conecta os autoestados do Hamiltoniano não vestido aos vestidos.
  2. Eigensolver Quântico Variacional (VQE): Uma abordagem híbrida usando um Ansatz Variacional de Hamiltoniano (HVA) treinado classicamente para diagonalizar em blocos o Hamiltoniano.
• Esquemas de Medição:
  • Energia do Estado Fundamental: Calculada usando Diagonalização Quântica Baseada em Amostras (SQD).
  • Elementos de Matriz: Os autores introduzem o teste CX, uma alternativa inovadora ao teste de Hadamard padrão. O teste CX mede sobreposições e elementos de matriz do Hamiltoniano usando portas controladas-X, evitando a necessidade de circuitos profundos de unitárias controladas. Crucialmente, no contexto da PCAT, o fator global exigido pelo teste CX cancela-se no cálculo final do Hamiltoniano efetivo, eliminando a necessidade do teste de Hadamard, que é dispendioso.
• Hardware: Os experimentos foram conduzidos em uma Unidade de Processamento Quântico (QPU) de íons aprisionados com 20 qubits (AQT Marmot) no Centro de Supercomputação Leibniz.

Principais Contribuições

1. Primeira Implementação em Hardware: Este trabalho apresenta a primeira implementação em hardware do framework NLCE+VQE e introduz o framework NLCE+ASP para calcular dispersões 1QP no limite termodinâmico.
2. Teste CX: A introdução do teste CX como uma alternativa mais eficiente ao teste de Hadamard para calcular números polinomiais de elementos de matriz no contexto da PCAT, reduzindo significativamente a profundidade do circuito.
3. Análise de Erros: Uma investigação detalhada sobre a interplay entre ruído de disparo (shot noise), ruído de despolarização do hardware e o pós-processamento não linear inerente à PCAT (inversão de matriz/raízes quadradas). Os autores demonstram que funções não lineares amplificam o ruído, criando um viés ascendente nas curvas de dispersão.
4. Estudos de Modelo: O framework é aplicado ao Modelo de Ising com Campo Transverso (TFIM) em três regimes:
   • Cadeia 1D (TFIM puro).
   • Cadeia 1D com um campo longitudinal (TFIM+LF), que quebra a simetria $Z_2$ e requer a correção completa da PCAT.
   • Geometria de escada 2D.

Resultados

• Desempenho: A abordagem baseada em VQE geralmente superou a ASP no hardware atual devido à menor profundidade de circuito exigida. Os circuitos ASP foram encontrados como excessivamente profundos para os níveis atuais de ruído, levando a desvios significativos em relação às soluções analíticas.
• Precisão: Para o TFIM 1D na fase polarizada (suficientemente distante do ponto crítico quântico), as dispersões experimentais obtidas da QPU aproximaram-se do comportamento analítico esperado. Os resultados foram mais precisos do que simulações ruidosas usando taxas de despolarização de referência, sugerindo que as taxas de erro reais do dispositivo eram inferiores aos valores de referência.
• Limitações:
  • À medida que o sistema se aproxima do ponto crítico quântico ($J/h \to 1$) ou inclui um campo longitudinal, o erro aumenta. O pós-processamento não linear amplifica os erros, e a correção completa da PCAT (necessária para TFIM+LF) não pôde ser testada decisivamente porque os termos de correção estavam abaixo do piso de ruído de amostragem ($\Delta_{ij} \ll 1/\sqrt{M}$).
  • A geometria de escada (2D) apresentou erros maiores do que a cadeia 1D, atribuídos a uma maior conectividade de qubits e ao sistema estar mais próximo de seu ponto crítico em relação ao tamanho do cluster utilizado.
• Sensibilidade ao Ruído: O estudo confirma que o pós-processamento não linear é altamente sensível ao ruído. Embora as relações de dispersão fossem reconhecíveis, elas não se sobrepunham perfeitamente às soluções analíticas, indicando que a precisão atual do hardware está no limiar de viabilidade para tais métodos.

Significado e Alegações
O artigo afirma que seu trabalho abre portas para realizar computações no limite termodinâmico com correlações espaciais em dispositivos quânticos. Ele demonstra que, em regimes limitados (especificamente a fase polarizada do TFIM), o pipeline de pós-processamento não linear é viável no hardware atual, produzindo relações de dispersão reconhecíveis.

Os autores afirmam que as precisões do hardware quântico atingiram um estágio onde é significativo desenvolver novos algoritmos que envolvam pós-processamento clássico não linear de dados quânticos. Eles concluem que, embora os resultados atuais ainda não estejam além do alcance clássico, uma redução nas taxas de erro por um fator de 10 a 100 permitiria o cálculo preciso de relações de dispersão usando ASP e permitiria o teste de correções mais complexas (como a PCAT completa para sistemas com simetria quebrada). O trabalho destaca que abordagens híbridas que combinam medições quânticas com pós-processamento clássico não linear oferecem um caminho promissor à medida que o hardware melhora e a transição para a tolerância a falhas se amplia.