Digital Quantum Simulation of Spin Transport

Título: Simulação Quântica Digital de Transporte de Spin

Autores: Yi-Ting Lee, Bibek Pokharel, Jeffrey Cohn, André Schleife e Arnab Banerjee.
Dispositivo Utilizado: Processador quântico supercondutor IBM Heron (ibm_kingston).

1. O Problema

O transporte de spin em sistemas quânticos é fundamental para o desenvolvimento de dispositivos spintrônicos e qubits baseados em spin. Embora simulações quânticas de correlações spin-spin tenham sido utilizadas para investigar o transporte, a simulação da Função de Autocorrelação de Corrente de Spin (Spin-Current ACF) permanece pouco explorada, apesar de fornecer informações mais diretas sobre propriedades de transporte.

O principal obstáculo para a simulação da ACF de corrente de spin em hardware quântico atual (pré-fault-tolerant) é o alto custo de portas lógicas. Métodos tradicionais, como o Teste de Hadamard, exigem qubits auxiliares (ancillas) e portas controladas complexas (como CNOTs controladas por múltiplos qubits), resultando em uma complexidade de circuitos que escala como $O(N^2)$ para sistemas de $N$ partículas. Isso torna a execução em dispositivos ruidosos (NISQ) inviável para sistemas de tamanho relevante.

2. Metodologia

Os autores propõem e implementam um esquema de medição direta que elimina a necessidade de qubits auxiliares e reduz drasticamente a complexidade do circuito.

• Modelo Físico: O estudo utiliza o modelo de Heisenberg 1D XXZ com 40 sítios (qubits), definido pelo Hamiltoniano:
  $$H = J \sum_{i=1}^{L} (S^X_i S^X_{i+1} + S^Y_i S^Y_{i+1} + \Delta S^Z_i S^Z_{i+1})$$
  Onde $\Delta$ é o parâmetro de anisotropia, permitindo explorar regimes balísticos, superdifusivos e difusivos.

• Protocolo de Medição Direta:

  • Baseado na referência [28], o método calcula o valor esperado $\langle U^\dagger W U G \rangle$ sem ancillas.
  • Parte Real: Utiliza medições de circuito intermediário (Mid-Circuit Measurements - MCMs) para projetar o estado nos autoestados de operadores projetivos $(I \pm G)/2$. Isso requer apenas 2 circuitos diferentes para medir todas as correntes locais.
  • Parte Imaginária: Utiliza portas unitárias específicas $e^{\pm i\pi G/4}$ em circuitos separados.
  • Escalabilidade: O número de circuitos necessários escala como $O(N)$, em contraste com $O(N^2)$ do Teste de Hadamard. Além disso, não requer portas controladas entre qubits distantes, apenas operações locais e medições.

• Mitigação de Ruído:

  • Uso de Dynamical Decoupling (DD) com sequência XY4.
  • Emprego de 100 circuitos "Pauli-twirled" (PT) para suprimir ruído coerente.
  • Renormalização por Canal de Despolarização: Os resultados ruidosos são corrigidos aprendendo o fator de despolarização $(1-p)$ através de circuitos de referência com resultados conhecidos, assumindo que o ruído pode ser aproximado por um canal de despolarização.

• Otimização de Circuito:

  • Apropriação da estrutura de "cone de luz" linear: como a informação de transporte se propaga apenas dentro de um cone de luz definido pela velocidade máxima do sistema, as medições e portas fora dessa região são removidas, reduzindo a profundidade do circuito.

3. Contribuições Chave

1. Demonstração Experimental: Primeira demonstração experimental de medição direta da ACF de corrente de spin em um processador quântico real (40 qubits), superando as limitações de recursos do Teste de Hadamard.
2. Eficiência Computacional: Redução da complexidade de circuitos de $O(N^2)$ para $O(N)$, tornando viável o estudo de sistemas de muitos corpos em hardware atual.
3. Validação de Regimes de Transporte: Capacidade de distinguir e caracterizar regimes de transporte distintos (balístico, superdifusivo e difusivo) variando o parâmetro de anisotropia $\Delta$.
4. Generalização: O protocolo é aplicável a outras funções de correlação de dois tempos e operadores que podem ser expressos como combinações lineares de operadores de Pauli de peso 1.

4. Resultados

Os experimentos foram realizados no processador ibm_kingston (156 qubits, conectividade heavy-hex) e comparados com simulações clássicas de Estado de Produto Matricial (MPS).

• Validação Inicial: A ACF de corrente local para um estado de Néel de 40 qubits mostrou excelente concordância com a simulação MPS, validando tanto o protocolo de medição quanto o modelo de correção de ruído.
• Regimes de Transporte (Variando $\Delta$):
  • Regime Quase-Balístico ($\Delta = 0.2$): Observou-se um peso de Drude não nulo ($\tilde{D}_w \approx 23.7 \times 10^{-4}$) e uma propagação da corrente que se estende por longas distâncias. O expoente de escalonamento do coeficiente de difusão foi $\alpha \approx 0.827$ (teórico: 1).
  • Regime Superdifusivo ($\Delta = 1$): O peso de Drude foi pequeno, mas positivo dentro da janela de tempo simulada. O expoente de escalonamento foi $\alpha \approx 0.325$, consistente com a escala de Kardar-Parisi-Zhang (KPZ) teórica ($\alpha = 1/3$).
  • Regime Difusivo ($\Delta = 1.6$): O peso de Drude desapareceu ($\tilde{D}_w \approx 0.9 \times 10^{-4}$, próximo de zero), e a corrente de spin decaiu rapidamente, confinada perto da parede de domínio. O expoente $\alpha$ foi 0, indicando difusão normal.
• Concordância: Os resultados quânticos, após correção de ruído, alinharam-se quantitativamente com as previsões teóricas e simulações MPS para a largura do cone de luz, o peso de Drude e a lei de potência do coeficiente de difusão.

5. Significado

Este trabalho estabelece a confiabilidade da simulação quântica digital para estudar física de não-equilíbrio em sistemas de spin, mesmo na era pré-fault-tolerant.

• Avanço Metodológico: A técnica de medição direta com MCMs oferece um caminho escalável para investigar fenômenos de transporte que são computacionalmente intratáveis para métodos clássicos em sistemas maiores.
• Impacto Futuro: Embora o modelo XXZ seja tratável classicamente, a metodologia desenvolvida abre caminho para investigar problemas de transporte mais complexos em materiais quânticos e dispositivos spintrônicos que não possuem solução clássica eficiente.
• Aplicabilidade: A abordagem pode ser estendida para calcular funções de correlação de dois tempos e funções de Green retardadas, sendo uma ferramenta versátil para a caracterização de materiais quânticos.

Em resumo, o artigo demonstra que, com técnicas inteligentes de medição e mitigação de ruído, os computadores quânticos atuais já podem fornecer insights físicos precisos sobre fenômenos de transporte de muitos corpos.