Resolving topological order crossovers on NISQ hardware

Resumo Técnico: Resolução de Crossovers de Ordem Topológica em Hardware NISQ

Declaração do Problema
Embora as fases topológicas da matéria ofereçam uma rota promissora para o processamento robusto de informação quântica, sua realização experimental em dispositivos de Escala Intermediária com Ruído (NISQ) atuais enfrenta um desafio crítico: determinar se as assinaturas de crossovers topológicos permanecem resolvíveis sob imperfeições realistas. Modelos teóricos frequentemente assumem condições ideais, mas a transição entre regimes topológicos e triviais em sistemas de tamanho finito é sensível ao desordem estática, ruído acumulado de circuito e efeitos não-hermitianos (perda). Este trabalho aborda a questão de se as assinaturas diagnósticas de tamanho finito do modelo de Wen–plaquette podem ser distinguidas de um comportamento trivial em hardware quântico real em meio a essas imperfeições.

Metodologia
Os autores empregam uma estratégia de dois estágios usando hardware IBM Quantum para caracterizar e escalar a simulação do modelo de Wen–plaquette:

1. Caracterização Variacional em um Sistema Pequeno:

   • Modelo: Uma rede aberta de $3 \times 3$ com nove qubits implementando o Hamiltoniano de Wen–plaquette ($H_{wen}$), estendido com um campo transversal ($g$), desordem no sítio ($h$) e um campo imaginário não-hermitiano efetivo ($\gamma$).
   • Preparação de Estado: Estados alvo (estados fundamentais de equilíbrio e estados evoluídos temporalmente sob quenches unitários e não-unitários) são aproximados usando um circuito quântico variacional eficiente de hardware ($V_n(\theta)$). Os parâmetros são otimizados classicamente para minimizar a infidelidade entre a saída do circuito e o estado alvo exato.
   • Diagnósticos: Dois observáveis são medidos:
     • Estabilizador de Plaqueta Local ($F_1$): Probe a estrutura do setor do estabilizador local.
     • Loop de Wilson Não-local ($W$): Probe a persistência da resposta de loop de tamanho finito e a ordem topológica.
   • Amplificação de Ruído: Para quantificar a robustez, camadas "identidade" (sequências de portas que atuam como a identidade no limite sem ruído) são inseridas no circuito para amplificar sistematicamente os erros acumulados de porta e decoerência sem alterar a evolução unitária ideal.

2. Implementação Baseada em Projeção Escalável:

   • Modelo: Uma rede quadrada maior de $5 \times 5$ em um processador 2D da IBM (IBM Miami).
   • Preparação de Estado: Em vez de otimização variacional, utiliza-se uma construção de "qubit-representativo". Este método impõe coerentemente restrições de plaqueta locais ($\Pi_{i,j} = (I + F_{i,j})/2$) para projetar um estado produto diretamente no setor estabilizador $Z_2^A$ desejado. Isso evita medição no meio do circuito e treinamento variacional.
   • Teste de Robustez: Perturbações coerentes locais controladas e amplificadas (rotações $R_x$ aleatórias de qubit único) são aplicadas ao estado preparado para testar a estabilidade da resposta de plaqueta média na rede.

Resultados Principais

• Resiliência de Diagnósticos ao Ruído:

  • O crossover de tamanho finito entre o regime dominado por estabilizadores e o regime polarizado trivial permanece claramente resolvido mesmo quando a profundidade do circuito é significamente aumentada via inserção de camadas de identidade.
  • O sinal do loop de Wilson não-local ($\langle W \rangle$) é preservado sob amplificação sistemática de ruído, demonstrando que a implementação em hardware retém o sinal topológico relevante apesar dos erros acumulados.

• Diagnósticos de Equilíbrio:

  • Robustez Local vs. Não-local: O estabilizador de plaqueta local ($\langle F_1 \rangle$) permanece um diagnóstico robusto mesmo na presença de desordem forte ($h=5$), distinguindo claramente os setores $Z_2^A$ e $Z_2^B$. Em contraste, a resposta do loop de Wilson não-local é fortemente suprimida pela desordem, indicando que assinaturas não-locais são mais frágeis à inhomogeneidade estática do que as locais.
  • Resolução de Crossover: A transição de uma resposta de loop forte para um regime trivial é observável em sistemas limpos, mas é dissipada em sistemas fortemente desordenados.

• Estabilidade Dinâmica (Quenches):

  • Quenches Unitários: A sobrevivência dinâmica da assinatura de plaqueta depende da competição entre a força da desordem e a escala de energia do estabilizador. Próximo ao crossover de tamanho finito (acoplamento fraco), a resposta da plaqueta decai rapidamente sob desordem. No regime de acoplamento forte, a resposta é substancialmente mais robusta, decaino lentamente e permanecendo não-zero por tempos longos.
  • Quenches Não-Hermitianos: Tendências semelhantes são observadas sob evolução não-unitária (campos imaginários). Estados profundamente no regime de estabilizador retêm uma grande resposta de plaqueta sob efeitos não-hermitianos fracos, enquanto estados próximos ao crossover são rapidamente desestabilizados. A perda da resposta de plaqueta correlaciona-se com o surgimento de autovalores complexos no espectro.

• Implementação Escalável:

  • A preparação baseada em projeção na rede $5 \times 5$ gera com sucesso um estado no setor estabilizador alvo.
  • A resposta de plaqueta média na rede ($\bar{F}$) exibe apenas uma degradação fraca sob perturbações coerentes locais intencionalmente amplificadas, confirmando a estabilidade local da estrutura topológica preparada.
  • A estrutura local em camadas do circuito permite a execução paralela, sugerindo um caminho favorável para escalar para sistemas maiores sem exigir circuitos totalmente não-locais.

Significância e Alegações
O artigo afirma fornecer uma rota prática para preparar e sondar assinaturas topológicas em processadores quânticos de curto prazo. Sua contribuição primária não é a demonstração da ordem topológica termodinâmica (que está além das capacidades atuais dos dispositivos), mas sim uma caracterização resolvida pelo hardware dos parâmetros e regimes de ruído onde as características topológicas de tamanho finito permanecem distinguíveis de um comportamento trivial.

As principais alegações incluem:

1. Viabilidade: Diagnósticos topológicos de tamanho finito (tanto locais quanto não-locais) podem ser resolvidos em hardware NISQ apesar de imperfeições realistas, desde que o sistema esteja suficientemente profundo no regime dominado por estabilizadores.
2. Hierarquia de Robustez: Assinaturas de estabilizador local são significativamente mais robustas contra desordem e ruído do que as assinaturas do loop de Wilson não-local.
3. Escalabilidade: Um protocolo de preparação inspirado em projeção, não-variacional, oferece uma alternativa viável ao treinamento variacional profundo para escalar simulações topológicas para redes 2D maiores em hardware com conectividade adequada.
4. Memória Dinâmica: A dinâmica fora do equilíbrio retém uma memória clara do crossover de equilíbrio subjacente, com a estabilidade dinâmica servindo como um probe complementar para transições de fase.

O trabalho conecta a caracterização controlada de tamanho finito com uma implementação de hardware escalável, oferecendo um framework unificado para estudar a ordem topológica sob desordem estática, ruído acumulado e campos não-hermitianos efetivos.