Nonequilibrium steady states induced by stochastic mid-circuit measurements and resets on a quantum computer

Este artigo apresenta uma teoria de tempo discreto ruidosa e sua validação experimental em um processador quântico supercondutor com até sete qubits, demonstrando que medições e resets estocásticos de meio de circuito podem conduzir com sucesso sistemas quânticos interagentes para estados estacionários fora do equilíbrio que correspondem quantitativamente às previsões teóricas e exibem assinaturas de transições de fase quântica de equilíbrio.

O essencial

Imagine que você está tentando ensinar um grupo de amigos (os qubits) uma coreografia complexa (a dinâmica quântica). Normalmente, se eles cometem um erro, eles apenas continuam dançando, e a coreografia vai ficando cada vez mais bagunçada até se tornar irreconhecível.

Este artigo trata de uma nova maneira de manter a dança organizada, mesmo quando as coisas ficam ruidosas e caóticas. Os pesquisadores usaram um computador quântico real (um processador supercondutor) para testar uma estratégia chamada Reset Estocástico (Stochastic Resetting).

Aqui está o detalhamento do que eles fizeram e descobriram, usando analogias simples:

1. O Problema: A Dança "Esquecida"

No mundo quântico, os sistemas são frágeis. Se você os deixar evoluir por conta própria, eles são corrompidos pelo "ruído" (como estática em um rádio ou um amigo esquecendo os passos). Os pesquisadores queriam ver se poderiam forçar o sistema a um estado estável e organizado (um Estado Estacionário Fora do Equilíbrio) interrompendo a dança em momentos aleatórios.

2. A Solução: O "Reset Aleatório"

Pense no Reset Estocástico como um jogo de "O Mestre Mandou" onde o juiz grita "Reset!" aleatoriamente.

• A Regra: Em momentos aleatórios, o sistema para o que quer que esteja fazendo e é forçado a voltar para uma posição inicial específica (o "estado de reset").
• A Reviravolta: Neste experimento, eles não apenas resetaram cegamente. Eles usaram dois métodos:
  1. Reset Incondicional: O sistema é forçado de volta ao início, sem perguntas.
  2. Reset Condicional: O sistema faz uma pausa, os pesquisadores tiram uma "foto rápida" (uma medição) dos dançarinos e então decidem para onde resetá-los com base no que veem. Por exemplo, se a maioria dos dançarinos está voltada para "Cima", o sistema reseta todos para "Cima". Se a maioria está voltada para "Baixo", o sistema reseta para "Baixo".

3. O Experimento: A Realidade "Ruidosa"

Os pesquisadores testaram isso em um computador quântico real (o ibm_marrakesh da IBM) com até 7 qubits.

• O Desafio: Computadores quânticos reais são "ruidosos". As "fotos" (medições) não são perfeitas, e os botões de "reset" às vezes falham. É como tentar tirar uma foto de um objeto em movimento com uma câmera tremida; a imagem pode ficar borrada e você pode julgar mal onde o dançarino está.
• O Modelo: Como o hardware não é perfeito, os pesquisadores construíram um "modelo de ruído" matemático. Eles perceberam que, quando o computador tenta resetar o sistema, ele às vezes acaba invertendo alguns bits (como um dançarino que acidentalmente vira para o lado errado). Eles chamaram isso de um "estado de reset ruidoso".

4. Os Resultados: Encontrando o "Ponto Ideal"

Eles testaram isso usando uma coreografia específica chamada Modelo de Ising de Campo Transverso de Floquet. Esta é uma forma sofisticada de descrever um sistema que pode estar em dois estados principais:

• Ordenado: Todos estão voltados para a mesma direção (como um ferromagneto).
• Desordenado: Todos estão voltados para direções aleatórias devido a "flutuações quânticas" (o campo transverso).

O que eles descobriram:

• Concordância: O modelo matemático "ruidoso" deles previu exatamente o que o computador quântico real fez. Mesmo com as falhas e erros, a teoria coincidiu perfeitamente com o experimento.
• A Transição de Fase: À medida que aumentavam o "ruído quântico" (o campo transverso), o sistema transitava suavemente de um estado altamente ordenado (todos voltados para a mesma direção) para um desordenado. Isso é semelhante a como o gelo derrete em água. O computador quântico mostrou com sucesso esse comportamento de "derretimento", mesmo com os erros.
• A Diferença: O "Reset Condicional" (onde eles olharam para os dançarinos antes de resetar) foi muito mais difícil de acertar do que o "Reset Incondicional". Isso porque o computador tinha que medir, pensar e agir instantaneamente, e o efeito da "câmera tremida" (erros de medição) causou mais erros. No entanto, o modelo de ruído deles ainda conseguiu prever esses erros com precisão.

5. A Conclusão

O artigo prova que você pode usar medições de meio de circuito (olhar para o sistema enquanto ele está rodando) e resets condicionais (corrigir o sistema com base no que você vê) para criar estados coletivos estáveis em computadores quânticos atuais e imperfeitos.

Em termos simples: Eles mostraram que, mesmo que seu computador quântico seja um pouco problemático, você ainda pode forçá-lo a manter um padrão organizado específico ao apertar ocasionalmente o botão de "reset" e checar o placar para ver para que lado resetar. Isso abre as portas para o uso desses truques de "reset" para construir melhores algoritmos quânticos no futuro, sem precisar de uma máquina perfeita e livre de erros primeiro.

Resumo técnico

Resumo Técnico: Estados Estacionários de Não-Equilíbrio Induzidos por Medições de Meio de Circuito Estocásticas e Resets em um Computador Quântico

Definição do Problema
O reset estocástico é um protocolo versátil onde um processo é interrompido em tempos aleatórios e reiniciado a partir de uma configuração inicial, o que é conhecido por conduzir sistemas clássicos e quânticos a estados estacionários de não-equilíbrio (NESS) com correlações específicas. Embora estruturas teóricas sugiram que o reset condicional — onde o estado de reset é determinado por medições de meio de circuito — pode gerar NESS coletivos em sistemas quânticos de muitos corpos interagentes, uma validação de hardware desses estados era inexistente. A realização de tais estados em hardware quântico é desafiadora devido aos erros de leitura de meio de circuito, ruído de hardware e decoerência, que podem corromper a operação de reset e alterar o estado estacionário resultante. Este artigo aborda a lacuna entre as previsões teóricas de NESS induzidos por reset estocástico e sua realização experimental em dispositivos quânticos de escala intermediária ruidosos (NISQ).

Metodologia
Os autores formulam uma teoria discreta de tempo ruidosa e a implementam em um processador quântico supercondutor (IBM ibm_marrakesh) para sistemas de até $N=7$ qubits.

1. Estrutura Teórica:

   • Reset Incondicional: O sistema evolui via portas unitárias $U$ ou é projetado para um estado de reset $|0\rangle$ com probabilidade $r$. A matriz de densidade $\rho_{ness}$ resultante do NESS é derivada como uma mistura estatística de probabilidades de sobrevivência.
   • Reset Condicional: O estado de reset é escolhido a partir de um conjunto de estados (especificamente $|+\rangle = |\uparrow\dots\uparrow\rangle$ ou $|-\rangle = |\downarrow\dots\downarrow\rangle$) baseado em uma medição global projetiva. Um protocolo de "votação da maioria" determina o subsequente estado de reset; se a maioria dos spins medidos for para cima, o sistema realiza o reset para $|+\rangle$; caso contrário, para $|-\rangle$. Isso define um processo semi-Markoviano.
   • Modelagem de Ruído: Para considerar as imperfeições do hardware, os autores introduzem um modelo de ruído onde as operações de reset são imperfeitas. Em vez de estados de reset puros, o sistema é inicializado em um estado misto $\rho_r$ contendo erros de inversão de bit (bit-flip) em relação aos estados ordenados ideais. Este modelo agrupa estados pelo número de inversões de bit ($n_{bf}$) e utiliza a simetria $Z_2$ para reduzir o número de parâmetros de ajuste.

2. Sistema Modelo:

   • A dinâmica unitária é governada pelo modelo de Ising de campo transversal de Floquet (FTFIM) interagente. A porta unitária $U_\theta$ consiste em um termo de campo transversal ($U_x$) e um termo de interação Ising ($U_{zz}$), parametrizados por um ângulo $\theta$.
   • O parâmetro de ordem para a transição de fase é a densidade de magnetização longitudinal $m$. Para o reset incondicional, estuda-se $\langle m \rangle_{ness}$; para o reset condicional, devido à simetria $Z_2$, a magnetização média desaparece, portanto, a densidade de magnetização ao quadrado $\langle m^2 \rangle_{ness}$ é utilizada como o observável.

3. Implementação Experimental:

   • Hardware: Os experimentos foram conduzidos no processador ibm_marrakesh (rede heavy-hex de 127 qubits).
   • Protocolo Incondicional: Para evitar resets ativos de meio de circuito, os autores exploraram a estrutura de renovação da dinâmica. Eles simularam trajetórias executando a evolução unitária pura para o tempo decorrido desde um evento de reset atribuído estocasticamente. Isso permitiu a aplicação extensiva de técnicas de mitigação de erro (desacoplamento dinâmico, mitigação de erro de leitura, extrapolação de ruído zero e Pauli twirling).
   • Protocolo Condicional: Este exigiu intervenções ativas de meio de circuito. O circuito incluiu evolução unitária, medições de base $Z$ em meio de circuito, processamento clássico em tempo real (votação da maioria) e rotações de qubit único condicionais (portas $X$) para alinhar os spins minoritários com os majoritários. Devido à latência e às restrições de tempo de coerência, protocolos avançados de mitigação de erro não foram integrados aos loops de feedback condicional.
   • Coleta de Dados: Os resultados foram calculados pela média de $M=10^4$ leituras por realização de reset e $10^3$ trajetórias quânticas.

Principais Resultados

• Concordância Quantitativa: A teoria do reset condicional ruidoso mostra excelente concordância quantitativa com os dados experimentais para $N=3, 5$ e $7$ qubits. O modelo teórico, incorporando o modelo específico de erro de estado de reset, reproduz com sucesso as tendências experimentais.
• Crossover de Transição de Fase: Os experimentos demonstram um comportamento de crossover na magnetização do estado estacionário reminiscente da transição de fase quântica de equilíbrio do FTFIM.
  • Para o reset incondicional (com $\theta=2.0$ grande), o sistema exibe características da dinâmica quântica digital, incluindo máximos locais em magnetização devido a degenerescências de quase-energia de Floquet para $N$ pequeno.
  • Para o reset condicional (com $\theta=0.1$ pequeno, aproximando-se do limite contínuo), a ordem ferromagnética ($\langle m^2 \rangle_{ness}$) diminui monotonicamente conforme o campo transversal $h$ aumenta, mostrando um crossover suave em torno do ponto crítico $h=1$.
• Análise de Ruído:
  • Os dados experimentais para o reset incondicional alinham-se bem com a teoria sem ruído, atribuído ao uso eficaz de mitigação de erro e à evasão de circuitos dinâmicos.
  • Os dados do reset condicional mostram um deslocamento para baixo significativo em relação à teoria sem ruído. O proposto modelo de "erro de estado de reset" (contabilizando inversões de bit na preparação do estado de reset e erros de leitura que levam a portas condicionais incorretas) fornece um ajuste muito bom.
  • Comparações com modelos de ruído alternativos (depolarização, amortecimento de fase, amortecimento de amplitude e ruído $ZZ$ correlacionado) no Material Suplementar indicam que o modelo de erro de estado de reset é o mais eficaz para $N=3$ e $N=5$, e permanece competitivo para $N=7$, apesar de possuir menos parâmetros de ajuste.

Significância e Alegações
O artigo afirma fornecer a primeira demonstração de estados estacionários de não-equilíbrio induzidos por reset estocástico em hardware quântico para sistemas de muitos corpos interagentes. Os resultados validam que estados estacionários coletivos originados de dinâmicas e resets interagentes podem ser fielmente implementados em processadores quânticos ruidosos de última geração.

Os autores enfatizam que seu trabalho conecta o reset estocástico à utilidade mais ampla do feed-forward clássico (via circuitos dinâmicos e lógica em tempo real) como um recurso para preparação de estados em máquinas quânticas de curto prazo. Eles concluem que, embora simulações quânticas para grandes tamanhos de sistema permaneçam desafiadoras devido aos limites de coerência e latência nos loops de feedback, sua análise pavimenta o caminho para preparar estados estacionários coletivos em dispositivos ruidosos e oferece percepções práticas para o desenvolvimento de algoritmos quânticos que utilizam medições de meio de circuito. O artigo nota modestamente que trabalhos futuros focarão na integração de protocolos de mitigação de erro mais sofisticados nos loops de feedback condicional para permitir o escalonamento sistemático para maiores tamanhos de sistema.